%@metapost:3thalesexo46.mp %@Auteur: Céline Leroy\par \compo{1}{3thalesexo46}{1}{$ACDF$ est un rectangle et $BCDE$ est un carré. $M$ est un point du segment $[AF]$ et les droites $(MK)$ et $(CD)$ sont perpendiculaires. Démontre que la longueur $IJ$ ne dépend pas de la position du point $M$ sur le côté $[AF]$.}