Problems

Solution:

1. 

   + - ↺
   By symmetry we can observe that the parabola and circle will intersect \(0, 1\) (at the base), \(2, 4\) times. So setting up our system of equations we have: \begin{align*} &&& \begin{cases} x^2 + (y-a)^2 &= r^2 \\ 2ky &= x^2 \end{cases} \\ \Rightarrow && r^2 &= x^2 + \left (\frac{x^2}{2k} - a \right )^2 \\ \Rightarrow &&r^2 &= x^2 + a^2 - \frac{ax^2}{k} + \frac{x^4}{4k^2} \\ \Rightarrow &&0 &= \frac{1}{4k^2} x^4 + \left ( 1 - \frac{a}{k} \right) x^2 + a^2 - r^2 \\ \Rightarrow && \Delta &= \left ( 1 - \frac{a}{k} \right)^2-4 \cdot \frac{1}{4k^2} (a^2 - r^2) \\ &&&= 1 - \frac{2a}{k} + \frac{a^2}{k^2} - \frac{a^2}{k^2} + \frac{r^2}{k^2} \\ &&&= \frac{k^2-2ka+r^2}{k^2} \end{align*} Since there will be (at most) two solutions if \(\Delta = 0\) we must have if the circle and parabola are tangent \(r^2 - 2ka + k^2 = 0 \Rightarrow r^2 = k(2a-k)\). So long as there is a solution \(x^2 > 0\) there will be two tangent points, so if \(-\left(1 - \frac{a}{k}\right) > 0\) or \(a > k > 0\)
2. Since \(y = c \pm x\) are tangent to the circle with radius \(r\) and centre \((0,a)\) we have the following equations: \begin{align*} &&& \begin{cases} x^2 + (y-a)^2 &= r^2 \\ c \pm x &= y \end{cases} \\ \Rightarrow && r^2 &= x^2 + (c -a\pm x)^2 \\ &&&= 2x^2+(c-a)^2 \pm 2x(c-a) \\ \Rightarrow && \Delta &= 4(c-a)^2 -4 \cdot 2 \left ( (c-a)^2 -r^2 \right)\\ &&&= 8r^2-4(c-a)^2 \\ \Rightarrow && x &= \frac{\mp 2(c-a) \pm \sqrt{\Delta}}{4} \\ &&&= \mp \frac12 (c-a) \\ && y &= \pm \frac12 (c+a) \\ && (x,y) &= \left (\frac12 (c-a), \frac12 (c+a)\right), \left (-\frac12 (c-a), -\frac12 (c+a)\right) \end{align*}

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)\)

+ - ↺

Solution: \begin{align*} && |z-a|^2 &= (z-a)(z-a)^* \\ &&&= (z-a)(z^*-a^*) \\ &&&= zz^*-az^*-a^*z+aa^* \\ &&&= r^2 \end{align*} Therefore the locus of \(P\) is a circle centre \(a\) radius \(r\).

