跟笨羊羊交个差，别说我忽悠您，纯几何证明简单写一下下……

风花飘飘

风花飘飘

风花飘飘

wangyangke

花儿都送你了；不看了；鲍鸽鸽要展示就展示九等分园吧，，，

风花飘飘

wangyangke 发表于 2018-5-2 15:08
花儿都送你了；不看了；鲍鸽鸽要展示就展示九等分园吧，，，

想学的话，从零基础学起，请尺规作出线段a来，老老实实写出作图步骤来，否则就算了吧，笛卡尔坐标与极坐标的作图不同也不通！
表达式如下：


附：
a=sqrt((-(17*sqrt(3))/(8*sqrt((16*((sqrt(3)*%i)/128+1/128)^(2/3)+11*((sqrt(3)*%i)/128+1/128)^(1/3)+1)/((sqrt(3)*%i)/128+1/128)^(1/3))))-((sqrt(3)*%i)/128+1/128)^(1/3)-1/(16*((sqrt(3)*%i)/128+1/128)^(1/3))+11/8)/2+sqrt((16*((sqrt(3)*%i)/128+1/128)^(2/3)+11*((sqrt(3)*%i)/128+1/128)^(1/3)+1)/((sqrt(3)*%i)/128+1/128)^(1/3))/8+sqrt(3)/8

Ysu2008

我的一点看法，不一定正确，仅供参考。

为便于叙述，以下用 ⊙X(XY) 表示 以X为圆心，XY为半径的圆。

点 G 是⊙D(DC) 与 ⊙F(FA)交点；
点 H 是⊙M(MA) 与 ⊙E(EC)交点；

也就是说，H与G不是对等的，第4步的“同理”似乎不能成立。

如果能证明 H 同时也是 ⊙F(FB) 与 ⊙E(EC)的交点，之后才能“同理”。

风花飘飘

Ysu2008 发表于 2018-5-2 18:57
我的一点看法，不一定正确，仅供参考。

为便于叙述，以下用 ⊙X(XY) 表示 以X为圆心，XY为半径的圆。

用词确实不当，确实不同理，但是完整证明过程可顺畅。
大的方面来说共三步，一、二、三是各不同理的，串起来可恰。

不能怕麻烦，我应该把证明过程完整写下来。这题从网上只是见到反证法证明。

风花飘飘

Ysu2008 发表于 2018-5-2 18:57
我的一点看法，不一定正确，仅供参考。

为便于叙述，以下用 ⊙X(XY) 表示 以X为圆心，XY为半径的圆。

还是仔细琢磨一下“辅助线”为什么这么来作吧，题并不难，就是绕人。

走“证明 H 同时也是 ⊙F(FB) 与 ⊙E(EC)的交点，之后“同理”。”这样太难啦！

Ysu2008

我说的不一定对，我不知道你后面是怎么推导的。
前面1、2、3步都没问题，把4、5两步完整写出来吧，大家一起分析分析。

红树

九等分圆解决吗？