The distinct points \(L,M,P\) and \(Q\) of the Argand diagram lie on a circle \(S\) centred on the origin and the corresponding complex numbers are \(l,m,p\) and \(q\). By considering the perpendicular bisectors of the chords, or otherwise, prove that the chord \(LM\) is perpendicular to the chord \(PQ\) if and only if \(lm+pq=0.\) Let \(A_{1},A_{2}\) and \(A_{3}\) be three distinct points on \(S\). For any given point \(A_{1}'\) on \(S\), the points \(A_{2}',A_{3}'\) and \(A_{1}''\) are chosen on \(S\) such that \(A_{1}'A_{2}',A_{2}'A_{3}'\) and \(A_{3}'A_{1}''\) are perpendicular to \(A_{1}A_{2},A_{2}A_{3}\) and \(A_{3}A_{1},\) respectively. Show that for exactly two positions of \(A_{1}',\) the points \(A_{1}'\) and \(A_{1}''\) coincide. If, instead, \(A_{1},A_{2},A_{3}\) and \(A_{4}\) are four given distinct points on \(S\) and, for any given point \(A_{1}',\) the points \(A_{2}',A_{3}',A_{4}'\) and \(A_{1}''\) are chosen on \(S\) such that \(A_{1}'A_{2}',A_{2}'A_{3}',A_{3}'A_{4}'\) and \(A_{4}'A_{1}''\) are respectively perpendicular to \(A_{1}A_{2},A_{2}A_{3},A_{3}A_{4}\) and \(A_{4}A_{1},\) show that \(A_{1}'\) coincides with \(A_{1}''.\) Give the corresponding result for \(n\) distinct points on \(S\).
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.
Let \(a,b,c,d,p\) and \(q\) be positive integers. Prove that:
Solution:
A damped system with feedback is modelled by the equation \[ \mathrm{f}'(t)+\mathrm{f}(t)-k\mathrm{f}(t-1)=0,\mbox{ }\tag{\(\dagger\)} \] where \(k\) is a given non-zero constant. Show that (non-zero) solutions for \(\mathrm{f}\) of the form \(\mathrm{f}(t)=A\mathrm{e}^{pt},\) where \(A\) and \(p\) are constants, are possible provided \(p\) satisfies \[ p+1=k\mathrm{e}^{-p}.\mbox{ }\tag{*} \] Show also, by means of a sketch, or otherwise, that equation \((*)\) can have \(0,1\) or \(2\) real roots, depending on the value of \(k\), and find the set of values of \(k\) for which such solutions of \((\dagger)\) exist. For what set of values of \(k\) do such solutions tend to zero as \(t\rightarrow+\infty\)?
Solution: Suppose \(f(t) = Ae^{pt}\) is a solution, then \begin{align*} && 0 &= Ape^{pt} + Ae^{pt} - Ake^{p(t-1)} \\ \Leftrightarrow && 0 &= p +1 - ke^{-p} \\ \Leftrightarrow && p+1 &= ke^{-p} \end{align*}
The functions \(\mathrm{x}\) and \(\mathrm{y}\) are related by \[ \mathrm{x}(t)=\int_{0}^{t}\mathrm{y}(u)\,\mathrm{d}u, \] so that \(\mathrm{x}'(t)=\mathrm{y}(t)\). Show that \[ \int_{0}^{1}\mathrm{x}(t)\mathrm{y}(t)\,\mathrm{d}t=\tfrac{1}{2}\left[\mathrm{x}(1)\right]^{2}. \] In addition, it is given that \(\mbox{y}(t)\) satisfies \[ \mathrm{y}''+(\mathrm{y}^{2}-1)\mathrm{y}'+\mathrm{y}=0,\mbox{ }(*) \] with \(\mathrm{y}(0)=\mathrm{y}(1)\) and \(\mathrm{y}'(0)=\mathrm{y}'(1)\). By integrating \((*)\), prove that \(\mathrm{x}(1)=0.\) By multiplying \((*)\) by \(\mathrm{x}(t)\) and integrating by parts, prove the relation \[ \int_{0}^{1}\left[\mathrm{y}(t)\right]^{2}\,\mathrm{d}t=\tfrac{1}{3}\int_{0}^{1}\left[\mathrm{y}(t)\right]^{4}\,\mathrm{d}t. \] Prove also the relation \[ \int_{0}^{1}\left[\mathrm{y}'(t)\right]^{2}\,\mathrm{d}t=\int_{0}^{1}\left[\mathrm{y}(t)\right]^{2}\,\mathrm{d}t. \]
Solution: Consider \(\frac12 x(t)^2\) then differentiating we obtain \(x(t)x'(t) = x(t)y(t)\). Also note that \(x(0) = \int_0^0 y(u) \d u = 0\) Therefore, \begin{align*} \int_0^1 x(t)y(t) \d t &= \left [ \frac12 x(t)^2 \right]_0^1 \\ &= \frac12[x(1)]^2 \end{align*} \begin{align*} && 0 &= y'' + (y^2-1)y' + y \\ \Rightarrow && 0 &= \int_0^1 \l y'' + (y^2-1)y' + y \r \d t \\ &&&= \left [y'(t) + \frac13y^3-y+x \right]_0^1 \\ &&&= x(1) \end{align*} Therefore \(x(1) = 0\). \begin{align*} && 0 &= xy'' + (y^2-1)y' x+ yx \\ \Rightarrow && 0 &= \int_0^1 \l xy'' + (y^2-1)y'x + xy \r \d t \\ &&&= \left [ x y' +(\frac13 y^3-y)x \right]_0^1 - \int_0^1 yy'+\frac13y^4-y^2 \d t \\ &&&= 0 - \frac13 \int_0^1 [y(t)]^4 \d t - \int_0^1 [y(t)]^2 \d t \\ \Rightarrow && \int_0^1 [y(t)]^2 \d t &= \frac13 \int_0^1 [y(t)]^4 \d t \end{align*} \begin{align*} && 0 &= yy'' + (y^2-1)y' y+ y^2 \\ \Rightarrow && 0 &= \int_0^1 \l yy'' + (y^2-1)y'y + y^2 \r \d t \\ &&&= \left [ y y' +(\frac14 y^4-\frac12y^2) \right]_0^1 - \int_0^1 [y'(t)]^2 \d t + \int_0^1 y^2 \d t \\ &&&= 0 - \int_0^1 [y'(t)]^2 \d t + \int_0^1 y^2 \d t \\ \Rightarrow && \int_0^1 [y'(t)]^2 \d t &= \int_0^1 [y(t)]^2 \d t \end{align*}
Show by means of a sketch that the parabola \(r(1+\cos\theta)=1\) cuts the interior of the cardioid \(r=4(1+\cos\theta)\) into two parts. Show that the total length of the boundary of the part that includes the point \(r=1,\theta=0\) is \(18\sqrt{3}+\ln(2+\sqrt{3}).\)
Solution:
Two square matrices \(\mathbf{A}\) and \(\mathbf{B}\) satisfies \(\mathbf{AB=0}.\) Show that either \(\det\mathbf{A}=0\) or \(\det\mathbf{B}=0\) or \(\det\mathbf{A}=\det\mathbf{B}=0\). If \(\det\mathbf{B}\neq0\), what must \(\mathbf{A}\) be? Give an example to show that the condition \(\det\mathbf{A}=\det\mathbf{B}=0\) is not sufficient for the equation \(\mathbf{AB=0}\) to hold. Find real numbers \(p,q\) and \(r\) such that \[ \mathbf{M}^{3}+2\mathbf{M}^{2}-5\mathbf{M}-6\mathbf{I}=(\mathbf{M}+p\mathbf{I})(\mathbf{M}+q\mathbf{I})(\mathbf{M}+r\mathbf{I}), \] where \(\mathbf{M}\) is any square matrix and \(\mathbf{I}\) is the appropriate identity matrix. Hence, or otherwise, find all matrices \(\mathbf{M}\) of the form $\begin{pmatrix}a & c\\ 0 & b \end{pmatrix}$ which satisfy the equation \[ \mathbf{M}^{3}+2\mathbf{M}^{2}-5\mathbf{M}-6\mathbf{I}=\mathbf{0}. \]
Solution: Since \(0 = \det \mathbf{0} = \det \mathbf{AB} = \det \mathbf{A} \det\mathbf{B}\) at least one of \(\det \mathbf{A}\) or \(\det \mathbf{B}\) is zero. If \(\det \mathbf{B} \neq 0\) then \(\mathbf{B}\) is invertible, and multiplying on the right by \(\mathbf{B}^{-1}\) gives us \(\mathbf{A} = \mathbf{0}\). If \(\mathbf{A} = \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}\) and \(\mathbf{B} = \begin{pmatrix} 1 & 0 \\1 & 0 \end{pmatrix}\), then \(\det \mathbf{A} = \det \mathbf{B} = 0\), but \(\mathbf{AB} = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} \neq \mathbf{0}\) Since \(\mathbf{M}\) commutes with itself and the identity matrix, this is equivalent to factorising the polynomial over the reals. Therefore $$\mathbf{M}^{3}+2\mathbf{M}^{2}-5\mathbf{M}-6\mathbf{I}=(\mathbf{M}-2\mathbf{I})(\mathbf{M}+\mathbf{I})(\mathbf{M}+3\mathbf{I}),$$ Since we now know at least one of \(\det (\mathbf{M}-2\mathbf{I})\), \(\det (\mathbf{M}+\mathbf{I})\), \(\det (\mathbf{M}+3\mathbf{I})\), we should look at cases: Since at least one of those must be non-zero, we must have the following cases: \((a,b) = (2,-1), (-1,2), (-1,-3), (-3,-1), (2,-3), (-3,2)\) In each of those cases, we will have: \(\begin{pmatrix} 0 & c \\ 0 & b+k \end{pmatrix}\begin{pmatrix} a+l & c \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0\end{pmatrix}\) and so all of those solutions are valid. So \(c\) can be anything as long as \((a,b)\) are in that set of solutions
A disc is free to rotate in a horizontal plane about a vertical axis through its centre. The moment of inertia of the disc about this axis is \(mk^{2}.\) Along one diameter is a narrow groove in which a particle of mass \(m\) slides freely. At time \(t=0,\) the disc is rotating with angular speed \(\Omega,\) and the particle is at a distance \(a\) from the axis and is moving towards the axis with speed \(V\), where \(k^{2}V^{2}=\Omega^{2}a^{2}(k^{2}+a^{2}).\) Show that, at a later time \(t,\) while the particle is still moving towards the axis, the angular speed \(\omega\) of the disc and the distance \(r\) of the particle from the axis are related by \[ \omega=\frac{\Omega(k^{2}+a^{2})}{k^{2}+r^{2}}\qquad\mbox{ and }\qquad\frac{\mathrm{d}r}{\mathrm{d}t}=-\frac{\Omega r(k^{2}+a^{2})}{k(k^{2}+r^{2})^{\frac{1}{2}}}. \] Deduce that \[ k\frac{\mathrm{d}r}{\mathrm{d}\theta}=-r(k^{2}+r^{2})^{\frac{1}{2}}, \] where \(\theta\) is the angle through which the disc has turned at time \(t\). By making the substitution \(u=1/r\), or otherwise, show that \(r\sinh(\theta+\alpha)=k,\) where \(\sinh\alpha=k/a.\) Hence, or otherwise, show that the particle never reaches the axis.
A straight staircase consists of \(N\) smooth horizontal stairs each of height \(h\). A particle slides over the top stair at speed \(U\), with velocity perpendicular to the edge of the stair, and then falls down the staircase, bouncing once on every stair. The coefficient of restitution between the particle and each stair is \(e\), where \(e<1\). Show that the horizontal distance \(d_{n}\) travelled between the \(n\)th and \((n+1)\)th bounces is given by \[ d_{n}=U\left(\frac{2h}{g}\right)^{\frac{1}{2}}\left(e\alpha_{n}+\alpha_{n+1}\right), \] where \({\displaystyle \alpha_{n}=\left(\frac{1-e^{2n}}{1-e^{2}}\right)^{\frac{1}{2}}}\). If \(N\) is very large, show that \(U\) must satisfy \[ U=\left(\frac{L^{2}g}{2h}\right)^{\frac{1}{2}}\left(\frac{1-e}{1+e}\right)^{\frac{1}{2}}, \] where \(L\) is the horizontal distance between the edges of successive stairs.
A thin non-uniform rod \(PQ\) of length \(2a\) has its centre of gravity a distance \(a+d\) from \(P\). It hangs (not vertically) in equilibrium suspended from a small smooth peg \(O\) by means of a light inextensible string of length \(2b\) which passes over the peg and is attached at its ends to \(P\) and \(Q\). Express \(OP\) and \(OQ\) in terms of \(a,b\) and \(d\). By considering the angle \(POQ\), or otherwise, show that \(d < a^{2}/b\).
Solution:
The identical uniform smooth spherical marbles \(A_{1},A_{2},\ldots,A_{n},\) where \(n\geqslant3,\) each of mass \(m,\) lie in that order in a smooth straight trough, with each marble touching the next. The marble \(A_{n+1},\) which is similar to \(A_{n}\) but has mass \(\lambda m,\) is placed in the trough so that it touches \(A_{n}.\) Another marble \(A_{0},\) identical to \(A_{n},\) slides along the trough with speed \(u\) and hits \(A_{1}.\) It is given that kinetic energy is conserved throughout.
Solution: Without loss of generality, let \(m = u = 1\).