si potrebbe lavorare: Con il metodo dell'angolo aggiunto
AH=AB sin² (x) e CH=AB sin(x) cos(x). Devi poi trovare il massimo della funzione sin²(x)+sin(x)cos(x), (facendone la derivata e imponendo che si annulli) e troverai che sin(2x)+cos(2x)=0 che dovrebbe x= 3/8pi