Estimados miembros de la lista:

Quisiera saber si es posible para usted incluir en trigsimp (y por qué no en simp) un código que permita resolver lo siguiente:

(%i1) 'integrate(sqrt(x^2-a^2),x);
       /
       [       2    2
(%o1)  I sqrt(x  - a ) dx
       ]
       /

(%i2) changevar(%,a*cosh(t)=x,t,x);
          /
        2 [
(%o2)  a  I sqrt(cosh(t) - 1) sqrt(cosh(t) +1) sinh(t) dt
          ]
          /

(%i3) trigsimp(%),radexpand:all;
          /
        2 [        2
(%o3)  a  I sinh(t)  dt
          ]
          /

Ya que, en realidad como esta actualmente programado, al final sigue quedando:

    /
 2 [
a  I sqrt(cosh(t) - 1) sqrt(cosh(t) + 1) sinh(t) dt
   ]
   /

y no es posible arribar la salida mostrada en (%o3).

Tenga presente que aun en este caso se obtiene una salida imposible, hasta ahora, de ser simplificada adecuadamente:

(%i4) trigsimp(sqrt((cosh(t)-1)*(cosh(t)+1)));

(%o4)   sqrt(cosh(t) - 1) sqrt(cosh(t) + 1) 

Únicamente se logra con algo como esto:

(%i5) sqrt(trigsimp((cosh(t)-1)*(cosh(t)+1))),radexpand:all;

(%o4)   sinh(t)

Pero, obviamente no es el caso de (%o2).

Muchas gracias por la respuesta.

Reciba un cordial Saludo desde Piura, PERÚ.





                Prof. Robert Ipanaqué Chero

             Departamento Académico de Matemática
                   
Universidad Nacional de Piura
           Urb. Miraflores s/n, Castilla. PIURA (PERU)
                 
robertchero@hotmail.com