Mathematics and Computer Science
Volume 1, Issue 4, November 2016, Pages: 93-100

The New Proof of Ptolemy’s Theorem & Nine Point Circle Theorem

Dasari Naga Vijay Krishna

Department of Mathematics, Narayana Educational Instutions, Bengalore, India

Dasari Naga Vijay Krishna. The New Proof of Ptolemy’s Theorem & Nine Point Circle Theorem.Mathematics and Computer Science. Vol. 1, No. 4, 2016, pp. 93-100. doi: 10.11648/j.mcs.20160104.14

Received: August 31, 2016; Accepted: October 18, 2016; Published: December 14, 2016

Abstract: The main purpose of the paper is to present a new proof of the two celebrated theorems: one is "Ptolemy's Theorem" which explains the relation between the sides and diagonals of a cyclic quadrilateral and another is "Nine Point Circle Theorem" which states that in any arbitrary triangle the three midpoints of the sides, the three feet of altitudes, the three midpoints of line segments formed by joining the vertices and Orthocenter, total nine points are concyclic. Our new proof is based on a metric relation of circumcenter.

Keywords: Ptolemy’s Theorem, Circumcenter, Cyclic Quadrilateral, Nine Point Circle Theorem, Pedals Triangle, Medial Triangle

Contents

1. Introduction

The Ptolemy’s Theorem states that "The multiple of the lengths of the diagonals of a Cyclic Quadrilateral is equal to the addition of separate multiples of the opposite side lengths of the Cyclic Quadrilateral" (refer [6]).

In this short paper, we deal with an elementary proof for the Ptolemy’s theorem as well as Nine Point Circle Theorem ([24], [25]). Many other different simple approaches for proving the two theorems and their further generalizations are well known in the literature of Euclidean geometry. (some of them can be found in [1], [5], [6], [12], [13], [14], [17], [18], [21], [22], [23] and [26]). In this article we present a new proof for these two theorems based on a metric relation of circumcenter. Our proof actually follows from a lemma related to a circumcircle which gives a necessary condition for the four points to be concylic and in the conclusion of the article we will try to prove some remarks and related inequalities based on these lemmas.

2. Some Back Ground Material

The standard notation is used throughout:

For any arbitrary triangle ABC, we denote a, b, c for the sides of the lengths of BC, CA, AB, its semi perimeter byand its area by. Its classical centers are the circumcenter (S), the incenter (I), the centroid (G), the orthocenter (O) and nine-point center (N) respectively. Let D, E, F be the feet of the medians and K, L, M are the feet of the altitudes of the triangle ABC which lies on the sides BC, CA, AB and T, U, V are the mid points of AO, BO and CO. The median and the altitude through A (and their lengths ) are denoted by ma and ha respectively. The classical radii are the circumradius R (=SA=SB=SC), the inradius r and the exradii r1, r2, r3.

The Medial Triangle:

The triangle formed by the feet of the medians is called as Medial triangle. Its sides are parallel to the sides of given triangle ABC and by Thales Theorem the sides and angles of medial triangle are, , , A, B and C respectively. Its area is, circumradius , inradius .

The following formulas are well known

(a)

(b)

(c)

(d)  For any triangle ABC,

(e)  For any triangle ABC,

(f)

3. Basic Lemma’s

Lemma-1

Let M be any point in the plane of the triangle ABC, if S its circumcenter then

(1)

(2)

Proof:

The proof of (1) is available in [3].

Now for (2), we proceed as follows

We have

By replacing sin2A, sin2B, sin2C in (1) and by little computation, we get the conclusion (2).

Lemma-2

If X is any point on the circumcircle of the triangle ABC then

(3)

(4)

Proof:

The proof of (3) is available in [3].

By replacing sin2A, sin2B, sin2C in (1) and with a little algebra, we get the conclusion (4).

Lemma-3

If D, E, F are the feet of medians of ∆ABC drawn from the vertices A, B, C on the sides BC, CA, AB and M is any point in the plane of the triangle then

(5)

(6)

(7)

Proof:

Clearly for the triangle BMC, DM is a cevian.

So by using Stewart’s theorem,

We have

By replacing BD=CD=, we get the conclusion (5).

In the similar manner we can prove the conclusions (6) and (7).

Lemma-4

If ABCD is a cyclic quadrilateral and P is the point of intersection of diagonals AC and BD such that AB=a, BC=b, CD=c, DA=d and AC=p, BD=q then

AP.PC=BP.PD (chords property)             (8)

(9)

Proof:

