■三角関数の和公式(その14)

  cosπ/7+cos3π/7+cos5π/7=1/2

を扱ったが、ここでは

  cosxπ+cosyπ+coszπ=-1、(0<x、y、z<1)

を考えてみたい。

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

2cos((x+y)・π/2)cos((x-y)・π/2)+2{cos(z・π/2)}^2-1=-1

cos((x+y)・π/2)cos((x-y)・π/2)+{cos(z・π/2)}^2=0

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

この後が続かないが、この有理数解は

(1/2,2/3,2/3)

(2/5,2/3,4/5)の置換のみであることが知られている。

cos2π/5=(√5-1)/4

cos4π/5=-(√5+1)/4

cos2π/5+cos4π/5=-1/2

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