Problems

---

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:

1. Suppose \(a=b\), ie \begin{align*} && y^2(y^2-a^2) &= x^2(x^2-a^2) \\ \Rightarrow && 0 &= x^4-y^4-a^2(x^2-y^2) \\ &&&= (x^2-y^2)(x^2+y^2-a^2) \end{align*} Therefore we have the lines \(y = \pm x\) and a circle radius \(a\).
   

   + - ↺
2. 1. Since \(x^4 - 4x^2 - y^2(y^2-5)= 0\), we must have \(0 \leq \Delta = 16 + 4y^2(y^2-5) \Rightarrow y^4-5y^2+4 = (y^2-4)(y^2-1) \geq 0\), therefore \(0 \leq y \leq 1\) or \(y \geq 2\) (since we are only considering positive values of \(y\)).
   2. When \((x, y) \approx 0\) the equation is more like \(4x^2 \approx 5y^2\) or \(y \approx \frac{2}{\sqrt{5}}x\) If \(|x|, |y|\) are very large, it is more like \(x^4 \approx y^4\), ie \(y \approx x\)
   3. \(\,\) \begin{align*} && (2y(y^2-5)+y^2(2y))y' &= 2x(x^2-4)+2x^3 \\ \Rightarrow && (4y^3-10y)y' &= 4x^3-8x \end{align*} Therefore the gradient is parallel to the \(x\)-axis when \(x = 0, x = \sqrt{2}\). We need \(x = 0, y \neq 0\), ie \(y = \sqrt{5}\), so \((0, \sqrt{5})\) and \((\sqrt{2}, 0)\) It is parallel to the \(y\)-axis when \(y = 0\) or \(y = \sqrt{\frac52}\), ie \((2, 0)\)
   

   + - ↺
3. \(\,\)
   

   + - ↺

---

Solution:

\begin{align*} && a^2x &= x(b-x)^2 \\ \Rightarrow && 0 &= x((b-x)^2-a^2) \\ &&&= x(b-a-x)(b+a-x)\\ && y &= x(b-x)^2 \\ \Rightarrow && y' &= (b-x)^2-2x(b-x) \\ P(b-a,a^2(b-a)): &&y' &= (b-(b-a))^2-2(b-a)(b-(b-a)) \\ &&&= a^2-2a(b-a) = a(3a-2b) \\ \Rightarrow && y &= a(3a-2b)(x-(b-a)) + a^2(b-a) \\ &&&= a(3a-2b)x + (b-a)(a^2-3a^2+2ba) \\ &&&= a(3a-2b)x + (b-a)2a(b-a) \\ &&&= a(3a-2b)x + 2a(b-a)^2 \\ \end{align*} Therefore the tangent at \(P\) is \(a(3a-2b)x + 2a(b-a)^2\) The area between the curve and \(OP\) is \begin{align*} &&S &= \int_0^{b-a} \left (x(b-x)^2-a^2x \right) \d x\\ &&&= \left [\frac{x^2}{2}b^2 - \frac{2x^3}{3}b +\frac{x^4}{4} - \frac{a^2x^2}{2}\right]_0^{b-a} \\ &&&= (b-a)^2 \tfrac12 (b^2-a^2) - \tfrac23(b-a)^3b + \tfrac14(b-a)^4 \\ &&&= \tfrac1{12}(b-a)^3(6(b+a)-8b+3(b-a)) \\ &&&= \tfrac1{12}(b-a)^3(b+3a) \end{align*} The area \([OPR] = T= \tfrac12 \cdot (b-a) \cdot 2a(b-a)^2 = a(b-a)^3\) Clearly \(S > \frac4{12}(b-a)^3a = \frac13T\)

---

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: \begin{align*} && 2yy' &= 4a \\ \Rightarrow && y' &= \frac{2a}{y} = \frac{2a}{2ap} = \frac1p \\ \Rightarrow && \frac{y-2ap}{x-ap^2} &= \frac1p \\ \Rightarrow && y &= \frac1p x +ap \end{align*} The other tangent will be \(y = \frac1qx+aq\) \begin{align*} &&& \begin{cases} py-x &= ap^2 \\ qy - x &= aq^2 \end{cases} \\ \Rightarrow && y(p-q) &= a(p^2-q^2) \\ \Rightarrow && y &= a(p+q) \\ && x &= apq \end{align*} Therefore \(R(apq, a(p+q)), S(0, ap), T(0, aq)\).

