托勒密定理的证明-托勒密定理证法

在平面几何的宏伟殿堂中，关于圆的性质的研究始终是一条主线。从圆心角、圆周角定理，到圆幂定理，再到本文将要深入剖析的托勒密定理，这些结论层层递进，不断揭示着圆与其内接图形之间更为深刻的联系。托勒密定理以其优美的形式和强大的功能，成为几何学中一个不可或缺的经典结论。

托勒密定理的完整表述：对于一个圆内接四边形，其两组对边长度乘积的和，等于两条对角线长度的乘积。即，若四边形ABCD内接于圆O，则有：AB · CD + BC · AD = AC · BD。

为了全面而深入地理解这个定理，我们将从多个角度出发，提供几种具有代表性的证明方法。每一种方法都闪耀着不同的数学思想光芒，它们或基于纯几何的构造，或借助三角函数的威力，或运用近代的复数工具。这些证明过程本身，就是一次绝佳的思维训练。

这是最为传统和直观的证明方法，其核心思想是“构造相似三角形”，通过巧妙的辅助线，将需要证明的等式中的线段乘积，转化为比例关系，进而由相似三角形的对应边成比例来建立联系。

证明步骤详述如下：

• 第一步：构造辅助角与辅助线

  在四边形ABCD中，连接对角线AC和BD。我们的目标是出现包含AB·CD和BC·AD的相似三角形。观察等式AB·CD + BC·AD = AC·BD，可以设想将AC（或BD）分割成两段，分别与AB·CD和BC·AD对应。
  也是因为这些，在AC上（或其延长线上）寻找一点E，使得∠ABE = ∠DBC成为一个自然的思路。因为根据圆周角定理，∠ABD = ∠ACD，如果令∠ABE = ∠DBC，那么它们的余角∠EBD就等于∠ABC - ∠DBC = ∠ABD？这里需要更精确的构造。

  更标准的做法是：在对角线BD上取一点E（或在BD的某一侧构造），使得∠BAE = ∠CAD。这个构造是可行的，因为∠BAC和∠CAD是相邻的，我们可以通过旋转/放缩来构造相似。

  更常见的构造是：在BD上取一点E，使得∠BAE = ∠CAD。这是证明的起点。

• 第二步：推导第一对相似三角形

  由构造条件：∠BAE = ∠CAD。 同时，根据圆周角定理，我们有：∠ABE = ∠ACD（因为它们同对着弧AD）。 也是因为这些，在△ABE和△ACD中，有两组角对应相等：∠BAE = ∠CAD，∠ABE = ∠ACD。 所以，△ABE ∽ △ACD（AA相似准则）。 由相似可得对应边成比例：AB / AC = BE / CD。 对这个比例式进行交叉相乘，我们得到第一个关键等式：AB · CD = AC · BE。 (等式1) 这个等式将AB·CD转化为了AC与BE（BD上的一段）的乘积。

• 第三步：推导第二对相似三角形

  我们已经利用了∠BAE = ∠CAD。观察另一个角，由等式∠BAE = ∠CAD，两边同时加上∠EAC，得到：∠BAC = ∠EAD。 另外，根据圆周角定理，我们有：∠BCA = ∠BDA（因为它们同对着弧AB）。 也是因为这些，在△ABC和△AED中，有两组角对应相等：∠BAC = ∠EAD，∠BCA = ∠BDA（即∠ACB = ∠ADE）。 所以，△ABC ∽ △AED（AA相似准则）。 由相似可得对应边成比例：BC / AC = ED / AD（注意对应：△ABC的边BC对应△AED的边ED？这里需要仔细对应。实际上，由∠BAC = ∠EAD，∠BCA = ∠BDA，所以对应顶点为：A对A？不，应该是A对A， B对E？不。根据角的关系，正确的对应是：在△ABC和△AED中，∠BAC对应∠EAD，∠ACB对应∠EDA，因此第三个角∠ABC对应∠AED。所以对应边为：AB对应AE， BC对应ED， AC对应AD）。 也是因为这些，正确的比例是：BC / ED = AC / AD。 对这个比例式进行交叉相乘，我们得到第二个关键等式：BC · AD = AC · ED。 (等式2) 这个等式将BC·AD转化为了AC与ED（BD上的另一段）的乘积。

