inverse hyperbolic functions - function sum relation

[piazza88]

dimostrare che
$ \sinh^{-1}(x)+sinh^{-1}(y)=sinh^{-1}(x\sqrt{1+y^2}+y\sqrt{1+x^2}) $

[elianto84]

Seno-iperbolicizziamo da una parte e dall'altra, utilizziamo la formula di somma et les jeux sont faits, no?
(Il seno iperbolico e' bigettivo)

[piazza88]

boh, a me non torna