5 problems found
Solution:
The points \(P\), \(Q\) and \(R\) lie on a sphere of unit radius centred at the origin, \(O\), which is fixed. Initially, \(P\) is at \(P_0(1, 0, 0)\), \(Q\) is at \(Q_0(0, 1, 0)\) and \(R\) is at \(R_0(0, 0, 1)\).
Let \(R_{\alpha}\) be the \(2\times2\) matrix that represents a rotation through the angle \(\alpha\) and let $$A=\begin{pmatrix}a&b\\b&c\end{pmatrix}.$$
Solution: \begin{questionparts} \item \begin{align*} R_{-\alpha}AR_{\alpha} &= \begin{pmatrix} \cos \alpha & \sin\alpha \\ -\sin \alpha & \cos \alpha \end{pmatrix}\begin{pmatrix} a & b \\ b & c \end{pmatrix} \begin{pmatrix} \cos \alpha & -\sin\alpha \\ \sin \alpha & \cos \alpha \end{pmatrix} \\ &= \begin{pmatrix} \cos \alpha & \sin\alpha \\ -\sin \alpha & \cos \alpha \end{pmatrix} \begin{pmatrix} a\cos \alpha + b \sin \alpha & -a\sin\alpha + b \cos\alpha \\ b\cos\alpha + c \sin\alpha & c\cos\alpha-b\sin\alpha \end{pmatrix} \\ &= \begin{pmatrix} a\cos^2\alpha+2b\sin\alpha\cos\alpha+c\sin^2\alpha & -a\sin\alpha\cos \alpha+b\cos^2\alpha +c\sin\alpha\cos\alpha-b\sin^2 \alpha\\ (c-a)\sin\alpha\cos \alpha +b(\cos^2\alpha-\sin^2 \alpha) & a\sin^2 \alpha -2b\sin\alpha\cos\alpha+c\cos^2\alpha \end{pmatrix} \\ &= \begin{pmatrix} * & \frac{c-a}{2}\sin2\alpha+b \cos 2\alpha\\\frac{c-a}{2}\sin2\alpha+b \cos 2\alpha & * \end{pmatrix} \end{align*} Therefore this will be diagonal if \(\tan 2\alpha = \frac{2b}{a-c} \Rightarrow \alpha = \frac12 \tan^{-1} \l \frac{2b}{a-c} \r\) \item \begin{align*} x^2+(y+2x\cot2\theta)^2 &= x^2(1 + 4\cot^22\theta) + 4\cot2\theta xy + y^2 \\ &= \begin{pmatrix}x&y\end{pmatrix}\begin{pmatrix} 1 + 4\cot^22\theta & 2\cot 2\theta \\ 2\cot 2\theta & 1 \end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix} \end{align*} Plugging this \(\mathbf{A}\) in our result from before we discover \begin{align*} \frac12 \tan^{-1} \l \frac{2b}{a-c} \r &= \frac12 \tan^{-1} \l \frac{4\cot 2\theta}{1 + 4\cot^22\theta-1} \r \\ &= \frac12 \tan^{-1} \l \tan 2 \theta \r \\ &= \theta \end{align*} Therefore, the matrix will be: \begin{align*} & \textrm{diag}\begin{pmatrix} (1+4\cot^2 2\theta)\cos^2 \theta + 4\cot2\theta \sin\theta\cos\theta + \sin^2 \theta \\ (1+4\cot^2 2\theta)\sin^2 \theta - 4\cot2\theta \sin\theta\cos\theta + \cos^2 \theta \end{pmatrix} \\ =& \textrm{diag}\begin{pmatrix} \cos^2\theta + \frac{\cos^2 2\theta}{\sin^2 \theta} + 2\cos 2\theta + \sin^2 \theta \\ \sin^2\theta + \frac{\cos^2 2\theta}{\cos^2 \theta} - 2\cos 2\theta + \cos^2 \theta \end{pmatrix} \\ =& \textrm{diag}\begin{pmatrix} 1 + \cos 2\theta \l \frac{\cos2\theta}{\sin^2 \theta} + 2\r \\ 1 + \cos 2\theta \l \frac{\cos2\theta}{\cos^2 \theta} - 2\r \\ \end{pmatrix} \\ =& \textrm{diag}\begin{pmatrix} 1 + \cos 2\theta \l \frac{\cos^2 \theta + \sin^2 \theta}{\sin^2 \theta}\r \\ 1 -\cos 2\theta \l \frac{-\cos^2 \theta - \sin^2 \theta}{\cos^2 \theta}\r \\ \end{pmatrix} \\ =& \textrm{diag}\begin{pmatrix} 1 + (\cos^2\theta - \sin^2 \theta) \cosec^2 \theta \\ 1 - (\cos^2\theta - \sin^2 \theta) \sec^2 \theta \\ \end{pmatrix} \\ =& \textrm{diag}\begin{pmatrix} \cot^2 \theta \\ \tan^2 \theta \\ \end{pmatrix} \\ \end{align*} Therefore this is a rotation of an ellipse with equation: \((\cot \theta x)^2 + (\tan \theta y)^2 = 1\), ie the shortest side and longest side are \(\cot \theta\) and \(\tan \theta\) respectively, but we know since \(0 < \theta < \tfrac{1}{4}\pi\) the shortest will be \(\tan \theta\) and the longest \(\cot \theta\).
Consider the following sets with the usual definition of multiplication appropriate to each. In each case you may assume that the multiplication is associative. In each case state, giving adequate reasons, whether or not the set is a group.
Solution:
| 1 | 3 | 5 | 7 | |
| 1 | 1 | 3 | 5 | 7 |
| 3 | 3 | 1 | 7 | 5 |
| 5 | 5 | 7 | 1 | 3 |
| 7 | 7 | 5 | 3 | 1 |
| 1 | 2 | 3 | 4 | |
| 1 | 1 | 2 | 3 | 4 |
| 2 | 2 | 4 | 1 | 3 |
| 3 | 3 | 1 | 4 | 2 |
| 4 | 4 | 3 | 2 | 1 |
| (i) | (iii) | (iv) | (vi) | |
| (i) | \(\checkmark\) | \(\checkmark\) consider \(z \mapsto \begin{pmatrix} \cos \arg (z) | - \sin \arg(z) | |
| \sin \arg(z) | \cos \arg(z) \end{pmatrix}\) | not finite | not finite | |
| (iii) | \(\checkmark\) | not finite | not finite | |
| (iv) | \(\checkmark\) | no element order \(4\) | ||
| (vi) | \(\checkmark\) |
The matrix \(\mathbf{M}\) is given by \[ \mathbf{M}=\begin{pmatrix}\cos(2\pi/m) & -\sin(2\pi/m)\\ \sin(2\pi/m) & \cos(2\pi/m) \end{pmatrix}, \] where \(m\) is an integer greater than \(1.\) Prove that \[ \mathbf{M}^{m-1}+\mathbf{M}^{m-2}+\cdots+\mathbf{M}^{2}+\mathbf{M}+\mathbf{I}=\mathbf{O}, \] where $\mathbf{I}=\begin{pmatrix}1 & 0\\ 0 & 1 \end{pmatrix}\( and \)\mathbf{O}=\begin{pmatrix}0 & 0\\ 0 & 0 \end{pmatrix}.$ The sequence \(\mathbf{X}_{0},\mathbf{X}_{1},\mathbf{X}_{2},\ldots\) is defined by \[ \mathbf{X}_{k+1}=\mathbf{PX}_{k}+\mathbf{Q}, \] where \(\mathbf{P,Q}\) and \(\mathbf{X}_{0}\) are given \(2\times2\) matrices. Suggest a suitable expression for \(\mathbf{X}_{k}\) in terms of \(\mathbf{P},\) \(\mathbf{Q}\) and \(\mathbf{X}_{0},\) and justify it by induction. The binary operation \(*\) is defined as follows: \[ \mathbf{X}_{i}*\mathbf{X}_{j}\mbox{ is the result of substituting \ensuremath{\mathbf{X}_{j}}for \ensuremath{\mathbf{X}_{0}}in the expression for \ensuremath{\mathbf{X}_{i}}. } \] Show that if \(\mathbf{P=M},\) the set \(\{\mathbf{X}_{1},\mathbf{X}_{2},\mathbf{X}_{3},\ldots\}\) forms a finite group under the operation \(*\).
Solution: \(\mathbf{M}^m = \mathbf{I}\), we also have \(\mathrm{det}(\mathbf{M - I}) = \cos^2(2\pi/m) - 2\cos(2\pi/m) + 1 + \sin^2(2\pi/m) = 2(1-\cos(2\pi/m))\) therefore \(\mathbf{M-I}\) is invertible. Therefore since \(\mathbf{(M-I)(M^{m-1} + M^{m-1} + \cdots + M^2 + M + I)= M^m-I = 0}\) we can cancel the \(\mathbf{M-I}\) to obtain the desired result. \(\mathbf{X_0 = X_0}\) \(\mathbf{X_1 = PX_0+Q}\) \(\mathbf{X_2 = P(PX_0+Q)+Q = P^2X_0 + PQ + Q}\) Claim: \(\mathbf{X_k = P^k X_0 + (P^{k-1} + P^{k-2} + \cdots + I)Q}\) Proof: (By induction on \(k\)). Base case \(k = 0\) is true. Assume it's true for some \(k = l\), then consider \(k = l+1\) \(\mathbf{X_{l+1} = PX_l + Q = P( P^l X_0 + (P^{l-1} + P^{l-2} + \cdots + I)Q) + Q = P^{l+1}X_0 + (P^l + P^{l-1} + \cdots + P)Q + Q = P^{l+1}X_0 + (P^l + P^{l-1} + \cdots + P + I)Q}\) Suppose \(\mathbf{P} = \mathbf{M}\), then consider the set \(\{\mathbf{X_1, X_2}, \ldots\}\) with the operation \(*\) as defined. \(\mathbf{X_i * X_j} = M^{i}(X_j) + (M^{i-1} + M^{i-2} + \cdots + M + I)Q = M^{i}(M^jX_0 + (M^{j-1} + M^{j-2} + \cdots + M + I)Q) + (M^{i-1} + M^{i-2} + \cdots + M + I)Q = M^{i+j}X_0 + (M^{i+j-1}+\cdots + M + I)Q = X_{i+j}\) Since \(X_m = X_0\) we can check all the requirements of the group, but this is going to be isomorphic to the cyclic group with \(m\) elements.