Vérifier quelques propriétés mathématiques de trigonométrie


Vérifions si : cos(x/2) = sqrt((1+cos(x))/2)
    Nous avons vu que :
    
    cos(2*X) = 2*cos(X)**2 - 1    
    
    posons X = (x/2)
                                                            
    cos(2*(x/2)) = 2*cos(x/2)**2 - 1 
    
          cos(x) = 2*cos(x/2)**2 - 1 
       
     cos(x/2)**2 = (1 + cos(x)) / 2      
     
    soit
    
       cos(x/2) = sqrt((1 + cos(x)) / 2)