15.2 Properties
15.2.1 Odd/even nature
Note that as with their analogous trigonometric functions 11 1 is analogous to and is analogous to , is an odd function, and is an even function.
[Proof that sinh(x) is an odd function]Proof that is an odd function
(15.5) | ||||
(15.6) | ||||
(15.7) | ||||
(15.8) |
Proof that is an odd function
(15.9) | ||||
(15.10) | ||||
(15.11) |
Proof that is an odd function
(15.12) | ||||
(15.13) | ||||
(15.14) | ||||
(15.15) |
15.2.2 Inverse functions
All the hyperbolic functions have inverses, although for some of them, it is necessary to restrict the domain.
As noted in the "functions" section (although I might not have uploaded that section yet?), functions can only have inverses if they are one-to-one (i.e. for every value the function outputs, there can only be one possible input which would have resulted in that output.) The graph of is not one-to-one for the whole domain (some outputs correspond to multiple inputs), so we have to restrict its value.
The inverse functions are in the formula booklet of most maths exam boards. Otherwise, they can be derived.
15.2.3 Inverse function of
Example 15.2.1
Finding the inverse function of .
From the definition of we know that
The right-hand side is actually a quadratic in , which becomes more readily apparent33 3 In general, if we have an expression containing , and no other powers of , it’s worth considering whether there is a hidden quadratic to be found. if we multiply the fraction through by .
Here we can substitute
And then we can rearrange this to give a quadratic in terms of .
By applying the quadratic formula, we can solve this for
We can then simplify this a bit
If we then reverse the substitution44 4 Arguably, the substitution didn’t help here, but substitutions do often make it easier to spot the structure of a problem by simplifying problems in a way which makes them look more like a previously seen problem., replacing with .
The next step is to take the natural logarithm of both sides
here, because 55 5 This can be proved by considering the cases when , and we cannot have the negative case (for the ), as the domain of the logarithm function requires that the input is greater than zero.
And we have found the inverse function!