Deux carrés autour d'un triangle et Varignon
ABC est un triangle quelconque, ACPQ et ABSR sont deux carrés à l'extérieur du triangle.
Le quadrilatère de Varignon IO_BJO_C qui joint les milieux des côtés du quadrilatère BCQR est un carré.
I, O_B, J et O_C sont les milieux des côtés du quadrilatère BCQR.
Montrer que le quadrilatère IO_BJO_C est un carré.
La rotation de centre A et d'angle pi/2 transforme [RC] en [BQ] .
Les deux diagonales [CR] et [BQ] sont donc de longueur égale et perpendiculaires.
Le quadrilatère BCQR est un pseudo-carré.
Le théorème de Varignon affirme que IO_BJO_C est un parallélogramme dont les côtés sont parallèles aux diagonales du quadrilatère ABEC,
avec IO_B = 1/2 BQ et IO_C = 1/2 CR.
Comme les deux diagonales du pseudo-carré sont égales et perpendiculaires, il en est de même pour celles de IO_BJO_C, ce qui permet d'assurer que c'est un carré.
Deux triangle rectangles isocèles autour d'un triangle et Varignon
Descartes et les Mathématiques - Quadrilatère de Varignon