Problems

---

Solution: \begin{align*} && | \frac{z_{n+1}-z_{n}}{z_{n}-z_{n-1}} | &= d \\ && \arg \left ( \frac{z_{n+1}-z_{n}}{z_{n}-z_{n-1}} \right) &= \arg (z_{n+1}-z_{n}) - \arg(z_{n}-z_{n-1}) \\ &&&= \theta \\ \Rightarrow && \frac{z_{n+1}-z_{n}}{z_{n}-z_{n-1}} &= d e^{i \theta} \end{align*} \begin{align*} && z_1 &= 0 \\ && z_2 &= 1 \\ && \frac{z_3-z_2}{z_2-z_1} &= de^{i \theta} \\ \Rightarrow && z_3 &= de^{i \theta} + 1 \\ && \frac{z_4-z_3}{z_3-z_2} &= de^{i \theta} \\ \Rightarrow && z_4 &= (d e^{i \theta})^2 + d e^{i \theta} + 1\\ \Rightarrow && z_{n+1} &= \frac{(de^{i \theta})^{n}-1}{de^{i \theta}-1} \end{align*} If \(d = 2, \theta = \tfrac13 \pi\), then, \(2e^{i \tfrac13 \pi} = 1 + \sqrt{3}i\) \begin{align*} \textrm{Im}(z_{n+1})) &= \textrm{Im} \left ( \frac{(2e^{i \tfrac13 \pi})^{n}-1}{2e^{i \tfrac13 \pi}-1}\right) \\ &= \textrm{Im} \left ( \frac{(2e^{i \tfrac13 \pi})^{n}-1}{\sqrt{3}i}\right) \\ &= -\frac{1}{\sqrt{3}}\textrm{Re} \left (2^n e^{i \frac{n}{3} \pi} \right) + \frac{1}{\sqrt{3}} \end{align*} Which clearly changes sign infinitely many times, ie crosses the origin infinitely many times.

---

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*}

---

Solution: The perpendicular bisector of the chords runs through the origin, therefore \(LM\) is perpendicular to \(PQ\) if and only if \(\frac{l+m}{2}\) is perpendicular to \(\frac{p+q}{2}\), ie \begin{align*} && (l+m) &= it (p+q) \\ \Leftrightarrow && \frac{l+m}{p+q} & \in i \mathbb{R} \\ \Leftrightarrow && 0 &= \frac{l+m}{p+q} + \frac{l^*+m^*}{p^*+q^*} \\ &&&= \frac{l+m}{p+q} + \frac{\frac{r^2}{l}+\frac{r^2}{m}}{\frac{r^2}{p}+\frac{r^2}{q}} \\ &&&=\frac{l+m}{p+q} + \frac{l+m}{p+q} \frac{pq}{lm} \\ &&&= \frac{l+m}{p+q} \left ( \frac{lm+pq}{lm} \right) \end{align*} Therefore as long as \(l+m, p+q \neq 0\) \(lm+pq = 0\) is equivalent to the chords being perpendicular. In the case where (say) \(l,m\) is a diameter, then the condition for the chords to be perpendicular is that \(p,q\) is also a diameter and at right angles, but clearly this is also equivalent to our condition. Suppose \(A_1, A_2, A_3\) are distinct points on \(S\), and \(A_1'\) is given and suppose \(a_i, a_i'\) are the corresponding complex numbers, then the conditions are: \begin{align*} A_1'A_2' \perp A_1A_2: && 0 &= a_1'a_2' + a_1a_2 \\ A_2'A_3' \perp A_2A_3: && 0 &= a_2'a_3' + a_2a_3 \\ A_3'A_1'' \perp A_3A_1: && 0 &= a_3'a_1'' + a_3a_1 \\ \\ \Rightarrow && a_2' &= -\frac{a_1a_2}{a_1'} \\ && a_3' &= -\frac{a_2a_3}{a_2'} \\ &&&= \frac{a_1'a_2a_3}{a_1a_2} \\ &&&= \frac{a_1'a_3}{a_1} \\ && a_1'' &= - \frac{a_3a_1}{a_3'} \\ &&&= \frac{a_3a_1a_1}{a_1'a_3} \\ &&&= \frac{a_1^2}{a_1'} \\ \Rightarrow && a_1'a_1'' &= a_1^2 \end{align*} Therefore \(a_1' = a_1''\) if \(a_1' = \pm a_1\) Suppose we have \(4\) points, then \begin{align*} A_1'A_2' \perp A_1A_2: && 0 &= a_1'a_2' + a_1a_2 \\ A_2'A_3' \perp A_2A_3: && 0 &= a_2'a_3' + a_2a_3 \\ A_3'A_4' \perp A_3A_4: && 0 &= a_3'a_4' + a_3a_4 \\ A_4'A_1'' \perp A_4A_1: && 0 &= a_4'a_1'' + a_4a_1 \\ \\ \Rightarrow && a_4' &= -\frac{a_3a_4}{a_3'} \\ &&&= -\frac{a_1a_3a_4}{a_1'a_3} \\ &&&= -\frac{a_1a_4}{a_1'} \\ \Rightarrow && a_1'' &= -\frac{a_4a_1}{a_4'} \\ &&&= \frac{a_4a_1a_1'}{a_1a_4} \\ &&&= a_1' \end{align*} So they coincide. For \(n\) points if there are an even number of points they coincide, an odd number and there are two points when they coincide.

