You are viewing a free preview of this lesson.
Subscribe to unlock all 10 lessons in this course and every other course on LearningBro.
Differentiating the hyperbolic functions is one of the cleanest results in the whole calculus syllabus, because it flows straight out of the exponential definitions: sinh and cosh differentiate into each other with no sign change, the single most important contrast with the circular functions, where cos picks up a minus sign. This lesson derives every standard derivative from dxdex=ex, extends them by the chain, product and quotient rules, and — crucially for the integration lesson that follows — differentiates the inverse hyperbolic functions to produce the standard integrals ∫x2+11=arsinhx and friends.
Hyperbolic differentiation is compulsory pure content for Papers 1 and 2 of AQA Further Mathematics (7367). Applying the standard derivatives with the chain, product and quotient rules is AO1; proving the derivatives from the definitions, and the implicit-differentiation derivations of the inverse derivatives, are AO2. It rests entirely on the differentiation toolkit of A-Level Maths (chain/product/quotient rules, differentiating ekx) and on the previous two lessons' definitions and identities. The inverse derivatives are the linchpin: every standard integral in the next lesson is one of these derivatives run backwards, so the two topics are really one. In practice, examiners assess this content both directly ("differentiate the following") and inside larger questions — finding the gradient of a tangent to a hyperbola, locating a stationary point of a catenary-type function, or supplying the antiderivative needed for a definite integral — so fluency here pays dividends right across the pure papers.
dxdsinhx=coshx,dxdcoshx=sinhx,dxdtanhx=sech2x
Compare the circular derivatives: dxdsinx=cosx, dxdcosx=−sinx, dxdtanx=sec2x. The one structural difference is the missing minus sign in dxdcoshx=sinhx (it is +sinhx, not −sinhx). Everything else looks identical with hyperbolic names. This single sign is the root of every later difference — for instance, why ∫sech2=tanh matches trig, but the inverse-function integrals split into arsinh/arcosh rather than a single arcsin.
Proofs from the definitions. Each is a one-line application of dxdex=ex and dxde−x=−e−x:
dxdsinhx=dxd(2ex−e−x)=2ex+e−x=coshx,
dxdcoshx=dxd(2ex+e−x)=2ex−e−x=sinhx.
For tanh, apply the quotient rule to coshxsinhx and use cosh2x−sinh2x=1:
dxdtanhx=cosh2xcoshx⋅coshx−sinhx⋅sinhx=cosh2xcosh2x−sinh2x=cosh2x1=sech2x.
Notice that the positive derivative of cosh is exactly what makes the tanh numerator come out as +1 (via cosh2−sinh2); the trig analogue gets +1 from cos2+sin2 instead. Same destination, different route.
There is a deeper way to see why no minus sign appears, and it is worth holding onto because it explains the entire topic in one stroke. Differentiation of ex leaves it unchanged, and sinh, cosh are built purely from ex and e−x with real coefficients. The circular functions, by contrast, are built from eix and e−ix, and each differentiation pulls down a factor of i; two such factors give i2=−1, which is exactly the minus sign that appears in dx2d2cosx=−cosx. The hyperbolic functions never see that i, so they obey dx2d2coshx=+coshx. In short, the missing minus sign is not an arbitrary fact to memorise — it is the absence of the imaginary unit, and it propagates consistently through every derivative, every integral, and every differential equation in the strand. Anchoring the whole topic to this one idea is far more robust than trying to remember a table of signs.
dxdsechx=−sechxtanhx,dxdcosechx=−cosechxcothx,dxdcothx=−cosech2x.
These all carry a minus sign (note: the trig cousins dxdsecx=secxtanx and dxdcosecx=−cosecxcotx split between plus and minus, whereas all three hyperbolic reciprocal derivatives are negative). You do not need to memorise these three separately — each follows in two lines from the standard derivatives plus the chain or quotient rule, and that is exactly how examiners expect you to reproduce them if asked. For example, writing sechx=(coshx)−1 and using the chain rule:
dxd(coshx)−1=−(coshx)−2⋅sinhx=−coshx1⋅coshxsinhx=−sechxtanhx.
And cothx=sinhxcoshx by the quotient rule gives sinh2xsinh2x−cosh2x=sinh2x−1=−cosech2x.
The standard derivatives combine with the usual rules exactly as the circular ones do — there is nothing new to learn about the rules themselves, only the three elementary derivatives feeding into them. This is liberating: every product-rule, quotient-rule and chain-rule technique you drilled at A-Level transfers verbatim, so a question like "differentiate x3tanh(2x)" is solved by the same mechanical process as "differentiate x3tan(2x)", merely substituting sech2 for sec2. With the chain rule:
dxdsinhf(x)=f′(x)coshf(x),dxdcoshf(x)=f′(x)sinhf(x),dxdtanhf(x)=f′(x)sech2f(x).
Differentiate y=sinh(3x2).
With f(x)=3x2, f′(x)=6x:
dxdy=6xcosh(3x2).
Mark scheme: M1 chain rule with outer derivative cosh; A1 6xcosh(3x2) (inner derivative 6x correct).
Differentiate y=cosh2x.
dxdy=2coshx⋅sinhx=sinh2x(using 2sinhxcoshx=sinh2x).
Mark scheme: M1 chain rule on (coshx)2; A1 2sinhxcoshx; A1 simplify to sinh2x.
Differentiate y=x2tanhx.
dxdy=u′2xtanhx+x2v′sech2x=2xtanhx+x2sech2x.
Mark scheme: M1 product rule; A1 2xtanhx; A1 x2sech2x.
Differentiate y=excosh2x.
dxdy=excosh2x+ex⋅2sinh2x=ex(cosh2x+2sinh2x).
Mark scheme: M1 product rule; M1 chain rule on cosh2x giving 2sinh2x; A1 factor to ex(cosh2x+2sinh2x).
Differentiate y=xsinhx for x=0.
By the quotient rule with u=sinhx (so u′=coshx) and v=x (so v′=1):
dxdy=x2xcoshx−sinhx.
Mark scheme: M1 quotient rule, correct structure; A1 numerator xcoshx−sinhx; A1 divide by x2. A useful check on sign: near x=0, sinhx≈x so the numerator xcoshx−sinhx≈x−x=0, confirming the function is smooth through the (removable) point at the origin where sinhx/x→1.
These three results are the engine of the integration lesson:
dxdarsinhx=x2+11,dxdarcoshx=x2−11 (x>1),dxdartanhx=1−x21 (∣x∣<1)
Proof (arsinh) by implicit differentiation. Let y=arsinhx, so sinhy=x. Differentiate both sides with respect to x:
coshydxdy=1 ⟹ dxdy=coshy1=1+sinh2y1=1+x21.
The step coshy=1+sinh2y takes the positive root, valid because coshy≥1>0. The arcosh proof is identical with coshy=x and sinhy=cosh2y−1=x2−1 (positive on the branch y>0), giving x2−11. For artanh, tanhy=x gives sech2ydxdy=1, so dxdy=sech2y1=1−tanh2y1=1−x21. These mirror the inverse-trig derivatives dxdarcsinx=1−x21 and dxdarctanx=1+x21 — once again the sign under the root is the only difference.
Why does implicit differentiation work so cleanly here? The trick is that we never need the explicit logarithmic form of the inverse function at all. We know sinhy=x by definition, and differentiating that equation — not the messy y=ln(x+x2+1) — gives the derivative almost instantly, because the derivative of sinhy is the friendly coshy. The only real work is re-expressing the answer coshy1 back in terms of x, which is where the fundamental identity earns its keep: coshy=1+sinh2y=1+x2. This is a general and powerful technique — it is exactly how one differentiates any inverse function (including arcsin, arctan, and even ln itself, viewed as the inverse of ex) without ever inverting the formula explicitly. If you can reproduce this three-line argument, you can reconstruct all three inverse-hyperbolic derivatives under exam pressure, even if you have forgotten which sign goes under which root.
You can also sanity-check each inverse derivative by its sign and domain. x2+11 is always positive and defined for all x — matching the fact that arsinh is everywhere increasing. x2−11 is positive but defined only for x>1, and blows up as x→1+ — matching arcosh's vertical tangent at (1,0). And 1−x21 is positive on (−1,1) and diverges at x=±1 — matching artanh's vertical asymptotes. A derivative whose sign or domain disagrees with the graph is a red flag for an algebra error.
Differentiate y=arsinh(2x).
dxdy=(2x)2+11⋅2=4x2+12.
Mark scheme: M1 dxdarsinhu=u2+1u′; A1 4x2+12.
A curve is given by x=2cosht, y=3sinht. Find dxdy in terms of t.
dtdx=2sinht,dtdy=3cosht,
dxdy=dx/dtdy/dt=2sinht3cosht=23cotht.
Mark scheme: M1 dxdy=dx/dtdy/dt; A1 both component derivatives; A1 23cotht. (This curve is the hyperbola 4x2−9y2=1, since cosh2t−sinh2t=1 — a neat synoptic check.)
Find the stationary point of y=coshx−x and determine its nature.
dxdy=sinhx−1=0 ⟹ sinhx=1 ⟹ x=arsinh1=ln(1+2).
Subscribe to continue reading
Get full access to this lesson and all 10 lessons in this course.