有

(2-(2-(2cos(2π/7)）2）2）2-2

=(2-(-2cos(4π/7)）2）2-2

=4cos2(8π/7)-2

=2cos(16π/7)

=2cos(2π/7）

即

x=2cos(2π/7)

為

方程

(2-(2-x2）2）2-2=x

的根

即

方程

√(2-√(2-√(2+x）））=x

的根

即

2cos(2π/7)=√(2-√(2-√(2+...）））

即

sin(π/7）

=1/2√(2-√(2-√(2-√(2+...））））

得證

ps.
有關(guān)那條
是那什么
還想立牌坊
骯臟齷齪
腌臜不堪
“秒殺大招”
發(fā)視頻的
無恥行徑
詳見
CV10088620
與
BV1Ag411L748
與
BV12r4y1K7ow