Problems

Filters
Clear Filters

35 problems found

2019 Paper 1 Q1
D: 1500.0 B: 1500.0

A straight line passes through the fixed point \((1 , k)\) and has gradient \(- \tan \theta\), where \(k > 0\) and \(0 < \theta < \frac{1}{2}\pi\). Find, in terms of \(\theta\) and \(k\), the coordinates of the points \(X\) and \(Y\) where the line meets the \(x\)-axis and the \(y\)-axis respectively.

  1. Find an expression for the area \(A\) of triangle \(OXY\) in terms of \(k\) and \(\theta\). (The point \(O\) is the origin.) You are given that, as \(\theta\) varies, \(A\) has a minimum value. Find an expression in terms of \(k\) for this minimum value.
  2. Show that the length \(L\) of the perimeter of triangle \(OXY\) is given by $$L = 1 + \tan \theta + \sec \theta + k(1 + \cot \theta + \cosec \theta).$$ You are given that, as \(\theta\) varies, \(L\) has a minimum value. Show that this minimum value occurs when \(\theta = \alpha\) where $$\frac{1 - \cos \alpha}{1 - \sin \alpha} = k.$$ Find and simplify an expression for the minimum value of \(L\) in terms of \(\alpha\).


Solution: \(y = (-\tan \theta)(x-1)+k\) so when \(x = 0\), \(y = k + \tan \theta\), so \(Y = (0, k+\tan \theta)\). When \(y = 0\), \(x = 1 + \frac{k}{\tan \theta}\)

  1. \(A = \frac12 (k+\tan \theta)\left ( 1 + \frac{k}{\tan \theta} \right) = k + \frac12 \left (\tan \theta + \frac{k^2}{\tan \theta} \right)\) Notice that \(x + \frac{k^2}{x} \geq 2 k\) by AM-GM, so the minimum is \(k + \frac12 \cdot 2k = 2k\)
  2. \(\,\) \begin{align*} L &= k + \tan \theta + 1 + k \cot \theta + \sqrt{(k + \tan \theta)^2 + \left (1 + \frac{k}{\tan \theta} \right)^2} \\ &= k + \tan \theta + 1 + k \cot \theta + \sqrt{k^2 + 2 k \tan \theta +\tan^2 \theta + 1 + 2k \cot \theta + k^2\cot^2 \theta} \\ &= k + \tan \theta + 1 + k \cot \theta + \sqrt{\sec^2 \theta+ 2k \sec\theta\cosec \theta + k^2\cosec^2 \theta} \\ &= k + \tan \theta + 1 + k \cot \theta +\sec \theta + k\cosec \theta\\ &= 1 + \tan \theta + \sec \theta + k (1 + \cot \theta + \cosec \theta) \end{align*} \begin{align*} && \frac{\d L}{\d \theta} &= \sec^2 \theta + \tan \theta \sec \theta + k(-\cosec^2 \theta - \cot \theta \cosec \theta ) \\ \Rightarrow && 0 &=\sec^2 \alpha+ \tan \theta \sec \alpha+ k(-\cosec^2 \alpha- \cot \alpha\cosec \alpha) \\ \Rightarrow && k &= \frac{\sec^2 \alpha+ \tan \alpha\sec \alpha}{\cosec^2 \alpha+ \cot \alpha\cosec \alpha} \\ &&&= \frac{\sin^2 \alpha(1 + \sin \alpha)}{\cos^2 \alpha (1+ \cos \alpha)} \\ &&&= \frac{(1-\cos^2 \alpha)(1 + \sin \alpha)}{(1-\sin^2 \alpha )(1+ \cos \alpha)} \\ &&&= \frac{1-\cos \alpha}{1-\sin \alpha} \\ \Rightarrow && L &= 1 + \tan \alpha + \sec \alpha + \frac{1-\cos \alpha}{1-\sin \alpha} \left (1 + \cot \alpha + \cosec \alpha \right) \\ &&&= \frac{1+\tan \alpha + \sec \alpha -\sin \alpha-\sin \alpha \tan \alpha-\tan \alpha}{1-\sin \alpha} + \\ &&&\quad \quad \frac{1+\cot \alpha + \cosec \alpha-\cos \alpha-\cos \alpha \cot \alpha -\cot \alpha}{1-\sin \alpha} \\ &&&= \frac{2+\sec \alpha(1-\sin^2 \alpha)-\sin \alpha + \cosec \alpha(1-\cos^2 \alpha)-\cos \alpha}{1-\sin \alpha} \\ &&&= \frac{2+\cos\alpha-\sin \alpha + \sin\alpha-\cos \alpha}{1-\sin \alpha} \\ &&&= \frac{2}{1-\sin \alpha} \end{align*}

2019 Paper 1 Q2
D: 1500.0 B: 1500.0

The curve \(C\) is given parametrically by the equations \(x = 3t^2\), \(y = 2t^3\). Show that the equation of the tangent to \(C\) at the point \((3p^2 , 2p^3)\) is \(y = px - p^3\). Find the point of intersection of the tangents to \(C\) at the distinct points \((3p^2 , 2p^3)\) and \((3q^2 , 2q^3)\). Hence show that, if these two tangents are perpendicular, their point of intersection is \((u^2 + 1 , -u)\), where \(u = p + q\). The curve \(\tilde{C}\) is given parametrically by the equations \(x = u^2 + 1\), \(y = -u\). Find the coordinates of the points that lie on both \(C\) and \(\tilde{C}\). Sketch \(C\) and \(\tilde{C}\) on the same axes.


Solution: \begin{align*} && \frac{\d y}{\d x} &= \frac{\frac{\d y}{\d t}}{\frac{\d x}{\d t}} \\ &&&= \frac{6t^2}{6t} = t \\ \Rightarrow && \frac{y-2p^3}{x - 3p^2} &= p \\ \Rightarrow && y &= px-3p^3+2p^3 \\ && y &= px - p^3 \end{align*} The two lines will be \begin{align*} && y &= px - p^3 \\ && y &= qx - q^3 \\ \Rightarrow && p^3-q^3 &= (p-q)x \\ \Rightarrow && x &= p^2+pq+q^2 \\ && y &= p(p^2+pq+q^2)-p^3 \\ &&&= pq(p+q) \\ && (x,y) &= (p^2+pq+q^2,pq(p+q)) \\ \end{align*} If the tangents are \(\perp\) then \(pq=-1\), so we have \begin{align*} && (x,y) &= (p^2+2pq+q^2-pq, pq(p+q)) \\ &&&= ((p+q)^2-1, -(p+q)) \\ &&&= (u^2-1, -u) \end{align*} We have \(x = y^2+1\) and \(\left ( \frac{x}{3} \right)^3 = \left ( \frac{y}{2}\right)^2 \Rightarrow y^2 = \frac{4}{27}x^3\) so \begin{align*} && 0 &= \frac{4}{27}x^3-x+1 \\ &&0&=4x^3-27x+27 \\ &&&= (x+3)(2x-3)^2 \end{align*} So we have the points \((x,y) = \left (\frac32, \pm\frac{1}{\sqrt{2}}\right)\)