• 第四步：完成等式求和

  现在，观察等式1和等式2： AB · CD = AC · BE BC · AD = AC · ED 将这两个等式左右分别相加： 左边 = AB · CD + BC · AD。 右边 = AC · BE + AC · ED = AC · (BE + ED)。 注意到点E在线段BD上，因此BE + ED = BD。 所以，右边 = AC · BD。 于是，我们最终得到：AB · CD + BC · AD = AC · BD。 至此，定理得证。

这个证明的魅力在于辅助线（本质上是构造了等角）的巧妙构思，它将一个关于乘积和的复杂等式，分解为两个可以通过相似三角形轻松解决的简单比例问题，最后利用线段和进行合并。它充分体现了转化与化归的数学思想，是几何证明中“分析综合法”的典范。对于在易搜职考网平台进行系统性学习的考生来说呢，熟练掌握这种构造相似三角形的技巧，对提升几何推理能力至关重要。

当几何图形与角度、边长结合时，三角函数便成为一个强大的工具。利用正弦定理，我们可以给出一个非常简洁且具有启发性的证明。这个证明不需要奇特的辅助线，更侧重于代数运算和三角恒等式的运用。

证明步骤详述如下：

• 第一步：设定参数与应用正弦定理

  设四边形ABCD内接于圆，设该圆的半径为R。连接对角线AC和BD。 设∠ABD = α， ∠DBC = β， ∠BCA = γ， ∠ACD = δ。根据圆内接四边形的性质和圆周角定理，这些角之间存在特定关系，例如对角互补等，但我们暂时不全部使用，而是先用它们来表示各边。

  在△ABD中，应用正弦定理： AB / sin(∠ADB) = BD / sin(∠BAD) = 2R。 但∠ADB = ∠ACB = γ + δ？ 更直接地，我们关注边AB和对角线BD。考虑用已知角表示。 实际上，更清晰的方法是直接对每个三角形应用正弦定理： 在△ABC中： AB / sin(∠ACB) = BC / sin(∠BAC) = AC / sin(∠ABC) = 2R。 在△ADC中： AD / sin(∠ACD) = CD / sin(∠CAD) = AC / sin(∠ADC) = 2R。 在△ABD中： AB / sin(∠ADB) = AD / sin(∠ABD) = BD / sin(∠BAD) = 2R。 在△BCD中： BC / sin(∠BDC) = CD / sin(∠CBD) = BD / sin(∠BCD) = 2R。

  为了得到AB·CD等乘积，一个有效的策略是：用2R和角的正弦值表示所有边长。

  设∠BAC = A1， ∠CAD = A2， 则A1 + A2 = ∠BAD。 设∠ABD = B1， ∠DBC = B2， 则B1 + B2 = ∠ABC。 根据圆周角定理，有：∠BDC = ∠BAC = A1， ∠ADB = ∠ACB = ? 更系统地：

  令∠CAB = α， ∠ABD = β， ∠DBC = γ， ∠BCA = δ， ∠ACD = ε， ∠ADB = ζ。 由圆周角定理：对同弧的圆周角相等。 例如：对弧AB：∠ACB = ∠ADB = ζ。 对弧BC：∠BAC = ∠BDC = α。 对弧CD：∠CBD = ∠CAD = ? 设∠CAD = θ。 对弧AD：∠ABD = ∠ACD = β。 也是因为这些，我们有：α, β, γ, δ, ε, ζ, θ这些角，它们之间由三角形内角和为180度以及四边形对角互补等关系联系。表达所有边：

  AB：在△ABD中，AB = 2R sin(∠ADB) = 2R sin ζ。 在△ABC中，AB = 2R sin(∠ACB) = 2R sin ζ。一致。 CD：在△ACD中，CD = 2R sin(∠CAD) = 2R sin θ。 在△BCD中，CD = 2R sin(∠CBD) = 2R sin γ。所以 sin θ = sin γ。 BC：在△ABC中，BC = 2R sin(∠BAC) = 2R sin α。 在△BCD中，BC = 2R sin(∠BDC) = 2R sin α。一致。 AD：在△ABD中，AD = 2R sin(∠ABD) = 2R sin β。 在△ACD中，AD = 2R sin(∠ACD) = 2R sin β。一致。 AC：在△ABC中，AC = 2R sin(∠ABC) = 2R sin(β+γ)。 在△ADC中，AC = 2R sin(∠ADC) = 2R sin(α+θ)。 BD：在△ABD中，BD = 2R sin(∠BAD) = 2R sin(α+θ)。 在△BCD中，BD = 2R sin(∠BCD) = 2R sin(δ+ε)。但注意∠BCD = δ+ε。

  由以上，我们得到：AB = 2R sin ζ, CD = 2R sin θ, BC = 2R sin α, AD = 2R sin β, AC = 2R sin(β+γ), BD = 2R sin(α+θ)。且注意到 sin(α+θ) = sin(β+γ)？ 因为AC和BD都用2R sin(某角)表示，且AC和BD是定长，所以这两个角的正弦值相等，但角不一定相等。

