Problems

Filters
Clear Filters

2 problems found

2021 Paper 3 Q7
D: 1500.0 B: 1500.0
complex numbers unit circle cotangent modulus and argument perpendicularity orthocentre geometric transformations

  1. Let \[ z = \frac{e^{i\theta} + e^{i\phi}}{e^{i\theta} - e^{i\phi}}, \] where \(\theta\) and \(\phi\) are real, and \(\theta - \phi \neq 2n\pi\) for any integer \(n\). Show that \[ z = i\cot\!\bigl(\tfrac{1}{2}(\phi - \theta)\bigr) \] and give expressions for the modulus and argument of \(z\).
  2. The distinct points \(A\) and \(B\) lie on a circle with radius \(1\) and centre \(O\). In the complex plane, \(A\) and \(B\) are represented by the complex numbers \(a\) and \(b\), and \(O\) is at the origin. The point \(X\) is represented by the complex number \(x\), where \(x = a + b\) and \(a + b \neq 0\). Show that \(OX\) is perpendicular to \(AB\). If the distinct points \(A\), \(B\) and \(C\) in the complex plane, which are represented by the complex numbers \(a\), \(b\) and \(c\), lie on a circle with radius \(1\) and centre \(O\), and \(h = a + b + c\) represents the point \(H\), then \(H\) is said to be the orthocentre of the triangle \(ABC\).
  3. The distinct points \(A\), \(B\) and \(C\) lie on a circle with radius \(1\) and centre \(O\). In the complex plane, \(A\), \(B\) and \(C\) are represented by the complex numbers \(a\), \(b\) and \(c\), and \(O\) is at the origin. Show that, if the point \(H\), represented by the complex number \(h\), is the orthocentre of the triangle \(ABC\), then either \(h = a\) or \(AH\) is perpendicular to \(BC\).
  4. The distinct points \(A\), \(B\), \(C\) and \(D\) (in that order, anticlockwise) all lie on a circle with radius \(1\) and centre \(O\). The points \(P\), \(Q\), \(R\) and \(S\) are the orthocentres of the triangles \(ABC\), \(BCD\), \(CDA\) and \(DAB\), respectively. By considering the midpoint of \(AQ\), show that there is a single transformation which maps the quadrilateral \(ABCD\) onto the quadrilateral \(QRSP\) and describe this transformation fully.

Solution:

  1. \(\,\) \begin{align*} && z &= \frac{e^{i \theta} + e^{i \phi}}{e^{i \theta} - e^{i \phi}} \\ &&&= \frac{e^{i\frac12(\theta +\phi)}(e^{i \frac12(\theta-\phi)} + e^{-i\frac12(\theta- \phi)})}{e^{i\frac12(\theta +\phi)}(e^{i \frac12(\theta-\phi)} - e^{-i\frac12(\theta- \phi)})} \\ &&&= \frac{(e^{i \frac12(\theta-\phi)} + e^{-i\frac12(\theta- \phi)})/2}{i(e^{i \frac12(\theta-\phi)} - e^{-i\frac12(\theta- \phi)})/2i} \\ &&&= \frac{\cos \frac12(\theta-\phi)}{i \sin \frac12(\theta-\phi)} \\ &&&= -i \cot \tfrac12(\theta-\phi) \end{align*} Therefore \(|z| = \cot \tfrac12(\theta-\phi)\) and \(\arg z = \frac{\pi}{2}\)
  2. Since \(a,b\) lie on the unit circle, wlog \(a = e^{i \theta}, b = e^{i\phi}\). Not that the line \(OX\) has vector \(a+b\) and \(AB\) has vector \(b-a\) and not their ratio has argument \(\frac{\pi}{2}\) and hence they are perpendicular.
  3. \(AH\) has vector \(h - a = (a+b+c) - a = b+c\) which we've already established is perpendicular to \(c-b\) which is the vector for \(BC\) (unless \(b+c = 0\) in which case \(h = a\)).
  4. \(p = a +b+c, q = b+c+d\) etc. The midpoint of \(AQ = \frac12(a+b+c+d)\) which is the same as the midpoint of \(BR\), \(CS\) and \(DP\). Therefore we could say the transformation is reflection in the point \(\frac12(a+b+c+d)\)

