Here we collect some proofs of the following nice geometric result.
If is a quadrilateral, then with equality if is cyclic.
In words, the sum of the product of the lengths of the opposite sides of a quadrilateral is at least the product of the lengths of its diagonals.
The equality for a cyclic quadrilateral is known as Ptolemy’s theorem while the more general inequality applying to any quadrilateral is called Ptolemy’s inequality. Many of the proofs below that establish Ptolemy’s theorem can be modified slightly to prove the inequality.
Proofs of Ptolemy’s Theorem
Proof 1:
Choose point on line extended beyond as shown so that .
Then
a) ( and ).
b) ( and ).
From a) so by b) and we are done.
Proof 2: (a slightly different choice of constructed point)
Let be the point on so that .
Then
a) ( and ) so .
b) ( and ) so .
Adding the two gives or as required.
Proof 3: (ref: http://mathafou.free.fr/themes_en/kptol.html)
Let the diagonals intersect at and construct on the circumcircle so that is parallel to . A short angle chase shows that is an isosceles trapezium.
Then (angles on common arc and using ). Also triangles and have the same base and height and hence the same area.
Hence the area of ABCD is the sum of the areas of triangles ABE and ADE, or
where the last step follows from being an isosceles trapezium.
But also this area is and recall from above that . Therefore equating this with (1) we end up with .
Proof 4 (ref: [1])
Here three of the triangles of the cyclic quadrilateral are scaled to fit together to form a parallelogram. Namely,
- is scaled by ,
- is scaled by ,
- is scaled by .
A simple angle chase based on the coloured angles shown reveals that a parallelogram is formed when the triangles are joined together. Ptolemy’s theorem then follows from equating two of its opposite side lengths.
Proof 5: (from here)
Using the cosine rule in triangles and respectively gives
Since , this becomes
Hence
By a similar argument we may write
.
Multiplying these last two equations by each other and taking the square root gives
which is Ptolemy’s theorem.
Proof 6 (via this):
Let the angles subtended by respectively be and let the circumradius of the quadrilateral be . By the sine rule , , , . Then the equality to be proved is equivalent to
But we have
as required.
Proofs of Ptolemy’s Inequality (all make use of the triangle inequality)
Proof 7:
Denote the points by vectors or complex numbers . Then we have the equality
Applying the modulus (length) to both sides and then the triangle inequality leads to
which is Ptolemy’s inequality.
Proof 8: (ref: [2])
Place the origin at the point so that are represented by the vectors respectively. Let . Then
Similarly, and . By the triangle inequality, , or in other words,
which is another way of writing Ptolemy’s inequality.
Proof 9: (inversion)
Recall that under inversion under a point a circle passing through maps to a line. If are points on the circle mapping to respectively under inversion in a circle of radius centred at , then
To see this, since by the definition of the inverse, . This together with the fact that angle is common implies that triangles and are similar. This gives us the relationship as desired.
For our quadrilateral apply an inversion centred at with radius . Then map to points which are collinear if is cyclic. Using the result above and similarly and . By the triangle inequality and so this becomes
which is Ptolemy’s inequality.
Proof 10: (ref: [3])
Construct on so that , then draw on with . Finally rotate about to map to .
Then and by similarity of triangles and , so that
(a)
Secondly, as and . This gives
(b)
Adding (a) and (b) and applying the triangle inequality,
from which
which is Ptolemy’s inequality.
References
[1] A. Bogomolny, Ptolemy Theorem – Proof Without Words from Interactive Mathematics Miscellany and Puzzles
http://www.cut-the-knot.org/proofs/PtolemyTheoremPWW.shtml, Accessed 30 May 2015
[2] W.H. Greub, Linear Algebra, Springer Science & Business Media, 2012 (p 190).
[3] C. Alsina, R. B. Nelsen, When Less is More: Visualizing Basic Inequalities, MAA, 2009.
Prove #11, reusing diagram from prove #3:
Let m = DP, n = PB, AP = 1 unit, then PC = m*n // opposite triangles all similar
Let x = angle APB, then angle APD = pi – x // diagonal DPB a straight line
AB*CD = m*AB^2 = m * (n^2 + 1 – 2*n*cos(x)) // law of cosines
AD*BC = n*AD^2 = n * (m^2 + 1 – 2*m*cos(pi – x)) // note: cos(pi – x) = – cos(x)
Sum together, cosine terms cancelled out:
AB*CD + AD*BC = m*n^2 + m + n*m^2 + n = (1 + m*n)*(m + n) = AC*BD
QED
Comment by Albert Chan — August 12, 2019 @ 3:39 pm |
On your first proof, you leave out steps, why do you do that, how does that help the student.
Example: How do you know that Triangles BAD and CAP are Similar ?
What may be obvious to you may not be obvious to another person, make everything as clear as possible.
Comment by George Watson — May 13, 2020 @ 12:33 am |
Two triangles are similar if two of their corresponding angles are equal. The equal pairs of angles are stated here.
Comment by ckrao — May 14, 2020 @ 5:47 am |
3. Details on answer to comments 2:
As per construction Angle DAP = Angle BAC
Now adding Angle DAC in both sides,
Therefore, Angle PAC = Angle BAD
Again, Angle ABD = Angle ACD (Angles subtended by the same arc AD)
= Angle ACP
Hence triangles BAD & CAP are similar.
Comment by Kamal Uddin Ahmed — June 7, 2020 @ 9:17 am |
Proof no 12 : In the first figure let AC ( = d ) be a diameter and < DAC = α , < BAC = β. Then < DAB = α+β. From ΔADC we get sinα= DC/d,cosα=AD/d. From ΔABC , sinβ=BC/d, cosβ=AB/d and from ΔABD we have BD/sin(α+β)=2R=d (by sine rule) or sin(α+β) = BD/d. Now sin (α+β)= sinαcosβ + cosαsinβ or, BD/d = DC/d.AB/d + AD/d.BC/d or, d.BD = AB.DC + AD.BC. Hence AC.BD = AB.DC + AD.BC (QED) k
Comment by Kamal Uddin Ahmed — June 9, 2020 @ 6:33 am |