Quadrilatère de Varignon
ABC est un triangle quelconque,. Autour de ABC, deux triangles ACQ et ABR rectangles en A, isocèles, complétés par un quatrième triangle AQR,
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é.
Solution
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 du parallélogramme IO_BJO_C, ce qui permet d'assurer que c'est un carré.
Descartes et les Mathématiques - Quadrilatère de Varignon