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


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

               x**2 -1                =     tan(asec(x))**2    
               
                       tan(asec(x))**2 =        x**2-1
                       
                       tan(asec(x))    =   sqrt(x**2-1)