The line \(PQ\) has equation \begin{align*} && \frac{y - 2ap}{x-ap^2} &= \frac{2aq-2ap}{aq^2-ap^2} \\ &&&= \frac{2}{p+q} \\ y= 0: && x - ap^2 &= -(p+q)ap \\ \Rightarrow && x&= -apq \end{align*} So set \(X(-apq, 0)\) \begin{align*} && [RST] &= \frac12 \cdot a(p-q) \cdot (-apq) = \frac12 a^2 |qp(p-q)| \\ \\ && [OPQ] &= [OPX] + [OQX] \\ &&&= \frac12 \cdot (-apq) \cdot 2ap + \frac12 \cdot (-apq) \cdot (-2aq) \\ &&&= -\frac12a^2pq \left (2p-2q \right) = a^2|pq(p-q)| = 2[RST] \end{align*} as required

---

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. \(L_a : \frac{y}{x-a} = \frac{1-a-0}{0-a} = \frac{a-1}{a} \Rightarrow ay+(1-a)x = a(1-a)\) \begin{align*} && ay + (1-a)x &= a(1-a) \\ && by + (1-b)x &= b(1-b) \\ \Rightarrow && aby + b(1-a)x &= ba(1-a) \\ && aby + a(1-b)x &= ab(1-b) \\ \Rightarrow && (b-a)x &= ab(b-a) \\ \Rightarrow && x &= ab \\ && y &= \frac{a-1}{a} \cdot a(b-1) \\ &&&= (1-a)(1-b) \end{align*}
2. As \(a \to b\), \(x \to a^2, y \to 1-2a+a^2 =(1-a)^2 = (1-\sqrt{x})^2\)
3. \(\frac{\d y}{\d x} = 2(1-\sqrt{x})\cdot \left (-\tfrac12 \frac{1}{\sqrt{x}} \right) = 1 - \frac{1}{\sqrt{x}}\). Therefore the tangent when \(x = c^2, y = (1-c)^2\) is \begin{align*} && \frac{y-(1-c)^2}{x-c^2} &= 1 - \frac{1}{c} \\ \Rightarrow && cy + (1-c)x &= c(c-1)+c(1-c)^2 \\ &&&= c(1-c) \end{align*} Which is an equation of the form \(L_c\)

---

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.

---

Solution:

1. \(\,\) \begin{align*} && 1 &= \frac{a}{x} + \frac{b}{y} \\ \frac{\d}{\d x}: && 0 &= -\frac{a}{x^2} - \frac{b}{y^2} \frac{\d y}{\d x} \\ \Rightarrow && \frac{\d y}{\d x} &= -\frac{ay^2}{bx^2} \\ \\ (p,q): && -\frac{aq^2}{bp^2} &= -\frac{a}{b} \\ \Rightarrow && p^2 &= q^2 \\ \Rightarrow && p &= \pm q \\ \\ \Rightarrow && ap \pm b p &= 1 \\ \Rightarrow && (a\pm b)p &= 1 \\ \Rightarrow && \frac{a}{p} \pm \frac{b}{p} &= 1 \\ \Rightarrow && (a \pm b)\frac{1}{p} &= 1 \\ \Rightarrow && (a \pm b)^2 &= 1 \end{align*}
2. \(\,\) \begin{align*} && 1 &= \frac{a}{x} - \frac{b}{y} \\ \Rightarrow && \frac{\d y}{\d x} &= \frac{ay^2}{bx^2} \\ \Rightarrow && \frac{aq^2}{bp^2} &= \frac{b}{a} \\ \Rightarrow && aq &= \pm bp \\ \Rightarrow && 1 &= \frac{a}{p} - \frac{b}{q} \\ &&&= \frac{aq-bp}{pq} \\ \Rightarrow && aq &= -bp \\ \Rightarrow && 1 &= \frac{2aq}{pq} \\ \Rightarrow && p &= 2a \\ \Rightarrow && q &= -2b \\ \Rightarrow && 1 &= 2a^2-2b^2 \\ \Rightarrow && \frac12 &= a^2-b^2 \end{align*}

---

Solution: The tangent at \((at^2, 2at)\) can be found \begin{align*} && \frac{\d y}{\d x} &= \frac{\dot{y}}{\dot{x}} \\ &&&= \frac{2a}{2at} = \frac1t \\ \Rightarrow && \frac{y-2at}{x-at^2} &= \frac1t \\ \Rightarrow && ty -x &= at^2 \\ \\ PT: && py - x &= ap^2 \\ QT: && qy - x &= aq^2 \\ \Rightarrow && (p-q)y &= a(p^2-q^2) \\ \Rightarrow && y &= a(p+q) \\ && x &= aq(p+q) - aq^2 \\ &&&= apq \end{align*} By the cosine rule: \begin{align*} && TP^2 &= FT^2 + FP^2 - 2 \cdot FT \cdot FP \cdot \cos \phi \\ && (apq - ap^2)^2 + (a(p+q)-2ap)^2 &= (a-apq)^2+(a(p+q))^2 + \\ &&&\quad + (a-ap^2) + (2ap)^2 - 2 \cdot FT \cdot FP \cdot \cos \phi \\ \Rightarrow && a^2p^2(q-p)^2 + a^2(q-p)^2 &= a^2(1-pq)^2+a^2(p+q)^2 + \\ &&&\quad + a^2(1-p^2)^2+4a^2p^2 - 2 \cdot FT \cdot FP \cdot \cos \phi \\ && a^2(p^2+1)(q-p)^2 &= a^2(1+p^2)(1+q^2) + a^2(1+p^2)^2 + \\ &&&\quad - 2 \cdot a^2(1+p^2)\sqrt{(1+p^2)(1+q^2)} \cos \phi \\ \Rightarrow && \cos \phi &= \frac{a^2(1+p^2)(2+q^2+p^2-(q-p)^2)}{2 a^2 (1+p^2)\sqrt{(1+p^2)(1+q^2)}} \\ &&&= \frac{1+pq}{\sqrt{(1+p^2)(1+q^2)}} \end{align*} As required. Notice that by symmetry, \(\cos \angle TFQ = \frac{1+qp}{\sqrt{(1+q^2)(1+p^2)}} = \cos \phi\). Therefore they have the same angle and \(FT\) bisects \(PFQ\)

