CAIE FP1 2013 June — Question 3 7 marks

Exam BoardCAIE
ModuleFP1 (Further Pure Mathematics 1)
Year2013
SessionJune
Marks7
PaperDownload PDF ↗
Mark schemeDownload PDF ↗
TopicProof by induction
TypeProve derivative formula
DifficultyChallenging +1.2 This is a standard induction proof on a derivative formula with a clear pattern. While it requires familiarity with product rule, chain rule, and trigonometric identities (sin addition formulas), the structure is routine for Further Maths students: verify base case n=1, assume for n=k, differentiate both sides for n=k+1, and apply trig identities to show the pattern holds. The algebraic manipulation is moderately involved but follows a predictable template for this type of question.
Spec4.01a Mathematical induction: construct proofs

3 Prove by mathematical induction that, for every positive integer \(n\), $$\frac { \mathrm { d } ^ { n } } { \mathrm {~d} x ^ { n } } \left( \mathrm { e } ^ { x } \sin x \right) = ( \sqrt { } 2 ) ^ { n } \mathrm { e } ^ { x } \sin \left( x + \frac { 1 } { 4 } n \pi \right)$$

Question 3:
AnswerMarks Guidance
Answer/WorkingMarks Guidance
\(\frac{d}{dx}(e^x \sin x) = e^x \sin x + e^x \cos x\)B1 Differentiates once
\(= \sqrt{2}e^x\left(\frac{1}{\sqrt{2}}\sin x + \frac{1}{\sqrt{2}}\cos x\right)\)M1 Rearranges
\(= \sqrt{2}e^x\sin\left(x + \frac{1}{4}\pi\right) \Rightarrow H_1\) trueA1 Shows true for \(n=1\)
\(H_k: \frac{d^k}{dx^k}(e^x \sin x) = (\sqrt{2})^k e^x \sin\left(x + \frac{1}{4}k\pi\right)\)B1 States inductive hypothesis (may be seen by implication)
\(\frac{d^{k+1}}{dx^{k+1}} = (\sqrt{2})^k\left(\sin\left(x+\frac{1}{4}k\pi\right)e^x + e^x\cos\left(x+\frac{1}{4}k\pi\right)\right)\)M1 Differentiates
\(= (\sqrt{2})^{k+1}e^x\left(\frac{1}{\sqrt{2}}\sin\left(x+\frac{1}{4}k\pi\right) + \frac{1}{\sqrt{2}}\cos\left(x+\frac{1}{4}k\pi\right)\right)\)A1 Rearranges
\(= (\sqrt{2})^{k+1}e^x\sin\left(x+\frac{1}{4}(k+1)\pi\right) \Rightarrow H_{k+1}\) trueA1 Shows \(H_k \Rightarrow H_{k+1}\)
\(\therefore\) by PMI, true for all positive integers \(n\) (CWO) States conclusion; total [7]
## Question 3:

| Answer/Working | Marks | Guidance |
|---|---|---|
| $\frac{d}{dx}(e^x \sin x) = e^x \sin x + e^x \cos x$ | B1 | Differentiates once |
| $= \sqrt{2}e^x\left(\frac{1}{\sqrt{2}}\sin x + \frac{1}{\sqrt{2}}\cos x\right)$ | M1 | Rearranges |
| $= \sqrt{2}e^x\sin\left(x + \frac{1}{4}\pi\right) \Rightarrow H_1$ true | A1 | Shows true for $n=1$ |
| $H_k: \frac{d^k}{dx^k}(e^x \sin x) = (\sqrt{2})^k e^x \sin\left(x + \frac{1}{4}k\pi\right)$ | B1 | States inductive hypothesis (may be seen by implication) |
| $\frac{d^{k+1}}{dx^{k+1}} = (\sqrt{2})^k\left(\sin\left(x+\frac{1}{4}k\pi\right)e^x + e^x\cos\left(x+\frac{1}{4}k\pi\right)\right)$ | M1 | Differentiates |
| $= (\sqrt{2})^{k+1}e^x\left(\frac{1}{\sqrt{2}}\sin\left(x+\frac{1}{4}k\pi\right) + \frac{1}{\sqrt{2}}\cos\left(x+\frac{1}{4}k\pi\right)\right)$ | A1 | Rearranges |
| $= (\sqrt{2})^{k+1}e^x\sin\left(x+\frac{1}{4}(k+1)\pi\right) \Rightarrow H_{k+1}$ true | A1 | Shows $H_k \Rightarrow H_{k+1}$ |
| $\therefore$ by PMI, true for all positive integers $n$ (CWO) | | States conclusion; total [7] |

---
3 Prove by mathematical induction that, for every positive integer $n$,

$$\frac { \mathrm { d } ^ { n } } { \mathrm {~d} x ^ { n } } \left( \mathrm { e } ^ { x } \sin x \right) = ( \sqrt { } 2 ) ^ { n } \mathrm { e } ^ { x } \sin \left( x + \frac { 1 } { 4 } n \pi \right)$$

\hfill \mbox{\textit{CAIE FP1 2013 Q3 [7]}}