---

Solution: Writing \(c = \cos \theta, s = \sin \theta\) then de Moivre states that: \begin{align*} && \cos 9 \theta + i \sin 9 \theta &= (c +i s)^9 \\ &&&= c^9 + 9ic^8s - 36c^7s^2-84ic^6s^3+126c^5s^4 + 126ic^4s^5 -84c^3s^6 -36ic^2s^7+9cs^8+is^9 \\ &&&= (c^9-36c^7s^2+126c^5s^3-84c^3s^6+8cs^8)+i(9c^8s-75c^6s^3+126c^4s^5-36c^2s^7+s^9) \\ \Rightarrow && \tan 9\theta &= \frac{(9c^8s-75c^6s^3+126c^4s^5-36s^2c^7+s^9)}{(c^9-36c^7s^2+126c^5s^4-84c^3s^6+8cs^8)} \\ &&&= \frac{9t-75t^3+126s^5-36t^7+t^9}{1-36t^2+126t^4-84t^6+8t^8} \\ &&&= \frac{t(t^{2}-3)(t^{6}-33t^{4}+27t^{2}-3)}{(3t^{2}-1)(3t^{6}-27t^{4}+33t^{2}-1)} \end{align*} If we consider \(\tan 9\theta = 0\) it will have the roots \(\theta = \frac{n \pi}{9}, n \in \mathbb{Z}\), in particular, the numerator of our fraction for \(\tan 9 \theta\) will be zero for \(t = 0, \tan \frac{\pi}{9}, \tan \frac{2\pi}{9}, \tan \frac{3\pi}{9}, \tan \frac{4 \pi}{9}, \tan \frac{5\pi}{9}, \tan \frac{6 \pi}{9}, \tan \frac{7 \pi}{9}, \tan \frac{8\pi}{9}\). It's worth noting all other values of \(\theta\) will repeat these values. Also note that \(0,\tan \frac{\pi}{3}, \tan \frac{2\pi}{3}\) are the roots of \(t\) and \(t^2-3\) respectively. Therefore the other values are the roots of our sextic. However, also note that \(\tan \frac{8\pi}{9} = - \tan \frac{\pi}{9}\) and similar, therefore we can notice that all the roots in pairs can be mapped to \(\tan \frac{\pi}{9}, \tan \frac{2 \pi}{9}\) and \(\tan \frac{4 \pi}{9}\) and all those values are squared, so the roots of: \(x^3 - 33x^2+27x-3\) will be \(\tan^2 \frac{\pi}{9}, \tan^2 \frac{2 \pi}{9}\) and \(\tan^2 \frac{4 \pi}{9}\). The product of the roots will be \(3\), so \begin{align*} && \tan^2 \frac{\pi}{9} \tan^2 \frac{2 \pi}{9} \tan^2 \frac{4 \pi}{9} &= 3 \\ \Rightarrow && \tan \frac{\pi}{9} \tan \frac{2 \pi}{9} \tan \frac{4 \pi}{9} &= \pm \sqrt{3} \\ \underbrace{\Rightarrow}_{\text{all positive}} && \tan \frac{\pi}{9} \tan \frac{2 \pi}{9} \tan \frac{4 \pi}{9} &= \sqrt{3} \\ \end{align*} Notice that \(x^3 + y^3 +z^3 - 3xyz = (x+y+z)((x+y+z)^2-3(xy+yz+zx))\) Therefore \begin{align*} \tan^{6}\left(\frac{\pi}{9}\right)+\tan^{6}\left(\frac{2\pi}{9}\right)+\tan^{6}\left(\frac{4\pi}{9}\right) &= 33(33^2-3\cdot27) + 3 \cdot 3 \\ &= 33\,273 \end{align*}

