Problems

Filters
Clear Filters

1531 problems found

2018 Paper 3 Q7
D: 1700.0 B: 1516.0

  1. Use De Moivre's theorem to show that, if \(\sin\theta\ne0\)\,, then \[ \frac{ \left(\cot \theta + \rm{i}\right)^{2n+1} -\left(\cot \theta - \rm{i}\right)^{2n+1}}{2\rm{i}} = \frac{\sin \left(2n+1\right)\theta} {\sin^{2n+1}\theta} \,, \] for any positive integer \(n\). Deduce that the solutions of the equation \[ \binom{2n+1}{1}x^{n}-\binom{2n+1}{3}x^{n-1} +\cdots + \left(-1\right)^{n}=0 \] are \[x=\cot^{2}\left(\frac{m\pi}{2n+1}\right) \] where \( m=1\), \(2\), \(\ldots\) , \(n\,\).
  2. Hence show that \[ \sum_{m=1}^n \cot^{2}\left(\frac{m\pi}{2n+1}\right) =\frac{n\left(2n-1\right)}{3}. \]
  3. Given that \(0<\sin \theta <\theta <\tan \theta\) for \(0 < \theta < \frac{1}{2}\pi\), show that \[ \cot^{2}\theta<\frac{1}{\theta^{2}}<1+\cot^{2}\theta. \] Hence show that \[ \sum^\infty_{m=1} \frac{1}{m^2}= \frac{\pi^2}{6}\,.\]


Solution:

  1. \begin{align*} \frac{\left(\cot \theta + i\right)^{2n+1} -\left(\cot \theta - i\right)^{2n+1}}{2i} &= \frac{1}{\sin^{2n+1} \theta}\frac{\left(\cos \theta + i \sin \theta \right)^{2n+1} -\left(\cos\theta - i\sin \theta\right)^{2n+1}}{2i} \\ &= \frac{1}{\sin^{2n+1} \theta} \frac{e^{i(2n+1) \theta} - e^{-i(2n+1) \theta} }{2i} \\ &=\frac{\sin (2n+1) \theta}{\sin^{2n+1} \theta} \end{align*} Notice that: \begin{align*} (\cot \theta + i)^{2n+1} - (\cot \theta - i)^{2n+1} &= \sum_{k=0}^{2n+1} \binom{2n+1}{k}(i)^k \cdot \cot^{2n+1-k} \theta - \sum_{k=0}^{2n+1} \binom{2n+1}{k}(-i)^k \cdot \cot^{2n+1-k} \theta \\ &= \sum_{k=0}^{2n+1} \binom{2n+1}{k} \l i^k - (-i)^k \r \cdot \cot^{2n+1-k} \theta \\ &= \sum_{l=0}^{n} \binom{2n+1}{2l+1} \l i^{2l+1} - (-i)^{2l+1} \r \cdot \cot^{2n+1-(2l+1)} \theta \\ &= \sum_{l=0}^{n} \binom{2n+1}{2l+1} 2i \cdot \cot^{2(n-l)} \theta \\ &= 2i\sum_{l=0}^{n} \binom{2n+1}{2l+1} \cot^{2(n-l)} \theta \\ \end{align*} Therefore if \(\theta\) satisfies \(\frac{\sin (2n+1) \theta}{\sin^{2n+1} \theta} = 0\) then \(z = \cot^2 \theta\) satisfies the equation. But \(\theta = \frac{m \pi}{2n+1}, m = 1, 2, \ldots, n\) are \(n\) distinct all the roots must be \(\cot^2 \frac{m \pi}{2n+1}\).
  2. Notice that the sum of the roots will be \(\displaystyle \frac{\binom{2n+1}{3}}{\binom{2n+1}{1}} = \frac{(2n+1)\cdot 2n \cdot (2n-1)}{3! \cdot (2n+1)} = \frac{n \cdot (2n-1)}{3}\) and so \[ \sum_{m=1}^n \cot^{2}\left(\frac{m\pi}{2n+1}\right) =\frac{n\left(2n-1\right)}{3}. \]
  3. For \(0 < \theta < \frac{1}{2}\pi\), \begin{align*} && 0 < \sin \theta < \theta < \tan \theta \\ \Leftrightarrow && 0 < \cot \theta < \frac{1}{\theta} < \frac{1}{\sin \theta} \\ \Leftrightarrow && 0 < \cot^2 \theta < \frac{1}{\theta^2} < \cosec^2 \theta = 1 + \cot^2 \theta\\ \end{align*} Therefore \begin{align*} && \sum_{n=1}^N \cot^2 \frac{n \pi}{2N+1} < \sum_{n=1}^N \frac{(2N+1)^2}{n^2 \pi^2} < N + \sum_{n=1}^N \cot^2 \frac{n \pi}{2N+1} \\ \Rightarrow && \frac{1}{(2N+1)^2} \frac{N(2N-1)}{3} < \sum_{n=1}^N \frac{1}{n^2 \pi^2} < \frac{1}{(2N+1)^2} \l \frac{N(2N-1)}{3} + 1 \r \\ \Rightarrow && \lim_{N \to \infty}\frac{1}{(2N+1)^2} \frac{N(2N-1)}{3} < \lim_{N \to \infty}\sum_{n=1}^N \frac{1}{n^2 \pi^2} < \lim_{N \to \infty}\frac{1}{(2N+1)^2} \l \frac{N(2N-1)}{3} + 1 \r \\ \Rightarrow && \frac{1}{6} \leq \lim_{N \to \infty}\sum_{n=1}^N \frac{1}{n^2 \pi^2} \leq \frac16 \\ \Rightarrow && \sum_{n=1}^N \frac{1}{n^2} = \frac{\pi^2}{6} \end{align*}

2018 Paper 3 Q8
D: 1700.0 B: 1516.0

In this question, you should ignore issues of convergence.

  1. Let \[ I = \int_0^1 \frac{\f(x^{-1}) } {1+x} \, \d x \,, \] where \(\f(x)\) is a function for which the integral exists. Show that \[ I = \sum_{n=1}^\infty \int_n^{n+1} \frac{\f(y) } {y(1+y)}\, \d y \] and deduce that, if \(\f(x) = \f(x+1)\) for all \(x\), then \[ I= \int_0^1 \frac{\f(x)} {1+x} \, \d x \,. \]
  2. The {\em fractional part}, \(\{x\}\), of a real number \(x\) is defined to be \(x-\lfloor x\rfloor\) where \(\lfloor x \rfloor\) is the largest integer less than or equal to \(x\). For example \(\{3.2\} = 0.2\) and \(\{3\}=0\,\). Use the result of part (i) to evaluate \[ \displaystyle \int _0^1 \frac { \{x^{-1}\}}{1+x}\, \d x \text{ and } \displaystyle \int _0^1 \frac { \{2x^{-1}\}}{1+x}\, \d x \,. \]
  3. (Bonus) Use the same method to evaluate \[ \int_0^1 \frac {x\{x^{-1}\}}{1-x^2} \, \d x \,. \]
  4. (Bonus - harder) Use the same method to evaluate \[ \int_0^1 \frac {x^2\{x^{-1}\}}{1-x^2} \, \d x \,. \]