TikZ diagram

2019 Paper 1 Q3
D: 1500.0 B: 1500.0

By first multiplying the numerator and the denominator of the integrand by \((1 - \sin x)\), evaluate $$\int_0^{\frac{1}{4}\pi} \frac{1}{1 + \sin x} dx.$$ Evaluate also: $$\int_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \frac{1}{1 + \sec x} dx \quad \text{and} \quad \int_0^{\frac{1}{3}\pi} \frac{1}{(1 + \sin x)^2} dx.$$


Solution: \begin{align*} \int_0^{\frac{1}{4}\pi} \frac{1}{1 + \sin x} dx &= \int_0^{\frac{1}{4}\pi} \frac{1-\sin x}{1 - \sin^2 x} dx \\ &= \int_0^{\frac{1}{4}\pi} \frac{1-\sin x}{\cos^2 x} dx \\ &= \int_0^{\frac{1}{4}\pi} \sec^2 x - \sec x \tan x dx \\ &= \left [\tan x-\sec x \right]_0^{\frac{1}{4}\pi} \\ &= 2 - \frac{1}{\sqrt{2}} \end{align*} \begin{align*} \int_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \frac{1}{1 + \sec x} \d x &= \int_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \frac{1-\sec x}{1 - \sec^2 x} \d x \\ &= \int_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \frac{\sec x-1}{\tan^2 x} \d x \\ &= \int_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \cot x \cosec x-\cot^2 x\d x \\ &= \left [ -\cosec x +x+\cot x\right]_{\frac{1}{4}\pi}^{\frac{1}{3}\pi} \\ &= \l -\frac{2}{\sqrt3}+\frac{\pi}{3}+\frac{1}{\sqrt{3}}\r - \l-\sqrt{2}+\frac{\pi}{4}+1 \r \\ &= \frac{\pi}{12}-\frac{1}{\sqrt{3}}+\sqrt{2}-1 \end{align*} \begin{align*} \int_0^{\frac{1}{3}\pi} \frac{1}{(1 + \sin x)^2} \d x &= \int_0^{\frac{1}{3}\pi} \frac{1-2\sin x+\sin^2x}{(1-\sin^2 x)^2} \d x \\ &= \int_0^{\frac{1}{3}\pi} \frac{1-2\sin x+\sin^2x}{\cos^4 x} \d x \\ \end{align*} Splitting this up into: \begin{align*} \int_0^{\frac{1}{3}\pi} \frac{-2\sin x}{\cos^4 x} \d x &= -\frac23 \left [ \frac{1}{\cos^3 x}\right]_0^{\frac{1}{3}\pi} \\ &= -\frac{16}3+\frac23 \\ &= -\frac{14}3 \end{align*} and \begin{align*} && \int_0^{\frac{1}{3}\pi} \frac{1+\sin^2x}{\cos^4 x} \d x &= \int_0^{\frac{1}{3}\pi} (\sec^2 x + \tan^2 x) \sec^2 x \d x \\ &&&= \int_0^{\frac{1}{3}\pi} (1+ 2\tan^2 x) \sec^2 x \d x \\ u = \tan x, \d u = \sec^2 x \d x&&&= \int_0^{\sqrt{3}}(1+2u^2) \d u \\ &&&= \left [u + \frac23 u^3 \right]_0^{\sqrt{3}} \\ &&&= \sqrt{3} + 2\sqrt{3} \\ &&&= 3\sqrt{3} \end{align*} And so our complete integral is: \[ \int_0^{\frac{1}{3}\pi} \frac{1}{(1 + \sin x)^2} \d x = 3\sqrt{3} - \frac{14}3\]

2019 Paper 1 Q4
D: 1500.0 B: 1500.0

  1. Find integers \(m\) and \(n\) such that $$\sqrt{3+2\sqrt{2}} = m + n\sqrt{2}.$$
  2. Let \(f(x) = x^4 - 10x^2 + 12x - 2\). Given that the equation \(f(x) = 0\) has four real roots, explain why \(f(x)\) can be written in the form $$f(x)=(x^2 + sx + p)(x^2 - sx + q)$$ for some real constants \(s\), \(p\) and \(q\), and find three equations for \(s\), \(p\) and \(q\). Show that $$s^2(s^2 - 10)^2 + 8s^2 - 144 = 0$$ and find the three possible values of \(s^2\). Use the smallest of these values of \(s^2\) to solve completely the equation \(f(x) = 0\), simplifying your answers as far as you can.


Solution:

  1. \((1+\sqrt{2})^2 = 3 + 2\sqrt{2}\) so \(\sqrt{3 + 2\sqrt{2}} = 1 + \sqrt{2}\)
  2. We can always factorise any quartic in the form \((x^2+ax+b)(x^2+cx+d)\), since \(x^3\) has a coefficient of \(a+b\) we must have \(a = -b\), ie the form in the question. \begin{align*} && 0 &= (x^2+sx+p)(x^2-sx+q) \\ &&&= x^4+(p+q-s^2)x^2+s(q-p)x+pq \\ \Rightarrow && pq &= -2 \\ && s(q-p) &= 12 \\ && p+q-s^2 &= -10 \\ \\ && p+q &= s^2-10 \\ && (p+q)^2 &= (s^2-10)^2 \\ && (q-p)^2 &= \frac{12}{s^2} \\ \Rightarrow && (s^2-10)^2 &= \frac{12}{s^2} + 4pq \\ && (s^2-10)^2 &= \frac{144}{s^2} -8 \\ && 0 &= s^2(s^2-10)^2+8s^2-144 \\ &&&= s^6-20s^4+108s^2-144 \\ &&&= (s^2-2)(s^2-6)(s^2-12) \end{align*} Suppose \(s = \sqrt{2}\), and we have \begin{align*} && q-p &= 6\sqrt{2} \\ && p+q &= -8 \\ \Rightarrow && q &= 3\sqrt{2}-4 \\ && p &= -4-3\sqrt{2} \end{align*} Solving our quadratic equations, we have \begin{align*} && 0 &= x^2-\sqrt{2}x-4+3\sqrt{2} \\ \Rightarrow && x &= \frac{\sqrt{2}\pm \sqrt{2-4\cdot(-4+3\sqrt{2})}}{2} \\ &&&= \frac{\sqrt{2}\pm \sqrt{18-12\sqrt{2}}}{2} \\ &&&= \frac{\sqrt{2}\pm (2\sqrt{3}-\sqrt{6})}{2} \\ \\ && 0 &= x^2+\sqrt{2}x-3\sqrt{2}-4 \\ && x &= \frac{-\sqrt{2} \pm \sqrt{2-4\cdot(3\sqrt{3}-4)}}{2}\\ && &= \frac{-\sqrt{2} \pm \sqrt{18+12\sqrt{2}}}{2}\\ && &= \frac{-\sqrt{2} \pm (\sqrt{6}+2\sqrt{3})}{2}\\ \end{align*}