---

Solution: \begin{align*} && y^3 &= x^3 + a^3 + b^3 \\ \Rightarrow && 3y^2 \frac{\d y}{\d x} &= 3x^2 \\ \Rightarrow && \frac{\d y}{\d x} &= \frac{x^2}{y^2} \end{align*} Therefore the tangent at the point \((-a,b)\) has gradient \(\frac{a^2}{b^2}\), ie \begin{align*} && \frac{y-b}{x+a} &= \frac{a^2}{b^2} \\ \Rightarrow && b^2y - b^3 &= a^2 x + a^3 \\ \Rightarrow && b^2 y-a^2 x &= a^3 + b^3 \end{align*} Notice that tangent will be, \(4y-x = 9\) so substituting this we obtain: \begin{align*} && \left (\frac{9+x}{4} \right)^3 &= x^3 + 9 \\ \Rightarrow && 9^3 + 3 \cdot 9^2 x + 3 \cdot 9x^2 + x^3 &= 64x^3 + 64 \cdot 9 \\ \Rightarrow && 9 \cdot (9^2 - 8^2) + 9 \cdot (3 \cdot 9) + 9 \cdot 3x^2 -9 \cdot 7x^3 &= 0 \\ \Rightarrow && 7x^3-3x^2-27x-17 &= 0 \\ \Rightarrow && (x+1)^2(7x-17) &= 0 \tag{repeated root since tangent} \end{align*} So we have another point on the curve \(y^3 = x^3 + 2^3 + 1^3\), namely \((\frac{17}7, \frac{17+9 \cdot 7}{28}) = (\frac{17}7, \frac{20}{7})\), so \begin{align*} 20^3 &= 17^3 + 14^3 + 7^3 \end{align*}

---

Solution: \begin{align*} && 1 &= x^2 + y^2 + 2axy \\ \frac{\d}{\d x}: && 0 &= 2x + 2y \frac{\d y}{\d x} + 2ay + 2ax \frac{\d y}{\d x} \\ &&&= (2x+2ay) + \frac{\d y}{\d x} \left (2ax + 2y \right) \\ \Rightarrow && \frac{\d y}{\d x} &= -\frac{x+ay}{ax+y} \end{align*}

