f(1−x)=1−f(x)⋯⋯㉠
x에 대하여 미분하면
f′(1−x)=f′(x)⋯⋯㉡
① x=0을 ㉠에 대입하면 f(0)+f(1)=1
② x=0을 ㉡에 대입하면 f′(0)+f′(1)
④ x=21을 ㉠에 대입하면 f(21)=21
③ ㉠의 양변을 정적분하면
∫01f(1−x)dx=∫011dx−∫01f(x)dx
∫01f(1−x)dx=∫01f(x)dx이므로
∴∫01f(x)dx=21
[참고]
∫01f(1−x)dx에서
1−x=t로 치환하고 t에 관하여 미분하면 −dx=dt
∴∫01f(1−x)dx=∫01f(t)(−dt)
=∫01f(t)dt=∫01f(x)dx
[별해]
주어진 함수는 점 (21,21)에 대하여 대칭인 연속함수 이다.
① x=0을 대입하면 f(1−0)=1−f(0)
∴f(1)+f(0)=1
② −f′(1−x)=−f′(x),f′(1−0)=−f′(0)
∴f′(1)=f′(0)
③ ∫01f(x)dx=(f(0)+f(1))×1×21=21
④ f(1−21)=1−f(21) →2f(21)=1
∴f(21)=21
⑤ f(0)=0이라고 반드시 말할 수는 없다.