Problems

Filters
Clear Filters

92 problems found

1997 Paper 3 Q6
D: 1700.0 B: 1516.0

Suppose that \(y_n\) satisfies the equations \[(1-x^2)\frac{{\rm d}^2y_n}{{\rm d}x^2}-x\frac{{\rm d}y_n}{{\rm d}x}+n^2y_n=0,\] \[y_n(1)=1,\quad y_n(x)=(-1)^ny_n(-x).\] If \(x=\cos\theta\), show that \[\frac{{\rm d}^2y_n}{{\rm d}\theta^2}+n^2y_n=0,\] and hence obtain \(y_n\) as a function of \(\theta\). Deduce that for \(|x|\leqslant1\) \[y_0=1,\quad y_1=x,\] \[y_{n+1}-2xy_n+y_{n-1}=0.\]

1996 Paper 2 Q3
D: 1600.0 B: 1500.0

The Fibonacci numbers \(F_{n}\) are defined by the conditions \(F_{0}=0\), \(F_{1}=1\) and \[F_{n+1}=F_{n}+F_{n-1}\] for all \(n\geqslant 1\). Show that \(F_{2}=1\), \(F_{3}=2\), \(F_{4}=3\) and compute \(F_{5}\), \(F_{6}\) and~\(F_{7}\). Compute \(F_{n+1}F_{n-1}-F_{n}^{2}\) for a few values of \(n\); guess a general formula and prove it by induction, or otherwise. By induction on \(k\), or otherwise, show that \[F_{n+k}=F_{k}F_{n+1}+F_{k-1}F_{n}\] for all positive integers \(n\) and \(k\).

1995 Paper 2 Q2
D: 1600.0 B: 1516.0

I have \(n\) fence posts placed in a line and, as part of my spouse's birthday celebrations, I wish to paint them using three different colours red, white and blue in such a way that no adjacent fence posts have the same colours. (This allows the possibility of using fewer than three colours as well as exactly three.) Let \(r_{n}\) be the number of ways (possibly zero) that I can paint them if I paint the first and the last post red and let \(s_{n}\) be the number of ways that I can paint them if I paint the first post red but the last post either of the other two colours. Explain why \(r_{n+1}=s_{n}\) and find \(r_{n}+s_{n}.\) Hence find the value of \(r_{n+1}+r_{n}\) for all \(n\geqslant1.\) Prove, by induction, that \[ r_{n}=\frac{2^{n-1}+2(-1)^{n-1}}{3}. \] Find the number of ways of painting \(n\) fence posts (where \(n\geqslant3\)) placed in a circle using three different colours in such a way that no adjacent fence posts have the same colours.

1995 Paper 3 Q2
D: 1700.0 B: 1586.3

If \[ \mathrm{I}_{n}=\int_{0}^{a}x^{n+\frac{1}{2}}(a-x)^{\frac{1}{2}}\,\mathrm{d}x, \] show that \(\mathrm{I}_{0}=\pi a^{2}/8.\) Show that \((2n+4)\mathrm{I}_{n}=(2n+1)a\mathrm{I}_{n-1}\) and hence evaluate \(\mathrm{I}_{n}\).


Solution: \begin{align*} && I_n &= \int_{0}^{a}x^{n+\frac{1}{2}}(a-x)^{\frac{1}{2}}\,\mathrm{d}x\\ && I_0 &= \int_0^a x^{\frac12}(a-x)^{\frac12} \d x \\ x = a \sin^2 \theta, \d x = 2a \sin \theta \cos \theta \d \theta &&&= \int_{\theta =0}^{\theta = \pi/2} \sqrt{a}\sin \theta\sqrt{a} \cos \theta 2a \sin \theta \cos \theta \d \theta \\ &&&= \frac{a^2}{2} \int_0^{\pi/2} \sin^2 2 \theta \d \theta \\ &&&= \frac{a^2}{4} \int_0^{\pi/2}(1- \underbrace{\cos 4\theta}_{\text{runs round the whole unit circle}}) \d \theta \\ &&&= \frac{\pi a^2}{8} \\ \\ && I_n &= \int_0^a x^{n+\frac12}(a-x)^{\frac12} \d x \\ &&&=\underbrace{\left [-\frac23x^{n+\frac12}(a-x)^\frac32 \right]_0^a}_{=0} + \frac23 \left(n+\frac12\right) \int_0^ax^{n-1+\frac12}(a-x)^\frac32 \d x \\ &&&= \frac23 \left(n+\frac12\right) \int_0^ax^{n-1+\frac12}(a-x)(a-x)^\frac12 \d x \\ &&&= \frac23 \left(n+\frac12\right)aI_{n-1}-\frac23 \left(n+\frac12\right)I_{n} \\ \Rightarrow && \left(n+\frac12+\frac32\right)I_{n} &= \left(n+\frac12\right)aI_{n-1}\\ \Rightarrow && (2n+4)I_n &= (2n+1)aI_{n-1} \\ \\ \Rightarrow && I_n &= \frac{2n+1}{2n+4}a I_{n-1} \\ &&&=\frac{2n+1}{2n+4}\frac{2n-1}{2n+2}a^2 I_{n-2} \\ &&&= \frac{(2n+1)!!}{(2n+4)!!} \pi a^{n+2} \end{align*}

1992 Paper 3 Q2
D: 1700.0 B: 1540.7

