In the P5 textbook, it has a diagram of the graph of y = cosh(x), in which it is defined over both positive and negative x.
Later it says:
For the function cosh(x), you need to take the domain x>0, so it is a one-one function. Then the inverse function arcosh(x) is defined for the domain x>1 and range arcosh(x)>0.
I realise that to have an inverse, a function must be one-one. But do we always want to restrict the domain of cosh(x) ?
Since cosh(x) is even, when for example solving quadratics in cosh(x) (for x), I'm often left with +/- something and the back of the book sometimes includes both or usually just the positive answer - but I can never figure out why it's one or the other.
Typically inverses are defined so you get positive values back, it's just convention. If you're dealing with physical quantities like time or length, then you'll want a positive value most of the time too. If you don't restrict the domain, you end up with multivaluedness which is an annoyance to many people
If I use arcosh(x) = ln[x + sqrt(x2 - 1)] I don't get the negative answer.
Am I using the logarithmic form in the wrong instance or something?
In order for coshx to have an inverse, you specify x>=0. So coshx=y => x=arcoshy for x>=0. You then note that cosh(x)=cosh(-x) so if x satisfies coshx=y then it follows that (-x) also satisfies cosh(-x)=y. If you're simply solving the equation, both positive and negative values can be solutions.
I think this is your mistake. It does follow that x=arcosh(5/3) is a solution, but it doesn't follow that it's the only one. In fact the solutions are x = +/- arcosh(5/3) = +/- ln(3).
Remember that cosh is even, so cosh(-x) = cosh(x) for all x.