ガウスの平均値定理の証明
📂複素解析ガウスの平均値定理の証明
定理
関数 f が閉じた円 ∣z−z0∣≤r 内で解析的だとしよう。そうすると、
f(z0)=2π1∫02πf(z0+reiθ)dθ
説明
微分の平均値の定理が一般化を経ていくつもの数学者の名前がついた定理を生み出したように、積分の平均値の定理にもガウスの名前がついたバージョンが存在する。それは積分の平均値の定理の形をしているが、その概念をよく考えてみると、そう簡単には納得がいかない定理だ。
証明
コーシーの積分公式:
f(z0)=2πi1∫C(z−z0)f(z)dz
コーシーの積分公式により、
f(z0)=2πi1∫∣z−z0∣=r(z−z0)f(z)dz
z(θ)=reiθ+z0,0≤θ≤2π に置き換えると、
f(z0)==2πi1∫02πreiθf(z0+reiθ)ireiθdθ2π1∫02πf(z0+reiθ)dθ
■
参照