1. \begin{align*} && 0 &= zz^* - az^* - a^*z + aa^* - r^2 \\ &&&= \frac{1}{\omega \omega^{*}} - \frac{a}{\omega^*} - \frac{a^*}{\omega} + aa^*-r^2 \\ \Rightarrow && 0 &= 1-a\omega-a^*\omega^*+(|a|^2-r^2)\omega\omega^* \\ \Rightarrow && 0 &= \omega\omega^* - \left ( \frac{a^*}{|a|^2-r^2}\right)^*\omega - \left ( \frac{a^*}{|a|^2-r^2}\right)\omega^*+\left ( \frac{a^*}{|a|^2-r^2}\right)\left ( \frac{a}{|a|^2-r^2}\right)-\left ( \frac{a^*}{|a|^2-r^2}\right)\left ( \frac{a}{|a|^2-r^2}\right)+ \frac{1}{|a|^2-r^2} \\ &&&= \omega\omega^* - \left ( \frac{a^*}{|a|^2-r^2}\right)^*\omega - \left ( \frac{a^*}{|a|^2-r^2}\right)\omega^*+\frac{|a|^2}{(|a|^2-r^2)^2}-\frac{|a|^2}{(|a|^2-r^2)^2}+ \frac{1}{|a|^2-r^2} \\ &&&=\omega\omega^* - \left ( \frac{a^*}{|a|^2-r^2}\right)^*\omega - \left ( \frac{a^*}{|a|^2-r^2}\right)\omega^*+\frac{|a|^2}{(|a|^2-r^2)^2}- \frac{r^2}{(|a|^2-r^2)^2} \end{align*} Therefore \(\displaystyle \left|\omega-\left ( \frac{a^*}{|a|^2-r^2}\right)\right|^2 = \frac{r^2}{(|a|^2-r^2)^2}\) ie \(\omega\) lies on a circle centre \(\frac{a^*}{|a|^2-r^2}\), radius \(\frac{r}{||a|^2-r^2|}\). If these are the same circle then \(r = \frac{r}{||a|^2-r^2|} \Rightarrow (|a|^2-r^2)^2 = 1\) and \(a = \frac{a^*}{|a|^2-r^2} \Rightarrow a = \pm a^*\), ie \(a\) is purely real or imaginary.
2. This is the same story, except we end up with centre \(\frac{a}{|a|^2-r^2}\), so we do not end up with the same conditions

Solution:

+ - ↺

