(1) t=sinx+cosx とすると t2=sin2x+cos2x+2sinxcosx=1+2sinxcosx,sinxcosx=2t2−1. したがって f(x)=1+a(t2−1)/2t=at2+2−a2t. また t=2sin(x+π/4) だから、実数 x 全体で −2≦t≦2 である。分母は元の形で 1+asinxcosx≧1−∣a∣/2>0 となる。
(2) g(t)=2t/(at2+2−a) とおく。分母は正で g は奇関数だから、最大値は t≧0 での最大値、最小値はその反対符号である。
まず −2<a≦2/3 とする。0≦u<v≦2 に対して g(v)−g(u)=(av2+2−a)(au2+2−a)2(v−u)(2−a−auv). 分母は正である。a≦0 なら 2−a−auv>0、また 0<a≦2/3 なら uv≦2 より 2−a−auv≧2−3a≧0 である。ゆえに g は 0≦t≦2 で、t が大きくなっても値は小さくならず、 maxg=g(2)=a+222.
次に 2/3<a<2 とする。このとき t0=(2−a)/a は 0<t0<2 を満たす。t≧0 では at2+2−a≧2a(2−a)t (左辺と右辺の差は (at−2−a)2)なので g(t)≦a(2−a)1. 等号は t=t0 で成立する。奇関数性から最小値はこの最大値の反対符号となる。
(3) u=sinx−cosx とおくと du=(sinx+cosx)dx,sinxcosx=21−u2,u(0)=−1,u(π/2)=1. よって ∫0π/2f(x)dx=∫−112+a−au22du. a=−1 のとき ∫−111+u22du=2∫−π/4π/4dθ(u=tanθ)=π. a=1 のとき 3−u22=31(3−u1+3+u1), したがって ∫−113−u22du=31[ln3−u3+u]−11=32ln(2+3).