The matrices \(\mathbf{I}\) and \(\mathbf{J}\) are \[ \mathbf{I}=\begin{pmatrix}1 & 0\\ 0 & 1 \end{pmatrix}\quad\mbox{ and }\quad\mathbf{J}=\begin{pmatrix}1 & 1\\ 1 & 1 \end{pmatrix} \] respectively and \(\mathbf{A}=\mathbf{I}+a\mathbf{J},\) where \(a\) is a non-zero real constant. Prove that \[ \mathbf{A}^{2}=\mathbf{I}+\tfrac{1}{2}[(1+2a)^{2}-1]\mathbf{J}\quad\mbox{ and }\quad\mathbf{A}^{3}=\mathbf{I}+\tfrac{1}{2}[(1+2a)^{3}-1]\mathbf{J} \] and obtain a similar form for \(\mathbf{A}^{4}.\) If \(\mathbf{A}^{k}=\mathbf{I}+p_{k}\mathbf{J},\) suggest a suitable form for \(p_{k}\) and prove that it is correct by induction, or otherwise.


Solution: If $\mathbf{J}=\begin{pmatrix}1 & 1\\ 1 & 1 \end{pmatrix}\(, them \)\mathbf{J}^2=\begin{pmatrix}2 & 2\\ 2 & 2 \end{pmatrix} = 2\mathbf{J}\(. Therefore \)\mathbf{J}^n = 2\mathbf{J}^{n-1} = 2^{n-1}\mathbf{J}$ Let \(\mathbf{A}=\mathbf{I}+a\mathbf{J}\) then \begin{align*} \mathbf{A}^2 &=\l \mathbf{I}+a\mathbf{J}\r^2 \\ &= \mathbf{I}+2a\mathbf{J} + a^2\mathbf{J}^2 \\ &= \mathbf{I}+2a\mathbf{J} + 2a^2\mathbf{J} \\ &= \mathbf{I}+(2a+ 2a^2)\mathbf{J} \\ &= \mathbf{I}+\frac12(1+4a+ 4a^2-1)\mathbf{J} \\ &= \mathbf{I}+\frac12((1+2a)^2-1)\mathbf{J} \\ \end{align*} \begin{align*} \mathbf{A}^3 &=\l \mathbf{I}+a\mathbf{J}\r^3 \\ &= \mathbf{I}+3a\mathbf{J} + a^2\mathbf{J} + a^3\mathbf{J}^3 \\ &= \mathbf{I}+3a\mathbf{J} + 6a^2\mathbf{J} + 4a^3\mathbf{J} \\ &= \mathbf{I}+(3a+ 6a^3+4a^3)\mathbf{J} \\ &= \mathbf{I}+\frac12(1+3\cdot2a+3\dot4a^2+ 8a^3-1)\mathbf{J} \\ &= \mathbf{I}+\frac12((1+2a)^3-1)\mathbf{J} \\ \end{align*} \begin{align*} \mathbf{A}^4 &=\l \mathbf{I}+a\mathbf{J}\r^4 \\ &= \mathbf{I}+4a\mathbf{J} + 6a^2\mathbf{J}^2 + 4a^3\mathbf{J}^3+a^4\mathbf{J}^4 \\ &= \mathbf{I}+4a\mathbf{J} + 12a^2\mathbf{J} + 16a^3\mathbf{J}+8a^4\mathbf{J}\\ &= \mathbf{I}+(4a+ 12a^3+16a^3+8a^4)\mathbf{J} \\ &= \mathbf{I}+\frac12(1+4\cdot2a+6\cdot4a^2+ 4\cdot8a^3+16a^4-1)\mathbf{J} \\ &= \mathbf{I}+\frac12((1+2a)^4-1)\mathbf{J} \\ \end{align*} Claim: \(\mathbf{A}^k = \mathbf{I} + \frac12 ((1+2a)^{k}-1)\mathbf{J}\) Proof: Firstly, note that \(\mathbf{I}\) commutes with everything, so we can just apply the binomial theorem as if we were using real numbers: \begin{align*} \mathbf{A}^k &=\l \mathbf{I}+a\mathbf{J}\r^k \\ &= \sum_{i=0}^k \binom{k}{i}a^i\mathbf{J}^i \\ &= \mathbf{I} + \sum_{i=1}^k \binom{k}{i}a^i2^{i-1}\mathbf{J} \\ &= \mathbf{I} + \frac12\l\sum_{i=1}^k \binom{k}{i}a^i2^{i}\r\mathbf{J} \\ &= \mathbf{I} + \frac12\l\sum_{i=0}^k \binom{k}{i}a^i2^{i} - 1\r\mathbf{J} \\ &= \mathbf{I} + \frac12\l(1+2a)^k - 1\r\mathbf{J} \end{align*} as required

1991 Paper 1 Q7
D: 1516.0 B: 1484.0

