就那条 发视频的 一结论 之证明

有

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

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

=4cos²(8π/7)-2

=2cos(16π/7)

=2cos(2π/7）

即

x=2cos(2π/7)

为

方程

(2-(2-x²）²）²-2=x

的根

即

方程

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

的根

即

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

即

sin(π/7）

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

得证

ps.
有关那条
是那什么
还想立牌坊
肮脏龌龊
腌臜不堪
“秒杀大招”
发视频的
无耻行径
详见
CV10088620
与
BV1Ag411L748
与
BV12r4y1K7ow