Study Guide

Hyperbolic Functions

Edexcel International A-Level Further MathematicsΒ· FP3 1.1-1.2Β· 45 min read

1. Definitions and Graphs of Hyperbolic Functionsβ˜…β˜…β˜†β˜†β˜†β± 10 min

βœ“ Calculator OK

πŸ“˜ Definition

Hyperbolic functions

Six functions defined in terms of and , analogous to trigonometric functions. The primary definitions are and , with the remaining four derived as reciprocals or ratios of these two.

Example:

, , ,

Each hyperbolic function has a defined domain and range you must recall for the exam. is always greater than or equal to 1, can take any real value, and is bounded between -1 and 1. Reciprocal functions have domains excluding points where the original function equals zero.

Function

Domain

Range

πŸ“ Worked Example

Calculate the exact value of using its exponential definition.

  1. 1

    Substitute into the definition of :

  2. 2
    cosh⁑(ln⁑3)=12(eln⁑3+eβˆ’ln⁑3)\cosh(\ln 3) = \frac{1}{2}(e^{\ln 3} + e^{-\ln 3})
  3. 3

    Simplify using logarithm rules: and :

  4. 4
    =12(3+13)=12(103)=53= \frac{1}{2}\left(3 + \frac{1}{3}\right) = \frac{1}{2}\left(\frac{10}{3}\right) = \frac{5}{3}

Exam tip:

Always simplify exponential expressions using logarithm rules when asked for exact values of hyperbolic functions with logarithmic inputs, as this avoids calculator rounding errors.

2. Core Hyperbolic Identitiesβ˜…β˜…β˜…β˜†β˜†β± 12 min

πŸ“˜ Definition

Core hyperbolic identity

means , matching standard trigonometric notation

The identity , derived directly from the exponential definitions of and . This is analogous to the Pythagorean trigonometric identity, with a sign change for the squared term.

Other core identities, including double angle formulas, are derived from this base identity and exponential definitions. While these identities are provided in the formula book, you may be asked to prove them to demonstrate your understanding of their origin.

πŸ“ Worked Example

Prove that using exponential definitions.

  1. 1

    Start with the exponential definition of :

  2. 2
    cosh⁑2x=12(e2x+eβˆ’2x)\cosh 2x = \frac{1}{2}(e^{2x} + e^{-2x})
  3. 3

    Expand and separately using their definitions:

  4. 4
    cosh⁑2x=(ex+eβˆ’x2)2=e2x+2+eβˆ’2x4\cosh^2 x = \left(\frac{e^x + e^{-x}}{2}\right)^2 = \frac{e^{2x} + 2 + e^{-2x}}{4}
  5. 5
    sinh⁑2x=(exβˆ’eβˆ’x2)2=e2xβˆ’2+eβˆ’2x4\sinh^2 x = \left(\frac{e^x - e^{-x}}{2}\right)^2 = \frac{e^{2x} - 2 + e^{-2x}}{4}
  6. 6

    Add the two expanded expressions together:

  7. 7
    cosh⁑2x+sinh⁑2x=e2x+2+eβˆ’2x+e2xβˆ’2+eβˆ’2x4=2(e2x+eβˆ’2x)4\cosh^2 x + \sinh^2 x = \frac{e^{2x} + 2 + e^{-2x} + e^{2x} - 2 + e^{-2x}}{4} = \frac{2(e^{2x} + e^{-2x})}{4}
  8. 8

    Simplify to match the definition of , completing the proof:

  9. 9
    =12(e2x+eβˆ’2x)=cosh⁑2x= \frac{1}{2}(e^{2x} + e^{-2x}) = \cosh 2x

Exam tip:

If asked to prove an identity, always start from the exponential definitions unless explicitly told otherwise, as this guarantees full marks even if you forget Osborn's rule.

3. Solving Linear Hyperbolic Equationsβ˜…β˜…β˜…β˜…β˜†β± 12 min

βœ“ Calculator OK

Equations of the form are solved by substituting the exponential definitions of and , rearranging to form a quadratic in , solving the quadratic, and rejecting any non-positive roots (since for all real ).

πŸ“ Worked Example

Solve the equation , giving your answers as exact logarithms.

  1. 1

    Substitute the exponential definitions of and into the equation:

  2. 2
    3(ex+eβˆ’x2)+2(exβˆ’eβˆ’x2)=53\left(\frac{e^x + e^{-x}}{2}\right) + 2\left(\frac{e^x - e^{-x}}{2}\right) = 5
  3. 3

    Multiply through by 2 to eliminate denominators:

  4. 4
    3(ex+eβˆ’x)+2(exβˆ’eβˆ’x)=103(e^x + e^{-x}) + 2(e^x - e^{-x}) = 10
  5. 5

    Expand and simplify like terms:

  6. 6
    5ex+eβˆ’x=105e^x + e^{-x} = 10
  7. 7

    Multiply through by to eliminate the negative exponent, forming a quadratic in :

  8. 8
    5(ex)2βˆ’10ex+1=05(e^x)^2 - 10e^x + 1 = 0
  9. 9

    Solve using the quadratic formula with , , :

  10. 10
    ex=10Β±8010=5Β±255e^x = \frac{10 \pm \sqrt{80}}{10} = \frac{5 \pm 2\sqrt{5}}{5}
  11. 11

    Check both roots are positive (both are ~1.89 and ~0.11, so valid), then take natural logs of both sides:

  12. 12
    x=ln⁑(5+255) or x=ln⁑(5βˆ’255)x = \ln\left(\frac{5 + 2\sqrt{5}}{5}\right) \text{ or } x = \ln\left(\frac{5 - 2\sqrt{5}}{5}\right)