2019 Paper 1 Q5
D: 1500.0 B: 1500.0

  1. The four points \(P\), \(Q\), \(R\) and \(S\) are the vertices of a plane quadrilateral. What is the geometrical shape of \(PQRS\) if \(\vec{PQ} = \vec{SR}\)? What is the geometrical shape of \(PQRS\) if \(\vec{PQ} = \vec{SR}\) and \(|\vec{PQ}| = |\vec{PS}|\)?
  2. A cube with edges of unit length has opposite vertices at \((0,0,0)\) and \((1,1,1)\). The points $$P(p,0,0), \quad Q(1,q,0), \quad R(r,1,1) \quad \text{and} \quad S(0,s,1)$$ lie on edges of the cube. Given that the four points lie in the same plane, show that $$rq = (1-s)(1-p).$$
    1. Show that \(\vec{PQ} = \vec{SR}\) if and only if the centroid of the quadrilateral \(PQRS\) is at the centre of the cube. Note: the centroid of the quadrilateral \(PQRS\) is the point with position vector $$\frac{1}{4}(\vec{OP} + \vec{OQ} + \vec{OR} + \vec{OS}),$$ where \(O\) is the origin.
    2. Given that \(\vec{PQ} = \vec{SR}\) and \(|\vec{PQ}| = |\vec{PS}|\), express \(q\), \(r\) and \(s\) in terms of \(p\). Show that $$\cos PQR = \frac{4p-1}{5-4p+8p^2}.$$ Write down the values of \(p\), \(q\), \(r\) and \(s\) if \(PQRS\) is a square, and show that the length of each side of this square is greater than \(\frac{21}{20}\).


Solution:

  1. If \(\vec{PQ} = \vec{SR}\) we have a parallelogram. \(\vec{PQ} = \vec{SR}\) and \(|\vec{PQ}| = |\vec{PS}|\) then we have a rhombus.
  2. If the four points lie in a plane then \((\vec{RS} \times \vec{RP}) \cdot \vec{RQ} =0\), so \begin{align*} && 0 &=\left ( \begin{pmatrix}-r\\ s-1 \\ 0 \end{pmatrix} \times \begin{pmatrix}p-r\\ -1 \\ -1 \end{pmatrix}\right) \cdot \begin{pmatrix}1-r\\ q-1 \\ -1 \end{pmatrix} \\ && &= \begin{pmatrix}1-s \\ -r \\r+(p-r)(1-s) \end{pmatrix} \cdot \begin{pmatrix}1-r\\ q-1 \\ -1 \end{pmatrix} \\ &&&= (1-s)(1-r)-r(q-1)-r-(p-r)(1-s) \\ &&&=(1-s)(1-r-p+r)-rq \\ \Rightarrow && rq &= (1-s)(1-p) \end{align*}
    1. \(\,\) \begin{align*} && \vec{PQ} &= \vec{SR} \\ \Leftrightarrow && \begin{pmatrix}1-p\\q \\ 0 \end{pmatrix} &= \begin{pmatrix}r\\1-s \\ 0 \end{pmatrix} \\ \Leftrightarrow && 1-p = r & \quad ; \quad q = 1-s\\ \Leftrightarrow && 1= r+p & \quad ; \quad 1 = q+s\\ \end{align*} The centroid is \(\frac14 (p+1+r, q+s+1, 2)\) which is clearly \(\frac12(1,1,1)\) iff those equations are true.
    2. \(\,\) \begin{align*} && |\vec{PQ}| &= |\vec{PS}| \\ \Leftrightarrow && (1-p)^2+q^2+ 0^2 &= p^2+s^2+1)\\ \Leftrightarrow && 1-2p+p^2+q^2 &= p^2 + s^2 + 1 \\ \Leftrightarrow && -2p+q^2 &= s^2 \end{align*} From the previous equations we have \(r = 1-p\), and \(-2p+(1-s)^2 = s^2 \Rightarrow -2p + 1 -2s = 0 \Rightarrow s = \frac12 - p\) and \(q = \frac12 + p\) \begin{align*} && \cos PQR &= \frac{\vec{QP}\cdot \vec{QR}}{|\vec{QP}||\vec{QR}|} \\ &&&= \frac{ \begin{pmatrix}p-1\\ -q \\ 0 \end{pmatrix} \cdot \begin{pmatrix}r-1\\ 1-q \\ 1 \end{pmatrix}}{\sqrt{(p-1)^2+q^2}\sqrt{(r-1)^2+(1-q)^2+1^2}} \\ &&&= \frac{ \begin{pmatrix}p-1\\ -\frac12-p \\ 0 \end{pmatrix} \cdot \begin{pmatrix}-p\\ \frac12-p \\ 1 \end{pmatrix}}{\sqrt{(p-1)^2+(-\frac12-p)^2}\sqrt{p^2+(\frac12-p)^2+1^2}} \\ &&&= \frac{ p-p^2-\frac14+p^2}{\sqrt{p^2-2p+1+\frac14+p+p^2}\sqrt{p^2+\frac14-p+p^2+1}} \\ &&&= \frac{4p-1}{\sqrt{8p^2-4p+5}\sqrt{8p^2-4p+5}}\\ &&&= \frac{4p-1}{8p^2-4p+5}\\ \end{align*} For \(PQRS\) to be a square \(\cos PQR = 0\), ie \(p = \frac14\) and so \((p,q,r,s) = (\frac14, \frac34, \frac34, \frac14)\) and \(|PQ| = \sqrt{(1-p)^2+q^2} = \sqrt{\left ( \frac34 \right)^2 + \left ( \frac34 \right)^2 } = \frac{3\sqrt{2}}4\), notice that \(\left ( \frac{21}{20} \right)^2 = \frac{441}{400} < \frac{9}{8}\) (\(441 < 450\)) therefore the sides are at least as long as \(\frac{21}{20}\)

2019 Paper 1 Q6
D: 1500.0 B: 1518.2

In both parts of this question, \(x\) is real and \(0 < \theta < \pi\).

  1. By completing the square, find in terms of \(\theta\) the minimum value as \(x\) varies of $$9x^2 - 12x \cos \theta + 4.$$ Find also the maximum value as \(x\) varies of \(12x^2 \sin \theta - 9x^4\). Hence determine the values of \(x\) and \(\theta\) that satisfy the equation $$9x^4 + (9 - 12 \sin \theta)x^2 - 12x \cos \theta + 4 = 0.$$
  2. Sketch the curve $$y = \frac{x^2}{x - \theta},$$ where \(\theta\) is a constant. Deduce that either \(\frac{x^2}{x - \theta} \leq 0\) or \(\frac{x^2}{x - \theta} \geq 4\theta\). By considering the numerator and denominator separately, or otherwise, show that $$\frac{\sin^2 \theta \cos^2 x}{1 + \cos^2 \theta \sin^2 x} \leq 1.$$ Hence determine the values of \(x\) and \(\theta\) that satisfy the equation $$\frac{x^2}{4\theta(x - \theta)} = \frac{\sin^2 \theta \cos^2 x}{1 + \cos^2 \theta \sin^2 x}.$$