According to the Institute of Economic Modelling Sciences, the Slakan economy has alternate years of growth and decline, as in the following model. The number \(V\) of vloskan (the unit of currency) in the Slakan Treasury is assumed to behave as a continuous variable, as follows. In a year of growth it increases continuously at an annual rate \(aV_{0}\left(1+(V/V_{0})\right)^{2}.\) During a year of decline, as long as there is still money in the Treasury, the amount decreases continuously at an annual rate \(bV_{0}\left(1+(V/V_{0})\right)^{2};\) but if \(V\) becomes zero, it remains zero until the end of the year. Here \(a,b\) and \(V_{0}\) are positive constants. A year of growth has just begun and there are \(k_{0}V_{0}\) vloskan in the Treasury, where \(0\leqslant k_{0} < a^{-1}-1\). Explain the significance of these inequalities for the model to be remotely sensible. If \(k_{0}\) is as above and at the end of one year there are \(k_{1}V_{0}\) vloskan in the Treasury, where \(k_{1} > 0\), find the condition involving \(b\) which \(k_{1}\) must satisfy so that there will be some vloskan left after a further year. Under what condition (involving \(a,b\) and \(k_{0}\)) does the model predict that unlimited growth will take place in the third year (but not before)?

1991 Paper 1 Q10
D: 1500.0 B: 1484.0

\(\ \)\vspace{-1cm} \noindent

\psset{xunit=1.1cm,yunit=0.7cm,algebraic=true,dotstyle=o,dotsize=3pt 0,linewidth=0.5pt,arrowsize=3pt 2,arrowinset=0.25} \begin{pspicture*}(-0.32,-0.43)(11.1,8.55) \pspolygon[linewidth=0pt,linecolor=white,hatchcolor=black,fillstyle=hlines,hatchangle=45.0,hatchsep=0.11](0,0)(0,-0.2)(10,-0.2)(10,0) \psline(0,0)(10,0) \psline(0,8)(1,5.5) \psline(1,5.5)(2,4) \psline(3,3)(4,2.5) \psline(5,2.3)(6,2.5) \psline(2,4)(3,3) \psline[linestyle=dashed,dash=1pt 1pt](4,2.5)(5,2.3) \parametricplot[linestyle=dashed,dash=1pt 1pt]{5.080052976030177}{5.934024592002003}{1*5.25*cos(t)+0*5.25*sin(t)+4.11|0*5.25*cos(t)+1*5.25*sin(t)+7.4} \psline(9,5.5)(10,8) \psline(1,5.5)(1,0) \psline(2,4)(2,0) \psline(3,3)(3,0) \psline(4,2.5)(4,0) \psline(5,2.3)(5,0) \psline(6,2.51)(6,0) \psline(9,5.5)(9,0) \rput[tl](0.02,8.53){\(A_0\)} \rput[tl](1.03,6.06){\(A_1\)} \rput[tl](2.01,4.52){\(A_2\)} \rput[tl](2.98,3.56){\(A_3\)} \rput[tl](3.98,3.12){\(A_n\)} \rput[tl](4.8,2.9){\(A_{n+1}\)} \rput[tl](5.75,3.2){\(A_{n+2}\)} \rput[tl](8.1,6.1){\(A_{2n+1}\)} \rput[tl](10.13,8.19){\(A_{2n+2}\)} \end{pspicture*} \par
The above diagram represents a suspension bridge. A heavy uniform horizontal roadway is attached by vertical struts to a light flexible chain at points \(A_{1}=(x_{1},y_{1}),\) \(A_{2}=(x_{2},y_{2}),\ldots,\) \(A_{2n+1}=(x_{2n+1},y_{2n+1}),\) where the coordinates are referred to horizontal and vertically upward axes \(Ox,Oy\). The chain is fixed to external supports at points \[ A_{0}=(x_{0},y_{0})\quad\mbox{ and }\quad A_{2n+2}=(x_{2n+2},y_{2n+2}) \] at the same height. The weight of the chain and struts may be neglected. Each strut carries the same weight \(w\). The horizontal spacing \(h\) between \(A_{i}\) and \(A_{i+1}\) (for \(0\leqslant i\leqslant2n+1\)) is constant. Write down equations satisfied by the tensions \(T_{i}\) in the portion \(A_{i-1}A_{i}\) of the chain for \(1\leqslant i\leqslant n+1\). Hence or otherwise show that \[ \frac{h}{y_{n}-y_{n+1}}=\frac{3h}{y_{n-1}-y_{n}}=\cdots=\frac{(2n+1)y}{y_{0}-y_{1}}. \] Verify that the points \(A_{0},A_{1},\ldots,A_{2n+1},A_{2n+2}\) lie on a parabola.

1991 Paper 3 Q10
D: 1700.0 B: 1516.0

The equation \[ x^{n}-qx^{n-1}+r=0, \] where \(n\geqslant5\) and \(q\) and \(r\) are real constants, has roots \(\alpha_{1},\alpha_{2},\ldots,\alpha_{n}.\) The sum of the products of \(m\) distinct roots is denoted by \(\Sigma_{m}\) (so that, for example, \(\Sigma_{3}=\sum\alpha_{i}\alpha_{j}\alpha_{k}\) where the sum runs over the values of \(i,j\) and \(k\) with \(n\geqslant i>j>k\geqslant1\)). The sum of \(m\)th powers of the roots is denoted by \(S_{m}\) (so that, for example, \(S_{3}=\sum\limits_{i=1}^{n}\alpha_{i}^{3}\)). Prove that \(S_{p}=q^{p}\) for \(1\leqslant p\leqslant n-1.\) You may assume that for any \(n\)th degree equation and \(1\leqslant p\leqslant n\) \[ S_{p}-S_{p-1}\Sigma_{1}+S_{p-2}\Sigma_{2}-\cdots+(-1)^{p-1}S_{1}\Sigma_{p-1}+(-1)^{p}p\Sigma_{p}=0.] \] Find expressions for \(S_{n},\) \(S_{n+1}\) and \(S_{n+2}\) in terms of \(q,r\) and \(n\). Suggest an expression for \(S_{n+m},\) where \(m < n\), and prove its validity by induction.