View
1990 Paper 1 Q2
D: 1500.0 B: 1516.0
complex numbers De Moivre roots of unity binomial theorem binomial coefficients trig identity modulus and argument cube roots of unity

Let \(\omega=\mathrm{e}^{2\pi\mathrm{i}/3}.\) Show that \(1+\omega+\omega^{2}=0\) and calculate the modulus and argument of \(1+\omega^{2}.\) Let \(n\) be a positive integer. By evaluating \((1+\omega^{r})^{n}\) in two ways, taking \(r=1,2\) and \(3\), or otherwise, prove that \[ \binom{n}{0}+\binom{n}{3}+\binom{n}{6}+\cdots+\binom{n}{k}=\frac{1}{3}\left(2^{n}+2\cos\left(\frac{n\pi}{3}\right)\right), \] where \(k\) is the largest multiple of \(3\) less than or equal to \(n\). Without using a calculator, evaluate \[ \binom{25}{0}+\binom{25}{3}+\cdots+\binom{25}{24} \] and \[ \binom{24}{2}+\binom{24}{5}+\cdots+\binom{24}{23}\,. \] {[}\(2^{25}=33554432.\){]}

Solution: Since \(\omega^3 = 1\) and \(\omega \neq 1\) we must have that \((\omega-1)(1 + \omega + \omega^2) = 0\) but by dividing by \(\omega - 1\) we obtain the desired result. \(1+\omega^2 = -\omega\) so \(|1 + \omega^2| = |-\omega| = 1\) and \(\arg ( 1 + \omega^2) = \arg(-\omega) = \pi - \frac{2\pi}{3} = \frac{\pi}{3}\) \begin{align*} && (1 + 1)^n &= \sum_{k=0}^n \binom{n}{k}\\ && (1+ \omega)^n &= \sum_{k=0}^n \binom{n}{k} \omega^{k} \\ && (1+ \omega^2)^n &= \sum_{k=0}^n \binom{n}{k} \omega^{2k} \\ \Rightarrow && 2^n+(-\omega^2)^n + (-\omega)^n &= \sum_{k=0, k \equiv 0 \pmod{3}}^n (1+1+1)\binom{n}{k} + \sum_{k=0, k \equiv 1 \pmod{3}}^n (1 + \omega + \omega^2) \binom{n}{k} + \sum_{k=0, k \equiv 2 \pmod{3}}^n (1 + \omega^2 + \omega) \binom{n}{k} \\ \Rightarrow && 2^n +((-\omega)^n)^{-1}+(-\omega)^n &= \sum_{k=0, k \equiv 0 \pmod{3}}^n \binom{n}{k} \end{align*} \(2^n +((-\omega)^n)^{-1}+(-\omega)^n = 2^n + 2 \textrm{Re}(-\omega^n) = 2^n + 2 \cos \frac{n\pi}{3}\) Therefore our answer follows. \begin{align*} \binom{25}{0}+\binom{25}{3}+\cdots+\binom{25}{24} &= \frac13 \l 2^{25} + 2\cos (\frac{25 \pi}{3}) \r \\ &= \frac13 \l 2^{25} + 2 \cos \frac{\pi}{3} \r \\ &= \frac13 \l 2^{25} + 1 \r \\ &= \frac13 \l (4096 \cdot 4096 \cdot 2) + 1 \r \\ &= 11\,184\,811 \end{align*} Notice that \(S_2 = \binom{24}{2} + \cdots +\binom{24}{23} = \binom{24}{1} + \cdots + \binom{24}{22} = S_1\) and \(S_0 = \binom{24}0 + \cdots + \binom{24}{21} = \frac13 \l 2^{24} + 2 \r\) Therefore since \(S_0 + 2 \cdot S_2 = 2^{24}\) we must have \begin{align*} S_2 &= \frac12 \l 2^{24} - \frac13 \l 2^{24} + 2 \r \r \\ &= \frac13 \l 2^{24} - 1 \r \\ &= \frac13 \l 16777216- 1 \r \\ &= \frac13 \cdot 16777215 \\ &= 5\,592\,405 \end{align*}

View