Solution:

  1. \(\,\) \begin{align*} && y &= 9x^2 - 12x \cos \theta + 4 \\ &&&= (3x-2\cos \theta)^2+4-4\cos^2 \theta \\ &&&= (3x-2\cos \theta)^2 + 4 \sin^2 \theta \end{align*} Therefore the minimum is \(4\sin^2 \theta\) when \(x = \frac23 \cos \theta\). \begin{align*} && y &= 12x^2 \sin \theta - 9x^4 \\ &&&=4\sin^2 \theta -(3x^2-2\sin\theta)^2 \end{align*} Therefore the maximum is \(4\sin^2 \theta\) when \(x^2 = \frac23\sin \theta\) Therefore \begin{align*} && 0 &= 9x^4 + (9 - 12 \sin \theta)x^2 - 12x \cos \theta + 4 \\ && \underbrace{-9x^4+12x^2\sin \theta}_{\leq 4\sin^2 \theta } &= \underbrace{9x^2 - 12x \cos \theta + 4 }_{\geq 4 \sin^2 \theta} \end{align*} Therefore the equality cases must be achieved in both cases, ie \(x = \frac23 \cos \theta\) and \(x^2 = \frac23 \sin \theta\) \begin{align*} && x^2 &= \frac49\cos^2 \theta \\ &&&= \frac49(1-\sin^2 \theta) \\ &&&= \frac49(1-\frac94 x^2) \\ \Rightarrow && 2x^2 &= \frac49 \\ \Rightarrow && x &= \pm \frac{\sqrt{2}}3\\ \Rightarrow && \cos \theta &=\pm \frac32 \frac{\sqrt{2}}3 \\ &&&= \pm \frac{1}{\sqrt{2}} \\ \Rightarrow && \theta &= \frac{\pi}{4}, \frac{3\pi}{4} \\ \Rightarrow && (x, \theta) &= \left (\frac{\sqrt{2}}{3}, \frac{\pi}{4} \right), \left (-\frac{\sqrt{2}}{3}, \frac{3\pi}{4} \right) \end{align*}
  2. Sketching we obtain, noticing we can find the turning point by: \begin{align*} && \frac{x^2}{x-\theta} &= \lambda \\ \Leftrightarrow && x^2 - \lambda x +\theta \lambda &= 0 \\ \Leftrightarrow && 0 &\leq \Delta = \lambda^2 -4\lambda \theta \\ \Leftrightarrow && \lambda &\geq 4 \theta, \lambda \leq 0 \end{align*}
    TikZ diagram
    Notice that \(\sin^2 \theta \cos^2 x \leq 1\) and \(1 + cos^2 \theta \sin^2 x \geq 1\) and therefore we must have the inequality desired. \begin{align*} && \underbrace{\frac{x^2}{4\theta(x - \theta)}}_{\geq 1 \text{ or } \leq 0} &= \underbrace{\frac{\sin^2 \theta \cos^2 x}{1 + \cos^2 \theta \sin^2 x}}_{\in [0,1]} \\ \text{both}=0: && x = 0 &, \sin \theta = 0 \\ \text{both}=1: && x = 2\theta &, \sin^2 \theta = 1,\cos^2 x = 1 \\ && 1 &= \cos^2 2 \theta \\ &&&= (1-2 \sin^2 \theta)^2 \\ &&&= 1 \\ \Rightarrow && (x, \theta) &= \left(\frac{\pi}{2}, \pi\right) \end{align*}

2019 Paper 1 Q7
D: 1500.0 B: 1500.0

Consider the following steps in a proof that \(\sqrt{2} + \sqrt{3}\) is irrational.

  1. If an integer \(a\) is not divisible by 3, then \(a = 3k \pm 1\), for some integer \(k\). In both cases, \(a^2\) is one more than a multiple of 3.
  2. Suppose that \(\sqrt{2} + \sqrt{3}\) is rational, and equal to \(\frac{a}{b}\), where \(a\) and \(b\) are positive integers with no common factor greater than one.
  3. Then \(a^4 + b^4 = 10a^2b^2\).
  4. So if \(a\) is divisible by 3, then \(b\) is divisible by 3.
  5. Hence \(\sqrt{2} + \sqrt{3}\) is irrational.
  1. Show clearly that steps 1, 3 and 4 are all valid and that the conclusion 5 follows from the previous steps of the argument.
  2. Prove, by means of a similar method but using divisibility by 5 instead of 3, that \(\sqrt{6} + \sqrt{7}\) is irrational. Why can divisibility by 3 not be used in this case?


Solution:

  1. Step 1: There are only three possibilities for the remainder of \(a\) when divided by \(3\), (\(0\), \(1\), \(2\)). \(a = 3m+r\). If \(r = 0\) we are done, if \(r = 1\) take \(k = m\), and \(r=2\) take \(k=(m+1)\) and we have \(a = 3k-1\) as required. Then \(a^2 = (3k\pm1)^2 =9k^2\pm6k+1 = 3(3k^32\pm2k)+1\) which is clearly \(1\) more than a square. Step 3: \begin{align*} && \frac{a}{b} &= \sqrt{2}+\sqrt{3} \\ \Rightarrow && \frac{a^2}{b^2} &= 5+2\sqrt{6} \\ \Rightarrow && \frac{a^2}{b^2}-5 &= 2\sqrt{6} \\ \Rightarrow && 24 &= \left ( \frac{a^2}{b^2}-5 \right)^2 \\ &&&= 25 + \frac{a^4}{b^4}-10\frac{a^2}{b^2} \\ \Rightarrow && -b^4 &= a^4-10a^2b^2 \\ \Rightarrow && a^4+b^4 &= 10a^2b^2 \end{align*} Step 4: If \(a\) is divisible by \(3\) then \(b^4 = 10a^2b^2-a^4\) is a multiple of \(3\), but if \(b\) was not a multiple of \(3\) then \(b^2\) would be \(1\) more than a multiple of \(3\) (by Step 3) and \(b^4\) would also be \(1\) more than a multiple of \(3\), and we would have a contradiction. Step 5: Follows since either \(a,b\) are both divisible by \(3\) (contradicting Step 2), or neither is, but then \(a^2\) and \(b^2\) are both one more than a multiple of \(3\) and the RHS is one more than a multiple of \(3\) but the LHS is \(2\) more than a multiple of \(3\) which is a contradiction.
  2. Step 1: If \(a\) is not divisible by \(5\) then \(a^2 \equiv \pm 1 \pmod{5}\) Step 2: Suppose \(\frac{a}{b} = \sqrt{6}+\sqrt{7}\) Step 3: \begin{align*} && \frac{a}{b} &= \sqrt{6}+\sqrt{7} \\ \Rightarrow && \frac{a^2}{b^2} &= 13 + 2\sqrt{42} \\ \Rightarrow && 168 &= \left (\frac{a^2}{b^2} - 13 \right)^2 \\ &&&= 169 - 26 \frac{a^2}{b^2} + \frac{a^4}{b^4} \\ \Rightarrow && a^4+b^4 &= 26a^2b^2 \end{align*} Step 4: If \(a\) is a multiple of \(5\) then so is \(b^4\) and hence so is \(b^2\) and \(b\). Step 5: But the left hand side is always \(2 \pmod{5}\) and the right hand side is never \(2 \pmod{5}\) contradiction. Divisibility by \(3\) doesn't work here since mod \(3\) we can have \(a = 1, b = 1\) and have a valid solution.