• 第二步：计算左边AB·CD + BC·AD

  左边 = AB·CD + BC·AD = (2R sin ζ) (2R sin θ) + (2R sin α) (2R sin β) = 4R² (sin ζ sin θ + sin α sin β)。

• 第三步：计算右边AC·BD并利用三角恒等式

  右边 = AC·BD = [2R sin(β+γ)] [2R sin(α+θ)] = 4R² sin(β+γ) sin(α+θ)。

  现在，我们需要证明 sin ζ sin θ + sin α sin β = sin(β+γ) sin(α+θ)。

  利用三角形内角和关系来寻找角之间的联系。在△ABC中，α + (β+γ) + ζ = 180°，所以 ζ = 180° - α - β - γ。 在△ACD中，θ + ε + β = 180°，且 ε = ? 在△ABC中，δ = ? 关系复杂。一个更简洁的路径是利用和差化积公式，但需要知道角的关系。

  实际上，由圆周角定理，我们已经得到：ζ = ∠ACB，且注意到在△ABC中，α + (β+γ) + ζ = 180°，所以 ζ = 180° - α - β - γ。 同时，在四边形ABCD中，对角互补：α+θ + (β+γ + ζ?) 更直接地，∠ABC + ∠ADC = 180°，即 (β+γ) + (?) = 180°。∠ADC = ? 在△ADC中，∠ADC = 180° - θ - β。 所以 (β+γ) + (180° - θ - β) = 180° => γ = θ。这是一个关键发现！

  所以，θ = γ。代入上述表达式。

  同时，在△ABD中，α+θ + β + ζ = 180°（因为∠BAD=α+θ， ∠ABD=β， ∠ADB=ζ），所以 ζ = 180° - α - β - θ = 180° - α - β - γ。

  现在，左边 = 4R² (sin ζ sin γ + sin α sin β)。 右边 = 4R² sin(β+γ) sin(α+γ)。

  我们需要证明：sin(180° - α - β - γ) sin γ + sin α sin β = sin(β+γ) sin(α+γ)。

  利用诱导公式：sin(180° - x) = sin x，所以 sin ζ = sin(α+β+γ)。（注意：sin(180° - α - β - γ) = sin(α+β+γ)， 因为180° - (α+β+γ) 的正弦等于 (α+β+γ) 的正弦）。

  也是因为这些，左边 = 4R² [ sin(α+β+γ) sin γ + sin α sin β ]。

  现在应用三角恒等式。考虑两角和的正弦公式：sin(α+β+γ) = sin[(α+β)+γ] = sin(α+β)cosγ + cos(α+β)sinγ。 则 sin(α+β+γ) sin γ = [sin(α+β)cosγ + cos(α+β)sinγ] sin γ = sin(α+β) cosγ sinγ + cos(α+β) sin²γ。

  所以左边 = 4R² [ sin(α+β) cosγ sinγ + cos(α+β) sin²γ + sin α sin β ]。

  再看右边：sin(β+γ) sin(α+γ)。分别展开： sin(β+γ) = sinβ cosγ + cosβ sinγ。 sin(α+γ) = sinα cosγ + cosα sinγ。 乘积 = (sinβ cosγ + cosβ sinγ)(sinα cosγ + cosα sinγ) = sinα sinβ cos²γ + sinα cosβ sinγ cosγ + cosα sinβ sinγ cosγ + cosα cosβ sin²γ = sinα sinβ cos²γ + sinγ cosγ (sinα cosβ + cosα sinβ) + cosα cosβ sin²γ = sinα sinβ cos²γ + sinγ cosγ sin(α+β) + cosα cosβ sin²γ。

  现在比较左边和右边的表达式： 左边 = 4R² [ sin(α+β) cosγ sinγ + cos(α+β) sin²γ + sin α sin β ]。 右边 = 4R² [ sinα sinβ cos²γ + sinγ cosγ sin(α+β) + cosα cosβ sin²γ ]。

  要令二者相等，即需证明： cos(α+β) sin²γ + sin α sin β = sinα sinβ cos²γ + cosα cosβ sin²γ。 将右边项移到左边： [cos(α+β) - cosα cosβ] sin²γ + sinα sinβ (1 - cos²γ) = 0。 因为 cos(α+β) = cosα cosβ - sinα sinβ。 所以 cos(α+β) - cosα cosβ = - sinα sinβ。 同时，1 - cos²γ = sin²γ。 代入上式：(- sinα sinβ) sin²γ + sinα sinβ sin²γ = 0。 显然成立。
  也是因为这些，左边恒等于右边。

  所以，AB·CD + BC·AD = AC·BD 成立。

