Pour prouver qu'un quadrilatère est un carré, on va montrer :
- Que ses diagonales se coupent en leur milieu : c'est un parallélogramme ;
- Que ses diagonales se coupent perpendiculairement : c'est un losange ;
- Que ses diagonales sont de même longueur : c'est un rectangle.
D'après le cours, un parallélogramme qui est à la fois un rectangle et un losange est un carré.
- A' est le symétrique de A par rapport à D, donc AD = DA'. De même, DC = DC'. [AA'] et [CC'] se coupent en D qui est leur milieu, donc ACA'C' est un parallélogramme.
- ABCD est un carré donc \widehat{\text{ADC}} = 90^{\circ}. Donc les diagonales [AA'] et [CC'] se coupent perpendiculairement. Donc ACA'C' est un losange.
- ABCD est un carré donc AD = DC. On sait de plus que AD = DA' et DC = DC'. D'où AA' = CC'. Les diagonales de ACA'C' sont de même longueur, c'est donc un rectangle.
- ACA'C' est à la fois un losange et un rectangle : c'est donc un carré.