2019 Paper 1 Q8
D: 1500.0 B: 1500.0

The function \(f\) is defined, for \(x > 1\), by $$f(x) = \int_1^x \sqrt{\frac{t-1}{t+1}} dt.$$ Do not attempt to evaluate this integral.

  1. Show that, for \(x > 2\), $$\int_2^x \sqrt{\frac{u-2}{u+2}} du = 2f\left(\frac{1}{2}x\right).$$
  2. Evaluate in terms of \(f\), for \(x > 0\), $$\int_0^x \sqrt{\frac{u}{u+4}} du.$$
  3. Evaluate in terms of \(f\), for \(x > 5\), $$\int_5^x \sqrt{\frac{u-5}{u+1}} du.$$
  4. Evaluate in terms of \(f\) $$\int_1^2 \frac{u^2}{\sqrt{u^2+4}} du.$$


Solution:

  1. Let \(2t = u\), \begin{align*} \int_2^x \sqrt{\frac{u-2}{u+2}} du &= \int_{t=1}^{t=x/2} \sqrt{\frac{2t-2}{2t+2}}2 \d t \\ &= 2\int_{t=1}^{x/2} \sqrt{\frac{t-1}{t+1}} \d t \\ &= 2f\l\frac{x}{2}\r \end{align*}
  2. Let \(v = u-2\), \begin{align*} \int_0^x \sqrt{\frac{u}{u+4}} du &= \int_{v = 2}^{x+2} \sqrt{\frac{v-2}{v+2}} \d v \\ &= 2 f \l \frac{x+2}{2} \r \end{align*}
  3. Let \(v = u-2, \d v = \d u\) \begin{align*} \int_5^x \frac{u-5}{u+1} du &= \int_3^{x-2} \frac{v-3}{v+3} \d v \\ &= \int_1^{\frac{x-2}{3}} \frac{3t - 3}{3t+3} 3 \d t \\ &= 3 f \l \frac{x-2}{3} \r \end{align*}
  4. Let \(v = u^2, \d v = 2u \d u\)\begin{align*}\int_1^2 \frac{u^2}{\sqrt{u^2+4}} du &= \int_1^2 \sqrt{\frac{u^2}{u^2+4}} u \d u \\ &= \int_1^4 \sqrt{\frac{v}{v+4}} \frac12 \d v \\ &= f \l \frac{4+2}{2} \r - f \l \frac{3}{2} \r \\ &= f(3) - f(\frac32) \end{align*}

2019 Paper 1 Q9
D: 1500.0 B: 1500.0

A box has the shape of a uniform solid cuboid of height \(h\) and with a square base of side \(b\), where \(h > b\). It rests on rough horizontal ground. A light ladder has its foot on the ground and rests against one of the upper horizontal edges of the box, making an acute angle of \(\alpha\) with the ground, where \(h = b \tan \alpha\). The weight of the box is \(W\). There is no friction at the contact between ladder and box. A painter of weight \(kW\) climbs the ladder slowly. Neither the base of the ladder nor the box slips, but the box starts to topple when the painter reaches height \(\lambda h\) above the ground, where \(\lambda < 1\). Show that:

  1. \(R = k\lambda W \cos \alpha\), where \(R\) is the magnitude of the force exerted by the box on the ladder;
  2. \(2k\lambda \cos 2\alpha + 1 = 0\);
  3. \(\mu \geq \frac{\sin 2\alpha}{1 - 3 \cos 2\alpha}\), where \(\mu\) is the coefficient of friction between the box and the ground.


Solution:

TikZ diagram
At the point we are about to topple, reaction and friction forces will be acting at \(C\)
  1. \(\,\) \begin{align*} \overset{\curvearrowright}{X}:&& kW \cdot \lambda h\cos \alpha - R h &= 0 \\ \Rightarrow && R &= k\lambda W \cos \alpha \\ \end{align*}
  2. \(\,\) \begin{align*} \overset{\curvearrowright}{C}:&& R \sin \alpha \cdot h-R\cos \alpha \cdot b-W\frac{b}{2} &= 0 \\ && k\lambda W \cos \alpha \sin \alpha \cdot b \tan \alpha- k\lambda W \cos \alpha\cos \alpha \cdot h-W\frac{b}{2} &= 0 \\ && k \lambda (\cos^2 \alpha - \sin^2 \alpha) +\frac12 &= 0 \\ \Rightarrow && 2k \lambda \cos 2\alpha + 1 &= 0 \end{align*}
  3. \(\,\) \begin{align*} \text{N2}(\uparrow): && R_b -W-R\cos \alpha &= 0 \\ \Rightarrow && R_b &= W + k\lambda W \cos^2 \alpha\\ \text{N2}(\rightarrow): && R\sin \alpha - F_b &= 0 \\ \Rightarrow && F_b &= R \sin \alpha \\ \\ && F_b &\leq \mu R \\ \Rightarrow && k\lambda W \cos \alpha \sin \alpha &= \mu (W + k\lambda W \cos^2 \alpha) \\ \Rightarrow && \mu &\geq \frac{k\lambda \cos \alpha \sin \alpha}{1 + k\lambda \cos^2 \alpha} \\ &&&= \frac{k\lambda \sin 2\alpha}{2 + 2k\lambda cos^2 \alpha} \\ &&&= \frac{k\lambda \sin 2\alpha}{2 + k\lambda (\cos 2 \alpha+1)} \\ &&&= \frac{k\lambda \sin 2\alpha}{-4k\lambda \cos 2 \alpha + k\lambda (\cos 2 \alpha+1)} \\ &&&= \frac{\sin 2 \alpha}{1 -3 \cos 2\alpha} \end{align*}

2019 Paper 1 Q10
D: 1500.0 B: 1500.0