---

Solution: \begin{align*} \sum_{r = 0}^n \cos (\alpha + 2r \beta) &= \sum_{r = 0}^n \textrm{Re} \left ( \exp(i(\alpha + 2r \beta)) \right) \\ &= \textrm{Re} \left (\sum_{r = 0}^n \exp(i(\alpha + 2r \beta)) \right) \\ &= \textrm{Re} \left (e^{i \alpha} \sum_{r = 0}^n \ (e^{i 2 \beta})^r\right) \\ &= \textrm{Re} \left (e^{i \alpha} \frac{e^{2(n+1)\beta i}-1}{e^{2\beta i}-1} \right) \\ &= \textrm{Re} \left (e^{i \alpha} \frac{e^{(n+1)\beta i} (e^{(n+1)\beta i}-e^{-(n+1)\beta i})}{e^{\beta i}(e^{\beta i}-e^{-\beta i})} \right) \\ &= \textrm{Re} \left (\frac{e^{i \alpha} e^{(n+1)\beta i}}{e^{\beta i}} \frac{\sin (n+1) \beta}{\sin \beta} \right) \\ &= \textrm{Re} \left ( e^{i(\alpha + n \beta)}\frac{\sin (n+1) \beta}{\sin \beta} \right) \\ &= \frac{\cos (\alpha + n \beta)\sin (n+1) \beta}{\sin \beta} \end{align*} \begin{align*} \sum_{r = 0}^n \binom{n}{r} \cos (\alpha + 2r \beta) &= \sum_{r = 0}^n \textrm{Re} \left ( \binom{n}{r}\exp(i(\alpha + 2r \beta)) \right) \\ &= \textrm{Re} \left (\sum_{r = 0}^n \binom{n}{r} \exp(i(\alpha + 2r \beta)) \right) \\ &= \textrm{Re} \left (e^{i \alpha}(e^{2\beta i}+1)^n \right) \\ &= \textrm{Re} \left (e^{i \alpha}e^{n\beta i}(e^{\beta i}+e^{-\beta i})^n \right) \\ &= \textrm{Re} \left (e^{i \alpha}e^{n\beta i}2^n \cos^n \beta \right) \\ &= 2^n \cos(\alpha + n \beta) \cos ^n \beta \end{align*} \begin{align*} \sum_{r = 0}^n \cos r \theta \sec^r \theta &= \sum_{r = 0}^n \textrm{Re} ( e^{i r \theta})\sec^r \theta \\ &= \textrm{Re} \left ( \sum_{r=0}^n e^{i r \theta} \sec^r \theta\right) \\ &= \textrm{Re} \left ( \frac{e^{i (n+1) \theta}\sec^{n+1} \theta -1}{e^{i \theta}\sec \theta -1} \right) \\ &= \textrm{Re} \left ( \frac{e^{i (n+1) \theta}\sec^{n} \theta -\cos \theta}{e^{i \theta} -\cos \theta} \right) \\ &= \textrm{Re} \left ( \frac{e^{i (n+1) \theta}\sec^{n} \theta -\cos \theta}{i \sin \theta} \right) \\ &= \frac{1}{\sin \theta} \textrm{Im} \left ( e^{i (n+1) \theta}\sec^{n} \theta -\cos \theta \right) \\ &= \frac{\sin(n+1) \theta \sec^{n} \theta}{\sin \theta} \end{align*}

---

Solution: Given that \(e^{i \theta} = \cos \theta + i \sin \theta\) we must have that

