(1) h(θ)=1−cosθ とおくとF(x)=∫xx+ah(θ)dθである。上端と下端がともに x によって動くので、F′(x)=h(x+a)−h(x) である。したがって F′(x)=1−cos(x+a)−1−cosx である。
(2)
平方根の中身は非負であるから、F′(x)≦0 は 1−cos(x+a)≦1−cosx と同値であり、さらに 1−cos(x+a)≦1−cosx すなわち cos(x+a)≧cosx と同値である。
差積公式を使うと cos(x+a)−cosx=−2sin(x+2a)sin2a である。0<a<2π だから sin2a>0 である。よって F′(x)≦0 となる条件は sin(x+2a)≦0 である。
0<x<2π では 2a<x+2a<2π+2a であり、この範囲で正弦が0以下になるのは π≦x+2a≦2π のときである。したがって π−2a≦x≦2π−2a である。
(3)
(2)より、F(x) は 0<x<π−2a で増加し、π−2a<x<2π−2a で減少し、さらに 2π−2a<x<2π で増加する。したがって極大となるのは x=π−2a であり、極小となるのは x=2π−2a である。
ここで 1−cosθ=2sin22θ より 1−cosθ=2∣sin2θ∣ である。
極大値はF(π−2a)=∫π−a/2π+a/22sin2θdθである。この区間は (0,2π) に含まれるので、sin(θ/2) は非負である。よってF(π−2a)=2[−2cos2θ]π−a/2π+a/2=42sin4aである。
極小値はF(2π−2a)=∫2π−a/22π+a/22∣sin2θ∣dθである。2π を境に絶対値の符号が変わるので、対称性からF(2π−2a)=2∫2π−a/22π2sin2θdθである。したがってF(2π−2a)=22[−2cos2θ]2π−a/22π=42(1−cos4a)である。
よって極大値は 42sin4a 極小値は 42(1−cos4a) である。