Solution: Claim: \(S_p = q^p\) for \(1 \leq p \leq n-1\) Proof: When \(p = 1\), \(S_p = \Sigma_1 = q\) as expected. Note that \(\Sigma_i = 0\) for \(i = 2, \cdots, n-1\). Using \(S_p = S_{p-1}\Sigma_{1}-S_{p-2}\Sigma_{2}+\cdots+(-1)^{p-1+1}S_{1}\Sigma_{p-1}+(-1)^{p+1}p\Sigma_{p}\), we can see that \(S_p = qS_{p-q}\) when \(1 \leq p \leq n-1\), ie \(S_p = q^p\). Note that \begin{align*} S_n &= \sum \alpha_i^n \\ &= q\sum \alpha_i^{n-1} - \sum r \\ &= qS_{n-1} - nr \\ &= q^n - nr \\ \\ S_{n+1} &= \sum \alpha_i^{n+1} \\ &= q \sum \alpha_i^{n} - r \sum \alpha_i \\ &= q^{n+1} - rq \\ \\ S_{n+2} &= \sum \alpha_i^{n+2} \\ &= q \sum \alpha_i^{n+1} - r \sum \alpha_i^2 \\ &= q^{n+2} - rq^2 \\ \end{align*} Claim: \(S_{n+m} = q^{n+m} - rq^{m}\) Proof: The obvious

1990 Paper 3 Q5
D: 1700.0 B: 1500.0

Prove that, for any integers \(n\) and \(r\), with \(1\leqslant r\leqslant n,\) \[ \binom{n}{r}+\binom{n}{r-1}=\binom{n+1}{r}. \] Hence or otherwise, prove that \[ (uv)^{(n)}=u^{(n)}v+\binom{n}{1}u^{(n-1)}v^{(1)}+\binom{n}{2}u^{(n-2)}v^{(2)}+\cdots+uv^{(n)}, \] where \(u\) and \(v\) are functions of \(x\) and \(z^{(r)}\) means \(\dfrac{\mathrm{d}^{r}z}{\mathrm{d}x^{r}}\). Prove that, if \(y=\sin^{-1}x,\) then \((1-x^{2})y^{(n+2)}-(2n+1)xy^{(n+1)}-n^{2}y^{(n)}=0.\)