1. \begin{align*} \cos 4 \theta &= \textrm{Re} \l e^{i 4 \theta} \r \\ &= \textrm{Re} \l (\cos \theta + i \sin \theta)^4 \r \\ &= \cos^4 \theta - \binom{4}{2}\cos^2 \theta \sin^2 \theta +\sin^4 \theta \\ &= \cos^4 \theta - 6\cos^2 \theta (1-\cos^2 \theta) +(1-\cos^2 \theta)^2 \\ &= 8\cos^4 \theta - 8\cos^2 \theta + 1 \end{align*}
2. Similarly, \begin{align*} \cos 6 \theta &= \textrm{Re} \l e^{i 6 \theta} \r \\ &= \textrm{Re} \l (\cos \theta + i \sin \theta)^6 \r \\ &= \cos^6 \theta -\binom{6}{2}\cos^4 \theta \sin^2 \theta +\binom{6}{4} \cos^2\theta \sin^4 \theta - \sin^6 \theta \\ &= \cos^6 \theta - 15 \cos^4 \theta (1-\cos^2 \theta) + 15\cos^2 \theta (1-\cos^2\theta)^2 - (1-\cos^2 \theta)^3\\ &= 31\cos^6 \theta-45\cos^4\theta+15\cos^2\theta-1+3\cos^2 \theta-3\cos^4 \theta+\cos^6 \theta \\ &= 32 \cos^6 \theta-48\cos^4 \theta+18\cos^2 \theta-1 \end{align*}

\begin{align*} 0 &= 16x^{6}-28x^{4}+13x^{2}-1\\ &= \frac12 (32x^6-56x^4+26x^2-1) \\ &= \frac12(32x^6-48x^4+18x^2-1-(8x^4-8x^2+1)) \end{align*} Therefore if \(x = \cos \theta\) then we are looking at solving \(\cos 6 \theta = \cos 4 \theta\). \(\cos 6 \theta - \cos 4 \theta = -2 \sin 5\theta \sin \theta = 0\). So we should be looking at \(\sin 5 \theta = 0\) and \(\sin \theta = 0\). \(\sin \theta = 0 \Rightarrow x = \cos \theta = \pm 1\) both of which are roots. The other roots will be \(\cos \frac{\pi}{5}, \cos \frac{2\pi}{5}\) etc but it's unclear this is an acceptable form. Alternatively, given our two roots, we can factorize \begin{align*} 0 &= 16x^{6}-28x^{4}+13x^{2}-1 \\ &= (x^2-1)(16x^4-12x^2+1) \end{align*} We can solve \(16y^2-12y+1=0\) to see that \(x^2 = \frac{3 \pm \sqrt{5}}{8}\) so our roots are: \(x = -1, 1, \pm \sqrt{\frac{3 + \sqrt{5}}{8}}, \pm \sqrt{\frac{3 -\sqrt{5}}{8}}\) (We might notice that \(3+\sqrt{5} =\l \frac{1+\sqrt{5}}{\sqrt{2}} \r^2\) so our final answer could be: \(x = -1, 1, \pm \frac{1+\sqrt{5}}{4}, \pm \frac{\sqrt{5}-1}{4}\))

---

Solution: \begin{align*} && 2(u+iv) &= e^{a+iy} - e^{-a-iy} \\ && &=(e^a \cos y - e^{-a} \cos y) + (e^a \sin y + e^{-a} \sin y)i \\ &&&= 2 \sinh a \cos y + 2\cosh a \sin y i\\ \Rightarrow && \frac{u}{\sinh a} &= \cos y \\ && \frac{v}{\cosh a} &= \sin y \\ \Rightarrow && 1 &= \left(\frac{u}{\sinh a}\right)^{2}+\left(\frac{v}{\cosh a}\right)^{2} \end{align*} \begin{align*} && 2(u+iv) &= e^{x+ib} - e^{-x-ib} \\ &&&= 2\sinh x \cos b + 2\cosh x \sin b i \\ \Rightarrow && \frac{u}{\cos b} &= \sinh x \\ && \frac{v}{\sin b} &= \cosh x \\ \Rightarrow && 1 &= \left (\frac{v}{\sin b} \right)^2 - \left (\frac{u}{\cos b} \right)^2 \end{align*} Therefore all the points lie of a hyperbola, and since \(\frac{v}{\sin b} > 0 \Rightarrow v > 0\) it's one branch of the hyperbola. (And all points on it are reachable as \(x\) varies from \(-\infty < x < \infty\). \begin{align*} 2(u+iv) &= e^{a+ib} - e^{-a-ib} \\ &= 2 \sinh a \cos b + 2 \cosh a \sin b i \end{align*} so we can take \(u = \sinh a \cos b, v = \cosh a \sin b\). \begin{align*} \frac{\d }{\d u} && 0 &= \frac{2 u}{\sinh^2 a} + \frac{2v}{\cosh^2 a} \frac{\d v}{\d u} \\ \Rightarrow && \frac{\d v}{\d u} &= -\frac{u}{v} \coth^2 a \\ \\ && \frac{\d v}{\d u} \rvert_{(u,v)} &= -\frac{\sinh a \cos b}{\cosh a \sin b} \coth^2 a \\ &&&= -\cot b \coth a \\ \frac{\d }{\d u} && 0 &= \frac{2 v}{\sin^2 b} \frac{\d v}{\d u} - \frac{2u}{\cos^2 b} \\ \Rightarrow && \frac{\d v}{\d u} &= \frac{u}{v} \tan^2 b \\ && \frac{\d v}{\d u} \rvert_{(u,v)} &= \frac{\sinh a \cos b}{\cosh a \sin b} \tan^2 b \\ &&&= \tanh a \tan b \end{align*} Therefore they are negative reciprocals and hence perpendicular.

