■正7角形の辺と対角線(その9)

[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

が示される.

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