■オイラーの発見・メンデルの発見(その15)

 テイラー展開(ベキ級数展開)は連続な関数にしか適用できないが,フーリエ展開(三角級数展開)はたとえ不連続な関数でも存在するため,19世紀の解析学に大きな貢献をしるした.

 −π<x<πの周期関数と見なされる不連続関数f(x)=xのフーリエ展開は

  f(x)=2[sinx/1−sin2x/2+sin3x/3−・・・]

 x=π/2とおくと,

  π/4=1−1/3+1/5−1/7+−・・・(グレゴリー・ライプニッツ級数)

また,x=π/4とおくと

  π√2/4=1+1/3−1/5−1/7++・・・

この式で,符号は2項毎に交代する.

 同様に,−π<x<πの周期関数と見なすと,f(x)=x^2のフーリエ展開は

  f(x)=π^2/3−4[cosx/1^2−cos2x/2^2+cos3x/3^2−・・・]

 x=πとおくと,

  π^2/6=1/1^2+1/2^2+1/3^2+・・・(オイラー級数)

=================================