On considère le quadrilatère ABCD.
Je sais que IB=IA et que IC=ID (par symétrie)
Or, d'après la propriété : "Si un quadrilatère a ses diagonales qui se coupent en leur milieu, alors c’est un parallélogramme."
Donc ABCD est un parallélogramme
Je sais que l'angle ABC est droit.
Or, d'après la propriété : " si un parallélogramme a un angle droit, alors c'est un rectangle".
Donc le parallélogramme ABCD est un rectangle.
