Je veux démontrer ce thm : l'écriture complexe d'une similitude indirecte est
Pour cela j' introduit un lemme : Pour r une réflexion quelconque et f une similitude indirecte s, il existe une similitude directe telle que f=sor
La dém repose sur le fait que r est involutive
Dém du thm : Soit f une similitude indirecte.
On considère la réflexion d'axe l'axe des abscisses, j'ai montré précédemment que son expression est
D'après le lemme il existe s une similitude directe (le choix de s dépendant de f) donc de la forme
