■フェルマー素数と正十七角形(その4)
[Q]cosπ/7−cos2π/7+cos3π/7=1/2を示せ.
=================================
[A]−cos2π/7=cos5π/7であるから,この問題は
cosπ/7+cos3π/7+cos5π/7=1/2
と同値である.
θ=π/7,7θ=πより,
cos(3θ+4θ)=−1
cos(3θ)=−cos(4θ)
3倍角の公式は
cos(3θ)=4cos^3θ−3cosθ
4倍角の公式を知らなければ,倍角の公式を2回適用して
cos(4θ)=2cos^22θ−1=8cos^4θ−8cos^2θ+1
したがって,cosπ/7を解とする方程式は
4x^3−3x=−8x^4+8x^2−1
8x^4+4x^3−8x^2−3x+1=0
===================================
実は,この方程式はcosπ/7のみならず,cos3π/7,cos5π/7,cos7π/7=cosπ=−1も解となる.
したがって,
8x^4+4x^3−8x^2−3x+1=0
(x+1)(8x^3−4x^2−4x+1)=0
と因数分解できる.
cosπ/7,cos3π/7,cos5π/7は,
8x^3−4x^2−4x+1=0
の3根となる.
根と係数の関係より
cosπ/7+cos3π/7+cos5π/7=4/8=1/2
cosπ/7・cos3π/7・cos5π/7=−1/8
が示される.
===================================