As a temporary diversion, look at differentiating ex+e-x. Not hard; we get ex-e-x. The sum of these results is 2ex and the difference is 2e-x. Consider instead eix+e-ix; ignoring the meaning of the multiplier i we get eix-e-ix. Similar to what we just did we now have a sum of 2eix and a difference of 2e-ix. It is already tempting to name two pairs of functions, ½(eix-e-ix) & ½(eix+e-ix), ½(ex-e-x) & ½(ex+e-x) and sure enough, we would be first to do that. I’m going to call the first pair f and fc because they are complements and similarly the second pair g and gc.
Now look at what happens if we square one of them.
fc(x)2 = [½(eix+e-ix)]2 = ¼(e2ix+2 + e-2ix)= ¼(e2ix+e-2ix)+ ½ = ½ (f(2x) +1) which I will rewrite as 2f2(x) - 1 = f(2x). Intriguing.
More intriguing still, look at the product of the complementary pair, f. fc
- f.fc = ½(eix+e-ix) . ½(eix-e-ix) = ½ ½(e2ix-e-2ix) = ½ f(2x) .
So 2 f(x) fc(x) = fc(2x).
That is, I hope, familiar to you, as a functional mapping you have seen before.
Exercise:
9. Show that fc(2x) = fc2(x) - f2(x) = 1 - 2 f2(x)
10. Show that fc2(x)+ f2(x) = 1
Hopefully you now recognise these as behaving exactly as sine and cosine. How could we prove they are the same thing? What do you need to prove to establish complete equivalence? Function f is sine and fc is cosine.
What about g and gc? Here’s some simple (now, they’re simple) things to prove:
11. gc2(x) - g2(x) = 1
12. g(2x) = 2 g(x) gc(x)
13. gc(2x) = 2 gc2(x) - 1 = 2 g2(x) + 1 = gc2(x) + g2(x)
These behave very much like the f and fc pair, but the g switches sign every time it is squared – that’s the effect of the missing i2.
The pair in f are sin and cos; the pair in g are sinh and cosh, the hyperbolic versions, pronounced shine and cosh (and the tangent equivalent, tanh, is prounced th-an, more as thatch and not as than). Similalrly, we have sech, cosech and coth. So it might have been better to learn of sinh and cosh first and to adjust for the i2=-1 in handling sine and cosine.
Declaring some of these related identities:
cosh2A - sinh2A = 1;
sinh (A+B) = sinhAcoshB+coshAsinhB;
cosh (A+B) = coshAcoshB+sinhAsinhB.
Exercises:
14. Discover whether sinh and cosh are odd or even functions. Compare this with sin and cos.
15. Write down sin 3A only in terms of sinA. Predict what sinh 3A will be and then discover that.
16. Prove that sech2A = 1 – tanh2A (the sinh2 on the top forces a change of sign)
17. Prove that cosech2A = coth2A - 1
14. sinh is odd, cosh is even, exactly matching sin and cos.
15. sin 3A = 3sinA – 4sin3A; sinh 3A = 3sin A + 4sinh3A
The definition of ex is that it is the function which is the same as its differential. That results in the expansion ex = 1+x+x2/2! +x3/3! +x4/4!+…. Similarly e-x = 1-x+x2/2! -x3/3! +x4/4!-….
So cosh x = 1 + x2/2! + x4/4!+…. And sinh x = x + x3/3! +x5/5!-….
The graph of y = sinh x is approximately like a positive cubic and y = cosh x looks approximately like a positive quadratic.
The inverse function sinh-1x or arsinhx has an identity in logs.
Let y=arsinhx. Then x =sinhy = ½ (ey – e-y).
So ey=2x+e-y and, multiplying again by ey, e2y= 2xey - 1
This is a quadratic e2y - 2xey + 1 = 0 such that ey = x +- root (x2+1).
Hence y = arsinh x = ln(x +- root (x2+1))
You should satisfy yourself that rejecting the negative root is justified.
18. Show that arcosh x = ln(x +- root (x2-1)) and state the range of values for which it is valid.
19. Show that artanh x = ½ ln((1+x)/(1-x)) and state the range of values for which it is valid.
Problems to solve (this is FP3 in Edexcel) would include expressing arsinh2 in logs and solving
a cosh2 A + b sinh A = c, giving answers in logs – many problems equivalent to those in c1-c4 transfer quite well.
18 x>=0 19 abs(x) <1
Here, at least, is some differentiation to do:
20. Show that d/dx (cosech x) = -cothx cosechx
End of hyperbolic functions 1