PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (229)
Orphanage
Unclass'd (1)
Unproven (530)
Corrections (33)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Ptolemy's inequality (Proof)

Looking at the quadrilateral $ ABCD$ we construct a point $ E$, such that the triangles $ ACD$ and $ AEB$ are similar ( $ \angle ABE=\angle CDA$ and $ \angle BAE=\angle CAD$).

\includegraphics{ptolomaeus.eps}
This means that:

$\displaystyle \frac{AE}{AC}=\frac{AB}{AD}=\frac{BE}{DC},$
from which follows that

$\displaystyle BE=\frac{AB\cdot DC}{AD}.$
Also because $ \angle EAC=\angle BAD$ and

$\displaystyle \frac{AD}{AC}=\frac{AB}{AE}$
the triangles $ EAC$ and $ BAD$ are similar. So we get:

$\displaystyle EC=\frac{AC\cdot DB}{AD}.$
Now if $ ABCD$ is cyclic we get

$\displaystyle \angle ABE+\angle CBA=\angle ADC+\angle CBA=180^\circ.$
This means that the points $ C$, $ B$ and $ E$ are on one line and thus:

$\displaystyle EC=EB+BC$
Now we can use the formulas we already found to get:

$\displaystyle \frac{AC\cdot DB}{AD}=\frac{AB\cdot DC}{AD}+BC.$
Multiplication with $ AD$ gives:

$\displaystyle AC\cdot DB=AB\cdot DC+BC\cdot AD.$

Now we look at the case that $ ABCD$ is not cyclic. Then

$\displaystyle \angle ABE+\angle CBA=\angle ADC+\angle CBA\neq 180^\circ,$
so the points $ E$, $ B$ and $ C$ form a triangle and from the triangle inequality we know:

$\displaystyle EC<EB+BC.$
Again we use our formulas to get:

$\displaystyle \frac{AC\cdot DB}{AD}<\frac{AB\cdot DC}{AD}+BC.$
From this we get:

$\displaystyle AC\cdot DB<AB\cdot DC+BC\cdot AD.$
Putting this together we get Ptolomy's inequality:

$\displaystyle AC\cdot DB\leq AB\cdot DC+BC\cdot AD,$
with equality iff $ ABCD$ is cyclic.



"proof of Ptolemy's inequality" is owned by mathwizard.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: iff, equality, inequality, triangle inequality, multiplication, formulas, line, cyclic, similar, triangles, point, quadrilateral

This is version 2 of proof of Ptolemy's inequality, born on 2002-06-09, modified 2006-10-02.
Object id is 3079, canonical name is ProofOfPtolemysInequality.
Accessed 7740 times total.

Classification:
AMS MSC: 51-00 (Geometry :: General reference works )
Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)