■正7角形の辺と対角線(その18)
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
===================================