Solution:

  1. \begin{align*} && I &= \int_0^1 \frac{f(x^{-1})}{1+x} \d x \\ u = x^{-1}, \d u = -x^{-2} \d x: &&&= \int_{\infty}^1 \frac{f(u)}{1+\frac{1}{u}} \frac{-1}{u^2} \d u \\ &&&= \int_1^{\infty} \frac{f(u)}{u(1+u)} \d u \\ &&&= \sum_{n=1}^{\infty} \int_n^{n+1} \frac{f(u)}{u(u+1)} \d u \\ \\ \text{if} f(x) = f(x+1)\, \forall x && &=\sum_{n=1}^{\infty} \int_{0}^1 \frac{f(x+n)}{(x+n)(x+n+1)} \d x \\ &&&= \sum_{n=1}^\infty \int_0^1 \frac{f(x)}{(x+n)(x+n+1)} \d x \\ &&&= \int_0^1 f(x) \l \sum_{n=1}^{\infty} \frac{1}{(x+n)(x+n+1)}\r \d x \\ &&&= \int_0^1 f(x) \l \sum_{n=1}^{\infty} \l \frac{1}{x+n} - \frac{1}{x+n+1} \r\r \d x \\ &&&= \int_0^1 f(x) \l \frac{1}{x+1} \r \d x \\ &&&= \int_0^1\frac{f(x)}{x+1} \d x \\ \end{align*}
  2. Since the fractional part is periodic with period \(1\), we can say \begin{align*} && \int_0^1 \frac{\{ x^{-1} \} }{1+x} \d x &= \int_0^1 \frac{\{ x\}}{x+1} \d x \\ &&&= \int_0^1 \frac{x}{x+1} \d x \\ &&&= \int_0^1 1-\frac{1}{x+1} \d x \\ &&&= [x - \ln (1+x) ]_0^1 \\ &&&= 1 - \ln 2 \end{align*} \begin{align*} && \int_0^1 \frac{\{ 2x^{-1}\}}{1+x} \d x &= \int_0^1 \frac{\{2x\}}{x+1} \d x \\ &&&= \int_0^{1/2} \frac{2x}{x+1} \d x +\int_{1/2}^{1} \frac{2x-1}{x+1} \d x \\ &&&= 2\int_0^1 \frac{x}{x+1} \d x + \int_{1/2}^1 \frac{-1}{x+1} \d x \\ &&&= 2 - 2\ln 2 - \l \ln 2 - \ln \tfrac32 \r \\ &&&= 2 - 4 \ln 2 + \ln 3 \\ &&&= 2 + \ln \tfrac {3}{16} \end{align*}
  3. \begin{align*} && \int_0^1 \frac{x \{ x^{-1} \} }{1-x^2} \d x &= \frac12 \l \int_0^1 \frac{ \{ x^{-1} \}}{1-x} - \frac{\{x^{-1} \}}{1+x} \d x\r \end{align*} Consider for \(f\) periodic with period \(1\) \begin{align*} \int_0^1 \frac{f(x^{-1})}{1-x} \d x &= \int_1^{\infty} \frac{f(u)}{u(u-1)} \d u \\ &= \sum_{n=1}^{\infty}\int_{n}^{n+1} \frac{f(u)}{u(u-1)} \d u \\ &= \sum_{n=1}^{\infty}\int_{0}^{1} \frac{f(u)}{(u+n)(u+n-1)} \d u \\ &= \int_{0}^{1} \sum_{n=1}^{\infty}\frac{f(u)}{(u+n)(u+n-1)} \d u \\ &= \int_{0}^{1} f(u) \sum_{n=1}^{\infty}\l\frac{1}{u+n-1} - \frac{1}{u+n} \r\d u \\ &= \int_0^1 \frac{f(u)}{u} \d u \end{align*} So we have \begin{align*} && \int_0^1 \frac{x \{ x^{-1} \} }{1-x^2} \d x &= \frac12 \l \int_0^1 \frac{ \{ x^{-1} \}}{1-x} - \frac{\{x^{-1} \}}{1+x} \d x \r \\ &&&= \frac12 \int_0^1 \frac{\{ x \}}{x} \d x - \frac12 (1 - \ln 2) \\ &&&= \frac12 - \frac12 + \frac12 \ln 2 \\ &&&= \frac12 \ln 2 \end{align*}

2018 Paper 3 Q9
D: 1700.0 B: 1484.0

A particle \(P\) of mass \(m\) is projected with speed \(u_0\) along a smooth horizontal floor directly towards a wall. It collides with a particle \(Q\) of mass \(km\) which is moving directly away from the wall with speed \(v_0\). In the subsequent motion, \(Q\) collides alternately with the wall and with \(P\). The coefficient of restitution between \(Q\) and \(P\) is \(e\), and the coefficient of restitution between \(Q\) and the wall is 1. Let \(u_n\) and \(v_n\) be the velocities of \(P\) and \(Q\), respectively, towards the wall after the \(n\)th collision between \(P\) and \(Q\).

  1. Show that, for \(n\ge2\), \[ (1+k)u_{n} - (1-k)(1+e)u_{n-1} + e(1+k)u_{n-2} =0\,. \tag{\(*\)} \]
  2. You are now given that \(e=\frac12\) and \(k = \frac1{34}\), and that the solution of \((*)\) is of the form \[ \phantom{(n\ge0)} u_n= A\left( \tfrac 7{10}\right)^n + B\left( \tfrac 5{7 }\right)^n \ \ \ \ \ \ (n\ge0) \,, \] where \(A\) and \(B\) are independent of \(n\). Find expressions for \(A\) and \(B\) in terms of \(u_0\) and \(v_0\). Show that, if \(0 < 6u_0 < v_0\), then \(u_n\) will be negative for large \(n\).


Solution:

  1. Just before collision \(n-1\): Velocity of \(P\) is \(u_{n-2}\) Velocity of \(Q\) is \(-v_{n-2}\) \begin{align*} COM: && mu_{n-2}+km(-v_{n-2}) &= mu_{n-1}+kmv_{n-1} \\ \Rightarrow && u_{n-2}-kv_{n-2} &= u_{n-1}+kv_{n-1} \\ NEL: && v_{n-1}-u_{n-1} &= -e((-v_{n-2})-u_{n-2}) \\ \Rightarrow && v_{n-1}-u_{n-1} &= e(v_{n-2}+u_{n-2}) \end{align*} \begin{align*} &&kv_{n-1} &= u_{n-2} - kv_{n-2}-u_{n-1} \\ &&kv_{n-1}&= ku_{n-1}+kev_{n-2}+keu_{n-2} \\ \Rightarrow && kv_{n-2}(1+e) &= u_{n-2}(1-ke)-u_{n-1}(1+k) \\ \Rightarrow && kv_{n-1}(1+e) &= u_{n-1}(1-ke)-u_{n}(1+k) \\ && k(1+e)v_{n-1}-k(1+e)u_{n-1} &= k(1+e)e(v_{n-2}+u_{n-2}) \\ \Rightarrow && u_{n-1}(1-ke)-u_{n}(1+k)-k(1+e)u_{n-1} &= e(u_{n-2}(1-ke)-u_{n-1}(1+k))+k(1+e)eu_{n-2} \\ \Rightarrow && 0 &= (1+k)u_n + ((ke-1)+k(1+e)-e(1+k))u_{n-1} \\ &&& \quad \quad + (e(1-ke)+k(1+e)e)u_{n-2} \\ \Rightarrow && 0 &= (1+k)u_n- (1-k)(1+e)u_{n-1} +e(1+k)u_{n-2} \end{align*}
  2. \(u_0 = A + B\) \begin{align*} &&& \begin{cases}u_0 - kv_0 &= kv_1 + u_1 \\ \frac12 (u_0+v_0) &= v_1 - u_1 \\ \end{cases} \\ \Rightarrow && (1+k)u_1 &= u_0 - kv_0 - \frac{k}{2}(u_0 + v_0) \\ \Rightarrow && u_1 &= \frac{1}{k+1} \l u_0 (1-\frac{k}{2}) - \frac32 k v_0 \r \\ &&&= \frac{67}{70} u_0 - \frac{3}{70} v_0 \end{align*} Therefore \(A+B = u_0, \frac{49A+50B}{70} = \frac{67}{70} u_0 - \frac{3}{70} v_0\) \begin{align*} && A+B &= u_0 \\ && 49A+50B &= 67u_0 - 3v_0 \\ \Rightarrow && 50u_0 - A &= 67u_0 - 3v_0 \\ \Rightarrow && A &= -17u_0 + 3v_0 \\ && B &= 18u_0 - 3v_0 \end{align*} If \(0 < 6u_0 < v_0\), then \(B < 0\) and as \(n \to \infty\) we will find that \(\l \frac57 \r^n\) dominates \(\l \frac7{10} \r^n\) and so our velocity will be negative and the particle will change direction

2018 Paper 3 Q10
D: 1700.0 B: 1484.0