Clearly from the figure1, Using the property "In any circle Angles in the same segment are equal" and by little angle chasing in the triangles ∆APB, ∆DPC, ∆APD and ∆BPC.

We can prove that pair of the triangles ∆APB, ∆DPC and ∆APD, ∆BPC are similar

It implies that AP.PC=BP.PD

Now for (8), we proceed as follows

Since P is the point of intersection of diagonals and BP, CP are the cevians of the triangles ∆ABC and ∆ADC,

So we have

([∆XYZ] represents area of the triangle XYZ)

It implies that

In the similar manner we can prove that

Now let AP=adx, CP=bcx and BP=aby, DP=cdy for some non zero real x, y

But from (8), AP.PC = BP.PD

It implies that x=y

So

It implies the conclusion (9).

Lemma-5

If ABCD is a cyclic quadrilateral such that AB=a, BC=b, CD=c, DA=d and AC=p, BD=q wherethen

(10)

(11)

Proof:

Since the Quadrilateral ABCD is a cyclic Quadrilateral, the 4 points A, B, C and D are concyclic. Hence one point among A, B, C and D will lie on the circumcircle of the triangle formed by the remaining three points.

For triangle ABC, the point D lies on the circumcircle of triangle ABC.

So using lemma-2, by fixing X as D in the conclusion (4),

We get

(12)

Now for triangle ADC, the point B lies on the circumcircle of triangle ADC.

And using lemma-2, by fixing X as B in the conclusion (4),

We get

(13)

In the similar manner for trianglesADB, ABD we get

(14)

(15)

Now by replacing AB=a, BC=b, CD=c, DA=d, AC=p and BD=q in (12), (13), (14) and (15) we get

(16)

(17)

(18)

(19)

Now by the computation of [(16)+(17)]-[(18)+(19)], we get

It implies

Which completes the proof of (10).

Now for the conclusion (11),

We compute [(16)+(17)+(18)+(19)].

Remark:

The conclusion (11) usually called as Euler’s four point relation (In this article we proved this relation for a cyclic quadrilateral, actually it is true for any convex quadrilateral). [12]

Lemma-6

If X is any point on the circumcircle of the medial triangle DEF whose angles are A, B, C and area is  then

(20)

(21)

Proof:

Using the lemma-2(3),

We have, If X is any point on the circumcircle of triangle ABC then

Now for medial triangle DEF,

If X is any point on the Circumcircle then

It implies the conclusion (20).

Now for the conclusion (21),

We proceed as follows

By using lemma-3(5), (6), (7) Replace DX, EX, FX in (20)

We get

(22)

Using (g), we have

By replacingusing (g) in (22) and by little algebra gives the conclusion (21).

Lemma-7

If triangle DEF is a medial triangle and the points K, L and M are the foot of perpendiculars drawn from the Vertices A, B and C of triangle ABC to the sides BC, CA and AB respectively then the 6 points D, E, F, K, L and M are concyclic.

Proof:

By using lemma-6(20),

If X is any point on the circumcircle of medial triangle DEF then

(23)

Figure 3. D, E, F, K, L and M are concylic.

Clearly to prove D, E, F, K, L and M are concyclic, it is enough to prove that the X present in (23) is satisfied by K, L and M simultaneously.

Consider,

It is clear that from the triangles ∆BFK and ∆CEK, EK=CE=AE=, FK=AF=BF= (Mid Point of hypotenuse of a right triangle acts as circumcenter, so it is equidistant from the three vertices)

(24)

Now using (e) and (f) we can prove (24) is equal to ∆.

Hence using (23) we can conclude that the point K lies on the circumcircle of the triangle DEF, that is D, E, F and K are concyclic.

In the similar manner using (23) we can prove L and M also lie on the circumcircle of the triangle DEF.

That is the 6 points D, E, F, K, L and M are concyclic. (see figure 3).

Lemma- 8

If the triangle DEF is a medial triangle and the points T, U and V are the mid points of AO, BO and CO respectively where O is the orthocenter of the triangle ABC then the 6 points D, E, F, T, U and V are concyclic.

Proof:

By using lemma-6 (20),

If X is any point on the circumcircle of medial triangle DEF then

Figure 4. D, E, F, T, U and V are concyclic.

Clearly, to prove D, E, F, T, U and V are concyclic, it is enough to prove that the X present in (23) is satisfied by T, U and V simultaneously.

Consider,

Clearly In triangles ∆ABO and ∆ACO, the points F, E and T are the midpoints of sides AB, AC and AO.

