Or search by topic
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
Using LOGO, can you construct elegant procedures that will draw this family of 'floor coverings'?
Can you recreate these designs? What are the basic units? What movement is required between each unit? Some elegant use of procedures will help - variables not essential.
Three examples of particular tilings of the plane, namely those where - NOT all corners of the tile are vertices of the tiling. You might like to produce an elegant program to replicate one or all of these.