Pour démontrer que J est le milieu de [BC], nous devons montrer que BJ est égal à JC.
Puisque I est le milieu de [AB], nous savons que AI = IB.
Le cercle de diamètre [IB] a son centre en I et passe par les points I et B. Donc, le rayon du cercle est IB/2.
Puisque le cercle coupe le segment [BC] en J, alors JB = JC, car J est sur la médiane perpendiculaire à [BC].
Ainsi, J est le milieu de [BC], car JB = JC.