Napoleon’s Theorem Check: Constructing Equilateral Triangles and Area Relations

This example demonstrates the geometric phenomenon behind Napoleon’s Theorem: for a given triangle, equilateral triangles are constructed externally (or consistently), and the configuration’s resulting area/sum relationships are verified through computed subareas. Key concepts include Napoleon’s Theorem, equilateral-triangle construction, area decomposition and summation (with an intuitive link to definite-integral/Riemann-sum thinking), and geometric invariants induced by the construction. In GeoGebra, the build is driven by Polygon to create the base and auxiliary triangles (ΔABC, ΔCBD, ΔACE, ΔBAF, etc.), LineBisector to obtain the required bisector-based auxiliary directions/points, and Intersect to find intersection points that determine new vertices (D, E, F, and related points). The example then computes areas of multiple regions (Sab, Sbc, Sca, Sce, Saf, Sbd, …) and uses text objects (textoA, textoB, textoC, textoD) to display the verification values. Suitable for high school geometry through early university study, especially for theorem visualization and practice with constructive geometry and area relationships.