On appelle J le symétrique de I par rapport à A (A est le milieu de [IJ])
JAC = 180* - 130* = 50*
On a ACB = 180* - 90* - 50* (somme des angles d’un triangle = 180*)
Donc ACB = 40*
Si (IA) // (BC) alors l’angle JAC = ACB (alertes internes).
Absurde. Notre hypothèse est donc impossible (IA) n’est pas // à (BC)
