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


Vérifions si :  sec(atan(x)) = sqrt(1+x**2)
    Nous savons que :
    
    sec(X)**2 - tan(X)**2 = 1
    
    posons X = atan(x) 
    
            
    sec(atan(x))**2 - tan(atan(x))**2 = 1           tan(atan(x)) = x
    
                                                       
    sec(atan(x))**2 - x**2 = 1
    
    sec(atan(x))**2        = 1 + x**2    
    
    sec(atan(x))           = sqrt(1+x**2)