这个证明虽然涉及较多的三角运算，但它揭示了托勒密定理与三角学之间的深刻渊源。它表明，托勒密定理本质上可以视为一系列三角恒等式的几何化身。这种方法展现了代数工具解决几何问题的强大力量，对于在更高维度上理解几何关系大有裨益。易搜职考网的数学能力提升课程中，也强调这种跨章节知识的融合应用能力。

将平面上的点视为复数，是处理旋转、伸缩和角度关系的利器。利用复数的指数形式或旋转性质，可以给出一个极其简洁、几乎“计算化”的证明。这种方法体现了现代数学的抽象与统一之美。

证明思路与步骤：

• 第一步：建立复平面模型

  设圆内接四边形ABCD的四个顶点在复平面上对应的复数分别为a, b, c, d。为了方便，我们可以假设这个圆是单位圆（因为相似变换不影响线段乘积的比例关系，所以不失一般性）。即 |a| = |b| = |c| = |d| = 1。

• 第二步：用复数表示边长

  在复平面上，两点之间的距离等于对应复数之差的模。
  也是因为这些吧，： AB = |b - a|, BC = |c - b|, CD = |d - c|, AD = |d - a|, AC = |c - a|, BD = |d - b|。

  我们需要证明：|b-a|·|d-c| + |c-b|·|d-a| = |c-a|·|d-b|。

