Copyright © University of Cambridge. All rights reserved.
What can you prove about the triangle $PQR$?
Created with GeoGebra
There are many ways of proving this result. One way you might like to try involves tessellation.
(1) Draw any triangle, with angles $A, B$ and $C$ say.
(2) Draw equilateral triangles $T_1, T_2$ and $T_3$ on the three sides of $\Delta ABC$.
(3) Fit copies of the original triangle and $T_1, T_2$ and $T_3$ into a tessellation pattern so that, at each vertex of the tessellation, the angles are $A, B$ and $C$ and three angles of $60^o$ making an angle sum of $360^o$.
(4) Napoleon's Theorem can be proved by simple geometry using a small part of this pattern without even assuming that this tessellation extends indefinitely in all directions, which is intuitively obvious but requires advanced mathematics to prove it.
For an animated proof of Van Aubel's Theorem see http://agutie.homestead.com/files/vanaubel.html