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


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