By making the substitution \(y=\cos^{-1}t,\) or otherwise, show that \[ \int_{0}^{1}\cos^{-1}t\,\mathrm{d}t=1. \] A pin of length \(2a\) is thrown onto a floor ruled with parallel lines equally spaced at a distance \(2b\) apart. The distance \(X\) of its centre from the nearest line is a uniformly distributed random variable taking values between \(0\) and \(b\) and the acute angle \(Y\) the pin makes with a direction perpendicular to the line is a uniformly distributed random variable taking values between \(0\) and \(\pi/2\). \(X\) and \(Y\) are independent. If \(X=x\) what is the probability that the pin crosses the line? If \(a < b\) show that the probability that the pin crosses a line for a general throw is \(\dfrac{2a}{\pi b}.\)
Solution: \begin{align*} && I &= \int_0^1 \cos^{-1} t \d t \\ \cos y = t: -\sin y \d y = \d t: &&&= \int_{\frac{\pi}{2}}^0 -y \sin y \d y \\ &&&= \int_0^{\pi/2} y \sin y \d y \\ &&&= \left [-y \cos y \right]_0^{\pi/2} + \int_0^{\pi/2} \cos y \d y \\ &&&= \left [ \sin y \right]_0^{\pi/2} = 1 \end{align*}
In the game of ``Colonel Blotto'' there are two players, Adam and Betty. First Adam chooses three non-negative integers \(a_{1},a_{2}\) and \(a_{3},\) such that \(a_{1}+a_{2}+a_{3}=9,\) and then Betty chooses non-negative integers \(b_{1},b_{2}\) and \(b_{3}\), such that \(b_{1}+b_{2}+b_{3}=9.\) If \(a_{1} > b_{1}\) then Adam scores one point; if \(a_{1} < b_{1}\) then Betty scores one point; and if \(a_{1}=b_{1}\) no points are scored. Similarly for \(a_{2},b_{2}\) and \(a_{3},b_{3}.\) The winner is the player who scores the greater number of points: if the socres are equal then the game is drawn. Show that, if Betty knows the numbers \(a_{1},a_{2}\) and \(a_{3},\) she can always choose her numbers so that she wins. Show that Adam can choose \(a_{1},a_{2}\) and \(a_{3}\) in such a way that he will never win no matter what Betty does. Now suppose that Adam is allowed to write down two triples of numbers and that Adam wins unless Betty can find one triple that beats both of Adam's choices (knowing what they are). Confirm that Adam wins by writing down \((5,3,1)\) and \((3,1,5).\)
Two non-parallel lines in 3-dimensional space are given by \(\mathbf{r}=\mathbf{p}_{1}+t_{1}\mathbf{m}_{1}\) and \(\mathbf{r}=\mathbf{p}_{2}+t_{2}\mathbf{m}_{2}\) respectively, where \(\mathbf{m}_{1}\) and \(\mathbf{m}_{2}\) are unit vectors. Explain by means of a sketch why the shortest distance between the two lines is \[ \frac{\left|(\mathbf{p}_{1}-\mathbf{p}_{2})\cdot(\mathbf{m}_{1}\times\mathbf{m}_{2})\right|}{\left|(\mathbf{m}_{1}\times\mathbf{m}_{2})\right|}. \]
\noindent
In this question, \(\mathbf{A,\mathbf{B\) }}and \(\mathbf{X\) are non-zero \(2\times2\) real matrices.} Are the following assertions true or false? You must provide a proof or a counterexample in each case.
Solution:
The integers \(a,b\) and \(c\) satisfy \[ 2a^{2}+b^{2}=5c^{2}. \] By considering the possible values of \(a\pmod5\) and \(b\pmod5\), show that \(a\) and \(b\) must both be divisible by \(5\). By considering how many times \(a,b\) and \(c\) can be divided by \(5\), show that the only solution is \(a=b=c=0.\)
Solution: \begin{array}{c|ccccc} a & 0 & 1 & 2 & 3 & 4 \\ a^2 & 0 & 1 & 4 & 4 & 1 \end{array} Therefore \(a^2 \in \{0,1,4\}\) and so we can have \begin{array} $2a^2+b^2 & 0 & 1 & 4 \\ \hline 0 & 0 & 1 & 4 \\ 1 & 2 & 3 & 1 \\ 4 & 3 & 4 & 2 \end{array} Therefore the only solution must have \(5 \mid a,b\), but then we can write them has \(5a'\) and \(5b'\) so the equation becomes \(2\cdot25 a'^2 + 25b'^2 = 5c^2\) ie \(5 \mid c^2 \Rightarrow 5 \mid c\). But that means we can always divide \((a,b,c)\) by \(5\), which is clearly a contradiction if we consider the lowest power of \(5\) dividing \(a,b,c\) for any solution.
Suppose that \(a_{i}>0\) for all \(i>0\). Show that \[ a_{1}a_{2}\leqslant\left(\frac{a_{1}+a_{2}}{2}\right)^{2}. \] Prove by induction that for all positive integers \(m\) \[ a_{1}\cdots a_{2^{m}}\leqslant\left(\frac{a_{1}+\cdots+a_{2^{m}}}{2^{m}}\right)^{2^{m}}.\tag{\ensuremath{*}} \] If \(n<2^{m}\), put \(b_{1}=a_{2},\) \(b_{2}=a_{2},\cdots,b_{n}=a_{n}\) and \(b_{n+1}=\cdots=b_{2^{m}}=A\), where \[ A=\frac{a_{1}+\cdots+a_{n}}{n}. \] By applying \((*)\) to the \(b_{i},\) show that \[ a_{1}\cdots a_{n}A^{(2^{m}-n)}\leqslant A^{2^{m}} \] (notice that \(b_{1}+\cdots+b_{n}=nA).\) Deduce the (arithmetic mean)/(geometric mean) inequality \[ \left(a_{1}\cdots a_{n}\right)^{1/n}\leqslant\frac{a_{1}+\cdots+a_{n}}{n}. \]
\textit{In this question, the argument of a complex number is chosen to satisfy \(0\leqslant\arg z<2\pi.\)} Let \(z\) be a complex number whose imaginary part is positive. What can you say about \(\arg z\)? The complex numbers \(z_{1},z_{2}\) and \(z_{3}\) all have positive imaginary part and \(\arg z_{1}<\arg z_{2}<\arg z_{3}.\) Draw a diagram that shows why \[ \arg z_{1}<\arg(z_{1}+z_{2}+z_{3})<\arg z_{3}. \] Prove that \(\arg(z_{1}z_{2}z_{3})\) is never equal to \(\arg(z_{1}+z_{2}+z_{3}).\)