Vérifier quelques propriétés mathématiques de trigonométries hyperboliques inverses


Vérifions si : acosh(X) = ln(X+sqrt(X**2-1)) ... ... ... 1 <= X < +oo

  Posons (1) :  Y  = acosh(X)                           (1)
  
  
  Introduisons cosh() :
  
       cosh(Y) = cosh(acosh(X))
       
       cosh(Y) = X 
       
       
   Introduisons la définition de cosh(Y) :       
       
       X = cosh(Y) = (e**(Y)+e**(-Y))/2
       
       
   Soit :  

       X = (e**(Y)+e**(-Y))/2
              
    (2X) =  e**(Y)+e**(-Y)
     
       0 =  e**(Y)+e**(-Y)-(2X)  
  
  Multiplions par e**(Y)
  
       0 =  e**(2Y)+(1)-(2X)e**(Y)
       
       
  Soit :   e**(2Y)-(2X)e**(Y)+(1) = 0
  
  
   Posons (2) x = e**(Y)                               (2)   
      
      Nous avons
      
            x**2 - (2X)x + 1 = 0
        
        
        Soit a = (1), b = (-2X), c = (1)
        
        
        Calculons delta = b**2 - 4ac   
        
                  delta = (-2X)**2 - 4(1)(1)
                  
                  delta =  4X**2 - 4
                  
       Calculons les racines : 
                  
              x = (-b +/- sqrt(delta)) / 2a
            
              x = (-(-2X) +/- sqrt(4X**2-4)) / 2(1)
              
              x =   ((2X) +/- 2sqrt(X**2-1)) / 2 
       
              x =     (X) +/- sqrt(X**2-1) 
       
    avec x = e**(Y) voir (2)
    
         e**(Y) =  X +/- sqrt(X**2-1)
         
         
     Prenons la valeur positive :
         
      ln(e**(Y)) =  ln(X+sqrt(X**2-1))
    
               Y =  ln(X+sqrt(X**2-1))   
               
               
    avec Y = acosh(X)        voir (1)        
                      
                       
        acosh(X) =  ln(X+sqrt(X**2-1))

.