定义：折弦 阿基米德折弦定理

📐 思路详解：在长弦上截取

目标：证明 AD = BD + BC。

步骤：

1. 构造辅助线：在长弦 AB 上截取一点 E，使得 AE = BC（或者截取 BE = BC，视具体构图习惯而定，此处采用在 AB 上找点使 AE=BC 的思路，或者直接利用垂足性质）。更标准的做法是：在 AB 上取点 E，使得 BE = BC。
2. 连接关键点：连接 ME、MC、MA。
3. 利用弧中点性质：因为 M 是弧 ABC 的中点，所以弦 MA = MC，且弧 AM = 弧 MC。
4. 证明全等：
   • 在△MBC 和△MBE 中，已知 BC = BE（构造），MB = MB（公共边）。
   • 需要证明∠MBC = ∠MBE。由于 M 是弧中点，圆周角∠MAC = ∠MCA。这里利用圆内接四边形性质或圆周角定理可推导角度关系。
   • 实际上，更严谨的路径是：连接 MA, MC。由 M 为弧中点知 MA=MC。又因 MD⊥AB，若能证明△MAD ≌ △MCD'（D'为某点）...
5. 修正后的标准证明路径：
   1. 在 AB 上截取 BF = BC，连接 MF。
   2. 证明 △MBC ≌ △MBF (SAS)。需证 ∠MBC = ∠MBF。
   3. 实际上，利用 M 为弧中点，可得 ∠MAC = ∠MCA。
   4. 更优解法：延长 CB 至 F，使 BF = BA，连接 MF... 不，这是补短法。
   让我们回到最经典的“截长法”：
   在 AB 上取点 E，使得 AE = BC 是不对的，应该是 在 AB 上取点 E，使得 BE = BC。
   连接 ME。
   因为 M 是弧 AC 中点（注意题目是弧 ABC 中点，即弧 AMC 中点？不，是弧 ABC 的中点，意味着弧 AM = 弧 MC）。
   所以 MA = MC。
   在△MBC 和△MBE 中：
   BC = BE (构造)
   MB = MB
   ∠MBC = ∠MBE? 不一定相等。
   
   正确的经典证明（翻折法）：
   1. 在 AB 上截取 BE = BC。
   2. 连接 ME。
   3. 易证 △MBC ≌ △MBE (SAS)? 需证夹角相等。
   由于 M 是弧 ABC 中点，故弧 AM = 弧 MC。
   圆周角 ∠MBA = ∠MBC? 不对。
   正确的是：∠MAC = ∠MCA。
   让我们使用“垂线 + 全等”的标准套路：
   在 AB 上取点 E，使得 AE = BD + BC? 不，我们要证 AD = BD + BC。
   即在 AB 上取点 F，使得 AF = AD? 不。
   正确构造：在 AB 上取点 E，使得 BE = BC。连接 ME。
   因为 M 是弧 ABC 中点，所以 MA = MC。
   又因为 MD ⊥ AB，若能证明 ME = MC，则 E 点即为 D 点关于某轴的对称点？
   
   终极简洁证明：
   在 AB 上截取 BE = BC。连接 ME。
   在△MBC 和△MBE 中，BC=BE, MB=MB。
   我们需要 ∠MBC = ∠MBE。这显然不成立，除非 M 在角平分线上。
   
   修正：使用“截长法”的正确逻辑：
   在 AB 上取点 F，使得 AF = BC。连接 MF。
   这也不对。
   
   标准教科书证明（翻折）：
   在 AB 上取点 E，使得 BE = BC。
   连接 ME。
   因为 M 是弧 ABC 中点，所以 MA = MC。
   考虑 △MAC 和 △MAB。
   实际上，最常用的方法是“延长法”（补短）：
   延长 CB 至 F，使 BF = BA。连接 MF。
   证明 △MBA ≌ △MBF。
   然后证明 MF = MC。
   最后利用等腰三角形三线合一。
   
   下面给出最通用的“补短法”步骤：
   1. 延长 CB 到 F，使得 BF = AB。
   2. 连接 MF。
   3. 证明 △MAB ≌ △MBF (SAS)。
   - MA = MC (M 为中点) -> 这里的对应边应该是 MA 和 MC? 不，是 MA 和 MF?
   - 实际上，因为 M 是弧 ABC 中点，所以 ∠MAB = ∠MCB (圆周角)。
   - 而 ∠MBA + ∠MBC = 180° (圆内接四边形对角互补)? 不，A,B,C 在圆上。
   - 关键在于：∠MBA = ∠MBC? 不一定。
   - 正确逻辑：∠MAB = ∠MCB (同弧 MB 所对圆周角? 不，是弧 MC 和弧 MA)。
   - 因为 M 是弧 ABC 中点，所以弧 AM = 弧 MC。
   - 所以 ∠ABM = ∠CBM? 不，是 ∠ACM = ∠CAM。
   
   让我们直接使用最权威的证明流程（无需纠结中间错误尝试）：
   证明：
   在 AB 上取点 E，使得 AE = BC。
   连接 ME。
   在△MAE 和△MBC 中：
   MA = MC (M 为弧中点)
   AE = BC (构造)
   ∠MAE = ∠MCB (圆周角定理：弧 MB 所对圆周角相等? 不，是弧 MC 和弧 MA 对应的角。∠MAB 对弧 MB，∠MCB 对弧 MB。是的！∠MAB = ∠MCB。)
   ∴ △MAE ≌ △MBC (SAS)。
   ∴ ME = MC。
   又 ∵ MD ⊥ AB，且 MA = MC。
   等等，ME = MC 且 MA = MC，所以 ME = MA。
   在等腰△MAE 中，MD 是高？不，MD 是 AB 的垂线。
   如果 ME = MA，则△MAE 是等腰三角形。
   但这不能直接推出 D 是中点。
   
   再试一次：延长法（最稳妥）
   延长 CB 至 F，使 BF = AB。连接 MF。
   ∵ 四边形 ABCM 内接于圆。
   ∴ ∠MAB + ∠MCB = 180°。
   又 ∠MBA + ∠MBC = ?
   关键是：∠MBA = ∠MCF?
   因为 M 是弧 ABC 中点，所以弧 AM = 弧 MC。
   ∴ ∠ABM = ∠CBM? 不。
   ∴ ∠ACM = ∠CAM。
   
   最终确认：标准证明（截长法）
   在 AB 上截取 BE = BC。连接 ME。
   ∵ M 是弧 ABC 中点，∴ MA = MC。
   ∵ ∠MAB = ∠MCB (同弧 MB 所对圆周角)。
   在△MAE 和△MBC 中：
   MA = MC
   ∠MAE = ∠MCB
   AE = AB - BE = AB - BC。
   这无法直接全等。
   
   正确的“截长法”构造：
   在 AB 上取点 E，使得 AE = BC。
   连接 ME。
   在△MAE 和△MBC 中：
   MA = MC
   AE = BC
   ∠MAE = ∠MCB (同弧 MB 所对圆周角)
   ∴ △MAE ≌ △MBC (SAS)。
   ∴ ME = MC。
   又 ∵ MA = MC，∴ ME = MA。
   ∴ △MAE 是等腰三角形。
   ∵ MD ⊥ AB，∴ D 是 AE 的中点。
   ∴ AD = DE = 1/2 AE = 1/2 BC? 不对，AE=BC。
   ∴ AD = 1/2 BC。这与结论 AD = BD + BC 矛盾。
   
   天哪，我刚才的逻辑有误。重新梳理结论：AD = BD + BC。
   这意味着 D 靠近 B。
   如果 AE = BC，那么 AD = 1/2 BC 肯定不对。
   
   正确的构造：在 AB 上取点 E，使得 BE = BC。
   连接 ME。
   在△MBE 和△MBC 中：
   BE = BC
   MB = MB
   ∠MBE = ∠MBC? 不一定。
   
   真正的经典证明（翻折）：
   在 AB 上取点 E，使得 AE = AD + BD + BC? 不。
   在 AB 上取点 E，使得 BE = BC。
   连接 ME。
   证明 △MBC ≌ △MBE。
   需要 ∠MBC = ∠MBE。
   因为 M 是弧 ABC 中点，所以弧 AM = 弧 MC。
   所以 ∠ABM = ∠CBM? 不，是 ∠ACM = ∠CAM。
   但是，∠MBA 和 ∠MBC 的关系是：
   ∠MBA 对弧 MA，∠MBC 对弧 MC。
   因为弧 MA = 弧 MC，所以 ∠MBA = ∠MBC!
   对了！
   因为 M 是弧 ABC 的中点，所以弧 AM = 弧 MC。
   圆周角 ∠ABM (对弧 AM) = 圆周角 ∠CBM (对弧 MC)。
   所以 MB 平分 ∠ABC。
   因此，在△MBE 和△MBC 中：
   BE = BC (构造)
   ∠MBE = ∠MBC (已证)
   MB = MB
   ∴ △MBE ≌ △MBC (SAS)。
   ∴ ME = MC。
   又 ∵ MA = MC (M 为中点)，∴ ME = MA。
   ∴ △MAE 是等腰三角形。
   ∵ MD ⊥ AB，∴ D 是底边 AE 的中点。
   ∴ AD = DE。
   ∵ AE = AB - BE = AB - BC。
   ∴ AD = 1/2 (AB - BC)。
   这与结论 AD = BD + BC 不符。
   
   等一下，结论是 AD = BD + BC。
   如果 AD = DE，且 AE = AB - BC。
   那么 AD = (AB - BC)/2。
   而 BD = AB - AD = AB - (AB - BC)/2 = (AB + BC)/2。
   那么 BD + BC = (AB + BC)/2 + BC = (AB + 3BC)/2。
   这不等于 AD。
   
   我的天，定理结论记错了？还是构造错了？
   定理原文：AD = BD + BC。
   这意味着 AD > BD。
   如果 D 是 AE 中点，AD = DE。
   AE = AD + DE = 2AD。
   如果 AE = AB - BE = AB - BC。
   那么 2AD = AB - BC => AD = (AB - BC)/2。
   这显然不对。
   
   重新检查定理：
   如果是 AD = BD + BC。
   设 AB = c, BC = a。
   AD + BD = c。
   AD - BD = a。
   2AD = a + c => AD = (a+c)/2。
   2BD = c - a => BD = (c-a)/2。
   所以 D 是 AB 上的一点，使得 AD = (AB+BC)/2。
   
   正确的构造应该是：
   在 AB 上取点 E，使得 AE = BC? 不。
   在 AB 上取点 E，使得 BE = BC。
   此时 AE = AB - BC。
   如果 D 是 AE 的中点，则 AD = (AB-BC)/2。这还是不对。
   
   啊！我搞反了方向。
   如果 AD = BD + BC。
   那么 D 应该靠近 B。
   即 BD 较短，AD 较长。
   所以 D 是 AB 上的点，使得 AD = (AB+BC)/2。
   
   正确的证明路径（翻折法）：
   在 AB 上取点 E，使得 BE = BC。
   连接 ME。
   证明 △MBC ≌ △MBE (SAS)。
   (∠MBC = ∠MBE，因为 M 是弧中点，弧 AM=弧 MC，所以圆周角 ∠ABM = ∠CBM? 不，∠ABM 对弧 AM，∠CBM 对弧 MC。是的，相等。)
   ∴ ME = MC。
   又 MA = MC。
   ∴ ME = MA。
   ∴ △MAE 是等腰三角形。
   过 M 作 MD ⊥ AB。
   则 D 是 AE 的中点。
   ∴ AD = DE。
   AE = AB - BE = AB - BC。
   ∴ AD = (AB - BC)/2。
   这依然推导出 AD = (AB-BC)/2。
   
   难道定理是 AD = (AB+BC)/2?
   查一下资料：阿基米德折弦定理结论是 AD = BD + BC。
   代入计算：
   AD = BD + BC
   AD + BD = AB
   2AD = AB + BC => AD = (AB+BC)/2。
   2BD = AB - BC => BD = (AB-BC)/2。
   
   所以，D 是 AE 的中点，其中 AE = AB + BC?
   不，E 在 AB 上。
   如果 AD = (AB+BC)/2，那么 AE = 2AD = AB + BC。
   这说明 E 不在 AB 上，而在 AB 的延长线上！
   
   正确的构造：补短法（延长 AB）
   延长 AB 至 E，使得 BE = BC。
   连接 ME。
   证明 △MBC ≌ △MBE。
   需要 ∠MBC = ∠MBE。
   ∠MBE = 180° - ∠MBA。
   ∠MBC = ?
   因为 M 是弧 ABC 中点，弧 AM = 弧 MC。
   所以 ∠ABM = ∠CBM。
   这不对。∠ABM 对弧 AM，∠CBM 对弧 MC。是的，相等。
   但是 ∠MBE 是外角。
   四边形 ABCM 内接于圆。
   ∠MBC + ∠MAC = 180°? 不。
   ∠ABC + ∠AMC = 180°。
   
   让我们换个角度：在 AB 上截取 AF = BC。
   连接 MF。
   MA = MC。
   AF = BC。
   ∠MAF = ∠MCB (同弧 MB)。
   ∴ △MFA ≌ △MBC。
   ∴ MF = MB。
   ∴ △MFB 是等腰三角形。
   MD ⊥ FB。
   ∴ D 是 FB 的中点。
   ∴ FD = DB。
   ∵ AF = BC。
   ∴ AD = AF + FD = BC + DB。
   Bingo!
   这就是正确的证明！
   构造： 在 AB 上截取 AF = BC。
   证明： △MFA ≌ △MBC (SAS)。
   结论： MF = MB，D 为 FB 中点。
   结果： AD = AF + FD = BC + DB。
   
   详细步骤：
   1. 在长弦 AB 上截取点 F，使得 AF = BC。
   2. 连接 MF。
   3. 在△MFA 和△MBC 中：
   - MA = MC (M 为弧 ABC 中点)
   - AF = BC (构造)
   - ∠MAF = ∠MCB (同弧 MB 所对圆周角)
   4. ∴ △MFA ≌ △MBC (SAS)。
   5. ∴ MF = MB。
   6. ∴ △MFB 是等腰三角形。
   7. ∵ MD ⊥ AB，∴ D 是底边 FB 的中点。
   8. ∴ FD = DB。
   9. ∵ AD = AF + FD，且 AF = BC，FD = DB。
   10. ∴ AD = BC + DB。
   证毕。