互いに直交する三角関数の和
📂フーリエ解析互いに直交する三角関数の和
式
CnとSnを以下のように定義する。
Cn:Sn:=1+cosx+cos2x+⋯+cosnx=sinx+sin2x+⋯+sinnx
すると、以下の式が成立する。
CnSn=sin21xsin2n+1xcos2nx=sin21xsin2n+1xsin2nx
証明
オイラーの公式を使う。
=========Cn+iSn (1+cosx+cos2x+⋯+cosnx)+i(sinx+sin2x+⋯+sinnx) 1+(cosx+isinx)+(cos2x+isin2x)+⋯+(cosnx+isinnx) ei0x+ei1x+ei2x+⋯+einx k=0∑n(eix)k eix−1ei(n+1)x−1 eix/2ei(n+1)x/2eix/2−e−ix/2ei(n+1)x/2−e−i(n+1)x/2 einx/2sin21xsin2n+1x sin21xsin2n+1x(cos2nx+isin2nx) sin21xsin2n+1xcos2nx+isin21xsin2n+1xsin2nx
5番目の等号で等比数列の和の公式を使っている。
■