• 第三步：利用单位圆上复数的性质进行化简

  一个关键性质是：对于单位圆上的复数z，其共轭等于其倒数，即 (bar{z} = 1/z)，因为 |z|=1。 也是因为这些，对于任意两点复数之差，例如 b-a，有： |b-a|² = (b-a)(overline{b-a}) = (b-a)(bar{b} - bar{a}) = (b-a)(1/b - 1/a) （因为a, b在单位圆上） = (b-a) ((a - b)/(ab)) = - (b-a)(b-a)/(ab) = - (b-a)²/(ab)。 但这样似乎不便于直接得到乘积。更巧妙的方法是考虑复数比。

  另一个经典方法是利用托勒密定理的一个等价形式：对于单位圆上的四点a, b, c, d，有： (a-b)(c-d) + (b-c)(a-d) + (c-a)(b-d) = 0。 这个恒等式可以通过直接展开验证，并且它与几何定理等价。 但我们需要的是模的关系。一个更直接的证明如下：

  考虑恒等式：(a-c)(b-d) = (a-b)(c-d) + (a-d)(b-c)。 （这是一个著名的复数恒等式，可以通过右边展开验证） 即： (a-c)(b-d) - (a-b)(c-d) - (a-d)(b-c) = 0。

  现在，取这个复数的模。但注意，对于任意复数，|z1 + z2| ≤ |z1| + |z2|，等号成立当且仅当z1和z2的辐角相同（即同向）。而我们这里有一个精确的等式，不是不等式。实际上，对于单位圆上的点，可以证明上述恒等式两边的复数是相等的，因此模自然相等。但我们需要的是边长乘积的和。

  对恒等式 (a-c)(b-d) = (a-b)(c-d) + (a-d)(b-c) 两边取模： |(a-c)(b-d)| = |(a-b)(c-d) + (a-d)(b-c)|。 左边 = |a-c| · |b-d| = AC · BD。 右边 ≤ |(a-b)(c-d)| + |(a-d)(b-c)| = |a-b|·|c-d| + |a-d|·|b-c| = AB·CD + AD·BC。 这似乎得到了一个不等式：AC·BD ≤ AB·CD + AD·BC。但托勒密定理是等式。问题在于，对于一般的复数，三角不等式是“≤”，只有当两个加数复数同向时才取等号。

  也是因为这些，要证明托勒密定理，关键在于证明在圆内接四边形的条件下，复数 (a-b)(c-d) 和 (a-d)(b-c) 的辐角相同，即它们同向。这样三角不等式取等号，就得到了等式。

  计算这两个复数的辐角： arg[(a-b)(c-d)] = arg(a-b) + arg(c-d)。 arg[(a-d)(b-c)] = arg(a-d) + arg(b-c)。

  由于a, b, c, d在单位圆上，向量(a-b)的辐角与弦AB所对的圆周角等有关。可以利用几何性质证明这两个和相等。一种论证是：考虑四边形是圆内接的，其对角互补等性质，在复数乘法下表现为旋转角的叠加关系，最终能推出这两个复数的方向一致。这是一个需要一些篇幅的严谨推导。

  另一种更简洁的表述是：令四个复数a= e^(iα), b= e^(iβ), c= e^(iγ), d= e^(iδ)。则： (a-b)(c-d) = (e^(iα)-e^(iβ))(e^(iγ)-e^(iδ)) = e^(i(α+γ)/2) 一些实系数乘积？实际上，通过和差化积： e^(iα)-e^(iβ) = e^(i(α+β)/2) (e^(i(α-β)/2) - e^(-i(α-β)/2)) = 2i e^(i(α+β)/2) sin((α-β)/2)。 同理，e^(iγ)-e^(iδ) = 2i e^(i(γ+δ)/2) sin((γ-δ)/2)。 所以 (a-b)(c-d) = -4 e^(i(α+β+γ+δ)/2) sin((α-β)/2) sin((γ-δ)/2)。 这是一个纯虚数乘以一个旋转因子？实际上，-4 sin((α-β)/2) sin((γ-δ)/2) 是实数（可能是正或负），而 e^(i(α+β+γ+δ)/2) 是单位复数。所以 (a-b)(c-d) 的辐角是 (α+β+γ+δ)/2 或加上π（如果实系数为负）。

  同样，(a-d)(b-c) = -4 e^(i(α+δ+β+γ)/2) sin((α-δ)/2) sin((β-γ)/2)。 注意指数部分完全相同：都是 e^(i(α+β+γ+δ)/2)。而前面的实数系数 -4 sin((α-β)/2) sin((γ-δ)/2) 和 -4 sin((α-δ)/2) sin((β-γ)/2) 在圆内接四边形的特定顺序下（即顶点按顺序排列），可以证明同号。
  也是因为这些，这两个复数具有相同的辐角（最多相差π的整数倍，但由于同号，实际上是相同的方向）。

  也是因为这些，|(a-b)(c-d) + (a-d)(b-c)| = |(a-b)(c-d)| + |(a-d)(b-c)|。 代入之前的恒等式，即有： AC · BD = |(a-c)(b-d)| = |(a-b)(c-d) + (a-d)(b-c)| = |(a-b)(c-d)| + |(a-d)(b-c)| = AB · CD + AD · BC。 注意这里出现的是AD·BC，而定理中是BC·AD，乘积可交换，因此完全一致。

这个证明将几何条件（四点共圆）完美地嵌入到了复数的代数性质中，通过计算几乎“自动”得出了结论。它展示了高等数学工具在解决初等问题时的降维优势，也启发我们以更统一的视角看待数学的不同分支。对于学有余力，希望开拓思维视野的学习者，易搜职考网建议可以适当了解这种现代证明方法，感受数学的内在统一性。

通过以上三种不同风格的证明，我们从几何直观、三角运算和复数代数三个维度，全方位地透视了托勒密定理这一经典结论。每一种证明方法都不仅仅是推导出一个公式，更是对特定数学思想和技巧的深刻演练。无论是备考中需要扎实掌握基础几何证明的学员，还是对数学有更高兴趣探索的爱好者，都能从中获得丰富的营养。理解并消化这些证明，能够显著增强解决综合性几何问题的能力，这正是应对各类职业能力考试和提升个人逻辑思维品质的有效途径。在数学学习的道路上，掌握像托勒密定理这样兼具基础性与枢纽性的知识节点，其价值远超过定理本身。