第3問 訂正解答
(1) 面積 S(a) 0<a<π/2 で、y=cosx の x=a における傾きは −sina である。従って接線は ℓ:y=cosa−sina(x−a)=cosa+asina−xsina. g(x)=cosa−sina(x−a)−cosx と置くと g(a)=0、g′(x)=sinx−sina<0 (0≦x<a) である。 よって 0≦x<a で接線は曲線より上にあり、図の斜線部は 両者の差を x=0 から a まで積分した面積である。 S(a)=∫0a{cosa+(a−x)sina−cosx}dx=acosa+2a2sina−sina. 従って S(a)=acosa+(2a2−1)sina.
(2) 三角関数の極限 半角公式 cosh−1=−2sin2(h/2) を用いると h2cosh−1=−21(h/2sin(h/2))2. 高校数学の基本極限 u→0limsinu/u=1 より h→0limh2cosh−1=−21.
(3) 対称な差の極限 条件より十分小さい h>0 に対し a+h,a−h はともに (0,π/2) にあり、(1) の式をそれぞれに適用できる。 c=cosa, s=sina, d=a2/2−1 と略記する。 三角関数の加法定理から cos(a+h)+cos(a−h)sin(a+h)+sin(a−h)=2ccosh,=2scosh,cos(a+h)−cos(a−h)sin(a+h)−sin(a−h)=−2ssinh,=2csinh. S(t)=tcost+(t2/2−1)sint にこれらを代入し、 (a±h)2/2−1=d±ah+h2/2 を使って整理すると S(a+h)+S(a−h)−2S(a)=2(ac+ds)(cosh−1)+2h(ac−s)sinh+h2scosh. 従って h2 で割った式は 2(ac+ds)h2cosh−1+2(ac−s)hsinh+scosh. (2) の極限、sinh/h→1、cosh→1 を順に代入すれば h↓0limh2S(a+h)+S(a−h)−2S(a)=−(ac+ds)+2(ac−s)+s=ac−(d+1)s=acosa−2a2sina.
検算 (1) の面積は積分する関数 g(x)>0 により正であり、 a↓0 では S(a)→0 となる。 また (1) の式を通常の微分法で計算すると S′(a)=2a2cosa,S′′(a)=acosa−2a2sina. 後者は加法定理だけで求めた (3) の極限値と一致する。