So by the Mid Points Theorem, we can prove that the pairs of the lines (DF, AC), (FT, BO) and (ET, CO) are parallel.

It implies angle AFT = angle ABO=900-A = angle AET = angle ACO.

And angle BFD = angle BAC = angle A.

It implies angleDFT=180° – angle BFD – angleTFA= 90°

And again by Mid Points Theorem we have

,

Now from triangle DFT, Since angle DFT = 90°,

So by Pythagorus Theorem, we have

(25)

Now using (g) we can prove (25) is equal to ∆.

Hence using (23) we can conclude that the point T lies  on the circumcircle of the triangle DEF, that is D, E, F and T are concyclic.

In the similar manner using (23) we can prove U and V also lie on the circumcircle of the triangle DEF.

That is the 6 points D, E, F, T, U and V are concyclic (see figure-4).

Hence proved.

Now we are in a position to deal with the  proof of most celebrated theorems in a very prominent way.

4. Main Theorems

A). PTOELMY’S THEOREM

Let ABCD is any arbitrary cyclic quadrilateral such that AC and BD are its diagonals then

Proof:

Using lemma-4(9),

We have ,

It implies

(26)

Now using lemma-5(10)

we have

By combining (10) and (26) we get

It completes the proof of the Ptolemy’s Theorem.

B). NINE POINT CIRCLE THEOREM

Let D, E, F are the foot of the medians and K, L, M are the foot of altitudes of the triangle ABC and T, U, V are the midpoints of AO, BO and CO where O is orthocenter then D, E, F, K, L, M, T, U and V are concyclic.

Proof:

Figure 5. Nine Point Circle.

By combining lemma-7 and lemma-8 we can conclude that the 9 points D, E, F, K, L, M, T, U and V are concyclic (see figure -5).

It proves the Nine Point Circle Theorem.

5. Remarks

(27)

Proof:

We have by lemma-1(2)

(28)

Since the conclusion (2) is true for any M, let us fix M as S (circumcenter),

By replacing AS = BS = CS = R and SM2 = SS2 = 0,

We get

Further simplification gives the conclusion (27).

1. If triangle ABC is an Equilateral and X be any point on the circumcircle of the triangle ABC then

(29)

Proof:

We have from lemma-2 (3),

If X is any point on the circumcircle of triangle ABC then

If the triangle ABC is an equilateral triangle then angle A = angle B = angle C = 60°

So

And we have area of an equilateral triangle, where a and R is the length of the side and circumradius of the triangle respectively.

By replacing these in (3), we get conclusion (29).

2. If X is a point on the circumcircle of triangle ABC which acts as a feet of the internal angular bisector of angle A then

(30)

(31)

(32)

Proof:

Since X is the feet of internal angular bisector of angle A,

So by angle chasing we can prove that BX = CX = IX

Hence by Ptolemy’s Theorem for the cyclic quadrilateral ABXC,

We have

Further simplification gives

Which proves (30)

Now for (31) we proceed as follows

We know by lemma-2(3),

If X is any point on the circumcircle of triangle ABC then

Clearly BX=CX=IX

Further simplification (by replacing sin2A and 4∆) using the transformations of the angles gives (31)

Now by combining (30), (31) we get (32).

3. If M is any point in the plane of the triangle ABC which minimizes the sum

as  then M must be circumcenter (S).              (33)

Proof:

We have by lemma-2,

Now Since the square of any real is nonnegative,

We have

And it is clear that the equality holds when M coincides with S (circumcenter).

It gives

Which proves the required conclusion (33).

(34)

Proof:

Using transformations of angles we can prove (34) which can be available in any academic trigonometry book.

But here we will prove this identity using lemma-1(1)

We have by lemma-1(1),

If S is the circumcenter of a triangle and M  be any point in the plane of triangle then

It is true for any M, let us fix M as S(circumcenter), then

By replacing AS = BS = CS = R and SS=0

We get conclusion (34).

In the similar manner we can derive some more remarks using the lemma’s discussed earlier in section 3.

For few more generalizations and historical details about Ptolemy’s theorem and Nine Point Circle Theorem refer [2], [4], [7], [8], [9], [10], [11], [13], [14], [15], [16], [19], [20] and [26].

6. Conclusion

This article has shown New and more elegant approach to prove that the give three points are concyclic, based on this approach we proved two famous theorems related to concyclic points. The proofs presented here only require basic knowledge of trigonometry and no advanced knowledge of synthetic projective geometry, the proofs are certainly an impressive tour –de-force of algebraic-trig manipulation and application. The approach which we dealt in this paper is also useful to study and investigate the further properties of concyclic points. We can extend this approach to prove the necessary condition for the points to be concyclic.

