方針
(1) は標準極限で原点の連続値を決める。(2)(3)は sin((2n+1)x)/sinx を有限個の余弦の和へ変形する。対称区間では定数項以外の余弦積分が0になるため、積分値が直ちに決まる。
解答
(1) x→0limsinxsinnx=nx→0limnxsinnxsinxx=n.従って連続となるための値はcn=nである。
(2) 加法定理からsin3x=sinx(1+2cos2x)なのでf3(x)=1+2cos2xである。x=0 でも両辺は3となり一致する。従って∫−π/2π/2f3(x)dx=∫−π/2π/2(1+2cos2x)dx=π.(3) 任意の正の整数 n に対しsinxsin(2n+1)x=1+2k=1∑ncos2kxが成り立つ。これは右辺に sinx を掛け、積和公式を用いれば望遠的に sin(2n+1)x となることから分かる。x=0 でも連続値 2n+1 と一致する。
各 k≧1 について∫−π/2π/2cos2kxdx=ksinkπ=0.従って∫−π/2π/2f2n+1(x)dx=π.
別解
解法2
方針
奇数添字の関数について、正弦の差の公式から f2n+3=f2n+1+2cos(2n+2)x という漸化式を作る。追加される余弦の定積分が0なので、基準 f1=1 から全ての積分が同じであることを帰納する。
解答
(1) x→0limsinxsinnx=nx→0limnxsinnxsinxx=nなので、連続にするには cn=n とすればよい。
(2)
正弦の差の公式からsin3x−sinx=2cos2xsinxである。従ってf3(x)=1+2cos2xであり、x=0 でも両辺は3で一致する。よって∫−π/2π/2f3(x)dx=∫−π/2π/2(1+2cos2x)dx=π.(3)
同様にsin(2n+3)x−sin(2n+1)x=2cos(2n+2)xsinxだから、連続値も含めf2n+3(x)=f2n+1(x)+2cos(2n+2)xである。ところが∫−π/2π/2cos(2n+2)xdx=[2n+2sin(2n+2)x]−π/2π/2=0.従って奇数添字の積分は添字を2増やしても変わらない。f1(x)=1 を基準に帰納すれば∫−π/2π/2f2n+1(x)dx=∫−π/2π/21dx=π.
総評
奇数次の正弦商は、定数項1と偶数倍角の余弦の和になる。対称区間 [−π/2,π/2] では各余弦項の積分が0になるため、全ての積分が π となる。x=0 は式の見かけ上未定義だが、1点の値だけでなく連続関数としての値 cn=n を明記した。
冊子PDFで見る東大の三角関数の問題で問題集を作る
出典: 東京大学 1999年度 後期 理系(後期) 第1問。問題文はHTML表示のために再入力・数式組版しています。