Il y a une petite étourderie. C'est AB=2a ou OF=a/8...
La construction permet de calculer OG/OA = [rac(5)-1]/4 = cos(2*pi/5) et OH/OB = [rac(5)+1]/4 = - cos (4*pi/5).
La valeur des cosinus vient du fait que O est le centre de gravité du pentagone, donnant :
1+2cos(2*pi/5)+2cos(4*pi/5) = 0
Avec X=cos(2*pi/5), il suffit de résoudre 1+2X+2(2X²-1)=0
Désolé d'être aussi lapidaire, LaTeX me gonfle un peu