Bonsoir.
Cela a beau être une propriété archiconnue, il n'en est pas moins vrai qu'on en a dû commencer par en voir un jour la démonstration.
Prolongeons [IJ] de [JK] de même longueur que [IJ].
Les triangles AJI et CKJ sont égaux car ils ont un angle égal compris entre deux côtés égaux chacun à chacun : leurs angles en J sont opposé par le sommet; JA = JC par hypothèse et JK = JI par construction.
Donc angle AIJ = angle JKC. Ces deux angles sont alternes internes dans la sécante (JK) et les droites (AB) et (KC), lesquelles sont par conséquent parallèles.
Et aussi CK = AI = IB (car I est le milieu de [AB]).
Le quadrilatère IKCB a donc deux côtés, [IK] et [KC], parallèles et égaux. Il est donc un parallélogramme et [IK] est parallèle à [BC] et de même longueur. Ainsi [IJ], sur la même droite que [IK] est parallèle à [BC].
Or IK = 2IJ; 2IJ = IK = BC; IJ = BC/2; cqfd
.