Le théorème de Napoléon
L'énoncé
class="enonce">Sur un triangle quelconque ABC direct, on crée les points E,F et G tels que BAE, CBF et CGA soient équilatéraux directs, et les points I,J et K , centres de gravités de BAE, CBF et CGA; le théorème de Napoléon dit que le triangle IJK est équilatéral.
L'illustration geogebra
Patrick Roux, 26 mars 2007, Créé avec GeoGebra
Vous pouvez déplacer les points A, B et C et constater que les longueurs des trois côtés de IJK sont identiques.
La création des triangles équilatéraux se fait avec des rotations par exempleE = Rotation[A, 60°, B] qui traduit « E est l'image de A par la rotation de centre B et d'angle 60° »
Pour obtenir le centre de gravité I, on a saisi
I = (A + B + E) / 3
Pour afficher la longueur IJ, on a cliqué sur l'icône 
qui permet d'afficher du texte et saisi
"IJ=" + (Longueur[J - I]).
Ce qui est
écrit entre guillemets est considéré comme du texte et ce qui suit + est du code ( ici, on demande d'afficher la distance IJ)