The gradient of \(OP\) is \(\frac{y}{x}\). The gradient of the normal is \(\frac{ax+y}{x+ay}\) Therefore (noting the absolute values in case they are on opposite sides to this diagram: \begin{align*} && \tan \theta &= \Big |\tan \left ( \tan^{-1} \frac{ax+y}{x+ay} - \tan^{-1} \frac{y}{x} \right) \Big | \\ &&&= \Big | \frac{\frac{ax+y}{x+ay} - \frac{y}{x}}{1+\frac{ax+y}{x+ay}\frac{y}{x} } \Big | \\ &&&= \Big | \frac{(ax+y)x - y(x+ay)}{x(x+ay)+y(ax+y)} \Big | \\ &&&= \Big | \frac{ax^2 - ay^2}{x^2+y^2+2ayx} \Big | \\ &&&= a \frac{|y^2-x^2|}{1} \\ &&&= a|y^2-x^2| \end{align*}

1. \(\,\) \begin{align*} && \sec^2 \theta \frac{\d \theta}{\d x} &= \pm a \left (2y \frac{\d y}{\d x} - 2 x\right) \\ \Rightarrow && 0 &= a \left (y \cdot \frac{x+ay}{ax+y} + x \right) \\ &&&=a \left ( \frac{xy+ay^2+ax^2+xy}{ax+y} \right) \\ \Rightarrow && 0 &= a(x^2+y^2)+2xy \end{align*}
2. \(\,\) \begin{align*} && 0 &=a(x^2+y^2)+2xy \\ && 1 &= x^2+y^2 + 2axy \\ \Rightarrow && 1 &= (a+1)(x^2+y^2) + (a+1)(2xy) \\ &&&= (a+1)(x^2+y^2+2xy) \end{align*}
3. \(\,\) \begin{align*} && 1 &= (a+1)(x+y)^2 \\ \Rightarrow && x +y &= \pm \frac{1}{\sqrt{1+a}} \\ && 0 &=a(x^2+y^2)+2xy \\ && 1 &= x^2+y^2 + 2axy \\ \Rightarrow && 1 &= (1-a)(x^2+y^2) + (a-1)(2xy) \\ &&&= (1-a)(x^2+y^2-2xy)\\ \Rightarrow && x-y &= \pm \frac{1}{\sqrt{1-a}} \\ \Rightarrow && \frac{\d \theta}{\d x} &= a|y^2-x^2| \\ &&&= a|(y-x)(x+y)| \\ &&&= \frac{a}{\sqrt{1-a^2}} \end{align*}

---

Solution: Find the gradient of the tangent of the ellipse at \(P\): \begin{align*} && \frac{2x}{a^2} + \frac{2y}{b^2} \frac{\d y}{\d x} &= 0 \\ \Rightarrow && \frac{\d y}{\d x} &= - \frac{2xb^2}{2ya^2} \\ &&&=- \frac{a \cos \theta b^2}{b \sin \theta a^2} \\ &&&=-\frac{b}{a} \cot \theta \end{align*} Therefore the gradient of \(ON\) is \(\frac{a}{b} \tan \theta\). \begin{align*} && y &= \frac{a}{b} \tan \theta x \\ && \frac{y-0}{x-(-ea)} &= \frac{b\sin \theta-0}{a\cos \theta -(-ea)} \\ && y &= \frac{b \sin \theta}{a(e+\cos \theta)}(x+ea) \\ \Rightarrow && y &= \frac{b \sin \theta}{a(\cos \theta+e)}\frac{b}{a} \cot \theta y+ \frac{eb \sin \theta}{\cos \theta + e} \\ &&&= \frac{b^2 \cos \theta}{a^2(\cos \theta +e)}y + \frac{eb \sin \theta}{\cos \theta + e} \\ \Rightarrow && (\cos \theta+e)y &= (1-e^2)\cos \theta y +eb \sin \theta\\ && e(1+e\cos \theta)y &= eb \sin \theta \\ \Rightarrow && y &= \frac{b \sin \theta}{1+e\cos \theta} \\ && x &= \frac{b \sin \theta}{1+e\cos \theta} \frac{b}{a} \cot \theta \\ &&&= \frac{b^2 \cos \theta}{a(1+e\cos \theta)} \end{align*} Therefore \(\displaystyle T\left (\frac{b^2 \cos \theta}{a(1+e\cos \theta)}, \frac{b \sin \theta}{1+e\cos \theta} \right)\). Finally, we can look at the distance of \(T\) from \(S\) \begin{align*} && d^2 &= \left (\frac{b^2 \cos \theta}{a(1+e\cos \theta)}-(-ea) \right)^2 + \left (\frac{b \sin \theta}{1+e\cos \theta} -0\right)^2 \\ &&&= \frac{\left (b^2 \cos \theta+ea^2(1+e\cos\theta)\right)^2 + \left ( ab \sin \theta\right)^2}{a^2(1+e\cos \theta)^2} \\ &&&= \frac{b^4\cos^2\theta+e^2a^4(1+e\cos\theta)^2+2ea^2b^2(1+e\cos\theta)+a^2b^2\sin^2\theta}{a^2(1+e\cos\theta)^2} \\ &&&= \frac{a^4(1-e^2)^2\cos^2\theta+e^2a^4(1+e\cos\theta)^2+2ea^2a^2(1-e^2)(1+e\cos\theta)+a^4(1-e^2)\sin^2\theta}{a^2(1+e\cos\theta)^2} \\ &&&= a^2 \left ( \frac{(1-e^2)^2\cos^2\theta+e^2(1+e\cos\theta)^2+2e(1-e^2)(1+e\cos\theta)+(1-e^2)(1-\cos^2\theta)}{(1+e\cos\theta)^2} \right) \\ &&&= a^2 \left ( \frac{e^2(1+e\cos\theta)^2+(1-e^2)((1-e^2)\cos^2\theta+2e(1+e\cos\theta)+(1-\cos^2\theta))}{(1+e\cos\theta)^2} \right) \\ &&&= a^2 \left ( \frac{e^2(1+e\cos\theta)^2+(1-e^2)(1+e\cos\theta)^2}{(1+e\cos\theta)^2} \right) \\ &&&= a^2 \end{align*} Therefore a circle radius \(a\) centre \(S\).