AS June 2018 Paper 1 Q6
6
(a) Matthew is finding a formula for the inverse function \(\operatorname{arsinh} x\).
He writes his steps as follows:\[\begin{gathered}\text{Let } y = \sinh x \\ y = \frac{1}{2}(\mathrm{e}^x - \mathrm{e}^{-x}) \\ 2y = \mathrm{e}^x - \mathrm{e}^{-x} \\ 0 = \mathrm{e}^x - 2y - \mathrm{e}^{-x} \\ 0 = (\mathrm{e}^x)^2 - 2y\mathrm{e}^x - 1 \\ 0 = (\mathrm{e}^x - y)^2 - y^2 - 1 \\ y^2 + 1 = (\mathrm{e}^x - y)^2 \\ \pm\sqrt{y^2 + 1} = \mathrm{e}^x - y \\ y \pm \sqrt{y^2 + 1} = \mathrm{e}^x\end{gathered}\]
He writes his steps as follows:\[\begin{gathered}\text{Let } y = \sinh x \\ y = \frac{1}{2}(\mathrm{e}^x - \mathrm{e}^{-x}) \\ 2y = \mathrm{e}^x - \mathrm{e}^{-x} \\ 0 = \mathrm{e}^x - 2y - \mathrm{e}^{-x} \\ 0 = (\mathrm{e}^x)^2 - 2y\mathrm{e}^x - 1 \\ 0 = (\mathrm{e}^x - y)^2 - y^2 - 1 \\ y^2 + 1 = (\mathrm{e}^x - y)^2 \\ \pm\sqrt{y^2 + 1} = \mathrm{e}^x - y \\ y \pm \sqrt{y^2 + 1} = \mathrm{e}^x\end{gathered}\]
To find the inverse function, swap \(x\) and \(y\): \(x \pm \sqrt{x^2 + 1} = \mathrm{e}^y\)
\[\begin{gathered}\ln\left(x \pm \sqrt{x^2 + 1}\right) = y \\ \operatorname{arsinh} x = \ln\left(x \pm \sqrt{x^2 + 1}\right)\end{gathered}\]Identify, and explain, the error in Matthew’s proof. [2 marks]
(b) Solve \(\ln\left(x + \sqrt{x^2 + 1}\right) = 3\) [1 mark]
| Scheme | Marks | AO |
|---|---|---|
| Identifies the \(\pm\) sign (or just the negative) as the error. May be seen in any of the last five lines. May be indicated within Matthew’s solution or described in words. Ignore other ‘errors’ identified. Condone identifying any of the last five lines as containing the error. PI | B1 | 2.3 |
| Gives a correct reason, referring to either \(\mathrm{e}^x\) (or \(\mathrm{e}^y\)), or the operand of a logarithm, being positive. Do not award if more than one error identified. | E1 | 2.4 |
Typical solution

It is an error because \(y - \sqrt{y^2 + 1} \lt 0\) and \(\mathrm{e}^x \gt 0\) so there is a contradiction.
| Scheme | Marks | AO |
|---|---|---|
| States the correct solution of the equation. Accept \(10.0[1787493]\) or \(\frac{1}{2}(\mathrm{e}^3 - \mathrm{e}^{-3})\) ISW | B1 | 1.1b |
| (3 marks) |