Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Try our no ads browsing

Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Games to relax

Tutor Match Tutoring and Homework Help

Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Buying a book is a commitment to learning Table of content Try our no ads browsing Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Napoleon's Theorem

On each side of a triangle, erect an equilateral triangle, lying exterior to the original triangle. Then the segments connecting the centroids of the three equilateral triangles themselves form an equilateral triangle.

By Dr. Scott Brodie, M.D., Ph.D.
Mount Sinai School of Medicine, NY

Proof #1 ("Hammer and Tongs" trigonometry)

In the following, we use standard notations: in the ABC, A denotes both the vertex A and the correposnding A, a is both BC and its length. In addition, let G denote the centroid of the equilateral triangle on side AB, and I denote the centroid of the equilateral triangle on side AC, etc. Let s denote the length of segment GI, t the length of segment AG, and u the length of segment AI. (Geometer's SketchPad illustration.)

Since IAC = GAB = 30o, we may apply the Law of Cosines to compute

s2 = u2 + t2 - 2ut·cos(A + 60o).(1)

Since the centroid of a triangle lies along each median, 2/3 of the distance from the vertex to the midpoint of the opposite side, we have

t = (2/3)·sqrt(3)/2 · c = c/sqrt(3)
u = (2/3)·sqrt(3)/2 · b = b/sqrt(3),

and (1) becomes

3·s2 = b2 + c2 - 2bc·cos(A + 60o).(2)

Expanding(*) the cosine of the sum, and recalling that cos(60o) = 1/2; sin(60o) = sqrt(3)/2, we have

cos(A + 60o) = cos(A)/2 - sin(A)·sqrt(3)/2.(3)

Substituting (3) into (2) yields

3·s2 = b2 + c2 - bc·cos(A) + sqrt(3)·bc·sin(A).(4)

Now apply the Law of Cosines to ABC:

a2 = b2 + c2 - 2bc·cos(A).(5)

and recall (as in the derivation of the Law of Sines):

2·Area(ABC) =  bc·sin(A).(6)

Substituting (5) and (6) into (4) gives

3·s2 = (1/2)(a2 + b2 + c2) + 2·sqrt(3)· Area(ABC).(7)

Since (7) is symmetrical in a, b, and c, it follows that the triangle connecting the three centroids is equilateral, QED.

(*)

Michael Lambrou has suggested a different way to proceed after obtaining (2).

Apply the Law of Cosines to triangles ABE and BCE to express the side BE in two different ways:

b2 + c2 - 2bc·cos(A + 60o) = a2 + b2 - 2ab·cos(C + 60o)

By (2), the left hand side equals 3 times GI. Similarly, the right hand side equals 3 times IH, wherefrom GI = IH. Considering triangles ACD and ABD instead, we also obtain IH = HG, which furnishes the proof.

As a bonus, we get AD = BE = CF.

Proof #2 (an argument by symmetrization)

Notations are the same as before: let ABC be the original triangle. Choose D, E, and F exterior to ABC so that ADB, BEC, and AFC are equilateral triangles, with centroids G, H, and I, respectively. (Geometer's SketchPad illustration.) We proceed to show that HIG = 60o.

Fix I as a center of rotation, and rotate the entire figure by 120o, and superimpose the rotated copy on the original figure. Under the rotation, the CAF maps to itself (C maps to A, A to F, F to C, while I maps into itself.) Denote by BB, DD, EE, GG, and HH the images of points B, D, E, G, and H, respectively.

Connect D to EE and G to HH. By the rigidity of the rotation, GHI = GG.HH.I. In particular, GH = GG.HH. (Geometer's SketchPad illustration.)

Now consider the six triangles that converge on point A. Three of them (ABD, ACF, and A.EE.BB) are equilateral. Recollect that the angles of a triangle sum to 180o, while the angles around a point sum to 360o. Since BB.A.F is a copy of BCA, it follows that D.A.EE = ABC. Finally, D.A.EE = ABC, and the pentagon A.BB.EE.D.B is congruent to the pentagon BECAD. It follows that G.HH = GH. And thus G.HH = GH = GG.HH.

Repeating the rotation by 120o once more, and connecting the tips of the equilateral triangles as above, we obtain the figure on the right. (Geometer's SketchPad illustration.) Arguing as above, it is clear that the central hexagon is equilateral, and that the six triangles which meet at the center of rotation are congruent. Therefore, 6·HIG = 360o, and HIG = 60o. Since (among the points G,H,I) the choice of the centroid I was arbitrary, we have shown that GHI is equiangular, hence equilateral, QED.

Napoleon's Theorem

Copyright © 1996-2008 Alexander Bogomolny

30742401Page copy protected against web site content infringement by Copyscape


Search:
Keywords:



Latest on CTK Exchange
try this puzzle ?/?? + ?/?? + ?/? ...
Posted by albert1950
5 messages
12:40 PM, Nov-18-08

Help me find Hisashi ABE, Pythago ...
Posted by likesmath
2 messages
11:11 AM, Oct-06-08

triangle construction
Posted by Elianto84
12 messages
07:06 PM, Oct-30-08

Gardner's Torus cutting puzzle... ...
Posted by itineracy
3 messages
11:22 PM, Nov-02-08

Three Concurrent Circles
Posted by billmillar
2 messages
12:26 PM, Oct-28-08

disjoint sets
Posted by jay_shark
0 messages
07:36 PM, Nov-13-08

Error in Fractal Curves and Dimen ...
Posted by miguemate22
1 messages
08:51 AM, Nov-16-08