Bonjour,
la hauteur issue de O coupe [IS] en son milieu
appelons J le pied de cette hauteur.
le triangle OJS est donc rectangle en J
Cos angle OSI = (4/2) ÷ 7
donc : angle OSI = cos⁻¹ (2/7) = 73,39845504009.....
angle OSI = angle OIS
et, angle IOS = 180° - (angle OSI + angle OIS)