In this question, the \(x\)-axis is horizontal and the positive \(y\)-axis is vertically upwards. A particle is projected from the origin with speed \(u\) at an angle \(\alpha\) to the vertical. The particle passes through the fixed point \((h \tan \beta, h)\), where \(0 < \beta < 90^{\circ}\) and \(h > 0\).

  1. Show that $$c^2 - ck \cot \beta + 1 + k \cot^2 \beta = 0, \quad (*)$$ where \(c = \cot \alpha\) and \(k = \frac{2u^2}{gh}\). You are given that there are two distinct values of \(\alpha\) that satisfy equation \((*)\). Let \(\alpha_1\) and \(\alpha_2\) be these values.
    1. Show that $$\cot \alpha_1 + \cot \alpha_2 = k \cot \beta.$$ Show also that $$\alpha_1 + \alpha_2 = \beta.$$
    2. Show that $$k > 2(1 + \sec \beta).$$
  2. By considering the greatest height attained by the particle, show that \(k \geq 4 \sec^2 \alpha\).


Solution:

  1. The horizontal position of the particle at time \(t\) is \(u \sin\alpha t\), so \(T = \frac{h \tan \beta}{u \sin \alpha}\) The vertical position of the particle at this time \(T\) satisifes: \begin{align*} && h &= u \cos\alpha \frac{h \tan \beta}{u \sin\alpha} - \frac12 g \left ( \frac{h \tan \beta}{u \sin\alpha} \right)^2 \\ &&&= h\cot \alpha \tan \beta - \frac{gh^2}{2u^2} \tan^2 \beta \cosec^2 \beta \\ \Rightarrow && 1 &= c \tan \beta - \frac{1}{k} \tan^2 \beta (1 + c^2) \\ \Rightarrow && k \cot^2 \beta &= kc\cot \beta -1-c^2 \\ \Rightarrow && 0 &= c^2 -ck \cot \beta + 1 + k \cot^2 \beta \end{align*}
    1. As a quadratic in \(c\) the sum of the roots is \(k \cot \beta\), therefore \(\cot \alpha_1 + \cot \alpha_2 = k \cot \beta\). We also have that \(\cot \alpha_1 \cot \alpha_2 = 1 + k \cot^2 \beta\), so \begin{align*} && \cot (\alpha_1 + \alpha_2) &= \frac{\cot \alpha_1 \cot \alpha_2-1}{\cot \alpha_1 + \cot \alpha_2} \\ &&&= \frac{1 + k \cot^2 \beta - 1}{k \cot \beta} \\ &&&= \cot \beta \\ \Rightarrow && \beta &= \alpha_1 + \alpha_2 \pmod{\pi} \end{align*} but since \(\alpha_i \in (0, \frac{\pi}{2})\) the equation must hold exactly.
    2. Since it has two real roots we must have \begin{align*} && 0 &<\Delta = k^2 \cot^2 \beta - 4 (1 + k \cot^2 \beta) \\ &&&= k^2 \cot^2 \beta-4k \cot^2 \beta -4 \\ &&&= \cot^2 \beta (k^2 - 4k - 4(\sec^2 \beta - 1)) \\ &&&= \cot^2 \beta ( (k-2)^2 -4\sec^2 \beta) \\ \Rightarrow && k &> 2 + 2\sec \beta = 2(1+\sec \beta) \end{align*}
  2. The greatest height will satisfy \(v^2 = u^2 + 2as\) so \(0 = u^2 \cos^2 \alpha - 2gh_{max} \Rightarrow 4\sec^2 \alpha = \frac{2u^2}{gh_{max}} = k_{max}\), but this decreases with \(h\), so the smallest \(k\) can be is \(4\sec^2 \alpha\), ie \(k \geq 4 \sec^2 \alpha\)

2019 Paper 1 Q11
D: 1500.0 B: 1500.0

  1. Two people adopt the following procedure for deciding where to go for a cup of tea: either to a hotel or to a tea shop. Each person has a coin which has a probability \(p\) of showing heads and \(q\) of showing tails (where \(p+q = 1\)). In each round of the procedure, both people toss their coins once. If both coins show heads, then both people go to the hotel; if both coins show tails, then both people go to the tea shop; otherwise, they continue to the next round. This process is repeated until a decision is made. Show that the probability that they make a decision on the \(n\)th round is $$(q^2 + p^2)(2qp)^{n-1}.$$ Show also that the probability that they make a decision on or before the \(n\)th round is at least $$1 - \frac{1}{2^n}$$ whatever the value of \(p\).
  2. Three people adopt the following procedure for deciding where to go for a cup of tea: either to a hotel or to a tea shop. Each person has a coin which has a probability \(p\) of showing heads and \(q\) of showing tails (where \(p + q = 1\)). In the first round of the procedure, all three people toss their coins once. If all three coins show heads, then all three people go to the hotel; if all three coins show tails, then all three people go to the tea shop; otherwise, they continue to the next round. In the next round the two people whose coins showed the same face toss again, but the third person just turns over his or her coin. If all three coins show heads, then all three people go to the hotel; if all three coins show tails, then all three people go to the tea shop; otherwise, they go to the third round. Show that the probability that they make a decision on or before the second round is at least \(\frac{7}{16}\), whatever the value of \(p\).


Solution:

  1. The probability they don't make a decision in a round is \(qp + pq = 2qp\) (TH and HT). The probability they make a decision in a round is \(q^2+p^2\) (TT and HH). Therefore the probability they make a decision in the \(n\)th round is: \[ (q^2+p^2)(2qp)^{n-1} \] by having \(n-1\) failures and one success. The probability they make a decision on or before the \(n\)th round is the \(1-\) the probability they don't, ie \(1 - (2qp)^n\). Notice that \(\sqrt{qp} \leq \frac{p+1}{2} = \frac12 \Rightarrow qp \leq \frac14\) so \(1-(2pq)^n \leq 1 - \frac1{2^n}\)
  2. The probability it's decided in the first round is \(p^3 + q^3\) (HHH, TTT). The probability it's decided in the second round is \(3p^2q \cdot p^2 + 3qq^2 \cdot q^2 = 3pq(p^3+q^3)\) (HHT -> HHH) and (TTH -> TTT) with reorderings). Therefore the probability of making a decision in the first or second round is \((p^3+q^3)(1 + 3pq)\) which is minimised when \(p = q\) by Muirhead (or whatever your favourite inequality is). So \(\frac{2}{8} \cdot \left ( 1 + \frac{3}{4} \right) = \frac{7}{16}\)

2019 Paper 2 Q1
D: 1500.0 B: 1500.0

