阿基米德折弦定理的截长法

2. 证明 △MBA ≌ △MBF

由于 M 是弧 ABC 的中点，所以弧 AM = 弧 MC。但这并不直接给出 ∠A = ∠F。我们需要利用圆的性质。

实际上，更常见的截长法证明路径是：

1. 在 BC 上截取 BF = AB。

2. 连接 MA, MB, MC, MF。

3. 因为 M 是弧 ABC 中点，所以 MA = MC。

4. 注意：此路不通，因为 AB 和 BC 不一定相等，直接截 BF=AB 后，△MBA 和 △MBF 不一定全等，除非 ∠MBA = ∠MBF，这通常不成立。

修正策略（标准截长法）：

在 BC 上截取 BF = AB 是错误的，因为夹角 ∠ABM 和 ∠FBM 不一定相等。正确的截长法通常是：

在 BC 上截取 BG = BA？不，应该是利用 M 点的对称性。

正确步骤：

1. 在 BC 上截取 BF = AB 是不可行的，因为 ∠ABM ≠ ∠CBM 一般情况。

2. 真正的截长法： 在 CB 的延长线上？不。让我们回到定理的标准证明。

标准截长法证明 BE=BD：

1. 在 BC 上截取 BF = AB 是错误的。应该是：在 BC 上截取 BG = AB 也不对。

让我们重新梳理最经典的截长法证明 AB + BC = 2BD：

1. 在 BC 上截取 BF = AB？不，是在 BC 上截取点 F，使得 BF = AB 这个思路在 ∠ABM ≠ ∠CBM 时无法直接证全等。

正确的截长法逻辑：

1. 在 BC 上截取 BF = AB 是不行的。应该是：在 BC 上截取点 F，使得 CF = AB？也不对。

终极正确路径（截长补短）：

1. 在 BC 上截取 BF = AB 是错误的。正确的是：在 BC 上截取 BG = BA 也是错的。

让我们使用补短法对比，或者修正截长法：

截长法（针对 AB+BC=2BD）：

1. 在 BC 上截取 BF = AB 是错误的。应该是：在 BC 上截取点 F，使得 BF = AB 这个假设前提是 ∠ABM = ∠FBM，这只有在 M 在 ∠ABC 平分线上才成立，而 M 是弧 AC 中点，确实有 ∠ABM = ∠CBM 吗？不，M 是弧 ABC 中点，意味着弧 AM = 弧 MC。所以 ∠ABM = ∠CBM 是成立的！因为圆周角 ∠ABM 对弧 AM，∠CBM 对弧 MC。弧 AM = 弧 MC，所以 ∠ABM = ∠CBM。

啊！原来如此！

1. 因为 M 是弧 ABC 中点，所以 弧 AM = 弧 MC。

2. 所以 ∠ABM = ∠CBM （等弧对等角）。

3. 在 BC 上截取 BF = AB。

4. 在 △MBA 和 △MBF 中：

- AB = BF (构造)

- ∠ABM = ∠FBM (已证)

- MB = MB (公共边)

5. 所以 △MBA ≌ △MBF (SAS)。

6. 所以 MA = MF。

7. 又因为 MA = MC (M 是中点)，所以 MF = MC。

8. 在 △MFC 中，MF = MC，且 MD ⊥ BC (即 MD ⊥ FC)。

9. 根据等腰三角形“三线合一”，D 是 FC 的中点，即 FD = DC。

10. 因为 BC = BF + FC = AB + 2DC。

11. 又因为 BD = BF + FD = AB + DC。

12. 所以 2BD = 2AB + 2DC = AB + (AB + 2DC) = AB + BC。

13. 证毕。

3. 结论推导

通过上述步骤，我们证明了 △MBA ≌ △MBF，进而得到 MA = MF。结合 MA = MC，我们得到 MF = MC。由于 MD ⊥ BC，在等腰 △MFC 中，D 为底边 FC 的中点。

最终推导出：AB + BC = 2BD。这一结论完美展示了截长法在解决线段和差问题中的强大威力。