跳到主要内容

早稲田大学 創造理工学研究科 経営システム工学専攻 2021年8月実施 微积分

Author

思齐塾, 祭音Myyura

Description

実数空間 (real space)で連続(continuous)である関数 (function) f(x)f(x) の定積分 (definite integral) における次の式を示せ。

0π2f(cosθ)dθ=0π2f(sinθ)dθ\int_0^{\frac{\pi}{2}} f(\cos\theta) d\theta = \int_0^{\frac{\pi}{2}} f(\sin\theta) d\theta

题目描述

f(x)f(x) 是实数域上的连续函数。证明定积分恒等式

0π2f(cosθ)dθ=0π2f(sinθ)dθ.\int_0^{\frac{\pi}{2}}f(\cos\theta)\,d\theta =\int_0^{\frac{\pi}{2}}f(\sin\theta)\,d\theta.

Kai

Let's prove the identity:

0π2f(cosθ)dθ=0π2f(sinθ)dθ\int_0^{\frac{\pi}{2}} f(\cos\theta) d\theta = \int_0^{\frac{\pi}{2}} f(\sin\theta) d\theta

We can use the substitution u=π2θu = \frac{\pi}{2} - \theta , then du=dθdu = -d\theta . When θ=0\theta = 0 , u=π2u = \frac{\pi}{2} , and when θ=π2\theta = \frac{\pi}{2} , u=0u = 0 . Thus,

0π2f(cosθ)dθ=π20f(cos(π2u))(du)=0π2f(cos(π2u))du\int_0^{\frac{\pi}{2}} f(\cos\theta) d\theta = \int_{\frac{\pi}{2}}^0 f(\cos(\frac{\pi}{2}-u)) (-du) = \int_0^{\frac{\pi}{2}} f(\cos(\frac{\pi}{2}-u)) du

Since cos(π2u)=sinu\cos(\frac{\pi}{2} - u) = \sin u , we have

0π2f(cos(π2u))du=0π2f(sinu)du\int_0^{\frac{\pi}{2}} f(\cos(\frac{\pi}{2}-u)) du = \int_0^{\frac{\pi}{2}} f(\sin u) du

Replacing uu with θ\theta , we get

0π2f(sinu)du=0π2f(sinθ)dθ\int_0^{\frac{\pi}{2}} f(\sin u) du = \int_0^{\frac{\pi}{2}} f(\sin \theta) d\theta

Therefore,

0π2f(cosθ)dθ=0π2f(sinθ)dθ\int_0^{\frac{\pi}{2}} f(\cos\theta) d\theta = \int_0^{\frac{\pi}{2}} f(\sin\theta) d\theta

Thus, the identity is proved.