本人推荐一种证明方法，理论上可行，不过计算量特别大，供参考。如上图所示，建立直角坐标系 xoy。并设DEF 的边长为 2，可以得到 D/E/F 三点的坐标。另设 A 点的坐标为（a，b）。分别求出直线 AD 的方程和直线 AF 的方程（用含 a、b 的参数表示）。由 ，点 C 在直线 AF 上，可以求得 C 点的坐标（p，q）。FAD由直线 CE 与 AD 相交于点 B，可以求得 B 点的坐标（m，n ）。p、q、m 、n 分别用参数 a、b 表示。计算：用含 a、b 的参数表示；22201qCE用含 a、b 的参数表示。3nDB计算： DBCE22剩下的就比较容易证明了。
