Bon, je me sens pas de recopier tout l'énoncé...
J'ai fait un screenshot de la figure, sous GeoGebra :

Le triangle AOB est isocèle : AB = 1 (ne pas se fier à la figure, j'ai pris une unité arbitraire), l'angle AOB =

(ne pas se fier non plus au 36,04º et autres, c'est le logiciel qui calcule ça)
On doit montrer que AO = 2*cos
Le seul moyen que j'ai trouvé de calculer AO est de creer un triangle AOM, avec M milieu de AB (donc AM = 0.5), puis trigonométrie, vu que MAO =

, alors AO =

.
Désolé si la figure n'est pas très claire ! (Et puis elle est un peu grande, désolé pour les petites résolutions d'écran)
PS: La droite qui coupe l'angle A est sa bissectrice, elle coupe OB en J. L est le projeté orthogonal de J sur AO, et K celui sur AB.
PS2:J'oubliais, L est le milieu de AO
Merci !