Exam tip:

Always verify that your roots for are positive, as can never be zero or negative for real . You will lose marks if you include invalid negative solutions.

4. Inverse Hyperbolic Functionsβ˜…β˜…β˜…β˜…β˜†β± 11 min

πŸ“˜ Definition

Inverse hyperbolic functions

The inverses of the primary hyperbolic functions, denoted , , and per Edexcel notation. Each has a restricted domain to ensure a one-to-one mapping, and can be written as an equivalent logarithmic function.

Example:

The principal value of is the non-negative value for , as required by the syllabus.

You may be asked to derive the logarithmic form of any of the three inverse hyperbolic functions from first principles, even though the forms are given in the formula book.

πŸ“ Worked Example

Prove that for all real .

  1. 1

    Let . By definition of inverse functions, this means .

  2. 2

    Substitute the exponential definition of :

  3. 3
    x=eyβˆ’eβˆ’y2x = \frac{e^y - e^{-y}}{2}
  4. 4

    Multiply through by to eliminate the negative exponent, forming a quadratic in :

  5. 5
    e2yβˆ’2xeyβˆ’1=0e^{2y} - 2x e^y - 1 = 0
  6. 6

    Solve using the quadratic formula, treating as the variable:

  7. 7
    ey=2xΒ±4x2+42=xΒ±x2+1e^y = \frac{2x \pm \sqrt{4x^2 + 4}}{2} = x \pm \sqrt{x^2 + 1}
  8. 8

    Reject the negative root: for all , and for all real .

  9. 9

    Take the natural logarithm of both sides to solve for :

  10. 10
    y=ln⁑(x+x2+1)=arsinh x, as requiredy = \ln\left(x + \sqrt{x^2 + 1}\right) = \text{arsinh } x, \text{ as required}

Inverse Function

Domain

Logarithmic Form

(principal value )

Exam tip:

Always state the domain restriction for inverse hyperbolic functions when using them, especially for (must have ) and (must have ).

5. Common Pitfalls

Wrong move:

Using notation for inverse hyperbolic functions

Why:

Edexcel specifies the use of the ar- prefix (arsinh, arcosh, artanh) for logarithmic inverse forms; notation is reserved for reciprocal functions in this context and will lose marks.

Correct move:

Always write , , or when referring to inverse hyperbolic functions.

Wrong move:

Forgetting to reject negative roots for when solving hyperbolic equations

Why:

is always positive for all real values of , so any negative solution for is not valid for real .

Correct move:

After solving the quadratic in , check that all roots are positive, and discard any negative roots before taking logarithms.

Wrong move:

Using the trigonometric Pythagorean identity sign for hyperbolic functions

Why:

The core hyperbolic identity is , not . The sign flips because of the negative term in the definition of .

Correct move:

Use Osborn's rule to remember the sign change for terms containing products of two functions, or derive identities from exponential definitions to avoid sign errors.

Wrong move:

Quoting the logarithmic form of an inverse hyperbolic function instead of deriving it when asked to prove it

Why:

Exam questions explicitly asking for a proof require you to show full working from first principles, not just state the given formula from the formula book.

Correct move:

When asked to prove a logarithmic inverse form, start with , rearrange to get the hyperbolic function of equal to , substitute the exponential definition, solve the quadratic in , reject invalid roots, and take logs to get the final form.

Wrong move:

Using for values of less than 1, or for

Why:

These inverse functions are only defined for their specified domains, so using them outside these ranges gives undefined or non-real results, which are invalid for real number exam questions.

Correct move:

Always check that the input to an inverse hyperbolic function falls within its valid domain before using it, and state the domain restriction in your working where relevant.

6. Quick Reference Cheatsheet

Concept

Key Details

Exponential definitions

, ,

Core identities

, ,

Solving

Substitute exponentials, form quadratic in , reject negative roots, take natural log

Inverse function log forms

arsinh (all ), arcosh (), artanh ()

7. Frequently Asked

What notation does Edexcel use for inverse hyperbolic functions?

Edexcel uses the ar- prefix for inverse hyperbolic functions: , , . You must not use or similar notation for logarithmic inverse forms in exam answers.

Do I need to memorize the logarithmic forms of inverse hyperbolic functions?

The logarithmic forms are provided in the official formula book, but you may be asked to derive them from first principles, so you must understand the full proof process.

Can I use Osborn's rule to remember hyperbolic identities?

Yes, Osborn's rule is a valid shortcut, but you will only be examined on the core identities listed in the FP3 specification. For proof questions, always derive identities from exponential definitions for full marks.

Going deeper

What's Next

Now that you have mastered the core definitions, identities, equations and inverse forms of hyperbolic functions, you are ready to move on to applying these concepts to differentiation and integration problems in FP3. Hyperbolic functions are used extensively in further calculus topics, including integration by substitution and solving differential equations, so having a solid grasp of their basic properties is critical for success in the rest of the FP3 unit. You may also want to practice past paper questions focused on this topic to familiarize yourself with Edexcel's exam phrasing and mark scheme expectations.