Démonstration de AICJ losange:
1) montre que AICJ est un parallélogramme: AJ=IC et (AJ)//(IC) (car ABCD parallélogramme et par définition de I et J) et tu utilises la propriété "si un quadrilatère non croisé a deux côtés opposés parallèles et de la même longueur, alors c'est un parallélogramme".
2) Réciproque du théorème de Pythagore dans ABC donne ABC rectangle en A. Donc (AC) perpendiculaire à (AB).
3) comme au 1) on montre que AJIB est un parallélogramme, donc (IJ)//(AB).
4) de (2) et (3) en utilisant la propriété "si deux droites sont parallèles, alors toute droite perpendiculaire à l'une est perpendiculaire à l'autre".
Donc (AC) perpendiculaire à (IJ).
5) On a donc AICJ parallélogramme avec des diagonales perpendiculaires, donc AICJ est un losange.
Pas très évident mais de niveau 4ème... s'il y a plus court je suis preneur mais je ne vois pas
padawan.