解と係数の関係を Vieta's Formula というが,同じ名前の公式 Vieta's Formula に円周率の定義がある.
Vieta's Formula
π=2×22×2+22×2+2+22×⋯
これは
π2=22×22+2×22+2+2×⋯
とも書ける.
Vieta's Formula の証明
sinx=2sin2xcos2x
で
sin2x=2sin4xcos4x
だから
sinx=4sin4xcos4xcos2x
である.これをくりかえすと
sinx=2nsin2nxk=1∏ncos2kx
となる.x に 2π を代入すると
1=sin2π=2nsin2n+1πk=1∏ncos2k+1π
1=2n×(π2)×(2π)sin2n+1πk=1∏ncos2k+1π
1=2π×(π2n+1)sin2n+1πk=1∏ncos2k+1π
1=2ππ2n+1sin2n+1πk=1∏ncos2k+1π
ところで
n→∞limxsinx=1
だから
1=2πk=1∏∞cos2k+1π
π2=k=1∏∞cos2k+1π
となる.半角の公式から
cos4π=22
cos8π=22+2
だから Vieta's Formula が証明される.