A uniform disc with centre \(O\) and radius \(a\) is suspended from a point \(A\) on its circumference, so that it can swing freely about a horizontal axis \(L\) through \(A\). The plane of the disc is perpendicular to \(L\). A particle \(P\) is attached to a point on the circumference of the disc. The mass of the disc is \(M\) and the mass of the particle is \(m\). In equilibrium, the disc hangs with \(OP\) horizontal, and the angle between \(AO\) and the downward vertical through \(A\) is \(\beta\). Find \(\sin\beta\) in terms of \(M\) and \(m\) and show that \[ \frac{AP}{a} = \sqrt{\frac{2M}{M+m}} \,. \] The disc is rotated about \(L\) and then released. At later time \(t\), the angle between \(OP\) and the horizontal is \(\theta\); when \(P\) is higher than \(O\), \(\theta\) is positive and when \(P\) is lower than \(O\), \(\theta\) is negative. Show that \[ \tfrac12 I \dot\theta^2 + (1-\sin\beta)ma^2 \dot \theta^2 + (m+M)g a\cos\beta \, (1- \cos\theta) \] is constant during the motion, where \(I\) is the moment of inertia of the disc about \(L\). Given that \(m= \frac 32 M\) and that \(I=\frac32Ma^2\), show that the period of small oscillations is \[ 3\pi \sqrt{\frac {3a}{5g}} \,. \]


Solution:

TikZ diagram
First, notice that the centre of mass will lie directly below \(A\) and will be \(\frac{m}{M+m}\) of the way between \(O\) and \(P\). Therefore \(\sin \beta = \frac{m}{M+m}\). The cosine rule states that: \begin{align*} && AP^2 &= a^2 + a^2 - 2a^2 \cos \angle AOP \\ \Rightarrow && \frac{AP^2}{a^2} &= 2 - 2 \sin \beta \\ &&&= \frac{2M+2m-2m}{M+m} \\ &&&= \frac{2M}{M+m} \\ \Rightarrow && \frac{AP}{a} &= \sqrt{\frac{2M}{M+m}} \end{align*}
TikZ diagram
Considering conservation of energy, we have: Rotational kinetic energy for the disc: \(\frac12 I \dot{\theta}^2\) Kinetic energy for the particle: \(\frac12 m (\dot{\theta} \sqrt{2-2\sin \beta} a)^2 = (1- \sin \beta)ma^2 \dot{\theta}^2\)
TikZ diagram
GPE: The important thing is the vertical location of \(G\). The triangle \(OAG\) will still have angle \(\beta\) at \(A\). The vertical height below is: \(\cos \theta \cdot AG = \cos \theta a \cos \beta\). The distance from when \(\theta = 0\) will be \(a \cos \beta (1- \cos \theta)\) and so the GPE will be \((M+m)ga \cos \beta ( 1- \cos \theta)\) we can therefore say by conservation of energy: \[ \frac12 I \dot{\theta}^2 + (1- \sin \beta)ma^2 \dot{\theta}^2+(M+m)ga \cos \beta ( 1- \cos \theta) \] is constant. Suppose \(m = \frac32 M\) and \(I = \frac32 Ma^2\) then differentiating the constant wrt to \(\theta\) gives \(\sin \beta = \frac{m}{M+m} = \frac{3}{5}, \cos \beta = \frac45\) \begin{align*} && 0 &= \frac12 \frac32 M a^2 \cdot 2 \dot{\theta}\ddot{\theta} + (1- \sin \beta)\frac32M a^2 2 \dot{\theta}\ddot{\theta} + (M+\frac32M) ga \cos \beta \sin \theta \cdot \dot{\theta} \\ \Rightarrow && 0 &= \frac32 \ddot{\theta} + 3(1-\sin \beta) \ddot{\theta} + \frac{5}{2}\frac{g}{a} \cos \beta \sin \theta \\ &&&= (\frac32 + \frac65) \ddot{\theta} + \frac{2g}{a} \sin \theta \\ &&&= \frac{27}{10} \ddot{\theta} + \frac{2g}{a} \sin \theta \end{align*} If \(\theta\) is small, we can approximate this by: \(\frac{27}{10} \ddot{\theta} + \frac{2g}{a} \theta = 0\) which will have period \(\displaystyle 2 \pi \sqrt{\frac{27a}{10\cdot2 g}} = 2 \pi \sqrt{\frac{3a}{5g}}\) as required.

2018 Paper 3 Q11
D: 1700.0 B: 1487.9

A particle is attached to one end of a light inextensible string of length \(b\). The other end of the string is attached to a fixed point \(O\). Initially the particle hangs vertically below \(O\). The particle then receives a horizontal impulse. The particle moves in a circular arc with the string taut until the acute angle between the string and the upward vertical is \(\alpha\), at which time it becomes slack. Express \(V\), the speed of the particle when the string becomes slack, in terms of \( b\), \(g\) and \(\alpha\). Show that the string becomes taut again a time \(T\) later, where \[ gT = 4V \sin\alpha \,,\] and that just before this time the trajectory of the particle makes an angle \(\beta \) with the horizontal where \(\tan\beta = 3\tan \alpha \,\). When the string becomes taut, the momentum of the particle in the direction of the string is destroyed. Show that the particle comes instantaneously to rest at this time if and only if \[ \sin^2\alpha = \dfrac {1+\sqrt3}4 \,. \]


Solution:

TikZ diagram
\begin{align*} \text{N2}(\swarrow): &&T +mg \cos \alpha &= m \frac{V^2}{b} \\ \end{align*} So the string goes slack when \(bg\cos \alpha = V^2 \Rightarrow V = \sqrt{bg \cos \alpha}\). Once the string goes slack, the particle moves as a projectile. It's initial speed is \(V\binom{-\cos \alpha}{\sin \alpha}\) and it's position is \(\binom{b\sin \alpha}{b\cos \alpha}\): \begin{align*} && \mathbf{s} &= \binom{b\sin \alpha}{b\cos \alpha}+Vt \binom{-\cos \alpha}{\sin \alpha} + \frac12 gt^2 \binom{0}{-1} \\ &&&= \binom{b\sin \alpha - Vt \cos \alpha}{b\cos \alpha + Vt \sin \alpha - \frac12 gt^2} \\ |\mathbf{s}|^2 = b^2 \Rightarrow && b^2 &= \left ( \binom{b\sin \alpha}{b\cos \alpha}+Vt \binom{-\cos \alpha}{\sin \alpha} + \frac12 gt^2 \binom{0}{-1} \right)^2 \\ &&&= b^2 + V^2t^2+\frac14 g^2 t^4 -gb\cos \alpha t^2-V\sin \alpha gt^3 \\ \Rightarrow && 0 &= V^2t^2 + \frac14 g^2 t^4 - V^2 t^2- V \sin \alpha g t^3 \\ &&&= \frac14 g^2 t^4 - V \sin \alpha gt^3 \\ \Rightarrow && gT &= 4V \sin \alpha \end{align*} The particle will have velocity \(\displaystyle \binom{-V \cos \alpha}{V \sin \alpha - 4V \sin \alpha} = \binom{-V \cos \alpha}{-3V \sin \alpha}\) so the angle \(\beta\) will satisfy \(\tan \beta = 3 \tan \alpha\). The particle will come to an instantaneous rest if all the momentum is destroyed, ie if the particle is travelling parallel to the string. \begin{align*} && 3 \tan \alpha &= \frac{b\cos \alpha + Vt \sin \alpha - \frac12 gt^2}{b\sin \alpha - Vt \cos \alpha} \\ &&&= \frac{\frac{V^2}{g}+\frac{4V^2\sin^2\alpha}{g} - \frac{8V^2\sin^2 \alpha}{g}}{\frac{V^2\sin \alpha}{g \cos \alpha} - \frac{4V^2 \sin \alpha \cos \alpha}{g}} \\ &&&= \frac{1 -4\sin^2 \alpha}{\tan \alpha(1 - 4\cos^2 \alpha)} \\ \Leftrightarrow&& 3 \frac{\sin^2 \alpha}{1-\sin^2 \alpha} &= \frac{1- 4 \sin^2 \alpha}{-3+4\sin^2 \alpha} \\ \Leftrightarrow && -9 \sin^2 \alpha + 12 \sin^4 \alpha &= 1 - 5 \sin^2 \alpha + 4 \sin^4 \alpha \\ \Leftrightarrow && 0 &= 1+4 \sin^2 \alpha - 8\sin^4 \alpha \\ \Leftrightarrow && \sin^2 \alpha &= \frac{1 + \sqrt{3}}4 \end{align*} (taking the only positive root)

