Démonstration
Appellons K le milieu de [AC]. La droite (IK) est une droite des milieux donc elle est parallèle au troisième côté [BC].
La droite (IK) est confondue avec la droite (IJ) d'après la propriété suivante : si deux droites sont parallèles à une même droite alors elles sont parallèles si deux droites sont perpendiculaires à une même droite alors elles sont parallèles si deux droites parallèles ont un point commun alors elles sont confondues Donc J est le milieu de [AC].