References

1. Claudi Alsina and Roger B. Nelsen, On the Diagonals of a Cyclic Quadrilateral, Forum Geometricorum, Volume7 (2007)147–149.
2. Clark Kimberling, Twenty – one points on the nine-point circle, The Mathematical Gazette, Vol.92, No.523 (March2008), pp.29-38.
3. Dasari Naga Vijay Krishna, Distance Between the Circumcenter and Any Point in the Plane of the Triangle, Geo Gebra International Journal of Romania (GGIJRO),volume-5,No.2,2016art92,pp139-148.
4. Dasari Naga Vijay Krishna, Yet another proof of Feuerbach’s Theorem, Global Journal of Science Frontier Research: F, Mathematics and Decision Science, volume-16, issue-4, version-1.0, 2016, p9-15.
5. Erwin Just Norman Schaumerger, A Vector Approach to Ptolemy's Theorem, Mathematics Magzine, Vol.77, NO.5, 2004.
6. G.W. Indika Shameera Amarasinghe, A Concise Elementary Proof For The Ptolemy’s Theorem, Global Journal of Advanced Research on Classical and Modern Geometries, Vol.2, Issue1, 2013, pp.20-25.
7. J. E. Valentine, An Analogue of Ptolemy's Theorem in Spherical Geometry The American Mathematical Monthly, Vol.77, No.1 (Jan.,1970), pp.47-51.
8. J. L Coolidge, A Historically Interesting Formula for the Area of a Cyclic Quadrilateral, Amer. Math. Monthly, 46(1939), pp.345–347.
9. Michael de Villiers, A Generalization of the Nine-point circle and Euler line, Pythagoras, 62, Dec05, pp.31-35.
10. Michael de Villiers, The nine-point conic: a rediscovery and proof by computer, International Journal of Mathematical Education in Science and Technology, vol37, 2006.
11. Mehmet Efe Akengin, Zeyd Yusuf Koroglu, Yigit Yargi, Three Natural Homoteties of The Nine-Point Circle, Forum Geometricorum, Volume13 (2013) 209–218.
12. Martin Josefsson, Properties of Equidiagonal Quadrilaterals, Forum Geometricorum, Volume 14 (2014) 129–144.
13. O.Shisha, On Ptolemy’s Theorem, International Journal of Mathematics and Mathematical Sciences, 14.2 (1991) p.410.
14. Sidney H. Kung, Proof without Words: The Law of Cosines via Ptolemy's Theorem, Mathematics Magazine, April,1992.
15. Shay Gueron, Two Applications of the Generalized Ptolemy Theorem, The Mathematical Association of America, Monthly109,2002.
16. S. Shirali, On the generalized Ptolemy theorem, Crux Math. 22 (1989) 49-53.
17. http://skepticbutjewish.blogspot.in/2010/11/generalizing-ptolemys-theorem.html.
18. https://www.parabola.unsw.edu.au/files/articles/2000-2009/volume-43-2007/issue-1/vol43_no1_5.pdf.
19. http://www.vedicbooks.net/geometry-in-ancient-and-medieval-india-p-637.html.
20. http://www-history.mcs.st-and.ac.uk/Biographies/Ptolemy.html.
21. http://www2.hkedcity.net/citizen_files/aa/gi/fh7878/public_html/Geometry/Circles/Ptolemy_Theorem.pdf
22. https://ckrao.wordpress.com/2015/05/24/a-collection-of-proofs-of-ptolemys-theorem/
23. http://abyss.uoregon.edu/~js/glossary/ptolemy.html.
24. https://en.wikipedia.org/wiki/Nine-point_circle.
25. http://mathworld.wolfram.com/Nine-PointCircle.html.
26. http://www.cuttheknot.org/Curriculum/Geometry/NinePointCircleSimple.shtml.

Biography

 Dasari Naga Vijay Krishna is the son of Sri D Adhiseshu and Sri D Sulochana, He is renowned faculty in mathematics who has served in all the reputed Instutions in India with more than a decade’s of experience in the training of the students for various competitive exams. Currently he is working as a senior lecturer in the Department of Mathematics, Narayana Educational Instutions. He received his B.Sc Honors Degree in Mathematics from Magadha University. He also holds Master Degree in Mathematics from Kalinga University. His primary research is Euclidean Geometry. His several research articles were published in reputed journals.
 Contents 1. 2. 3. 4. 5. 6.
Article Tools