- Show that
- \(\dfrac{1+\cos \theta+i \sin \theta}{1-\cos \theta-i \sin \theta}=i \cot \dfrac{\theta}{2}.\) (3 marks)
--- 12 WORK AREA LINES (style=lined) ---
- Use De Moivre's theorem to show that the sixth roots of \(-1\) are given by
- \(\cos \left(\dfrac{(2 k+1) \pi}{6}\right)+i \sin \left(\dfrac{(2 k+1) \pi}{6}\right)\) for \(k=0,1,2,3,4,5\). (2 marks)
--- 6 WORK AREA LINES (style=lined) ---
- Hence, or otherwise, show the solutions to \(\left(\dfrac{z-1}{z+1}\right)^6=-1\) are
- \(z=i \cot \left(\dfrac{\pi}{12}\right), i \cot \left(\dfrac{3 \pi}{12}\right), i \cot \left(\dfrac{5 \pi}{12}\right), i \cot \left(\dfrac{7 \pi}{12}\right), i \cot \left(\dfrac{9 \pi}{12}\right)\), and \(i \cot \left(\dfrac{11 \pi}{12}\right)\). (2 marks)
--- 8 WORK AREA LINES (style=lined) ---
i. \(\text{Show} \ \ \dfrac{1+\cos \theta+i \sin \theta}{1-\cos \theta-i \sin \theta}=i \cot \left(\frac{\theta}{2}\right)\)
\(\text{Method 1:}\)
| \(\text{LHS}\) | \(=\dfrac{2\cos^{2}\frac{\theta}{2}+2i\,\sin\frac{\theta}{2}\cos\frac{\theta}{2}}{2\sin^{2}\frac{\theta}{2}-2i\,\sin\frac{\theta}{2}\cos\frac{\theta}{2}} \) | |
| \(=\dfrac{2\cos\frac{\theta}{2}\left(\cos\frac{\theta}{2}+i\,\sin\frac{\theta}{2}\right)}{2\sin\frac{\theta}{2}\left(\sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right) } \) | ||
| \(=\dfrac{i\,\cos\frac{\theta}{2}\left(\sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right)}{\sin\frac{\theta}{2}\left( \sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right)} \) | ||
| \(=i\, \cot \left(\frac{\theta}{2}\right)\) |
\(\text{Method 2 (exponential form – ex-syllabus in 2027):}\)
| \(\text{LHS}\) | \(=\dfrac{1+e^{i \theta}}{1-e^{i \theta}} \times \dfrac{e^{-\tfrac{i \theta}{2}}}{e^{-\tfrac{i \theta}{2}}}\) |
| \(=\dfrac{e^{-\tfrac{i \theta}{2}}+e^{\tfrac{i \theta}{2}}}{e^{-\tfrac{i \theta}{2}}-e^{\tfrac{i \theta}{2}}}\) | |
| \(=\dfrac{2 \cos \left(\frac{\theta}{2}\right)}{-2 i \sin \left(\frac{\theta}{2}\right)}\) | |
| \(=i \cot \left(\frac{\theta}{2}\right)\) |
ii. \(z=\cos \theta+i \sin \theta\)
\(\text{Find sixth roots of}\ -1 \ \text{(by De Moivre):}\)
\(z^6=\cos (6 \theta)+i \sin (6 \theta)=-1\)
| \(\cos (6 \theta)\) | \(=-1 \ \text{and} \ \ \sin (6 \theta)=0\) |
| \(6 \theta\) | \(=\pi, 3 \pi, 5 \pi, \ldots\) |
| \(\theta\) | \(=\dfrac{(2 k+1) \pi}{6}\ \ \text{for}\ \ k=0,1,2, \ldots, 5\) |
\(\therefore \operatorname{Roots }=\cos \left(\dfrac{(2 k+1) \pi}{6}\right)+i \sin \left(\dfrac{(2 k+1) \pi}{6}\right) \ \ \text{for} \ \ k=0,1, \ldots, 5\)
iii. \(\left(\dfrac{z-1}{z+1}\right)^6=-1\)
\(\text {Let} \ \ \alpha=\dfrac{z-1}{z+1} \ \Rightarrow \ \alpha^6=-1\)
\(\text {Using part (ii):}\)
\(\alpha=\operatorname{cis}\left(\dfrac{(2 k+1) \pi}{6}\right) \ \ \text{for}\ \ k=0,1,2,3,4,5\ \ldots\ (1)\)
\(\alpha=\dfrac{z-1}{z+1}\ \ \Rightarrow\ \ \alpha z+\alpha=z-1 \ \ \Rightarrow\ \ z=\dfrac{1+\alpha}{1-\alpha}\)
\(\text{Consider} \ \ \alpha=\operatorname{cis}\left(\frac{\pi}{6}\right) \ \text{(i.e. where}\ \ k=0 \ \ \text{from (1) above):}\)
\(z=\dfrac{1+\operatorname{cis}\left(\frac{\pi}{6}\right)}{1-\operatorname{cis}\left(\frac{\pi}{6}\right)} \ \Rightarrow \ z=i \cot \left(\frac{\pi}{12}\right) \quad \text{(using part (i))}\)
\(\text{Similarly}\ (k=1), \ z=\dfrac{1+\operatorname{cis}\left(\frac{3 \pi}{6}\right)}{1-\operatorname{cis}\left(\frac{3 \pi}{6}\right)} \ \Rightarrow \ z=i \cot \left(\frac{3 \pi}{12}\right)\)
\(\therefore z=i \cot \left(\frac{\pi}{12}\right), \, i \cot \left(\frac{3 \pi}{12}\right), \, i \cot \left(\frac{5 \pi}{12}\right), \ldots, i \cot \left(\frac{11 \pi}{12}\right)\)
i. \(\text{Show} \ \ \dfrac{1+\cos \theta+i \sin \theta}{1-\cos \theta-i \sin \theta}=i \cot \left(\frac{\theta}{2}\right)\)
\(\text{Method 1:}\)
| \(\text{LHS}\) | \(=\dfrac{2\cos^{2}\frac{\theta}{2}+2i\,\sin\frac{\theta}{2}\cos\frac{\theta}{2}}{2\sin^{2}\frac{\theta}{2}-2i\,\sin\frac{\theta}{2}\cos\frac{\theta}{2}} \) | |
| \(=\dfrac{2\cos\frac{\theta}{2}\left(\cos\frac{\theta}{2}+i\,\sin\frac{\theta}{2}\right)}{2\sin\frac{\theta}{2}\left(\sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right) } \) | ||
| \(=\dfrac{i\,\cos\frac{\theta}{2}\left(\sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right)}{\sin\frac{\theta}{2}\left( \sin\frac{\theta}{2}-i\,\cos\frac{\theta}{2}\right)} \) | ||
| \(=i\, \cot \left(\frac{\theta}{2}\right)\) |
\(\text{Method 2 (exponential form – ex-syllabus in 2027):}\)
| \(\text{LHS}\) | \(=\dfrac{1+e^{i \theta}}{1-e^{i \theta}} \times \dfrac{e^{-\tfrac{i \theta}{2}}}{e^{-\tfrac{i \theta}{2}}}\) |
| \(=\dfrac{e^{-\tfrac{i \theta}{2}}+e^{\tfrac{i \theta}{2}}}{e^{-\tfrac{i \theta}{2}}-e^{\tfrac{i \theta}{2}}}\) | |
| \(=\dfrac{2 \cos \left(\frac{\theta}{2}\right)}{-2 i \sin \left(\frac{\theta}{2}\right)}\) | |
| \(=i \cot \left(\frac{\theta}{2}\right)\) |
ii. \(z=\cos \theta+i \sin \theta\)
\(\text{Find sixth roots of}\ -1 \ \text{(by De Moivre):}\)
\(z^6=\cos (6 \theta)+i \sin (6 \theta)=-1\)
| \(\cos (6 \theta)\) | \(=-1 \ \text{and} \ \ \sin (6 \theta)=0\) |
| \(6 \theta\) | \(=\pi, 3 \pi, 5 \pi, \ldots\) |
| \(\theta\) | \(=\dfrac{(2 k+1) \pi}{6}\ \ \text{for}\ \ k=0,1,2, \ldots, 5\) |
\(\therefore \operatorname{Roots }=\cos \left(\dfrac{(2 k+1) \pi}{6}\right)+i \sin \left(\dfrac{(2 k+1) \pi}{6}\right) \ \ \text{for} \ \ k=0,1, \ldots, 5\)
iii. \(\left(\dfrac{z-1}{z+1}\right)^6=-1\)
\(\text {Let} \ \ \alpha=\dfrac{z-1}{z+1} \ \Rightarrow \ \alpha^6=-1\)
\(\text {Using part (ii):}\)
\(\alpha=\operatorname{cis}\left(\dfrac{(2 k+1) \pi}{6}\right) \ \ \text{for}\ \ k=0,1,2,3,4,5\ \ldots\ (1)\)
\(\alpha=\dfrac{z-1}{z+1}\ \ \Rightarrow\ \ \alpha z+\alpha=z-1 \ \ \Rightarrow\ \ z=\dfrac{1+\alpha}{1-\alpha}\)
\(\text{Consider} \ \ \alpha=\operatorname{cis}\left(\frac{\pi}{6}\right) \ \text{(i.e. where}\ \ k=0 \ \ \text{from (1) above):}\)
\(z=\dfrac{1+\operatorname{cis}\left(\frac{\pi}{6}\right)}{1-\operatorname{cis}\left(\frac{\pi}{6}\right)} \ \Rightarrow \ z=i \cot \left(\frac{\pi}{12}\right) \quad \text{(using part (i))}\)
\(\text{Similarly}\ (k=1), \ z=\dfrac{1+\operatorname{cis}\left(\frac{3 \pi}{6}\right)}{1-\operatorname{cis}\left(\frac{3 \pi}{6}\right)} \ \Rightarrow \ z=i \cot \left(\frac{3 \pi}{12}\right)\)
\(\therefore z=i \cot \left(\frac{\pi}{12}\right), \, i \cot \left(\frac{3 \pi}{12}\right), \, i \cot \left(\frac{5 \pi}{12}\right), \ldots, i \cot \left(\frac{11 \pi}{12}\right)\)