[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
が示される.
===================================