Répondre :
EO'=O'F = rayon de la Lune
de plus (EO') est perpendiculaire à (IE) et ( FO' ) est perpendiculaire à (IF)
donc le point O' est équidistant des droites ( IE) et (IF) par conséquent O' est un point de la bissectrice de l'angle EIF
AO=OB = rayon du Soleil
de plus (AO est perpendiculaire à (IA) et ( BO ) est perpendiculaire à (IB)
donc le point O est équidistant des droites ( IA) et (IB)
or (IA)=(IE) et (IB)=(IF)
par conséquent O est un point de la bissectrice de l'angle EIF
==> les point I,O'et O sont alignés