フーリエ級数・フーリエ変換・フーリエ解析

加法定理と線形補間

n=0,1,2, に対して、次を示せ。(0<x<2π) cosnxcos(n+1)x1cosx=sin(n+12)xsinx2,1cos(n+1)x1cosx=(sinn+12xsinx2)2

まず、
1cosx2=sin2x2
に注意すれば、第1式は
cosnxcos(n+1)x=2sin(n+12)xsinx2
を示せば良いことが分かる。
そこで、左辺を計算すると
cosnxcosnxcosx+sinnxsinx
となる。一方で右辺は
2(sinnxcosx2+cosnxsinx2)sinx2=sinnxsinx+cosnx(1cosnx)
となり、左辺と等しいことが分かり、第1式が示された。

第2式に関しても同様の注意から
1cos(n+1)x=2sin2n+12x
を示せば良いが、これは明らかに成り立つ。

以上より題意が示された。