I need to derive the formula above by using the definition of cosh (which I think is below) and then solving for the inverse
How do I get the e^-x and e^x to join to create like 1 variable so I can solve for the inverse?
Another way to see this
Recall
, where is a constant
Since can be integrated by makin' a substitution defined by , it yields
Since two antiderivatives of a function can differ at most by a constant, there must exist a constant such that
Evaluating this equality for
Therefore