1. \begin{align*} &&\tan \beta &= \frac{y}{2a - x} \\ &&\tan \alpha &= \frac{y}{x+a} \\ && \tan \beta &= \tan 2 \alpha \\ && &= \frac{\tan \alpha}{1 - \tan^2 (\alpha)} \\ \Leftrightarrow && \frac{y}{2a-x}&= \frac{\l \frac{y}{x+a} \r}{1 - \l \frac{y}{x+a} \r^2} \\ && &= \frac{2y(x+a)}{(x+a)^2 - y^2} \\ \Leftrightarrow && (x+a)^2 - y^2 &= 2(x+a)(2a-x) \tag{\(y \neq 0\)} \\ \Leftrightarrow && x^2 + 2ax + a^2 - y^2 &= -2x^2 + 2ax - 4a^2 \\ \Leftrightarrow && y^2 &= 3(x^2-a^2) \end{align*}
2. Therefore if \(y^2 = 3(x^2-a^2)\) we know that \(\tan \beta = \tan 2\alpha\), so \(2\alpha = \beta + n \pi\). Since \(0 < \alpha + \beta < \pi\) (since they are angles in a triangle we must have that \(0 < \alpha + 2\alpha - n \pi = 3\alpha - n\pi < \pi\), so \(0 < \alpha - \frac{n\pi}{3} < \frac{\pi}3\), therefore we have \(3\) cases:

Solution: Note that \begin{align*} && \frac{\d a \sec \theta}{\d \theta} &= a \sec \theta \tan \theta \\ && \frac{\d b \tan \theta}{\d \theta} &= b \sec^2 \theta \\ \Rightarrow && \frac{\d y}{\d x} &= \frac{b \sec^2 \theta}{a \sec \theta \tan \theta} \\ &&&= \frac{b}{a} \frac{1}{\sin \theta} \\ \Rightarrow && \frac{y-b \tan \theta}{x - a \sec \theta} &= \frac{b}{a} \frac{1}{\sin \theta} \\ \Rightarrow && a \sin \theta y - ab \tan \theta \sin \theta &= bx -ab \sec \theta \\ \Rightarrow && bx-ay\sin \theta &= ab \sec x (1 - \sin ^2 \theta) \\ &&&= ab \cos \theta \end{align*}

1. \begin{align*} S: &&& \begin{cases} bx-ay &= 0 \\ bx-ay \sin \theta &= ab \cos \theta \end{cases} \\ \Rightarrow && ay(1-\sin \theta) &= ab \cos \theta \\ \Rightarrow && y &= \frac{b \cos \theta}{1-\sin \theta} \\ &&x &=\frac{a\cos \theta}{1-\sin \theta} \\ T: &&& \begin{cases} bx+ay &= 0 \\ bx-ay \sin \theta &= ab \cos \theta \end{cases} \\ \Rightarrow && ay(1+\sin \theta) &= -ab \cos \theta \\ \Rightarrow && y &= \frac{-b \cos \theta}{1+\sin \theta} \\ &&x &=\frac{a\cos \theta}{1+\sin \theta} \\ M: && x &= \frac{a \cos \theta}{2} \frac{2}{1-\sin^2 \theta} \\ &&&= a \sec \theta \\ && y &= \frac{b \cos \theta}{2} \frac{2 \sin \theta}{1-\sin^2 \theta} \\ &&&= b \tan \theta \end{align*} The midpoint of \(ST\) is the same as \(P\).
2. The tangents are perpendicular, therefore \(\frac{b}{a} \cosec \theta = - \frac{a}{b} \sin \phi\), ie \(b^2 = -a^2 \sin \phi \sin \theta\) The will intersect at: \begin{align*} &&& \begin{cases} bx - ay \sin \theta &= ab \cos \theta \\ bx - ay \sin \phi &= ab \cos \phi \end{cases} \\ \Rightarrow && ay ( \sin \theta - \sin \phi) &= ab(\cos \phi - \cos \theta) \\ \Rightarrow && y &= \frac{b(\cos \phi - \cos \theta)}{(\sin \theta - \sin \phi)} \\ && y^2 &= \frac{-a^2 \sin \phi \sin \theta (\cos\phi - \cos \theta)^2}{(\sin \theta - \sin \phi)^2} \\ \Rightarrow && bx(\sin \phi - \sin \theta) &= ab(\cos \theta \sin \phi - \cos \phi \sin \theta) \\ \Rightarrow && x &= \frac{a(\cos \theta \sin \phi - \cos \phi \sin \theta)}{\sin \phi - \sin \theta} \\ &&&= \frac{a^2(\cos \theta \sin \phi - \cos \phi \sin \theta)^2}{(\sin \phi - \sin \theta)^2} \end{align*} Therefore \begin{align*} && x^2+y^2 &= \frac{a^2}{(\sin \phi - \sin \theta)^2} \l (\cos \theta \sin \phi- \cos \phi \sin \theta)^2 - \sin \phi \sin \theta (\cos\phi - \cos \theta)^2 \r \\ &&&= \frac{a^2}{(\sin \phi - \sin \theta)^2} \l (\sin \phi - \sin \theta)(\cos^2 \theta \sin \phi - \sin \theta \cos^2 \phi) \r \\ &&&=a^2-b^2 \end{align*}

Solution:

1. The tangent has equation: \begin{align*} && 0 &= \frac{Xx}{a^2} + \frac{Yy}{b^2} -1 \\ \Rightarrow &&&= \frac{Xa(1-t^2)}{a^2(1+t^2)} + \frac{Y2bt}{b^2(1+t^2)} - 1 \\ \Rightarrow &&0&= Xb(1-t^2) + Y2at - ab(1+t^2)\\ &&&= -(b(a+X)t^2 -2aYt +b(a-X)) \\ \Rightarrow && 0 &= (a+X)bt^2-2aYt+b(a-X) \\ \\ && 0 <\Delta &= 4a^2Y^2 - 4(a+X)b(a-X)b \\ &&&= 4(a^2Y^2-b^2(a^2-X^2)) \\ \Leftrightarrow && a^2Y^2 &> (a^2-X^2)b^2 \end{align*} Therefore there are two roots to the quadratic, ie two values of the parameter \(t\) which works. The condition is equivalent to \(\frac{X^2}{a^2} + \frac{Y^2}{b^2} > 1\). ie from any point outside the ellipse there are two tangent lies.
   

   + - ↺
   Clearly there are two tangents when \(X = \pm a\) (except \((X,Y) = (\pm a, 0)\).
2. We must have \(p\) and \(q\) are roots of \(0 = (a+X)bt^2-2aYt+b(a-X)\), ie \(pq = \frac{b(a-X)}{(a+X)b} \Rightarrow (a+X)pq = a-X\). Similarly \(p+q = \frac{2aY}{(a+X)b}\) Given that the tangents meet the \(y\)-axis at \((0, y_i)\) we must have \(abt^2-2ay_it + ab = 0\), so \begin{align*} && 0 &= abp^2-2ay_1p + ab \\ && 0 &= abq^2-2ay_2q + ab \\ \Rightarrow && y_1 &= \frac{ab(p^2+1)}{2ap} \\ && y_2 &= \frac{ab(q^2+1)}{2aq} \\ \Rightarrow && 2b &= \frac{ab(p^2+1)}{2ap} +\frac{ab(q^2+1)}{2aq} \\ &&&= \frac{ab(pq(p+q)+p+q)}{2apq} \\ \Rightarrow && 4pq &= pq(p+q)+p+q \\ \Rightarrow && 4 \frac{b(a-X)}{(a+X)b} &= \frac{2aY}{(a+X)b} \left ( \frac{b(a-X)}{(a+X)b} + 1 \right) \\ && &= \frac{2aY}{(a+X)b} \frac{2ab}{(a+X)b} \\ \Rightarrow && 4b^2(a^2-X^2) &= 4a^2bY \\ \Rightarrow && 1 &= \frac{Y}{b} + \frac{X^2}{a^2} \end{align*} as required.

Solution: \(\angle POQ = 90^\circ\) means that if \(P(p^2,p^3)\) and \(Q(q^2,q^3)\) are our points then \(OP^2+OQ^2 = PQ^2\), so \begin{align*} && p^4+p^6+q^4+q^6 &= (p^2-q^2)^2+(p^3-q^3)^2 \\ &&&= p^4+q^4-2p^2q^2+p^6+q^6-2p^3q^3 \\ \Rightarrow && 0 &= 2p^2q^2(1+pq) \\ \Rightarrow && pq &= -1 \\ \\ && \frac{\d y}{ \d x} &= \frac{\frac{\d y }{\d t}}{\frac{\d x}{\d t}} \\ &&&= \frac{3t^2}{2t} = \tfrac32t \\ \Rightarrow && \frac{y-p^3}{x-p^2} &= \tfrac32p \\ \Rightarrow && 2(y-p^3) &=3p(x-p^2) \\ && 2(y-q^3) &=3q(x-q^2) \\ \Rightarrow && 2(q^3-p^3) &= (3p-3q)x+3(q^3-p^3) \\ && p^3-q^3 &= 3(p-q)x \\ \Rightarrow && x &= \tfrac13(p^2+q^2+pq) \\ && 2y &= 3p(\tfrac13(p^2+q^2+pq)-p^2)+2p^3 \\ &&&= p(p^2+q^2+pq)-p^3 \\ &&&= pq^2+p^2q \\ &&&= -p-q \\ &&y&= -\frac{p+q}{2} \\ \\ && 4y^2 &= p^2+q^2 \\ && 3x-1 &= p^2+q^2 \\ \end{align*} To check if they meet, try \(4t^6=3t^2 - 1\). Consider \(y = 4x^3-3x+1\) \(y(0) = 1\) and \(y' = 12x^2-3 = 3(4x^2-1)\) which has roots at \(\pm \tfrac12\), therefore we need to test \(y(\tfrac12) = \tfrac12-\tfrac32 + 1 = 0\), so there is a one intersection at \(x = \tfrac1{2}, y = \tfrac1{2\sqrt{2}}\)

+ - ↺

Solution:

1. \begin{align*} && 2y \frac{\d y}{\d x} &= 4a \\ \Rightarrow && \frac{\d y}{\d x} &= \frac{2a}{y} \end{align*} Therefore we must have \begin{align*} && \underbrace{-\frac{2aq}{2a}}_{\text{gradient of normal}} &= \underbrace{\frac{2ap-2aq}{ap^2-aq^2}}_{\Delta y / \Delta x} \\ \Rightarrow && -q &= \frac{2}{p+q} \\ && 0 &= 2 + pq+q^2 \end{align*}
2. We must have that \(q,r\) are the two roots of \(x^2+px+2 = 0\) \(QR\) has the equation: \begin{align*} && \frac{y-2aq}{x-aq^2} &= \frac{2ar-2aq}{ar^2-aq^2} \\ \Rightarrow && \frac{y-2aq}{x-aq^2} &= \frac{2}{r+q} \\ \Rightarrow && y &= \frac{2}{q+r}(x-aq^2) +2aq \\ && y &= -\frac{2}{p}x+2a\left(q-\frac{q^2}{q+r} \right) \\ &&y&= -\frac{2}{p}x+2a \frac{qr}{q+r} \\ && y &= -\frac{2}{p}x - 2a \frac{2}{p} \\ && y & = -\frac{2}{p}(x+2a) \end{align*} Therefore the point \((-2a,0)\) lies on all such lines.
3. \(OP\) has equation \(y = \frac{2}{p} x\) \begin{align*} && y &= \frac{2}{p} x \\ && y & = -\frac{2}{p}(x+2a) \\ && 2y &= -\frac{4a}{p} \\ \Rightarrow && y &= -\frac{2a}{p} \\ && x &= -a \end{align*} Therefore \(T\left (-a, -\frac{2a}{p} \right)\) always lies on the line \(x = -a\) The distance to the \(x\)-axis from \(T\) is \(\frac{2a}{|p|}\). We need to show that \(p\) can't be too small. Specifically \(x^2+px+2 = 0\) must have \(2\) real roots, ie \(\Delta = p^2-8 \geq 0 \Rightarrow |p| \geq 2\sqrt{2}\), ie \(\frac{2a}{|p|} \leq \frac{2a}{2\sqrt{2}} = \frac{a}{\sqrt{2}}\) as required.

Solution:

1. \(C\) has the equation \(x^2 + y^2 = a^2\). One suitable circle would ideally pass through \((0,a)\) and \((0,-a)\) have a centre on the positive \(x\)-axis, so we would need \(a^2+c^2 = r^2\) so \(c = \sqrt{r^2-a^2}\) and the equation would be \((x-\sqrt{r^2-a^2})^2 + y^2 = r^2\). Clearly a circle with radius \(r < a\) cannot pass through two diametrically opposed points of a circle radius \(a\), since the furthest two points can be on a circle is \(2r\), and diametrically opposed points are \(2a\) apart. Similarly if they are exactly the same radii, then if they pass through diametrically opposed points they must be the same circle.
2. Let the centre of \(D\) be at \((x,y)\), then it must be a distance of \(\sqrt{r^2-a_i}\) from each circle centre, ie \begin{align*} && (x-d)^2+y^2 &= r^2-a_2^2 \\ && (x+d)^2 + y^2 &= r^2-a_1^2 \\ \Rightarrow && 4dx &= a_2^2 - a_1^2 \\ \Rightarrow && x &= \frac{a_2^2-a_1^2}{4d} \\ \Rightarrow && y^2 &= r^2-a_1^2 - \left (\frac{a_2^2-a_1^2}{4d}+d \right)^2 \\ &&&= r^2 - a_1^2 - \frac{(a_2^2-a_1^2+4d^2)^2}{16d^2} \\ &&&= \frac{16d^2r^2-16d^2a_1^2 - a_2^4-a_1^4-16d^4+2a_1^2a_2^2+8a_1^2d^2-8a_2^2d^2}{16d^2} \\ &&&= \frac{16d^2r^2-8d^2a_1^2 - a_2^4-a_1^4-16d^4+2a_1^2a_2^2-8a_2^2d^2}{16d^2} \\ \Rightarrow && y &= \pm \sqrt{ \frac{16d^2r^2-8d^2a_1^2 - a_2^4-a_1^4-16d^4+2a_1^2a_2^2-8a_2^2d^2}{16d^2}} \end{align*} and we need \begin{align*} && 0 &\leq 16d^2r^2-8d^2a_1^2 - a_2^4-a_1^4-16d^4+2a_1^2a_2^2-8a_2^2d^2 \\ \Rightarrow && 16d^2 d^2 &\geq 8d^2a_1^2 + a_2^4+a_1^4+16d^4+2a_1^2a_2^2+8a_2^2d^2 \\ &&&= (4d^2+(a_2-a_1)^2)(4d^2+(a_2+a_1)^2) \end{align*}

Solution:

1. \(r = a \sec \theta \pm b\). The points on \(r = a \sec \theta \Leftrightarrow r \cos \theta = a \Leftrightarrow x = a\) are points on the line \(x = a\). Therefore points on the curve \(r = a \sec \theta \pm b\) are points which are a distance \(b\) from the line \(x = a\) measured towards \(O\). So \(A\) is the origin and \(d = b\).
   

   + - ↺
2. 

   + - ↺
   The loop starts and ends when \(r = a \sec \theta - b = 0 \Rightarrow \cos \theta = \frac{a}{b}\), so when \(a = 1, b = 2\), this is \(-\frac{\pi}{3}\) to \(\frac{\pi}{3}\) \begin{align*} && A &= \frac12 \int r^2 \d \theta \\ &&&= \frac12 \int_{-\pi/3}^{\pi/3} \left ( \sec \theta - 2 \right)^2 \d \theta \\ &&&= \frac12 \int_{-\pi/3}^{\pi/3} \left (\sec^2 \theta - 4 \sec \theta + 4\right)\d \theta \\ &&&= \frac12 \left [ \tan \theta -4 \ln | \sec \theta + \tan \theta| + 4 \theta \right]_{-\pi/3}^{\pi/3} \\ &&&= \frac12 \left (\left (\tan \frac{\pi}3 - 4 \ln | \sec \frac{\pi}3 + \tan \frac{\pi}3 | + 4\left ( \frac{\pi}3 \right)\right) - \left (\tan \left (-\frac{\pi}3 \right) - 4 \ln | \sec \left (-\frac{\pi}3 \right)+ \tan\left ( -\frac{\pi}3 \right) | + 4\left ( -\frac{\pi}3 \right)\right) \right) \\ &&&= \frac12 \left ( 2\sqrt{3} - 4 \ln |2 + \sqrt{3}| + 4 \ln |2-\sqrt{3}| + \frac{8\pi}3 \right) \\ &&&= \sqrt{3} + 2\ln \frac{2-\sqrt{3}}{2+\sqrt{3}} + \frac{4\pi}3 \\ &&&= \sqrt{3} + 4 \ln (2 - \sqrt{3})+ \frac{4\pi}3 \end{align*}

Solution:

1. \(k = 0\), we have \(x^2 + y^2 + 3x + y = 0\), ie \((x+\tfrac32)^2+(y+\tfrac12)^2 = \frac{10}{4}\).
   

   + - ↺
2. \(3x^2 + 3y^2 +10xy = (3x+y)(x+3y)\) so \(x^2 + y^2 + \tfrac{10}3xy + 3x+y = (3x+y)(\frac{x+3y}{3}+1) = 0\) so we have the line pair \(3x +y =0\), \(x+3y + 3 = 0\)
   

   + - ↺
3. If \(k = 2\) then \((x+y)^2 + (x+y)+2x = 0\). If \(\theta = 45^\circ\) then \( X = \frac1{\sqrt{2}}(x+y), Y = \frac{1}{\sqrt{2}}(y-x)\), ie \(x+y = \sqrt{2}X\) and \(x = \frac{1}{\sqrt2}(X-Y)\), so our equation is: \begin{align*} 0 &= 2X^2 + \sqrt{2}X + \sqrt{2}(X-Y) \\ &= (\sqrt{2}X + 1)^2 - 1 - \sqrt{2} Y \end{align*} which would be a parabola with line of symmetry \(X = -\frac{1}{\sqrt{2}}\). However, we are actually looking at that parabola rotated by \(45^\circ\) anticlockwise.
   

   + - ↺

Solution: \begin{align*} && y &= bx-ba \\ && 1 &= x^2 + y^2 \\ \Rightarrow && 1 &= x^2 + b^2(x-a)^2 \\ \Rightarrow && 0 &= (1+b^2)x^2-2ab^2x+b^2a^2-1 \end{align*} This will have roots which sum to \(\frac{2ab^2}{1+b^2}\), therefore \(M = \left ( \frac{ab^2}{1+b^2}, \frac{ab^3}{1+b^2}-ba \right)=\left ( \frac{ab^2}{1+b^2}, \frac{-ba}{1+b^2} \right)\)

1. Since \(b\) is fixed so is \(\frac{b}{1+b^2} = t\) and all the points are \((bta, -ta)\), ie \(x = -by\). If \(a \in [-1,1]\) we are ranging on the points \((bt, -t)\) to \((-bt, t)\) which is a distance of \begin{align*} && d &= \sqrt{(bt+bt)^2+(-2t)^2} \\ &&&= \sqrt{4(b^2+1)t^2} \\ &&&=2 \sqrt{(b^2+1)\frac{b^2}{(b^2+1)^2}} \\ &&&= \frac{2b}{\sqrt{b^2+1}} \end{align*}
   

   + - ↺
2. • If \(a\) is fixed we have \(\left ( \frac{ab^2}{1+b^2}, -\frac{ba}{1+b^2} \right)\) \begin{align*} && \frac{x}{y} &= - b \\ \Rightarrow && y &= \frac{a\frac{x}{y}}{1 + \frac{x^2}{y^2}} \\ \Rightarrow && y^2 \left ( 1 + \frac{x^2}{y^2} \right) &= ax \\ \Rightarrow && x^2-ax + y^2 &= 0 \\ \Rightarrow && \left (x - \frac{a}{2} \right)^2 + y^2 &= \frac{a^2}{4} \end{align*} Therefore we will end up with a circle centre \((\tfrac{a}{2}, 0)\) going through the origin.
     

     + - ↺
   • If \(ab = 1\), we have \(\left ( \frac{b}{1+b^2}, -\frac{1}{1+b^2} \right)\) \begin{align*} && \frac{x}{y} &= -b \\ \Rightarrow && y &= -\frac{1}{1+\frac{x^2}{y^2}} \\ \Rightarrow && y + \frac{x^2}{y} &= - 1 \\ \Rightarrow && y^2 +y+ x^2 &= 0 \\ \Rightarrow && \left ( y + \frac12 \right)^2 + x^2 &= \frac14 \end{align*}
     

     + - ↺

Solution: \begin{align*} && \frac{\d y}{\d x} &= -\frac1{2x^2} \\ \Rightarrow && \frac{y - \frac{1}{2p}}{x - p} &= - \frac{1}{2p^2} \\ \Rightarrow && y - \frac1{2p} &= -\frac{1}{2p^2}x +\frac1{2p} \\ \Rightarrow && y +\frac{1}{2p^2}x &= \frac1p \\ \Rightarrow && 2p^2 y + x &= 2p\\ \Rightarrow && 2q^2 y + x &= 2q \\ \Rightarrow && (p^2-q^2)y &= p-q \\ \Rightarrow && y &= \frac{1}{p+q} \\ && x &= \frac{2pq}{p+q} \end{align*} \begin{align*} \text{normal}: && \frac{y-\frac1{2p}}{x-p} &= 2p^2 \\ \Rightarrow && y - \frac1{2p} &= 2p^2x - 2p^3 \\ \Rightarrow && 2py -4p^3x &= 1-4p^4 \\ \Rightarrow && 2qy -4q^3x &= 1-4q^4 \\ pq = \tfrac12: && y - 2p^2 x &= q-2p^3 \\ && y - 2q^2 x &= p-2q^3 \\ \Rightarrow && (2q^2-2p^2)x &= q-p +2q^3-2p^3 \\ &&&= (q-p)(q+p+2q^2+1+2p^2) \\ \Rightarrow && x &= \frac{1+2(p^2+q^2)+1}{2(p+q)} \\ &&&= \frac{1+2(p^2+q^2+2pq-1)+1}{2(p+q)} \\ &&&= p+q\\ && y &= 2p^2 \left ( p+q \right) + q - 2p^3 \\ &&&= p+q \end{align*} So \(N(p+q, p+q)\) and \(T\left (\frac{1}{p+q}, \frac{1}{p+q} \right)\), so both points lie on \(y = x\). \[ OT \cdot ON = \frac{\sqrt{2}}{p+q} \cdot (p+q)\sqrt{2} = 2 \] which is clearly constant.