---

Solution: \(R(0) = 0\), \(R(1) = \Omega^2 1 = \Omega^2\), \(R(\Omega^2) = \Omega^4 = -\Omega\), \(R(-\Omega) = -\Omega^3 = 1\) \(T(0) = \frac{\Omega^2}1 = \Omega^2\), \(T(1) = \frac{\Omega + \Omega^2}{2\Omega^2+1} = \frac{2\Omega - 1}{2\Omega-1} = 1\) \(T(\Omega^2) = \frac{\Omega^3 + \Omega^2}{2\Omega^4+1} = \Omega \frac{\Omega^2+\Omega}{-2\Omega+1} = \Omega \frac{2\Omega-1}{-2\Omega+1} = - \Omega\) \(T(-\Omega) = \frac{-\Omega^2 + \Omega^2}{-2\Omega^3+1} = \frac{0}{3} = 0\) Thinking of \(R\) and \(S\) as elements of \(S_4\), we have that \(R = (234), S = (134)\), we can also construct \(RS = (14)(23), R^2S = (12)(34), RSR^2S = (13)(24)\). Therefore we have the subgroups \(\{e, (234), (243)\}\) of order \(3\) and the subgroup \(\{e, (12)(34), (13)(24), (14)(23) \}\) of order \(4\). By Lagrange's theorem this means that both \(3\) and \(4\) divide the order of the group, therefore the group has order divisible by \(12\) (and therefore is at least \(12\)). Yes, we cannot produce any odd permutation, for example \((12)\) cannot be produced. (Since all our generators are even permutations).

---

Solution:

1. \(\overrightarrow{P_{1}P_{2}}=\overrightarrow{P_{5}P_{4}}\) is equivalent to \(z_2 - z_1 = z_4 - z_5\). \(\overrightarrow{P_{2}P_{3}}=\overrightarrow{P_{6}P_{5}}\) is equivalent to \(z_3-z_2 = z_5 - z_6\).
2. \(\overrightarrow{P_{2}P_{4}}\) is perpendicular to \(\overrightarrow{P_{3}P_{6}}\,\) is equivalent to \(\frac{z_4 - z_2}{z_6-z_3} \in i\mathbb{R}\)

If \(z_2 - z_1 =z_4 - z_5\) and \(z_3-z_2 = z_5 - z_6\) then adding we get \(z_3 - z_1 = z_4 - z_6\) or \(z_4 - z_3 = z_6-z_1\), which is equivalent to \(\overrightarrow{P_{3}P_{4}}=\overrightarrow{P_{1}P_{6}}\,\). \(\textrm{Re}(z) > 1, \textrm{Re}(w) < 0, \textrm{Re}(z) +\textrm{Re}(w)=1\). (We only need one of the first two constraints, since the other is implied by the former). Since \(\overrightarrow{P_{2}P_{4}}\) is perpendicular to \(\overrightarrow{P_{3}P_{6}}\,\) we must have that \(\textrm{Im}(z) = \textrm{Im}(w)\). Combined with the vector logic we must have that \(\textrm{Im}(z) = \frac12\). Let \(z = a + \frac12i\) and \(w = (1-a) + \frac12i\). Since \(w - 1 = k(3-2i)(z-1)\) (the angle constraint) we must have that: \begin{align*} &&-a+\frac12i &= k(3-2i)((a-1) \frac12i) \\ &&&= k( 3 a - 2+(\frac72 - 2 a)i) \\ \Rightarrow && \frac{3a-2}{-a} &= \frac{\frac72-2a}{\frac12} \\ \Rightarrow && 3a-2&= 4a^2-7a \\ \Rightarrow && 0 &= 4a^2-10a+2 \\ \Rightarrow && a &= \frac{5 \pm \sqrt{17}}{4} \end{align*} Since \(a > 1, a = \frac{5 +\sqrt{17}}{4}\) and the distance is: \begin{align*} \left | z - w \right | &= | a+\frac12i - ((1-a) +\frac12i ) | \\ &= |2a-1| \\ &= \frac{5+\sqrt{17}}{2}-1 \\ &= \frac{3+\sqrt{17}}{2} \end{align*}

