Limit of Ptolemy's theorem

Geometry Level 3

Is it possible to construct a cyclic quadrilateral A B C D ABCD such that A B = 17 AB = 17 , B C = 18 BC = 18 , C D = 29 CD = 29 , D A = 25 DA = 25 , A C = 41 AC = 41 and B D = 23 BD =23 ?

No Cannot be determined Yes

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Tommy Li
Sep 20, 2017

Relevant wiki: Ptolemy's Theorem

Ptolemy's theorem state that : If a quadrilateral is inscribable in a circle then the product of the measures of its diagonals is equal to the sum of the products of the measures of the pairs of opposite sides.

17 × 29 + 18 × 25 = 41 × 23 = 943 17\times 29 +18 \times 25 = 41 \times 23 = 943

A B × C D + B C × D A = A C × B D AB \times CD +BC \times DA = AC \times BD

However , consider Δ A B C \Delta ABC and think about the triangle inequality :

17 + 18 < 41 A B + B C < C A 17 +18 < 41 \Rightarrow AB + BC < CA

The quadrilateral A B C D ABCD doesn't exist and we can't use Ptolemy's theorem to say yes to the problem

Great! That is a necessary, but not sufficient condition for a cyclic quadrilateral.

Any thoughts on what a sufficient condition would be?

Calvin Lin Staff - 3 years, 8 months ago

Log in to reply

It won't work for A C = 41 , B D = 23 AC=41, BD=23 either, even though this condition is not an obstacle anymore. For a given set of side lengths, diagonals cannot be just arbitrarily picked to match the formula. The diagonal lengths can be determined by using the law of cosines:

In this case, A C = 920704651 / 1031 , B D = 920704651 / 947 AC=\sqrt{920704651} / 1031, BD=\sqrt{920704651}/947

Maria Kozlowska - 3 years, 7 months ago

Log in to reply

Right. As it turns out, the lengths of the diagonals are uniquely determined.

There is a "second Ptolemy theorem" which states that A C B D = A B × A D + C B × C D A B × B C + C D × D A \frac{ AC} { BD} = \frac{ AB \times AD + CB \times CD } { AB \times BC + CD \times DA } . (This could also be proven by the law of cosines). Hence, the cyclic quadrilaterial is uniquely determined by the 4 sides on the perimeter.

Calvin Lin Staff - 3 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...