Puisque A' symétrique de A par rapport à la droite delta
Donc (AA') perpendiculaire à l’axe de symétrie
Puisque B' symétrique de B par rapport à la droite delta
Donc (BB') perpendiculaire à l’axe de symétrie
On conclut que AA' //BB'
Puisque A' symétrique de A par rapport à la droite delta
Puisque B' symétrique de B par rapport à la droite delta
Donc AB=A'B'
Puisque AB=A'B' et AA'=BB'
DONC c’est un rectangle
D’où AB'=BA'