嘿，我来帮你理清这个正九边形的AD长度求解思路！其实现有信息完全足够用三角函数（或者几何定理）搞定，不用拆分AE和ED哦，下面一步步来：

第一步：明确正九边形的核心角度 #

正九边形的外接圆中心角（相邻顶点到圆心的夹角）是 ( \frac{360^\circ}{9} = 40^\circ )，内角则是 ( \frac{(9-2)\times180^\circ}{9} = 140^\circ )。我们设外接圆半径为 ( R )，已知边长 ( AB = BC = CD = 25\ \text{mm} )。

第二步：用正弦定理求外接圆半径 ( R ) #

对于正多边形，边长和外接圆半径的关系可以用正弦定理推导：

边长 ( a = 2R\sin\left(\frac{\text{中心角}}{2}\right) )

代入已知的边长 ( a=25\ \text{mm} ) 和中心角 ( 40^\circ )，可得：

25 = 2R\sin(20^\circ)
R = \frac{25}{2\sin(20^\circ)}

第三步：计算AD对应的中心角，求AD长度 #

A、B、C、D是连续四个顶点，所以A到D跨越了3个相邻顶点间隔，对应的中心角是 ( 3\times40^\circ = 120^\circ )。同样用正弦定理求AD的长度：

对角线长度 ( AD = 2R\sin\left(\frac{\text{AD对应的中心角}}{2}\right) )

代入中心角 ( 120^\circ )，半角就是 ( 60^\circ )，而 ( \sin(60^\circ) = \frac{\sqrt{3}}{2} )，再把之前的 ( R ) 代入：

AD = 2\times\frac{25}{2\sin(20^\circ)}\times\frac{\sqrt{3}}{2} = \frac{25\sqrt{3}}{2\sin(20^\circ)}

如果计算数值的话，( \sin(20^\circ)\approx0.3420 )，( \sqrt{3}\approx1.732 )，代入后得到：

AD \approx \frac{25\times1.732}{2\times0.3420} \approx 63.3\ \text{mm}

另一种方法：用余弦定理+托勒密定理（不用外接圆） #

如果你不想用外接圆的思路，也可以用圆内接四边形的托勒密定理：

• 设 ( AC = BD = y )（正九边形中间隔1个顶点的对角线长度相等），( AD = x )（我们要求的长度）。
• 对圆内接四边形ABCD，托勒密定理给出：( AC\times BD = AB\times CD + AD\times BC )，代入已知的 ( AB=BC=CD=25 )，得 ( y^2 = 25^2 + 25x )。
• 再在△ABC中用余弦定理：( y^2 = 25^2 + 25^2 - 2\times25\times25\times\cos(140^\circ) )，计算出 ( y^2 ) 后代入上式，就能解出 ( x )，结果和三角函数法一致。

这样下来，不管哪种方法都能算出AD的长度，完全不需要拆分AE和ED哦～

内容的提问来源于stack exchange，提问作者Ben