si (BI) perpendiculaire à (AC) alors (BI) perpendiculaire à (AI)
donc vérifier dans le triangle AIB que
AB² = AI² + IB²
tu peux finir