outre la remarque sur la figure de lake (création du point A'), une autre méthode est de faire les calculs avec des affixes dans le plan complexe (on est bien en Terminale n'est-ce pas ?)
pour cela considérons la symétrie de toute la figure par rapport à la tangente
créant ainsi le point N symétrique de O et le cercle de centre N de rayon 1,
M étant un point de ce cercle et NM = 1, et ON = 2
cette symétrie implique l'angle
en calculant (sous la forme exponentielle, module argument) l'affixe de M comme
on a quasi instantanément la formule demandée
la seule "difficulté" est de calculer l'affixe de (z_M-z_N) c'est à dire module et argument du vecteur
un petit coup de Chasles donne
et c'est fini
rappel
nota, le cercle de centre N ne sert à rien, il met juste en évidence une propriété remarquable du lieu de M
l'arc Am sur le cercle trigo est égal à l'arc Mm du cercle de centre N
conclusion ce cercle roule sans glisser sur le cercle trigo
on peut donc tracer le lieu de M d'un trait continu avec un Spirographe ou des engrenages de Meccano ou Lego Technic
aspect ratio :
la seule explication que je vois est que je suis sur un ordi "étranger" (pas chez moi), et que j'y fais une copie d'écran pour faire les figures, et c'est peut être sur cet ordi là que les réglages de l'écran sont mauvais.
Geogebra distord son affichage pour l'adapter aux réglages de l'écran ce qui fait que même avec de mauvais réglages, l'affichage Geogebra ici est bon (mais la copie d'écran mauvaise) et que inversement un fichier bon est affiché incorrect.
je n'ai jamais réussi à faire un export d'image direct de Geogebra, il fait du n'importe quoi avec des textes microscopiques sur une image drap de lit ou le contraire, bref jamais l'image qu'il y a à l'écran. Donc je fais toujours des copies d'écran à la place.