D : AM = MB (d’après le codage) et AI = IB (codage aussi).
P : D’après la propriété de la médiatrice, on a :
C :M et I se trouvent sur la médiatrice sur [AB], donc (MI) est la médiatrice, ce qui entraîne que (MI) ⊥ (IB) et donc le triangle MIB est rectangle en I.