Difference between revisions of "Ptolemy's Inequality"

Revision as of 08:36, 9 November 2007

Ptolemy's Inequality states that in for four points $A, B, C, D$ in the plane,

$AB \cdot CD + BC \cdot DA \ge AC \cdot BD$ ,

with equality if and only if $ABCD$ is a cyclic quadrilateral with diagonals $AC$ and $BD$ .

Proof

We construct a point $P$ such that the triangles $APB, \; DCB$ are similar and have the same orientation. In particular, this means that

$BD = \frac{BA \cdot DC }{AP} \; (*)$ .

But since this is a spiral similarity, we also know that the triangles $ABD, \; PBC$ are also similar, which implies that

$BD = \frac{BC \cdot AD}{PC} \; (**)$ .

Now, by the triangle inequality, we have $AP + PC \ge AC$ . Multiplying both sides of the inequality by $BD$ and using $(*)$ and $(**)$ gives us

$BA \cdot DC + BC \cdot AD \ge AC \cdot BD$ ,

which is the desired inequality. Equality holds iff. $A$ , $P$ , and ${C}$ are collinear. But since the angles $BAP$ and $BDC$ are congruent, this would imply that the angles $BAC$ and $BPC$ are congruent, i.e., that $ABCD$ is a cyclic quadrilateral.

@@ Line 7: / Line 7: @@
 </center>
-with equality [[iff]]. <math>ABCD </math> is a [[cyclic quadrilateral]] with [[diagonal]]s <math>AC </math> and <math>BD </math>.
+with equality [[if and only if]] <math>ABCD </math> is a [[cyclic quadrilateral]] with [[diagonal]]s <math>AC </math> and <math>BD </math>.
 == Proof ==

Page

Toolbox

Search

Difference between revisions of "Ptolemy's Inequality"

Revision as of 08:36, 9 November 2007

Proof