---

Solution: Suppose \(k\) is a root of our quadratic. There are two possibilities, if \(k^{-1} = k\) then we must have \(k^2 = 1\) so either \(\pm 1\) is a root or we must have \((x-k)(x-k^{-1}) = x^2+bx+c\). In the first case we can have: \begin{align*} x^2+bx +c = (x-1)^2 &\Rightarrow b = -2, c = 1 \\ x^2+bx +c = (x+1)^2 &\Rightarrow b = 2, c = 1 \\ x^2+bx +c = (x-1)(x+1) &\Rightarrow b = 0, c = 1 \\ \end{align*} In the other cases, \(c = 1\) and \(b = k^{-1}+k\). Therefore we must have \(c = 1\) and \(b\) can take any values. The statement "if \(k\) is a root then \(1-k\) is a root" implies these two roots are different, so we must have \(1-k = k^{-1} \Rightarrow k-k^2 = 1 \Rightarrow k^2-k+1 = 0\) so \(b = -1, c = 1\). Suppose \(x^3+px^2+qx+r = 0\) has the first property, then for any root \(k\) we must have: \(k^3 + pk^2 + qk + r = 0\) and \(1 + pk^{-1} + qk^{-2} + rk^{-3} = 0\) therefore \(x^3+px^2+qx+r\) and \(rx^3+qx^2+px+1 = 0\) must have identical roots (since \(x = \pm\) either wont work here since they imply having the roots \(1, 0\) or \(-1, 2, \frac12\) which is exactly our equation. Therefore \(r = 1, p = q\). Suppose \(x^3 + px^2 + px+1 = 0\) has the property that if \(k\) is a root \(1-k\) is a root, therefore: \begin{align*} 0 &= (1-k)^3+p(1-k)^2 + p(1-k) + 1 \\ &= 1 -3k+3k^2-k^3+p-2kp+pk^2+p-pk+1 \\ &= -k^3+(3+p)k^2+(-3-3p)k+(2+2p) \end{align*} Since these roots must be the same as the original roots, we must have \(3+p = -p, -3-3p = -p, 2+2p = -1 \Rightarrow p = -\frac32\)

---

Solution:

1. Suppose \(w = u+ vi\) then \(w^2 - 2w = u^2-v^2-2u+(2uv-2v)i\) so to be purely real we must have \(2uv-2v = 2v(u-1) = 0\) ie either \(v = 0\) or \(u = 1\). Therefore the locus is the real axis and the line \(1 + ti\):
   

   + - ↺
2. If \(w^2 = x+yi\) then we must have \(x = u^2-v^2\) and \(y = 2uv\), so either \(v = 0, y = 0, x = u^2-2u \geq -1\) or \(u = 1, x = 1-v^2, y = 2v\) which is a parabola:
   

   + - ↺

If \(t = u+iv\) then \(t^2-2t = u^2-v^2-2u + (2uv-2v)i\). For this to be purely imaginary, we need \(u^2-v^2 - 2u = 0 \Rightarrow (u-1)^2-v^2 = 1\), ie points on a hyperbola. Then \(p = u^2-v^2\) and \(q = 2uv\). We can parameterise our hyperbola as \(u = 1 \pm \cosh s, v = \sinh s\) and so \(p = 1 + 2 \cosh s\) and \(q = \sinh 2s\) or \(q = \pm (p-1) \sqrt{(\frac{p-1}{2})^2-1}\) where \(p \geq 3\)

---

Solution: Suppose \(z^7 = 1\), then we can write \(z = \cos \theta + i \sin \theta\) and we must have that: \begin{align*} 0 &= \textrm{Im}((\cos \theta + i \sin \theta)^7) \\ &= \binom{7}{6}\cos^6 \theta \sin \theta - \binom{7}{4} \cos^4 \theta \sin^3 \theta + \binom{7}{2} \cos^2 \theta \sin^5 \theta - \sin^7 \theta \\ &= 7 \cos^6 \sin \theta - 35 \cos^4 \theta \sin ^3 \theta + 21 \cos^2 \theta \sin^5 \theta - \sin^7 \theta \\ &= -\cos^7 \theta \l \tan^7 \theta - 21 \tan^5 \theta + 35 \tan^3 \theta - 7 \tan \theta\r \\ &= \cos^7 \theta \cdot t (t^7-21t^4+35t^2-7) \end{align*} Where \(t = \tan \theta\). So if \(z\) is a root of \(z^7 = 1\) and \(\cos \theta \neq 0, \tan \theta \neq 0\) then \(t\) is a root of the equation. Thererefore the roots are: \(\tan \frac{2\pi k}{7}\) where \(k = 1, 2, \ldots 6\). Noting that \(\tan \frac{\pi}7 = -\tan \frac{6\pi}{7}, \tan \frac{3\pi}{7} = -\tan \frac{4 \pi}{7}, \tan \frac{5\pi}{7} = -\tan \frac{2 \pi}{7}\) we can conclude that: \begin{align*} && 7 &= \prod_{k=1}^k \tan \frac{k \pi}{6} \\ &&&= \l \tan\frac{2\pi}{7}\tan\frac{4\pi}{7}\tan\frac{6\pi}{7} \r^2 \\ \Rightarrow&& \pm \sqrt{7} &= \tan\frac{2\pi}{7}\tan\frac{4\pi}{7}\tan\frac{6\pi}{7} \end{align*} However, we know that \(\tan \frac{2\pi}{7}\) is positive, \(\tan \frac{4\pi}{7},\tan \frac{6\pi}{7}\) are negative, therefore the result must be positive, ie \(+\sqrt{7}\) Using a similar method, we notice that: \begin{align*} 0 &= \textrm{Im} \l (\cos \theta + i \sin \theta)^n \r \\ &= \cos^n \theta \cdot t (t^{n-1} + \cdots - \binom{n}{n-1}) \end{align*} Therefore \(\prod_{k=0}^{n-1} \tan \frac{k \pi}{n} = n\) and since \(\tan \frac{(2k+1) \pi}{n} = \tan \frac{(n-2k-1)\pi}{n}\) is a map of all the odd numbers to the even numbers (and vice versa) when \(n\) is odd. We also know that the terms less where \(\tan \theta\) has \(\theta < \frac{\pi}{2}\) are positive, and the others even, we can determine the signs: \begin{align*} \tan \frac{2 \pi}{9} \tan \frac{4 \pi}{9} \tan \frac{6 \pi}{9} \tan \frac{8 \pi}{9} & = 3 \\ \tan \frac{2 \pi}{11} \tan \frac{4 \pi}{11} \tan \frac{6 \pi}{11} \tan \frac{8 \pi}{11} \tan \frac{10 \pi}{11} &= -\sqrt{11} \end{align*}

---

Solution: There are many possible parametric forms, for example \(z = i + 2e^{it}, z = 2\ cos \theta + (1 + 2\sin \theta)i\) etc. It is a circle radius \(2\) about the point \(i\).

1. \begin{align*} w &= \frac{z+i}{z-i} \\ &= \frac{2i + 2e^{it}}{2e^{it}} \\ &= 2 + ie^{-it} \end{align*} This is obvious a circle radius \(1\) about the point \(2\).
   

   + - ↺
2. If \(z\) is real, then \begin{align*} w &= \frac{z+i}{z-i} \\ &= \frac{(z+i)^2}{z^2+1} \\ &= \frac{z^2-1 + 2zi}{z^2+1} \end{align*} We can quickly notice this describes a circle radius \(1\) about \(0\). Alternatively, \(|z+i| = |z-i| \Rightarrow |\frac{z+i}{z-i}| = 1\) so we must be talking about points on the unit circle. Since this is a Mobius transform we know it maps lines and circles to lines and circles, therefore it must map to the unit circle;
3. If \(z\) is purely imaginary, say \(it\) then: \begin{align*} w &= \frac{z+i}{z-i} \\ &= \frac{(it+i)(i-it)}{(-1+t)^2} \\ &= \frac{t^2-1}{(t-1)^2} \end{align*} Which is purely real, and can take all real values.
   

   + - ↺