D'accord ,
M = bar {(A, a), (B, b), (C, c)}
M' = bar {(A, a), (B, b), (C, c)}
C'est à dire que M= M'
Conclusion : Une isométrie du plan qui laisse invariants trois points non alignés est l'application identique.
M = bar {(A, a), (B, b)}
M' = bar {(A, a), (B, b)}
C'est à dire que M= M'
Conclusion : Une isométrie du plan qui laisse invariants deux points fixes distincts est l'application identique.
D'où vient le fait qu'une isométrie conserve le barycentre ?
Celà ne se démontre pas ?
* Une isométrie qui admet un seul point fixe est une rotation et c'est le centre de cette rotation.