2018 Paper 3 Q12
D: 1700.0 B: 1516.0

A random process generates, independently, \(n\) numbers each of which is drawn from a uniform (rectangular) distribution on the interval 0 to 1. The random variable \(Y_k\) is defined to be the \(k\)th smallest number (so there are \(k-1\) smaller numbers).

  1. Show that, for \(0\le y\le1\,\), \[ {\rm P}\big(Y_k\le y) =\sum^{n}_{m=k}\binom{n}{m}y^{m}\left(1-y\right)^{n-m} . \tag{\(*\)} \]
  2. Show that \[ m\binom n m = n \binom {n-1}{m-1} \] and obtain a similar expression for \(\displaystyle (n-m) \, \binom n m\,\). Starting from \((*)\), show that the probability density function of \(Y_k\) is \[ n\binom{ n-1}{k-1} y^{k-1}\left(1-y\right)^{ n-k} \,.\] Deduce an expression for \(\displaystyle \int_0^1 y^{k-1}(1-y)^{n-k} \, \d y \,\).
  3. Find \(\E(Y_k) \) in terms of \(n\) and \(k\).


Solution:

  1. \begin{align*} && \mathbb{P}(Y_k \leq y) &= \sum_{j=k}^n\mathbb{P}(\text{exactly }j \text{ values less than }y) \\ &&&= \sum_{j=k}^m \binom{m}{j} y^j(1-y)^{n-j} \end{align*}
  2. This is the number of ways to choose a committee of \(m\) people with the chair from those \(m\) people. This can be done in two ways. First: choose the committee in \(\binom{n}{m}\) ways and choose the chair in \(m\) ways so \(m \binom{n}{m}\). Alternatively, choose the chain in \(n\) ways and choose the remaining \(m-1\) committee members in \(\binom{n-1}{m-1}\) ways. Therefore \(m \binom{n}{m} = n \binom{n-1}{m-1}\) \begin{align*} (n-m) \binom{n}{m} &= (n-m) \binom{n}{n-m} \\ &= n \binom{n-1}{n-m-1} \\ &= n \binom{n-1}{m} \end{align*} \begin{align*} f_{Y_k}(y) &= \frac{\d }{\d y} \l \sum^{n}_{m=k}\binom{n}{m}y^{m}\left(1-y\right)^{n-m} \r \\ &= \sum^{n}_{m=k} \l \binom{n}{m}my^{m-1}\left(1-y\right)^{n-m} -\binom{n}{m}(n-m)y^{m}\left(1-y\right)^{n-m-1} \r \\ &= \sum^{n}_{m=k} \l n \binom{n-1}{m-1}y^{m-1}\left(1-y\right)^{n-m} -n \binom{n-1}{m} y^{m}\left(1-y\right)^{n-m-1} \r \\ &= n\sum^{n}_{m=k} \binom{n-1}{m-1}y^{m-1}\left(1-y\right)^{n-m} -n\sum^{n+1}_{m=k+1} \binom{n-1}{m-1} y^{m-1}\left(1-y\right)^{n-m} \\ &= n \binom{n-1}{k-1} y^{k-1}(1-y)^{n-k} \end{align*} \begin{align*} &&1 &= \int_0^1 f_{Y_k}(y) \d y \\ &&&= \int_0^1 n \binom{n-1}{k-1} y^{k-1}(1-y)^{n-k} \d y \\ &&&= n \binom{n-1}{k-1} \int_0^1 y^{k-1}(1-y)^{n-k} \d y \\ \Rightarrow && \frac{1}{n \binom{n-1}{k-1}} &= \int_0^1 y^{k-1}(1-y)^{n-k} \d y \\ \end{align*}
  3. \begin{align*} && \mathbb{E}(Y_k) &= \int_0^1 y f_{Y_k}(y) \d y \\ &&&= \int_0^1 n \binom{n-1}{k-1} y^{k}(1-y)^{n-k} \\ &&&= n \binom{n-1}{k-1}\int_0^1 y^{k}(1-y)^{n-k} \d y \\ &&&= n \binom{n-1}{k-1}\int_0^1 y^{k+1-1}(1-y)^{n+1-(k+1)} \d y \\ &&&= n \binom{n-1}{k-1} \frac{1}{(n+1) \binom{n}{k}}\\ &&&= \frac{n}{n+1} \cdot \frac{k}{n} \\ &&&= \frac{k}{n+1} \end{align*}

2018 Paper 3 Q13
D: 1700.0 B: 1484.0

The random variable \(X\) takes only non-negative integer values and has probability generating function \(\G(t)\). Show that \[ \P(X = 0 \text{ or } 2 \text{ or } 4 \text { or } 6 \ \ldots ) = \frac{1}{2}\big(\G\left(1\right)+\G\left(-1\right)\big). \] You are now given that \(X\) has a Poisson distribution with mean \(\lambda\). Show that \[ \G(t) = \e^{-\lambda(1-t)} \,. \]

  1. The random variable \(Y\) is defined by \[ \P(Y=r)= \begin{cases} k\P(X=r) & \text{if \(r=0, \ 2, \ 4, \ 6, \ \ldots\) \ }, \\[2mm] 0& \text{otherwise}, \end{cases} \] where \(k\) is an appropriate constant. Show that the probability generating function of \(Y\) is \(\dfrac{\cosh\lambda t}{\cosh\lambda}\,\). Deduce that \(\E(Y) < \lambda\) for \(\lambda > 0\,\).
  2. The random variable \(Z\) is defined by \[\P(Z=r)= \begin{cases} c \P(X=r) & \text{if \(r = 0, \ 4, \ 8, \ 12, \ \ldots \ \)}, \\[2mm] 0& \text{otherwise,} \end{cases} \] where \(c\) is an appropriate constant. Is \(\E(Z) < \lambda\) for all positive values of \(\lambda\,\)?