Let \(f(x) = (x-p)g(x)\), where g is a polynomial. Show that the tangent to the curve \(y = f(x)\) at the point with \(x = a\), where \(a \neq p\), passes through the point \((p, 0)\) if and only if \(g'(a) = 0\). The curve \(C\) has equation $$y = A(x - p)(x - q)(x - r),$$ where \(p\), \(q\) and \(r\) are constants with \(p < q < r\), and \(A\) is a non-zero constant.

  1. The tangent to \(C\) at the point with \(x = a\), where \(a \neq p\), passes through the point \((p, 0)\). Show that \(2a = q + r\) and find an expression for the gradient of this tangent in terms of \(A\), \(q\) and \(r\).
  2. The tangent to \(C\) at the point with \(x = c\), where \(c \neq r\), passes through the point \((r, 0)\). Show that this tangent is parallel to the tangent in part (i) if and only if the tangent to \(C\) at the point with \(x = q\) does not meet the curve again.


Solution: The tangent to the curve \(y = f(x)\) at \(x = a\) has the equation \(\frac{y-f(a)}{x-a} = f'(a) = g(a)+(a-p)g'(a)\). This passes through \((p,0)\) iff \begin{align*} && \frac{-f(a)}{p-a} &= g(a)+(a-p)g'(a) \\ \Leftrightarrow && -f(a) &= (p-a)g(a) -(a-p)^2g'(a) \\ \Leftrightarrow && -f(a) &= -f(a) -(a-p)^2g'(a) \\ \Leftrightarrow && 0 &= g'(a) \\ \end{align*}

  1. In this case \(g(x) = A(x-q)(x-r) = A(x^2-(q+r)x+qr)\) and so we must have that \(g'(a) = 0\), ie \(A(2a-(q+r)) = 0 \Rightarrow 2a = q+r\) The gradient is \(g(a) +(a-p)g'(a) = g(a) = A(a-q)(a-r)\)
  2. By the same reasoning, but with \(g(x) = A(x-p)(x-q)\) we have the gradient is \(A(c-p)(c-r)\). This is parallel iff \begin{align*} && (c-p)(c-r) &= (a-q)(a-r) \end{align*} The tangent at \(x = q\) is \(\frac{y-0}{x-q} = A(q-p)(q-r)\) or \( y = A(q-p)(q-r)(x-q)\)

2019 Paper 2 Q2
D: 1500.0 B: 1500.0

The function f satisfies \(f(0) = 0\) and \(f'(t) > 0\) for \(t > 0\). Show by means of a sketch that, for \(x > 0\), $$\int_0^x f(t) \, dt + \int_0^{f(x)} f^{-1}(y) \, dy = xf(x).$$

  1. The (real) function g is defined, for all \(t\), by $$(g(t))^3 + g(t) = t.$$ Prove that \(g(0) = 0\), and that \(g'(t) > 0\) for all \(t\). Evaluate \(\int_0^2 g(t) \, dt\).
  2. The (real) function h is defined, for all \(t\), by $$(h(t))^3 + h(t) = t + 2.$$ Evaluate \(\int_0^8 h(t) \, dt\).


Solution:

TikZ diagram
Notice the total area is \(xf(x)\) and it is made up of the sum of the two integrals.
  1. Suppose \((g(t))^3 + g(t) = t\). Notice that \((g(0))^3 + g(0) =0 \Rightarrow g(0)((g(0))^2 + 1) = 0 \Rightarrow g(0) = 0\). \begin{align*} && t &= (g(t))^3 + g(t) \\ \Rightarrow && 1 &= 3(g(t))^2 g'(t) + g'(t) \\ \Rightarrow && g'(t) &= \frac{1}{1 + 3(g(t))^2} > 0 \end{align*}
    TikZ diagram
    From our sketch, we can see we are interested in: \begin{align*} && \int_0^2 g(t) \d t &= 2 - \int_0^1 (x^3 + x) \d x \\ &&&= 2 - \frac14 - \frac12 = \frac54 \end{align*}
  2. \(\,\)
    TikZ diagram
    From our second sketch, we can see that: \begin{align*} && \int_0^8 h(t) \d t &= 16 - \int_1^2 (x^3+x-2) \d x \\ &&&= 16 - \left ( \frac{8}{4} + \frac{2^2}{2} - 2 \cdot 2 \right)+ \left ( \frac{1}{4} + \frac{1}{2} - 2 \right) \\ &&&= \frac{59}{4} \end{align*}

2019 Paper 2 Q3
D: 1500.0 B: 1500.0

For any two real numbers \(x_1\) and \(x_2\), show that $$|x_1 + x_2| \leq |x_1| + |x_2|.$$ Show further that, for any real numbers \(x_1, x_2, \ldots, x_n\), $$|x_1 + x_2 + \cdots + x_n| \leq |x_1| + |x_2| + \cdots + |x_n|.$$

  1. The polynomial f is defined by $$f(x) = 1 + a_1 x + a_2 x^2 + \cdots + a_{n-1} x^{n-1} + x^n$$ where the coefficients are real and satisfy \(|a_i| \leq A\) for \(i = 1, 2, \ldots, n-1\), where \(A \geq 1\).
    1. If \(|x| < 1\), show that $$|f(x) - 1| \leq \frac{A|x|}{1 - |x|}.$$
    2. Let \(\omega\) be a real root of f, so that \(f(\omega) = 0\). In the case \(|\omega| < 1\), show that $$\frac{1}{1 + A} \leq |\omega| \leq 1 + A. \quad (*)$$
    3. Show further that the inequalities \((*)\) also hold if \(|\omega| \geq 1\).
  2. Find the integer root or roots of the quintic equation $$135x^5 - 135x^4 - 100x^3 - 91x^2 - 126x + 135 = 0.$$


Solution: Claim: \(|x_1 + x_2| \leq |x_1| + |x_2|\) Proof: Case 1: \(x_1, x_2 \geq 0\). The inequality is equivalent to \(|x_1 + x_2| = x_1 + x_2 = |x_1|+|x_2|\) so it's an equality. Case 2: \(x_1, x_2 \leq 0\). The inequality is equivalent to \(|x_1+x_2| = -x_1-x_2 = |x_1|+|x_2\), so it's also an equality in this case. Case 3: (wlog) \(|x_1| \geq |x_2| > 0\) and \(x_1x_2 < 0\) then \(|x_1+x_2| = x_1-x_2 \leq x_1 \leq |x_1|+|x_2|\) We can prove this by induction, we've already proven the base case and: \(|x_1+x_2 + \cdots + x_n| \leq |x_1 + x_2 + \cdots x_{n-1}| + |x_n| \leq |x_1| + |x_2| + \cdots + |x_n|\)

  1. \(\,\) \begin{align*} && |f(x) - 1| &= |a_1 x + a_2x^2 + \cdots + a_{n-1}x^{n-1} + x^n| \\ &&&\leq |a_1x| + |a_2x^2| + \cdots + |a_{n-1}x^{n-1}| + |x^n| \\ &&&\leq |a_1||x| + |a_2||x|^2 + \cdots + |a_{n-1}||x|^{n-1} + |x|^n \\ &&&\leq A|x| + A|x|^2 + \cdots + A|x|^{n-1} + |x|^n \\ &&&=A|x| \frac{1-|x|^{n-1}}{1-|x|} + |x|^n \\ &&&= \frac{A|x|-A|x|^{n}+|x|^{n+1}-|x|^n}{1-|x|} \\ &&&= \frac{A|x|-|x|^n(\underbrace{A-|x|+1}_{\geq0})}{1-|x|} \\ &&&\leq \frac{A|x|}{1-|x|} \end{align*}
  2. If \(f(\omega) = 0\) then \begin{align*} && 1 & \leq \frac{A|\omega|}{1-|\omega|} \\ \Leftrightarrow && 1-|\omega| &\leq A |\omega| \\ \Leftrightarrow && 1 &\leq (1+A) |\omega| \\ \Leftrightarrow && \frac{1}{1+A} &\leq |\omega| \\ \end{align*} We also know \(\omega \leq 1 < 1 + A\)
  3. If \(\omega\) is a root of \(f(x)\) then \(1/\omega\) is a root of \(1 + a_{n-1}x + a_{n-2}x^2 + \cdots + a_1x^{n-1}+x^n\) and so \(1/\omega\) satisfies that inequality, ie \begin{align*} && \frac{1}{1+A} && \leq &&|1/\omega| && \leq &&1 + A \\ \Leftrightarrow &&1+A && \geq&& |\omega| && \geq&& \frac{1}{1 + A} \end{align*}
  4. First notice that it's equivalent to: \(0 = x^5 - 1x^4 - \frac{100}{135}x^3-\frac{91}{135}x^2-\frac{126}{135} + 1\) therefore all integer roots must be between \(-2,-1\) and \(1\) and \(2\). \(1\) doesn't work. \(-1\) works. Clearly \(2\) cannot work by parity argument, therefore the only integer root is \(-1\).

2019 Paper 2 Q4
D: 1500.0 B: 1500.0

You are not required to consider issues of convergence in this question. For any sequence of numbers \(a_1, a_2, \ldots, a_m, \ldots, a_n\), the notation \(\prod_{i=m}^{n} a_i\) denotes the product \(a_m a_{m+1} \cdots a_n\).

  1. Use the identity \(2 \cos x \sin x = \sin(2x)\) to evaluate the product \(\cos(\frac{\pi}{9}) \cos(\frac{2\pi}{9}) \cos(\frac{4\pi}{9})\).
  2. Simplify the expression $$\prod_{k=0}^{n} \cos\left(\frac{x}{2^k}\right) \quad (0 < x < \frac{1}{2}\pi).$$ Using differentiation, or otherwise, show that, for \(0 < x < \frac{1}{2}\pi\), $$\sum_{k=0}^{n} \frac{1}{2^k} \tan\left(\frac{x}{2^k}\right) = \frac{1}{2^n} \cot\left(\frac{x}{2^n}\right) - 2 \cot(2x).$$
  3. Using the results \(\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1\) and \(\lim_{\theta\to 0} \frac{\tan \theta}{\theta} = 1\), show that $$\prod_{k=1}^{\infty} \cos\left(\frac{x}{2^k}\right) = \frac{\sin x}{x}$$ and evaluate $$\sum_{j=2}^{\infty} \frac{1}{2^{j-2}} \tan\left(\frac{\pi}{2^j}\right).$$


Solution:

  1. \begin{align*}\cos(\frac{\pi}{9}) \cos(\frac{2\pi}{9}) \cos(\frac{4\pi}{9}) &= \frac{\sin(\frac{2\pi}{9}) \cos(\frac{2\pi}{9}) \cos(\frac{4\pi}{9})}{2 \sin \frac{\pi}{9}} \\ &= \frac{\sin(\frac{4\pi}{9})\cos(\frac{4\pi}{9})}{4 \sin \frac{\pi}{9}} \\ &= \frac{\sin(\frac{8\pi}{9})}{8 \sin \frac{\pi}{9}} \\ &= \frac{1}{8} \end{align*}
  2. Let \(\displaystyle P_n = \prod_{k=0}^{n} \cos\left(\frac{x}{2^k}\right)\). Claim: \(P_n = \frac{\sin 2x}{2^{n+1} \sin \l \frac{x}{2^n} \r}\). Proof: This is true for \(n = 0\), assume true for \(n-1\) \begin{align*} \sin\l \frac{x}{2^{n}} \r P_n &= P_{n-1} \cos\l \frac{x}{2^{n}} \r \sin\l \frac{x}{2^{n}} \r \\ &= P_{n-1} \frac{1}{2} \sin\l \frac{x}{2^{n-1}} \r \\ &= \frac{\sin 2x}{2^{n} \sin \l \frac{x}{2^{n-1}}\r} \frac{1}{2} \sin\l \frac{x}{2^{n}} \r \\ &= \frac{\sin 2x}{2^{n+1}} \end{align*} Hence \(P_n = \frac{\sin 2x}{2^{n+1} \sin \l \frac{x}{2^n}\r}\) Taking logs, we determine that: \begin{align*} && \sum_{k=0}^n \ln \cos \l \frac{x}{2^k} \r &= \ln \sin 2x - \ln \sin \l \frac{x}{2^n} \r - (n+1) \ln 2 \\ \Rightarrow && \sum_{k=0}^n \frac{1}{2^k} \tan \l \frac{x}{2^k} \r &= -2 \cot 2x + \frac{1}{2^n} \cot \l \frac{x}{2^n} \r - 0 \\ \end{align*} as required.
  3. As \(n \to \infty\) \(\frac{x}{2^n} \to 0\), so \(\frac{\sin \frac{x}{2^n}}{\frac{x}{2^n}} = \frac{2^n \sin \frac{x}{2^n}}{x} \to 1\) \begin{align*}\prod_{k=1}^{\infty} \cos\left(\frac{x}{2^k}\right) &= \lim_{n \to \infty} \frac{\sin x}{2^n \sin \l \frac{x}{2^n} \r} \\ &= \lim_{n \to \infty} \frac{\sin x}{x \frac{2^n \sin \l \frac{x}{2^n} \r}{x} } \\ &= \lim_{n \to \infty} \frac{\sin x}{x} \\ \end{align*} \begin{align*} \sum_{j=2}^{\infty} \frac{1}{2^{j-2}} \tan\left(\frac{\pi}{2^j}\right) &= \sum_{j=0}^{\infty} \frac{1}{2^{j}} \tan\left(\frac{1}{2^j}\frac{\pi}{4}\right) \\ &= \lim_{n \to \infty} \l -2 \cot \frac{\pi}{2} + \frac{1}{2^n} \cot \l \frac{\pi}{4 \cdot 2^n} \r\r \\ &= \frac{4}{\pi} \lim_{n \to \infty} \l \frac{1}{2^n} \frac{\pi}{4} \cot \l \frac{\pi}{4 \cdot 2^n} \r\r \\ &\to \frac{\pi}{4} \end{align*}