Bonsoir
merci à BEN et à TIRUXA
je reprends avec
je prends le point A du cercle tel que A appartienne à la médiatrice de [OI] ,j'appelle C le milieu de OI
cette médiatrice est AC
( elle est importante car elle va me donner le coté opposé pour calculer le sinus )
on a OI = OA = 1 donc le triangle OIA est isocèle
et comme A a été pris sur la médiatrice , on a OA = AI
en conséquence , si OI = OA et OA = AI alors OI = OA = AI
le triangle AOI est équilatéral ---> le voilà , mon triangle équilatéral
le triangle ACI est rectangle , la médiatrice est aussi hauteur du triangle
maintenant , je calcule la valeur de AC avec le Thèorème de Pythagore
comme
et comme AC est une longueur donc une valeur positive
maintenant sinus AOC =
le sinus de
est bien