Solution: \begin{align*} &&G_X(t) &= \mathbb{E}(t^N) \\ &&&= \sum_{k=0}^{\infty} \mathbb{P}(X = k) t^k \\ \Rightarrow && G_X(1) &= \sum_{k=0}^{\infty} \mathbb{P}(X = k) \\ \Rightarrow && G_X(-1) &= \sum_{k=0}^{\infty} (-1)^k\mathbb{P}(X = k) \\ \Rightarrow && \frac12 (G_X(1) + G_X(-1) &= \sum_{k=0}^{\infty} \frac12 (1 + (-1)^k) \mathbb{P}(X = k) \\ &&&= \sum_{k=0}^{\infty} \mathbb{P}(X =2k) \end{align*}

  1. \begin{align*} 1 &= \sum_r \mathbb{P}(Y = r) \\ &= \sum_{k=0}^\infty k \cdot \mathbb{P}(X = 2k) \\ &= k \cdot \frac12 \l e^{-\lambda(1-1) } + e^{-\lambda(1+1) }\r \\ &= \frac{k}{2}(1+e^{-2\lambda}) \end{align*} Therefore \(k = \frac{2}{1+e^{-2\lambda}} = e^{\lambda} \frac{1}{\cosh \lambda}\) \begin{align*} && G_X(t) + G_X(-t) &= \sum_{k=0}^\infty \mathbb{P}(X = k)t^k(1^k + (-1)^k) \\ &&&= \sum_{k=0}^\infty \mathbb{P}(X = k)t^k(1^k + (-1)^k) \\ &&&= 2\sum_{k=0}^\infty \mathbb{P}(X = 2k)t^{2k} \\ &&&= 2\sum_{k=0}^\infty \frac{1}{k}\mathbb{P}(Y = 2k)t^{2k} \\ &&&= \frac{2}{k}G_Y(t) \\ \Rightarrow && G_Y(t) &= k \cdot \frac{G_X(t) + G_X(-t)}{2} \\ &&&= k\frac{e^{-\lambda(1-t)} + e^{-\lambda(1+t)}}{2} \\ &&&= \frac{e^\lambda}{\cosh \lambda} \frac{e^{-\lambda} (e^{\lambda t}+e^{-\lambda t}) }{2} \\ &&&= \frac{\cosh \lambda t}{\cosh \lambda} \end{align*} Since \(\mathbb{E}(Y) = G_Y'(1)\) and \begin{align*} && G_Y'(t) &= \frac{\lambda \sinh \lambda t}{\cosh \lambda t} \\ \Rightarrow && G_Y'(1) &= \lambda \tanh \lambda \\ &&&< \lambda \end{align*} since \(\tanh x < 1\)
  2. \begin{align*} && \frac14 \l G_X(t) + G_X(it) +G_X(-t) + G_X(-it) \r &= \sum_{k=0}^\infty \mathbb{P}(X=k)t^k (1 + i^k + (-1)^k + (-i)^k) \\ &&&= \sum_{k=0}^\infty \mathbb{P}(X = 4k)t^{4k} \\ &&&= \frac{G_Z(t)}{c} \end{align*} Since \(G_Z(1) = 1\) we must have \(c = \frac1{\frac14 \l G_X(1) + G_X(i) +G_X(-1) + G_X(-i) \r}\) \begin{align*} && c &= \frac{4e^{\lambda}}{e^{\lambda} + e^{-\lambda} + e^{i\lambda} + e^{-i\lambda}} \\ &&&= \frac{2e^{\lambda}}{\cosh \lambda + \cos \lambda} \\ && G_Z(t) &= c \cdot \frac14 \l e^{-\lambda(1-t)}+e^{-\lambda(1-it)}+e^{-\lambda(1+t)}+e^{-\lambda(1+it)} \r \\ &&&= \frac{ce^{-\lambda t}}{4} \l 2\cosh \lambda t + 2 \cos \lambda t\r \\ &&&= \frac{\cosh \lambda t + \cos \lambda t}{\cosh \lambda + \cos \lambda} \end{align*} We are interested in \(G_Z'(1)\) so: \begin{align*} && G_Z'(t) &= \frac{\lambda (\sinh \lambda t - \sin \lambda t)}{\cosh \lambda + \cos \lambda } \end{align*} Considering various values of \(\lambda\), it makes sense to look at \(\lambda = \pi\) (since \(\cos \lambda = -1\) and the denominator will be small). From this we can see: \begin{align*} G'_Z(1) &= \frac{\pi (\sinh \pi-0)}{\cosh \pi-1} \\ &= \frac{\pi}{\tanh \frac{\pi}{2}} > \pi \end{align*} So \(\mathbb{E}(Z)\) is larger than \(\lambda\) for \(\lambda = \pi\) (and probably many others)

2017 Paper 1 Q1
D: 1500.0 B: 1484.0

  1. Use the substitution \(u= x\sin x +\cos x\) to find \[ \int \frac{x }{x\tan x +1 } \, \d x \,. \] Find by means of a similar substitution, or otherwise, \[ \int \frac{x }{x\cot x -1 } \, \d x \,. \]
  2. Use a substitution to find \[ \int \frac{x\sec^2 x \, \tan x}{x\sec^2 x -\tan x} \,\d x \, \] and \[ \int \frac{x\sin x \cos x}{(x-\sin x \cos x)^2} \, \d x \,. \]


Solution:

  1. \(\,\) \begin{align*} && I &= \int \frac{x}{x \tan x + 1} \d x \\ &&&= \int \frac{x \cos x}{x \sin x + \cos x} \d x \\ u = x \sin x + \cos x , \d u = x \cos x \d x: &&&= \int \frac{\d u}{u} \\ &&&= \ln u + C \\ &&&= \ln (x \sin x + \cos x) + C \\ \\ && J &= \int \frac{x}{x \cot x - 1} \d x \\ &&&= \int \frac{x \sin x }{x \cos x - \sin x} \d x \\ u = x \cos x - \sin x, \d u = x \sin x \d x: &&&= \int \frac{1}{u} \d u \\ &&&= \ln u + K \\ &&&= \ln (x \cos x -\sin x) + K \end{align*}
  2. \(\,\) \begin{align*} && I &= \int \frac{x \sec^2 x \tan x}{x \sec^2 x - \tan x} \d x \\ u = x\sec^2 x-\tan x, \d u = 2x \sec^2 x \tan x&&&= \frac12 \int \frac{1}{u} \d u \\ &&&= \frac12 \ln (x \sec^2 x - \tan x) + C \\ \\ && J &= \int \frac{x \sin x \cos x}{(x - \sin x \cos x)^2} \d x \\ u = x \sec^2 x -\tan x, \d u=2x \frac{\sin x}{\cos^3 x} &&&= \int \frac{x \sin x \cos x}{\cos^4x(x\sec^2 x -\tan x)^2} \d x \\ &&&= \frac12 \int \frac{1}{u^2} \d u \\ &&&= -\frac12u^{-1} + K \\ &&&= \frac{1}{2(\tan x - x \sec^2 x)} + K \end{align*}

2017 Paper 1 Q2
D: 1484.0 B: 1500.1

  1. The inequality \(\dfrac 1 t \le 1\) holds for \(t\ge1\). By integrating both sides of this inequality over the interval \(1\le t \le x\), show that \[ \ln x \le x-1 \tag{\(*\)} \] for \(x \ge 1\). Show similarly that \((*)\) also holds for \(0 < x \le 1\).
  2. Starting from the inequality \(\dfrac{1}{t^2} \le \dfrac1 t \) for \(t \ge 1\), show that \[ \ln x \ge 1-\frac{1}{x} \tag{\(**\)} \] for \(x > 0\).
  3. Show, by integrating (\(*\)) and (\(**\)), that \[ \frac{2}{ y+1} \le \frac{\ln y}{ y-1} \le \frac{ y+1}{2 y} \] for \( y > 0\) and \( y\ne1\).


Solution:

  1. \(\,\) \begin{align*} (x \geq 1): && \int_1^x \frac{1}{t} \d t &\leq \int_1^x 1 \d t \\ \Rightarrow && \ln x - \ln 1 &\leq x - 1 \\ \Rightarrow && \ln x & \leq x - 1 \\ \\ (0 < x \leq 1):&& \int_x^1 1\d t &\leq \int_x^1 \frac{1}{t} \d t \\ \Rightarrow&& 1- x &\leq \ln 1 - \ln x \\ \Rightarrow&& \ln x &\leq x - 1 \end{align*}
  2. \(\,\) \begin{align*} (x \geq 1): && \int_1^x \frac{1}{t^2} \d t &\leq \int_1^x \frac{1}{t} \d t \\ \Rightarrow && -\frac1x+1 &\leq \ln x - \ln 1 \\ \Rightarrow && 1 - \frac1x &\leq \ln x \\ \\ (0 < x \leq 1): && \int_x^1 \frac{1}{t} \d t &\leq \int_x^1 \frac{1}{t^2} \d t \\ \Rightarrow && \ln 1 - \ln x & \leq -1 + \frac{1}{x} \\ \Rightarrow && 1 - \frac1x &\leq \ln x \\ \end{align*}
  3. \(\,\) \begin{align*} (1 < y): && \int_1^y \left (1 - \frac1{x} \right)\d x &\leq \int_1^y \ln x \d x \\ \Rightarrow && \left [x - \ln x \right]_1^y & \leq \left [ x \ln x - x\right]_1^y \\ \Rightarrow && y - \ln y - 1 &\leq y \ln y - y +1 \\ \Rightarrow && 2y-2 & \leq (y+1) \ln y \\ \Rightarrow && \frac{2}{y+1} & \leq \frac{\ln y}{y-1} \\ (0 < y < 1): && \int_y^1 \left (1 - \frac1{x} \right)\d x &\leq \int_y^1 \ln x \d x \\ \Rightarrow && \left [x - \ln x \right]_y^1 & \leq \left [ x \ln x - x\right]_y^1 \\ \Rightarrow && 1 - (y - \ln y) &\leq -1-(y \ln y-y) \\ \Rightarrow && 2-2y &\leq -(y+1)\ln y \\ \Rightarrow && \frac{2}{y+1} &\leq \frac{-\ln y}{1-y} \tag{\(1-y > 0\)} \\ \Rightarrow && \frac{2}{y+1} &\leq \frac{\ln y}{y-1} \\ \\ (1 < y): && \int_1^y \ln x \d x &\leq \int_1^y (x-1) \d x \\ \Rightarrow && \left [x \ln x -x \right]_1^y &\leq \left[ \frac12 x^2 - x \right]_1^y\\ \Rightarrow && y \ln y - y +1 &\leq \frac12y^2 - y+\frac12 \\ \Rightarrow && y \ln y &\leq \frac12 \left (y^2-1 \right) \\ \Rightarrow && \frac{\ln y}{y-1} &\leq \frac{y+1}{2y} \\ \\ (0 < y < 1) && \int_y^1 \ln x \d x &\leq \int_y^1 (x-1) \d x \\ \Rightarrow && \left [x \ln x -x \right]_y^1&\leq \left[ \frac12 x^2 - x \right]_y^1\\ \Rightarrow && -1-(y \ln y - y +1) &\leq-\frac12 - \left ( \frac12y^2 - y\right)\\ \Rightarrow && \frac12 \left (y^2-1 \right) &\leq y \ln y \\ \Rightarrow && \frac{\ln y}{y-1} & \leq \frac{y+1}{2y} \tag{\(y-1 < 0\)} \end{align*}

2017 Paper 1 Q3
D: 1500.0 B: 1500.0

The points \(P(ap^2, 2ap)\) and \(Q(aq^2, 2aq)\), where \(p>0\) and \(q<0\), lie on the curve \(C\) with equation $$y^2= 4ax\,,$$ where \(a>0\,\). Show that the equation of the tangent to \(C\) at \(P\) is $$y= \frac 1 p \, x +ap\,.$$ The tangents to the curve at \(P\) and at \(Q \) meet at \(R\). These tangents meet the \(y\)-axis at \(S\) and \(T\) respectively, and \(O\) is the origin. Prove that the area of triangle \(OPQ\) is twice the area of triangle \(RST\).


Solution: \begin{align*} && 2yy' &= 4a \\ \Rightarrow && y' &= \frac{2a}{y} = \frac{2a}{2ap} = \frac1p \\ \Rightarrow && \frac{y-2ap}{x-ap^2} &= \frac1p \\ \Rightarrow && y &= \frac1p x +ap \end{align*} The other tangent will be \(y = \frac1qx+aq\) \begin{align*} &&& \begin{cases} py-x &= ap^2 \\ qy - x &= aq^2 \end{cases} \\ \Rightarrow && y(p-q) &= a(p^2-q^2) \\ \Rightarrow && y &= a(p+q) \\ && x &= apq \end{align*} Therefore \(R(apq, a(p+q)), S(0, ap), T(0, aq)\).

TikZ diagram
The line \(PQ\) has equation \begin{align*} && \frac{y - 2ap}{x-ap^2} &= \frac{2aq-2ap}{aq^2-ap^2} \\ &&&= \frac{2}{p+q} \\ y= 0: && x - ap^2 &= -(p+q)ap \\ \Rightarrow && x&= -apq \end{align*} So set \(X(-apq, 0)\) \begin{align*} && [RST] &= \frac12 \cdot a(p-q) \cdot (-apq) = \frac12 a^2 |qp(p-q)| \\ \\ && [OPQ] &= [OPX] + [OQX] \\ &&&= \frac12 \cdot (-apq) \cdot 2ap + \frac12 \cdot (-apq) \cdot (-2aq) \\ &&&= -\frac12a^2pq \left (2p-2q \right) = a^2|pq(p-q)| = 2[RST] \end{align*} as required

2017 Paper 1 Q4
D: 1500.0 B: 1516.0

  1. Let \(r\) be a real number with \(\vert r \vert<1\) and let \[ S = \sum_{n=0}^\infty r^n\,. \] You may assume without proof that \(S = \displaystyle \frac{1}{1-r}\, \). Let \(p= 1 + r +r^2\). Sketch the graph of the function \(1+r+r^2\) and deduce that \(\frac{3}{4} \le p < 3\,\). Show that, if \(1 < p < 3\), then the value of \( p\) determines \(r\), and hence \(S\), uniquely. Show also that, if \(\frac{3}{4} < p < 1\), then there are two possible values of \(S\) and these values satisfy the equation \((3-p)S^2-3S+1=0\).
  2. Let \(r\) be a real number with \(\vert r \vert<1\) and let \[ T =\sum_{n=1}^\infty nr^{n-1}\,. \] You may assume without proof that \(T = \displaystyle \dfrac{1}{(1-r)^2}\,.\) Let \( q= 1+2r+3r^2\). Find the set of values of \( q\) that determine \(T\) uniquely. Find the set of values of \(q\) for which \(T\) has two possible values. Find also a quadratic equation, with coefficients depending on \( q\), that is satisfied by these two values.


Solution:

  1. \(\,\)
    TikZ diagram
    Notice that \(1+r+r^2\) ranges from \(\frac34\) to \(3\) over \((-1,1)\) therefore \(\frac34 \leq p < 3\) attaining its minimum but not its maximum. If \(p > 1\) we know we must be on the right branch and hence we can determine \(r\) and \(S\) uniquely. If \(\frac34 < p < 1\) then we must have two possible values for \(r\), satisfying \(r_i^2 + r+1 = p\) and so our two possible values for \(S_i = \frac{1}{1-r_i}\) or \(r_i = 1-\frac{1}{S_i}\) and so \begin{align*} && p &= \left ( 1 - \frac{1}{S} \right)^2 + 1 - \frac1S + 1 \\ \Rightarrow && pS^2 &= (S-1)^2 + S^2-S + S^2 \\ \Rightarrow && 0 &= (3-p)S^2 -3S + 1 \end{align*}
  2. \(\,\)
    TikZ diagram
    So \(\frac23 \leq q < 6\) and \(r\) and hence \(T\) is uniquely determined if \(2 \leq q < 6\). if \(\frac23

2017 Paper 1 Q5
D: 1500.0 B: 1456.4

A circle of radius \(a\) is centred at the origin \(O\). A rectangle \(PQRS\) lies in the minor sector \(OMN\) of this circle where \(M\) is \((a,0)\) and \(N\) is \((a \cos \beta, a \sin \beta)\), and \(\beta\) is a constant with \(0 < \beta < \frac{\pi}{2}\,\). Vertex \(P\) lies on the positive \(x\)-axis at \((x,0)\); vertex \(Q\) lies on \(ON\); vertex \(R\) lies on the arc of the circle between \(M\) and \(N\); and vertex \(S\) lies on the positive \(x\)-axis at \((s,0)\). Show that the area \(A\) of the rectangle can be written in the form \[ A= x(s-x)\tan\beta \,. \] Obtain an expression for \(s\) in terms of \(a\), \(x\) and \(\beta\), and use it to show that \[ \frac{\d A}{\d x} = (s-2x) \tan \beta - \frac {x^2} s \tan^3\beta \,. \] Deduce that the greatest possible area of rectangle \(PQRS\) occurs when \(s= x(1+\sec\beta)\) and show that this greatest area is \(\tfrac12 a^2 \tan \frac12 \beta\,\). Show also that this greatest area occurs when \(\angle ROS = \frac12\beta\,\).


Solution:

TikZ diagram
Clearly the distance \(PS\) is \(s - x\), so it remains to determine the heigh \(PQ\). Notice that \(\tan \beta = \frac{PQ}{OP}\) so the height is \(x \tan \beta\) and the area is \(x(s-x)\tan \beta \) Notice that \(R\) has a \(y\)-coordinate of \(x \tan \beta\), but is a distance \(a\) from the origin, so \(s^2 + x^2 \tan^2 \beta = a^2 \Rightarrow s = \sqrt{a^2-x^2 \tan^2 \beta}\) \begin{align*} && \frac{\d A}{\d x} &= (s-x)\tan \beta + x \left (\frac{\d s}{\d x} - 1 \right) \tan \beta \\ &&&= (s-x) \tan \beta + \left (\tfrac12(a^2-x^2\tan^2 \beta)^{-1/2} \cdot (-2x \tan^2 \beta) - 1\right) x \tan \beta \\ &&&= (s-x) \tan \beta + \left ( \frac{-x \tan^2 \beta}{s} -1\right)x \tan \beta \\ &&&= (s-2x) \tan \beta - \frac{x^2}{s}\tan^3\beta \\ \\ \frac{\d A}{\d x} = 0: && 0 &= s(s-2x)-x^2 \tan^2 \beta \\ &&&= s^2-(2x)s-x^2\tan^2 \beta \\ &&&= (s-x)^2-(1+\tan^2\beta)x^2 \\ \Rightarrow && s &= x + x \sec \beta \\ &&&= (1+\sec \beta)x \\ \\ && a^2 &= x^2(1+\sec\beta)^2 + x^2 \tan^2 \beta \\ &&&= x^2(2\sec \beta +2\sec^2 \beta ) \\ &&&= 2x^2 \sec \beta(1+\sec \beta) \\ \\ && A &= x^2\sec \beta \tan \beta \\ &&&= \frac12 a^2 \frac{\sec \beta \tan \beta}{\sec \beta(1+\sec \beta)} \\ &&&= \frac12 a^2 \frac{\tan \beta}{1+\sec \beta} = \frac12 a^2 \tan \frac{\beta}{2}\\ \end{align*} This occurs when \begin{align*} && \frac{RS}{SO} &= \frac{x \tan \beta}{s} \\ &&&= \frac{\tan \beta}{1+\sec \beta} = \tan \frac{\beta}2 \\ \Rightarrow&& \angle ROS &= \frac{\beta}2 \end{align*}

2017 Paper 1 Q6
D: 1516.0 B: 1484.0

In this question, you may assume that, if a continuous function takes both positive and negative values in an interval, then it takes the value \(0\) at some point in that interval.

  1. The function \(\f\) is continuous and \(\f(x)\) is non-zero for some value of \(x\) in the interval \(0\le x \le 1\). Prove by contradiction, or otherwise, that if \[ \int_0^1 \f(x) \d x = 0\,, \] then \(\f(x)\) takes both positive and negative values in the interval \(0\le x\le 1\).
  2. The function \(\g\) is continuous and \[ \int_0^1 \g(x) \, \d x = 1\,, \quad \int_0^1 x\g(x) \, \d x = \alpha\, , \quad \int_0^1 x^2\g(x) \, \d x = \alpha^2\,. \tag{\(*\)} \] Show, by considering \[ \int_0^1 (x - \alpha)^2 \g(x) \, \d x \,, \] that \(\g(x)=0\) for some value of \(x\) in the interval \(0\le x\le 1\). Find a function of the form \(\g(x) = a+bx\) that satisfies the conditions \((*)\) and verify that \(\g(x)=0\) for some value of \(x\) in the interval \(0\le x \le 1\).
  3. The function \(\h\) has a continuous derivative \(\h'\) and \[ \h(0) = 0\,, \quad \h(1) = 1\,, \quad \int_0^1 \h(x) \, \d x = \beta\,, \quad \int_0^1 x \h(x) \, \d x = \tfrac{1}{2}\beta (2 - \beta) \,. \] Use the result in part (ii) to show that \(\h^\prime(x)=0\) for some value of \(x\) in the interval \(0\le x\le 1\).


Solution:

  1. Claim: If \(f(x)\) non-zero for some \(x \in [0,1]\) and \(\int_0^1 f(x) \d x =0\) then \(f\) takes both positive and negative values in the interval \([0,1]\). Proof: Suppose not, then WLOG suppose \(f(x) > 0\) for some \(x \in [0,1]\). Then notice (since \(f\) is continuous) that there is some interval where \(f(x) > 0\) around the \(x\) we have already shown exists. But then \(\int_{\text{interval}} f(x) \d x > 0\) and since \(f(x) \geq 0\) everywhere \(\int_0^1 f(x) \d x > 0\), which is a contradiction.
  2. \(\,\) \begin{align*} && \int_0^1 (x - \alpha)^2 g(x) \d x &= \int_0^1 x^2g(x) \d x - 2 \alpha \int_0^1 x g(x) \d x + \alpha^2 \int_0^1 g(x) \d x \\ &&&= \alpha^2 - 2\alpha \cdot \alpha + \alpha^2 \cdot 1 \\ &&&= 0 \end{align*} Therefore \(g(x)(x-\alpha)^2\) is a continuous function which is either exactly \(0\) (in which case we've already found our \(0\)) or it is a continuous function which is both positive somewhere and has \(0\) integral, and therefore by part (i) must take both positive and negative values (and therefore takes \(0\) in between those points by continuity). \begin{align*} &&1 &= \int_0^1 a+bx \d x \\ &&&= a + \frac12 b \\ && \alpha &= \int_0^1 ax + bx^2 \d x \\ &&&= \frac12 a + \frac13 b \\ && \alpha^2 &= \int_0^1 ax^2 + bx^3 \d x\\ &&&= \frac13 a + \frac14 b \\ \Rightarrow && \frac1{36}(3a+2b)^2 &= \frac1{12}(4a+3b) \\ \Rightarrow && \frac1{36}(3a+2(2-2a))^2 &= \frac1{12}(4a+3(2-2a)) \\ \Rightarrow && (4-a)^2 &= 3(6-2a) \\ \Rightarrow && 16-8a+a^2 &= 18-6a \\ \Rightarrow && a^2-2a-2 &= 0 \\ \Rightarrow && (a-1)^2 - 3 &= 0 \\ \Rightarrow && a &= \pm \sqrt{3}+1 \\ && b &= \mp 2\sqrt{3} \end{align*} So say \(a = \sqrt{3}+1, b = -2\sqrt{3}\) This has a root at \(-\frac{a}{b} = \frac{1+\sqrt{3}}{2\sqrt{3}} = \frac{\sqrt{3}+3}{6} < 1\) so we have met our condition.
  3. Consider \(h'\), we must have \begin{align*} && \int_0^1 h'(x)\d x &= h(1)-h(0) =1\\ && \int_0^1 xh'(x) \d x &= \left [x h(x) \right]_0^1 - \int_0^1 h(x) \d x \\ &&&= 1 - \beta \\ && \int_0^1 x^2 h'(x) \d x &= \left [ x^2h(x) \right]_0^1 - \int_0^1 2xh(x) \d x \\ &&&= 1 - 2\tfrac12 \beta(2-\beta) \\ &&&= (1-\beta)^2 \end{align*} Therefore \(h'\) satisfies the conditions with \(\alpha = 1-\beta\), so \(h'\) must have a root in our interval.

2017 Paper 1 Q7
D: 1500.0 B: 1516.0

The triangle \(ABC\) has side lengths \(\left| BC \right| = a\), \(\left| CA \right| = b\) and \(\left| AB \right| = c\). Equilateral triangles \(BXC\), \(CYA\) and \(AZB\) are erected on the sides of the triangle \(ABC\), with \(X\) on the other side of \(BC\) from \(A\), and similarly for \(Y\) and \(Z\). Points \(L\), \(M\) and \(N\) are the centres of rotational symmetry of triangles \(BXC\), \(CY\!A\) and \(AZB\) respectively.

  1. Show that \(| CM| = \dfrac {\ b} {\sqrt3} \,\) and write down the corresponding expression for \(| CL|\).
  2. Use the cosine rule to show that \[ 6 \left| LM \right|^2 = a^2+b^2+c^2 + 4\sqrt3 \, \Delta \,, \] where \(\Delta\) is the area of triangle \(ABC\). Deduce that \(LMN\) is an equilateral triangle. Show further that the areas of triangles \(LMN\) and \(ABC\) are equal if and only if \[ a^2+b^2 +c^2 = 4\sqrt3 \, \Delta \,. \]
  3. Show that the conditions \[ (a -b)^2 = -2ab \big( 1 -\cos(C-60^\circ)\big) \,\] and \[ a^2+b^2 +c^2 = 4\sqrt3 \, \Delta \] are equivalent. Deduce that the areas of triangles \(LMN\) and \(ABC\) are equal if and only if \(ABC\) is equilateral.


Solution:

TikZ diagram
  1. Consider the equilateral triangle \(CYA\), notice that \(YM\) is a vertical line of symmetry, and \(\angle ACM = 30^\circ\) therefore \(\frac{AC/2}{CM} = \cos 30^\circ \Rightarrow |CM| = \frac{b}{2} \cdot \frac{2}{\sqrt{3}} = \frac{b}{\sqrt{3}}\). Similarly \(|CL| = \frac{a}{\sqrt{3}}\)
  2. \(\,\) \begin{align*} && |LM|^2 &= |CM|^2 + |CL|^2 - 2 \cdot |CM| \cdot |CL| \cdot \cos \angle MCL \\ &&&= \frac{b^2}{3} + \frac{a^2}{3} - 2 \frac{ab}{3} \cos \left (\angle CMA + \angle CAB + \angle BCL \right) \\ &&&= \frac13 \left (b^2 + a^2 - 2ab \cos \left ( \frac{\pi}{3} + \angle CAB \right) \right) \\ &&&= \frac13 \left (b^2 + a^2 - ab \cos \left ( \angle CAB \right) + \sqrt{3}ab \sin \angle CAB \right) \\ &&&= \frac13 \left (b^2 + a^2 - ab \cos \angle CAB + 2\sqrt{3} \Delta\right) \\ &&&= \frac13 \left (b^2 + a^2 - ab \left (\frac{a^2+b^2-c^2}{2ab} \right) + 2\sqrt{3} \Delta\right) \\ &&&= \frac13 \left ( \frac12(a^2+b^2+c^2) + 2\sqrt{3}\Delta \right) \\ \Rightarrow && 6|LM|^2 &= a^2 + b^2 + c^2 + 4\sqrt{3} \Delta \end{align*} However, nothing in our reasoning here was special about \(LM\), therefore \(LN\) and \(MN\) also equal this value, and we find that the triangle is equilateral. The area of equilateral triangle [LMN] is \(\frac{\sqrt{3}}4 |LM|^2\), ie \begin{align*} &&& \text{areas are equal} \\ \Leftrightarrow && \Delta &= \frac{\sqrt{3}}4 |LM|^2 \\ &&&= \frac{\sqrt{3}}4 \frac{a^2+b^2+c^2+4\sqrt{3}\Delta}{6} \\ &&&= \frac{\sqrt{3}}{24} (a^2+b^2+c^2) + \frac12 \Delta \\ \Leftrightarrow && \Delta &= \frac{\sqrt{3}}{12}(a^2+b^2+c^2)\\ \Leftrightarrow && 4\sqrt{3}\Delta &=a^2+b^2+c^2\\ \end{align*}
  3. \(\,\) \begin{align*} && (a-b)^2 &= -2ab(1 - \cos(C - 60^{\circ})) \\ \Leftrightarrow && a^2+b^2 - 2ab &=-2ab + 2ab \cos(C - 60^{\circ}) \\ \Leftrightarrow && a^2+b^2 &= ab \cos C+\sqrt{3}ab\sin C \\ \Leftrightarrow && a^2+b^2 &= ab \frac{a^2+b^2-c^2}{2ab} + 2\sqrt{3} \Delta \\ \Leftrightarrow && a^2+b^2+c^2 &= 4\sqrt{3}\Delta \end{align*} Since the LHS is non-positive, and the RHS is positive, the only way they can be equal is if they are both \(0\), ie \(a=b\) and \(C = 60^{\circ}\) ie \(ABC\) is equilateral.

2017 Paper 1 Q8
D: 1500.0 B: 1516.0

Two sequences are defined by \(a_1 = 1\) and \(b_1 = 2\) and, for \(n \ge 1\), \begin{equation*} \begin{split} a_{n+1} & = a_n+ 2b_n \,, \\ b_{n+1} & = 2a_n + 5b_n \,. \end{split} \end{equation*} Prove by induction that, for all \(n \ge 1\), \[ a_n^2+2a_nb_n - b_n^2 = 1 \,. \tag{\(*\)}\]

  1. Let \(c_n = \dfrac{a_n}{b_n}\). Show that \(b_n \ge 2 \times 5^{n-1}\) and use \((*)\) to show that \[ c_n \to \sqrt 2 -1 \text{ as } n\to\infty\,. \]
  2. Show also that \(c_n > \sqrt2 -1\) and hence that \(\dfrac2 {c_n+1} < \sqrt2 < c_n+1\). Deduce that \(\dfrac{140}{99}< \sqrt{2} < \dfrac{99}{70 }\,\).


Solution: Claim \(a_n^2+2a_nb_n - b_n^2 = 1\) for all \(n \geq 1\) Proof: (By induction) Base case: (\(n = 1\)). When \(n = 1\) we have \(a_1^2 + 2a_1 b_1-b_1^2 = 1^2+2\cdot1\cdot2-2^2 = 1\) as required. (Inductive step). Now we assume our result is true for some \(n =k\), ie \(a_k^2+2a_kb_k - b_k^2 = 1\), now consider \(n = k+1\) \begin{align*} && a_{k+1}^2+2a_{k+1}b_{k+1} - b_{k+1}^2 &= (a_k+2b_k)^2+2(a_k+2b_k)(2a_k+5b_k) - (2a_k+5b_k)^2 \\ &&&= a_k^2+4a_kb_k+4b_k^2 +4a_k^2+18a_kb_k+20b_k^2 - 4a_k^2-20a_kb_k-25b_k^2 \\ &&&= (1+4-4)a_k^2+(4+18-20)a_kb_k +(4+20-25)b_k^2 \\ &&&= a_k^2+2a_kb_k -b_k^2 = 1 \end{align*} Therefore since our statement is true for \(n = 1\) and when it is true for \(n=k\) it is true for \(n=k+1\) by the POMI it is true for \(n \geq 1\)

  1. Notice that \(b_{n+1} \geq 5 b_n\) and therefore \(b_n \geq 5^{n-1} b_1 = 2\cdot 5^{n-1}\), so \begin{align*} && 1 &= a_n^2+2a_nb_n - b_n^2\\ \Rightarrow && \frac1{b_n^2} &= c_n^2 + 2c_n - 1 \\ \to && 0 &= c_n^2 + 2c_n - 1 \quad \text{ as } n\to \infty \\ \end{align*} This has roots \(c = -1 \pm \sqrt{2}\), and since \(c_n > 0\) it must tend to the positive value, ie \(c_n \to \sqrt{2}-1\)
  2. Notice that \(c_n^2 + 2c_n - 1 > 0\) so either \(c_n > \sqrt{2}-1\) or \(c_n < -1-\sqrt{2}\), but again, since \(c_n > 0\) we must have \(c_n > \sqrt{2}-1\). Therefore \(\sqrt{2} < c_n + 1\) and \(1+c_n > \sqrt{2} \Rightarrow \frac{1}{1+c_n} < \frac{\sqrt{2}}2 \Rightarrow \frac{2}{1+c_n} < \sqrt{2}\) \begin{array}{c|c|c} n & a_n & b_n \\ \hline 1 & 1 & 2 \\ 2 & 5 & 12 \\ 3 & 29 & 70 \end{array} Therefore \(c_3 = \frac{29}{70}\) and so \(\frac{2}{1 + \frac{29}{70}} = \frac{140}{99} < \sqrt{2} < \frac{29}{70} + 1 = \frac{99}{70}\)