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


Vérifions si : sinh(acosh(x)) = sqrt(x**2 -1)                     
   Nous savons que :
    
    cosh(X)**2 - sinh(X)**2 = 1
    
    posons X = acosh(x) 
            
            
    cosh(acosh(x))**2 - sinh(acosh(x))**2 = 1            cosh(acosh(x)) = x
                                                       
                 x**2 - sinh(acosh(x))**2 = 1   
                 
                      - sinh(acosh(x))**2 = 1 - x**2                
                 
                        sinh(acosh(x))**2 =  x**2 -1                
                   
                        sinh(acosh(x))    =  sqrt(x**2 -1)