■フェルマー素数と正十七角形(その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

が示される.

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