Le forum de XCAS

solve(asinh(x)=acosh(1/x)) renvoie list[x>0,x<0] en desaccord avec wolfram https://www.wolframalpha.com/input/?i=s ... sh(1%2Fx))

edit
solve(x+sqrt(x^2+1)-(sqrt(-1+1/x^2)+1/x)) est ok

j'ose un petit up

pas trivial a corriger celui-la...

en deux mots, , quel est le principe de resolution de ce genre d'equation ?

ecriture avec des ln qu'on peut enlever, puis systeme polynomial en introduisant des variables auxiliaires qui remplacent les racines carres (equations ajoutees argument de la racine carree=nouvelle variable au carre)

oui mais alors je ne comprends pas ces deux comportements:

A:=x+sqrt(x^2+1)
B:=sqrt(-1+1/x^2)+1/x
solve(ln(A)=ln(B)) // list[x>0,x<0]
solve(A=B) // list[sqrt(1/2)*sqrt(sqrt(5)-1)]

c'est justement ca le bug.

Il semblerait que ce bug est fixé dans xcas 1.5.0.85.