Solution: \begin{align*} \binom{n}{r} + \binom{n}{r-1} &= \frac{n!}{r!(n-r)!} + \frac{n!}{(r-1)!(n-r+1)!} \\ &= \frac{n!}{(r-1)!(n-r)!} \left ( \frac{1}{r} + \frac{1}{n-r+1} \right) \\ &= \frac{n!}{(r-1)!(n-r)!} \frac{(n-r+1)+r}{r(n-r+1)} \\ &= \frac{n! (n+1)}{r! (n-r+1)!} \\ &= \frac{(n+1)!}{r!(n+1-r)!} \\ &= \binom{n+1}{r} \end{align*} Claim: \(\displaystyle (uv)^{(n)} = \sum_{r=0}^n \binom{n}{r} u^{(n-r)} v^{(r)}\) Proof: (By induction on \(n\)). Base case: \(n = 0\) is clear. Inductive step: Suppose it is true for \(n = k\), then consider \begin{align*} (uv)^{(k+1)} &= \left ( (uv)^{(k)} \right)' \\ &= \left ( \sum_{r=0}^k \binom{k}{r} u^{(k-r)} v^{(r)} \right)' \tag{by assumption} \\ &=\sum_{r=0}^k \binom{k}{r} \left ( u^{(k-r)} v^{(r)}\right)' \tag{linearity} \\ &=\sum_{r=0}^k \binom{k}{r} \left ( u^{(k-r+1)} v^{(r)} + u^{(k-r)}v^{(r+1)}\right) \\ &= \sum_{r=0}^{k} \binom{k}{r} u^{(k-r+1)} v^{(r)} + \sum_{r=0}^{k} \binom{k}{r} u^{(k-r)}v^{(r+1)} \\ &= \sum_{r=0}^{k} \binom{k}{r} u^{(k-r+1)} v^{(r)} + \sum_{r=1}^{k+1} \binom{k}{r-1} u^{(k-r+1)}v^{(r)} \\ &= u^{(k+1)}v + \sum_{r=1}^k \left (\binom{k}{r} + \binom{k}{r-1} \right)u^{(k-r+1)}v^{(r)} + u v^{(k+1)}\\ &= u^{(k+1)}v + \sum_{r=1}^k \binom{k+1}{r} u^{(k-r+1)}v^{(r)} + u v^{(k+1)}\\ &= \sum_{r=0}^{k+1} \binom{k+1}{r} u^{(k-r+1)}v^{(r)}\\ \end{align*} Therefore if our statement is true for \(n = k\) it is true for \(n = k+1\). Since it is true for \(n = 0\) by the principle of mathematical induction it is true for all integer \(n \geq 0\) Suppose \( y = \sin^{-1} x\), then \(y' = \frac{1}{\sqrt{1-x^2}}\), \(y'' = \frac{x}{(1-x^2)^{3/2}}\). Not that this means that \((1-x^2)y'' - xy' = 0\) (which is our formula when \(n = 0\)). Now apply Leibniz's formula to this. \begin{align*} 0 &= \left ( (1-x^2)y'' - xy' \right)^{(n)} \\ &= \left ( (1-x^2)y'' \right)^{(n)} -\left ( xy' \right)^{(n)} \\ &= \left ( (1-x^2)y^{(n+2)} - n\cdot 2x \cdot y^{(n+1)}-\binom{n}{2} \cdot 2 \cdot y^{(n)} \right )- \left (xy^{(n+1)}+ny^{(n)} \right) \\ &= (1-x^2)y^{(n+2)} - (2n+1)y^{(n+1)} - \left ( n(n-1)+n \right)y^{(n)} \\ &= (1-x^2)y^{(n+2)} - (2n+1)y^{(n+1)} - n^2y^{(n)} \\ \end{align*} as required

1989 Paper 2 Q2
D: 1600.0 B: 1543.0

Let \begin{alignat*}{2} \tan x & =\ \ \, \quad{\displaystyle \sum_{n=0}^{\infty}a_{n}x^{n}} & & \text{ for small }x,\\ x\cot x & =1+\sum_{n=1}^{\infty}b_{n}x^{n}\quad & & \text{ for small }x\text{ and not zero}. \end{alignat*} Using the relation \[ \cot x-\tan x=2\cot2x,\tag{*} \] or otherwise, prove that \(a_{n-1}=(1-2^{n})b_{n}\), for \(n\geqslant1\). Let \[ x\mathrm{cosec}x=1+{\displaystyle \sum_{n=1}^{\infty}c_{n}x^{n}\quad\text{ for small }x\neq0. \qquad \qquad \, } \] Using a relation similar to \((*)\) involving \(2\mathrm{cosec}2x\), or otherwise, prove that \[ c_{n}=\frac{2^{n-1}-1}{2^{n}-1}\frac{1}{2^{n-1}}a_{n-1}\qquad(n\geqslant1). \]


Solution: \begin{align*} && \cot x - \tan x &= 2 \cot 2x \\ \Rightarrow && x\cot x - x\tan x &= 2x\cot 2x \\ \Rightarrow && 1 + \sum_{n=1}^{\infty} b_n x^n - \sum_{n=0}^{\infty}a_n x^{n+1} &= 1 + \sum_{n=1}^{\infty} b_n (2x)^n \\ \Rightarrow && \sum_{n=1}^{\infty}(1-2^n)b_nx^n &= \sum_{n=1}^{\infty} a_{n-1}x^n \\ \Rightarrow && a_{n-1} &= (1-2^n)b_n \quad \text{if }n \geq 1 \end{align*} \begin{align*} \cot x + \tan x &= 2 \cosec 2x \end{align*} So \begin{align*} && \cot x + \tan x &= 2 \cosec 2x \\ \Rightarrow && x \cot x + x\tan x &= 2x \cosec 2x \\ \Rightarrow && 1 + \sum_{n=1}^{\infty} b_n x^n + \sum_{n=0}^{\infty} a_n x^{n+1} &= 1+\sum_{n=1}^\infty c_n (2x)^n \\ \Rightarrow && \sum_{n=1}^{\infty} \frac{1}{1-2^n}a_{n-1} +\sum_{n=1}^{\infty}a_{n-1}x^n &= \sum_{n=1}^{\infty} 2^nc_n x^n \\ \Rightarrow && c_n &= \frac{1}{2^n} \left ( 1 + \frac{1}{1-2^n} \right)a_{n-1} \\ &&&= \frac1{2^n} \frac{2^n-2}{2^n-1} a_{n-1}\\ &&&= \frac1{2^{n-1}}\frac{2^{n-1}-1}{2^n-1} a_{n-1} \end{align*}

1989 Paper 3 Q3
D: 1675.2 B: 1469.0

The matrix \(\mathbf{M}\) is given by \[ \mathbf{M}=\begin{pmatrix}\cos(2\pi/m) & -\sin(2\pi/m)\\ \sin(2\pi/m) & \cos(2\pi/m) \end{pmatrix}, \] where \(m\) is an integer greater than \(1.\) Prove that \[ \mathbf{M}^{m-1}+\mathbf{M}^{m-2}+\cdots+\mathbf{M}^{2}+\mathbf{M}+\mathbf{I}=\mathbf{O}, \] where $\mathbf{I}=\begin{pmatrix}1 & 0\\ 0 & 1 \end{pmatrix}\( and \)\mathbf{O}=\begin{pmatrix}0 & 0\\ 0 & 0 \end{pmatrix}.$ The sequence \(\mathbf{X}_{0},\mathbf{X}_{1},\mathbf{X}_{2},\ldots\) is defined by \[ \mathbf{X}_{k+1}=\mathbf{PX}_{k}+\mathbf{Q}, \] where \(\mathbf{P,Q}\) and \(\mathbf{X}_{0}\) are given \(2\times2\) matrices. Suggest a suitable expression for \(\mathbf{X}_{k}\) in terms of \(\mathbf{P},\) \(\mathbf{Q}\) and \(\mathbf{X}_{0},\) and justify it by induction. The binary operation \(*\) is defined as follows: \[ \mathbf{X}_{i}*\mathbf{X}_{j}\mbox{ is the result of substituting \ensuremath{\mathbf{X}_{j}}for \ensuremath{\mathbf{X}_{0}}in the expression for \ensuremath{\mathbf{X}_{i}}. } \] Show that if \(\mathbf{P=M},\) the set \(\{\mathbf{X}_{1},\mathbf{X}_{2},\mathbf{X}_{3},\ldots\}\) forms a finite group under the operation \(*\).


Solution: \(\mathbf{M}^m = \mathbf{I}\), we also have \(\mathrm{det}(\mathbf{M - I}) = \cos^2(2\pi/m) - 2\cos(2\pi/m) + 1 + \sin^2(2\pi/m) = 2(1-\cos(2\pi/m))\) therefore \(\mathbf{M-I}\) is invertible. Therefore since \(\mathbf{(M-I)(M^{m-1} + M^{m-1} + \cdots + M^2 + M + I)= M^m-I = 0}\) we can cancel the \(\mathbf{M-I}\) to obtain the desired result. \(\mathbf{X_0 = X_0}\) \(\mathbf{X_1 = PX_0+Q}\) \(\mathbf{X_2 = P(PX_0+Q)+Q = P^2X_0 + PQ + Q}\) Claim: \(\mathbf{X_k = P^k X_0 + (P^{k-1} + P^{k-2} + \cdots + I)Q}\) Proof: (By induction on \(k\)). Base case \(k = 0\) is true. Assume it's true for some \(k = l\), then consider \(k = l+1\) \(\mathbf{X_{l+1} = PX_l + Q = P( P^l X_0 + (P^{l-1} + P^{l-2} + \cdots + I)Q) + Q = P^{l+1}X_0 + (P^l + P^{l-1} + \cdots + P)Q + Q = P^{l+1}X_0 + (P^l + P^{l-1} + \cdots + P + I)Q}\) Suppose \(\mathbf{P} = \mathbf{M}\), then consider the set \(\{\mathbf{X_1, X_2}, \ldots\}\) with the operation \(*\) as defined. \(\mathbf{X_i * X_j} = M^{i}(X_j) + (M^{i-1} + M^{i-2} + \cdots + M + I)Q = M^{i}(M^jX_0 + (M^{j-1} + M^{j-2} + \cdots + M + I)Q) + (M^{i-1} + M^{i-2} + \cdots + M + I)Q = M^{i+j}X_0 + (M^{i+j-1}+\cdots + M + I)Q = X_{i+j}\) Since \(X_m = X_0\) we can check all the requirements of the group, but this is going to be isomorphic to the cyclic group with \(m\) elements.

1988 Paper 2 Q8
D: 1600.0 B: 1502.0

In a crude model of population dynamics of a community of aardvarks and buffaloes, it is assumed that, if the numbers of aardvarks and buffaloes in any year are \(A\) and \(B\) respectively, then the numbers in the following year at \(\frac{1}{4}A+\frac{3}{4}B\) and \(\frac{3}{2}B-\frac{1}{2}A\) respectively. It does not matter if the model predicts fractions of animals, but a non-positive number of buffaloes means that the species has become extinct, and the model ceases to apply. Using matrices or otherwise, show that the ratio of the number of aardvarks to the number of buffaloes can remain the same each year, provided it takes one of two possible values. Let these two possible values be \(x\) and \(y\), and let the numbers of aardvarks and buffaloes in a given year be \(a\) and \(b\) respectively. By writing the vector \((a,b)\) as a linear combination of the vectors \((x,1)\) and \((y,1),\) or otherwise, show how the numbers of aardvarks and buffaloes in subsequent years may be found. On a sketch of the \(a\)-\(b\) plane, mark the regions which correspond to the following situations

  1. an equilibrium population is reached as time \(t\rightarrow\infty\);
  2. buffaloes become extinct after a finite time;
  3. buffaloes approach extinction as \(t\rightarrow\infty.\)


Solution: If the population in a given year is \(\mathbf{v} = \begin{pmatrix}A \\ B \end{pmatrix}\) then the population the next year is \(\mathbf{Mv}\) where \(\mathbf{M} = \begin{pmatrix} \frac14 & \frac34 \\ -\frac12 &\frac32 \end{pmatrix}\) The ratio is the same if \(\mathbf{Mv} = \lambda \mathbf{v}\) ie if \(\mathbf{v}\) is an eigenvector of \(\mathbf{M}\). The eigenvalues will be \(1\) and \(\frac38\) (by inspection) so we should be able to solve for the eigenvectors: \(\lambda = 1\) we have \(\frac14A + \frac34B = A \Rightarrow A = B\) a ratio of \(1\). \(\lambda = \frac38\) we have \(\frac14A + \frac34B = \frac38A \Rightarrow \frac34B = \frac18A \Rightarrow A = 6B\) a ratio of \(6\). If we write \(\begin{pmatrix} a \\ b \end{pmatrix}\) as \(x_1 \begin{pmatrix} 1 \\ 1 \end{pmatrix} + x_6 \begin{pmatrix} 6 \\ 1 \end{pmatrix}\) we find that after \(n\) years, we have: \(x_1 \begin{pmatrix} 1 \\ 1 \end{pmatrix} + \l \frac38 \r^n x_6 \begin{pmatrix} 6 \\ 1 \end{pmatrix}\) for the populations. Therefore if \(x_1\) is \(< 0\) then in finite time we will end up with one population being 0. If \(x_1 > 0\) are positive we tend to a finite population and if \(x_1 = 0\) then over time the population will tend to \(0\) at infinity. In our diagram these areas correspond to (red) - die out in finite time, (green) population stable and the thick black line where the population goes extinct as \(t \to \infty\)

TikZ diagram

1988 Paper 3 Q2
D: 1700.0 B: 1555.0

The real numbers \(u_{0},u_{1},u_{2},\ldots\) satisfy the difference equation \[ au_{n+2}+bu_{n+1}+cu_{n}=0\qquad(n=0,1,2,\ldots), \] where \(a,b\) and \(c\) are real numbers such that the quadratic equation \[ ax^{2}+bx+c=0 \] has two distinct real roots \(\alpha\) and \(\beta.\) Show that the above difference equation is satisfied by the numbers \(u_{n}\) defined by \[ u_{n}=A\alpha^{n}+B\beta^{n}, \] where \[ A=\frac{u_{1}-\beta u_{0}}{\alpha-\beta}\qquad\mbox{ and }\qquad B=\frac{u_{1}-\alpha u_{0}}{\beta-\alpha}. \] Show also, by induction, that these numbers provide the only solution. Find the numbers \(v_{n}\) \((n=0,1,2,\ldots)\) which satisfy \[ 8(n+2)(n+1)v_{n+2}-2(n+3)(n+1)v_{n+1}-(n+3)(n+2)v_{n}=0 \] with \(v_{0}=0\) and \(v_{1}=1.\)


Solution: First notice that \(u_n = \alpha^n\) and \(u_n = \beta^n\) both satisfy the recurrence, since: \begin{align*} && a \alpha^2 + b \alpha + c &= 0 \\ \Rightarrow && a \alpha^{n+2} + b \alpha^{n+1} + c \alpha^n &= 0 \\ \Rightarrow && a u_{n+2} + bu_{n+1} + cu_n &=0 \end{align*} Notice also that if \(u_n\) and \(v_n\) both satisfy the recurrence, then any linear combination of them will satisfy the recurrence: \begin{align*} && \begin{cases} au_{n+2} + bu_{n+1} + cu_n &= 0 \\ av_{n+2} + bv_{n+1} + cv_n &= 0 \\ \end{cases} \\ \Rightarrow && a (\lambda u_{n+2}+ \mu v_{n+2}) + b (\lambda u_{n+1}+ \mu v_{n+1}) + c (\lambda u_{n}+ \mu v_{n}) &= 0 \end{align*} by adding a linear combination of the top two equations. Therefore it suffices to check that the constants \(A\) and \(B\) are such that we match \(u_0\) and \(u_1\). \(\frac{u_1 - \beta u_0}{\alpha - \beta} + \frac{u_1 - \alpha u_0}{\beta - \alpha} = u_0\) and \(\frac{u_1 - \beta u_0}{\alpha - \beta}\alpha + \frac{u_1 - \alpha u_0}{\beta - \alpha}\beta = u_1\). So we are done. Suppose we have another sequence, then we first notice that the first and second terms must be identical to each other. Suppose the first \(k\) terms are identical, then since the \(k+1\)th term depends only on the \(k\) and \(k-1\)th terms (both of which are equal) the \(k+1\)th term is the same. Therefore, by the principle of mathematical induction, all terms are the same. First notice that if you put \(v_n = (n+1)w_n\) we have \begin{align*} && 8(n+3)(n+2)(n+1)w_{n+2} - 2(n+3)(n+2)(n+1)w_{n+1} - (n+3)(n+2)(n+1)w_n &= 0 \\ \Rightarrow && 8w_{n+2}-2w_{n+1}-w_n &= 0 \end{align*} This has characteristic equation \(8\lambda^2 - 2\lambda - 1 = 0 \Rightarrow \lambda = \frac12, -\frac14\). Therefore the general solution is \(w_n = A \l \frac12 \r^n + B \l -\frac14\r^n\) and \(v_n = (n+1)\l A \l \frac12 \r^n + B \l -\frac14\r^n \r\). When \(n = 0\) we have \(A+B = 0 \Rightarrow B =-A\). When \(n=1\) we have \(1 = 2 \l \frac{A}{2} + \frac{A}{4} \r \Rightarrow A = \frac{4}{3}\), therefore \[ v_n = \frac{4}{3}(n+1) \l \frac{1}{2^n} + \l -\frac14\r^n \r\]

1988 Paper 3 Q5
D: 1700.0 B: 1500.0

A firm of engineers obtains the right to dig and exploit an undersea tunnel. Each day the firm borrows enough money to pay for the day's digging, which costs £\(c,\) and to pay the daily interest of \(100k\%\) on the sum already borrowed. The tunnel takes \(T\) days to build, and, once finished, earns £\(d\) a day, all of which goes to pay the daily interest and repay the debt until it is fully paid. The financial transactions take place at the end of each day's work. Show that \(S_{n},\) the total amount borrowed by the end of day \(n\), is given by \[ S_{n}=\frac{c[(1+k)^{n}-1]}{k} \] for \(n\leqslant T\). Given that \(S_{T+m}>0,\) where \(m>0,\) express \(S_{T+m}\) in terms of \(c,d,k,T\) and \(m.\) Show that, if \(d/c>(1+k)^{T}-1,\) the firm will eventually pay off the debt.


Solution: After \(n\) days they will have borrowed \(c\) for \(n-1\) days, \(c\) for \(n-2\) days, etc until \(c\) for no days. Therefore the outstanding balance will be: \begin{align*} c + (1+k)\cdot c+ (1+k)^2 \cdot c + \cdots + (1+k)^{n-1} \cdot c &= c\frac{(1+k)^n-1}{(1+k)-1} \\ &= \frac{c[(1+k)^n-1]}{k} \end{align*} At the end of \(T\) days the outstanding balance will be \(S_T = \frac{c[(1+k)^T-1]}{k}\). We can think of each payment of \(d\) during the subsequent period as being equivalent of a payment of \(d (1+k)^{m-1}\) \(m\) days later (as otherwise they would have accrued the equivalent amount in interest. Therefore after \(m\) days the amount paid back (equivalent) is: \begin{align*} (1+k)^{m-1} \cdot d + (1+k)^{m-2} \cdot d + \cdots + d &= \frac{d[(1+k)^m-1]}{k} \end{align*} Therefore the net position, \(S_{T+m}\) will be: \begin{align*} S_{T+m} &= \frac{c[(1+k)^T-1](1+k)^m-d[(1+k)^m-1]}{k} \\ &= \frac{(1+k)^m [c ((1+k)^T-1)-d]+d}{k} \end{align*} Therefore they will eventually pay back their debts if \( [c ((1+k)^T-1)-d]\) is negative. ie \(d > c((1+k)^T-1) \Rightarrow d/c > (1+k)^T-1\)

1988 Paper 3 Q15
D: 1700.0 B: 1486.2

Each day, books returned to a library are placed on a shelf in order of arrival, and left there. When a book arrives for which there is no room on the shelf, that book and all books subsequently returned are put on a trolley. At the end of each day, the shelf and trolley are cleared. There are just two-sizes of book: thick, requiring two units of shelf space; and thin, requiring one unit. The probability that a returned book is thick is \(p\), and the probability that it is thin is \(q=1-p.\) Let \(M(n)\) be the expected number of books that will be put on the shelf, when the length of the shelf is \(n\) units and \(n\) is an integer, on the assumption that more books will be returned each day than can be placed on the shelf. Show, giving reasoning, that

  1. \(M(0)=0;\)
  2. \(M(1)=q;\)
  3. \(M(n)-qM(n-1)-pM(n-2)=1,\) for \(n\geqslant2.\)
Verify that a possible solution to these equations is \[ M(n)=A(-p)^{n}+B+Cn, \] where \(A,B\) and \(C\) are numbers independent of \(n\) which you should express in terms of \(p\).


Solution:

  1. \(M(0) = 0\) since if there's no space on the shelf, we wont be able to put any books on the shelf.
  2. If the shelf has length \(1\) it can only fit a thin book. For a thin book to be placed on the shelf, the very first book which comes to be placed must be thin. But this happens with probability \(q\). Therefore \(M(1) = q\).
  3. Suppose no books have been placed on the shelf, then with probability \(p\) a large book gets placed on the shelf, and the expected number of books to be placed on the shelf is equivalent to how many books will be placed on the shelf if the shelf only had \(n-2\) spaces. This is \(M(n-2)\). Similar if the book which arrives first is thin (with probability \(q\)) then there will be \(M(n-1)\) more books placed on the shelf in expectation. We've just added \(1\) more book, therefore \(M(n) = 1+pM(n-2) + qM(n-1)\) or rearranging \(M(n) - qM(n-1) - pM(n-2) = 1\).
Suppose \(M(n) = (-p)^n\), notice that: \begin{align*} M(n) - qM(n-1) - pM(n-2) &= (-p)^n - (1-p)(-p)^n - p(-p)^{n-2} \\ &= (-p)^{n-2}(p^2+(1-p)p-p) \\ &= 0 \end{align*} Suppose \(M(n) = B\), notice that: \begin{align*} M(n) - qM(n-1) - pM(n-2) &= B - (1-p)B - pB \\ &= 0 \end{align*} Finally, if \(M(n) = Cn\) notice that: \begin{align*} M(n) - qM(n-1) - pM(n-2) &= Cn - (1-p)C(n-1) - pC(n-2) \\ &= C(n(1-(1-p)+p)+(1-p)+2p) \\ &= C(1+p) \end{align*} Therefore if \(C = \frac{1}{1+p}\) we have that: \(M(n) = A(-p)^n + B + Cn\) satisfies our recurrence. We also need \(M(0) = 0\) and \(M(1) = q\) \begin{align*} 0 &= M(0) \\ &= A + B \\ 1-p &= M(1) \\ &= -pA+B \end{align*} \((1+p)A = p-1 \Rightarrow A = \frac{p-1}{1+p}, B = \frac{1-p}{1+p}\). Therefore: \[ M(n) = -\frac{1-p}{1+p}(-p)^n + \frac{1-p}{1+p} + \frac{n}{1+p} \] is a possible solution to this equation