pr lexo 1
on a tan a = (2tana/2)/1-tan²a/2 alors 1-tan²a/2 = 2 tan a/2 ( car tan a =1) l'equation devient tan²a/2 +2tan a/2-1 =0
posons tan a/2 = X X²+2X-1 =0
alors X1 = racine2-1 ou X2 =-1-racine 2 et puiske tan a/2 est positive alors tan a/2 = racine 2 -1
cos²a/2 = 1/1+tan²(a/2) ====> cos a/2 = racine (2+racine2)/2
cos²a/2+sin²a/2=1 =====>sin a/2 = racine (1-cos²a/2)
======> sin a/2 = racine (2-racine2)/2