Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2008 / Paper 1

The angle-subtraction identity gives $\sqrt{3}\cos \theta +\sin \theta =2\cos (\theta -\pi /6)$. Thus $\cos (\theta -\pi /6)=1/\sqrt{2}$, so $\theta -\pi /6=\pm \pi /4+2k\pi$. Keeping the two values in the specified interval gives

The chain rule gives

The quotient rule and the derivative of the exponential function give

Use the change of variables $u=x^2+1$, $du=2xdx$. ThenDifferentiating verifies this antiderivative on the whole real line.

Integration by parts with $u=x$ and $dv=e^{x}dx$ gives

Factor the polynomial as $(x^2-1)(x^2-2)$. Each factor must vanish, giving all four roots of a polynomial:

Substituting $y=x/2$ into $xy=1$ gives $x^2=2$. The intersection points are $(\sqrt{2},1/\sqrt{2})$ and $(-\sqrt{2},-1/\sqrt{2})$. Their Euclidean distance is

The point on the parabola is $(1,2)$. Implicit differentiation gives $2ydy/dx=4$, so the tangent line has slope one there. Its perpendicular normal line to a plane curve therefore has slope $-1$. The required line is

Write $x/(x-1)=1+1/(x-1)$. The graph is a translated hyperbola, with vertical asymptote $x=1$ and horizontal asymptote $y=1$. It passes through $(0,0)$, lies below $y=1$ for $x<1$ and above it for $x>1$, and has derivative $-1/(x-1{)}^2<0$ on each component of its domain. The left panel below shows both branches.

The domain is $x>0$, and $x\log x\to 0$ from below as $x\downarrow 0$. Its derivative is $1+\log x$, so it decreases up to $x=e^{-1}$ and then increases, with its unique global minimum at $(e^{-1},-e^{-1})$. It crosses the horizontal axis at $(1,0)$ and tends to $+\infty$ as $x\to \infty$. Its second derivative is $1/x>0$, so it is strictly convex. The right panel of the preceding figure shows these features; zero is an excluded endpoint with a finite limiting value, rather than a vertical asymptote.

Evaluate the absolute values on the three intervals separated by one and two:The strict inequality therefore holds precisely for

Let $A$ be the top vertex, $O$ the center, and $B,C$ the two other points on the circle. The diameter bisects the angle at $A$, so the two right triangles obtained by drawing the diameter to the opposite point show that $B,C$ have coordinates $(\mp \sin \theta ,-\cos \theta )$ when $O=(0,0)$ and $A=(0,1)$. The chord $BC$ cuts off a lower circular segment of central angle $2\theta$. The triangle $ABC$ has area $\sin \theta (1+\cos \theta )$, while the segment has area $\theta -\sin \theta \cos \theta$, by subtracting the central triangle from its circular sector. Adding giveswith $\theta$ measured in radians. This is the unit-radius case of the area enclosed by two chords and a circular arc.

The two finite summations cancel term by term after shifting the index. Only the final positive term remains:This is a telescoping sum.

The identity $(n+1{)}^3-n^3=3n(n+1)+1$, summed from zero to $N$, gives $(N+1{)}^3=3{\sum }_{n=0}^{N}n(n+1)+(N+1)$. Hence

Since $\mathbf{n}\cdot \mathbf{n}=1$, the vector $K\mathbf{r}$ is perpendicular to $\mathbf{n}$:It follows that $K^2\mathbf{r}=K\mathbf{r}$. If $\mathbf{r}=t\mathbf{n}$, then $K\mathbf{r}=0$; if $\mathbf{n}\cdot \mathbf{r}=0$, then $K\mathbf{r}=\mathbf{r}$. Thus $K=I-\mathbf{n}{\mathbf{n}}^T$ is the orthogonal projection matrix onto ${\mathbf{n}}^{\perp }$: it removes exactly the component normal to the plane.

For the equally inclined plane choose $\mathbf{n}=(1,1,1)/\sqrt{3}$. Reversing its sign gives the same plane; other sign choices give equivalent reflections of the coordinate axes. One suitable orthonormal basis of this plane isTheir dot products with $\mathbf{n}$ vanish, their lengths are one, and their mutual dot product is zero. The equal first two components of ${\mathbf{e}}_1$ give its equal inclinations to $\mathbf{i},\mathbf{j}$. Because ${\mathbf{e}}_j$ is already in the projection plane, ${\mathbf{e}}_j\cdot K\mathbf{r}={\mathbf{e}}_j\cdot \mathbf{r}$. The coordinates of the projected point are thereforeFor a circle of radius $R$ centered at the origin in $z=0$, its equation $x^2+y^2=R^2$ becomes $3u^2+v^2=R^2$. This is an ellipse with semiaxes $R/\sqrt{3}$ and $R$. Translating the original center only translates its orthogonal projection, so the result applies to every circle in that plane. ConsequentlyThe general reason is the orthogonal projection of a circle between planes: the direction common to the planes retains its length, while the perpendicular direction is shortened by the cosine of their angle.

The relation rearranges to $(z_1+z_3)/2=(z_2+z_4)/2$, so the diagonals $AC$ and $BD$ have the same midpoint. Equivalently $z_2-z_1=z_3-z_4$ and $z_4-z_1=z_3-z_2$: each pair of opposite sides has the same displacement vector. Thus the given quadrilateral is a parallelogram. The identities also describe degenerate configurations if coincident or collinear vertices are allowed.

Multiply numerator and denominator by the complex conjugate of $1+z$. For $z\ne -1$ this givesThus its real part and imaginary part are respectively

Euler's formula gives $e^{iz}=e^{-y}(\cos x+i\sin x)$. Its real part and imaginary part are

Use the complex sine identity $\sin (x+iy)=\sin x\cosh y+i\cos x\sinh y$, then multiply by $x+iy$. The real part and imaginary part are

Multiplying by $z^2-1$ gives $z^6-1=0$. The sixth roots of unity $1,-1$ do not solve the original equation, since substituting either gives three. The other four do, because the extra factor is nonzero. HenceTheir real parts are $\pm 1/2$ and their imaginary parts are $\pm \sqrt{3}/2$, giving the four corners in the left Argand diagram below.

Writing $z=x+iy$ and comparing real parts and imaginary parts gives $\sin x\cosh y=\cosh 2$ and $\cos x\sinh y=0$. A real solution $y=0$ is impossible since $\cosh 2>1$. Thus $\cos x=0$, and positivity forces $\sin x=1$. Consequently $x=\pi /2+2k\pi$ and $\cosh y=\cosh 2$, givingThe right Argand diagram in the preceding figure shows representative points on the lines $\mathrm{Im}z=\pm 2$; each row continues with spacing $2\pi$.

For $|t|<1$, the geometric series gives $(1+t{)}^{-1}={\sum }_{n\ge 0}(-t{)}^n$. Its uniform convergence on every closed interval strictly inside $(-1,1)$ permits termwise integration from zero to $x$. ThereforeSubtracting cancels every even power and doubles every odd power, giving the Taylor series

Use the binomial series and exponential Maclaurin series:The Cauchy product isAdding $\log (1+x)=x-x^2/2+x^3/3-x^4/4+O(x^5)$ cancels the first three powers. Hence the first nonzero term is

Put $d=a-b$. The rational factor has Taylor expansion $1+dx-bd{x}^2+b^{2}d{x}^3+O(x^4)$. Multiplication by the logarithmic power series makes the coefficients of $x^2,x^3$ equal to $d-1/2$ and $1/3-d/2-bd$. Setting both to zero gives $d=1/2$ and $b=1/6$, henceThe coefficient of $x^4$ is $-1/4+d/3+bd/2+b^{2}d=-1/36$. Thus the resulting expansion begins $x-x^4/36+O(x^5)$.

The domain of integration is $0\le x\le 2$, $0\le y\le x^3$. Reversing the order in the double integral and then putting $u=x^4+1$ givesTherefore

The base is the disk $D:(x-a{)}^2+y^2\le a^2$, on which $x\ge 0$. The vertical thickness is $(p-q)x$. Using the symmetry of the disk about $x=a$, or integrating with $x=a+r\cos \varphi$, givesFor the curved cylindrical surface use $x=a(1+\cos \varphi )$, $y=a\sin \varphi$, with $0\le \varphi \le 2\pi$ and $qx\le z\le px$. The area element is $ad\varphi dz$. Its surface area is thereforeThe sloping planar faces are excluded from this curved surface area.

For the binomial distribution and $T\ge 1$, the identity $s\left(\genfrac{}{}{0ex}{}{T}{s}\right)=T\left(\genfrac{}{}{0ex}{}{T-1}{s-1}\right)$ gives the expectationThe final sum is one by the binomial theorem. For $T=0$ the variable is identically zero, so the same answer holds:

For an integrable discrete random variable, its expectation and variance are $\mu ={\sum }_{n\in \mathbb{Z}}n{p}_n$ and ${\sum }_{n\in \mathbb{Z}}(n-\mu {)}^2{p}_n$, respectively. The first formula requires $\sum |n|p_n<\infty$ for a finite ordinary mean; the variance may be infinite. A probability density function gives $P(\alpha <Y<\beta )={\int }_{\alpha }^{\beta }f(y)dy$.

Conditioning on $X$ and using independence givesThe interchange is justified by Tonelli's theorem, since all integrands are nonnegative. Consequently $Z$ has an absolutely continuous distribution, withIts integral is ${\sum }_n{p}_n=1$. This is the convolution of independent random variables, specifically a Gaussian smoothing of an integer-valued distribution for the given normal density. The specified weights are normalized because $2(3/{\pi }^2){\sum }_{n\ge 1}{n}^{-2}=1$.

The density is the symmetric sumFor small $\sigma$, the normal distributions are narrow and well separated, giving peaks near each nonzero integer. The largest two peaks lie near $-1$ and $1$; those near $\pm 2$ have approximately one quarter of their height, and the envelope falls as $1/n^2$. There is no component centered at zero, and the density there is exponentially small. The left panel shows the resulting smooth comb.

For large $\sigma$, neighboring peaks overlap and the density has a broad, smooth, symmetric central hump, approximately $(\sqrt{2\pi }\sigma {)}^{-1}{e}^{-z^2/(2{\sigma }^2)}$ on the scale $z=O(\sigma )$. A precise central-profile statement follows fromfor each fixed $t$, $X/\sigma \to 0$ almost surely and the integrand is bounded, so dominated convergence applies. The right panel of the preceding figure shows this Gaussian-looking core.

This approximation does not remove the heavy-tailed distribution. Here $\mathbb{E}|X|=(6/{\pi }^2){\sum }_{n\ge 1}1/n=\infty$, so the symmetric distribution has no ordinary mean and no finite variance. Adding the independent Gaussian, which has finite absolute moments, leaves these conclusions unchanged. In particular a central Gaussian sketch cannot justify assigning variance ${\sigma }^2$ to $Z$.

The separable differential equation gives $d(1-y)/(1-y)=-3dx/x$. Thus $1-y=C{x}^{-3}$ on $x>0$, and the initial value gives $C=1$. HenceThe initial-value branch cannot cross its singularity at zero.

Multiplication by $e^y$ gives $d(e^y)/dx=x/\sqrt{1+x^2}$. Integrating and imposing $y(0)=0$ yields $e^y=\sqrt{1+x^2}$. Therefore

On an interval avoiding zero put $v=y/x$. A real solution requires $|v|\le 1$, and the principal square root is $\sqrt{x^2-y^2}=|x|\sqrt{1-v^2}$. The homogeneous first-order differential equation reduces toWhere $|v|<1$, separation of variables gives $\arcsin v=\mathrm{sgn}(x)\log |x|+C$. Thus the nonconstant pieces arerestricted to intervals where the cosine of the phase is nonnegative. This sign condition is essential when substituting back into the original square root.

There are also the solutions $y=x$ and $y=-x$. They can join the nonconstant pieces with a continuous first derivative, because the transformed rate vanishes but is not Lipschitz continuous at $v=\pm 1$. For example, on the positive axis every $A>0$ givesThe sticking solutions of a bounded square-root differential equation describe the same joining mechanism on either half-axis after using the increasing variable $t=\mathrm{sgn}(x)\log |x|$.

Near the initial point, division by $\cos x$ gives $y^{\prime }+(1+\tan x)y=2\sec x+2\sin x$. An integrating factor is $e^x\sec x$, andThus $y=2\sin x+C{e}^{-x}\cos x$, and $y(0)=2$ givesAlthough division by $\cos x$ was local, direct substitution verifies this smooth solution in the original equation for every real $x$, including the zeros of $\cos x$.

Set $u=1/y$, so $u^{\prime }=-y^{\prime }/y^2$. The equation becomes $x(x^2-1)u^{\prime }+u=-x^3$. For $x>1$ its integrating factor is $\sqrt{x^2-1}/x$, givingThe initial value is $u(2)=-2$, forcing $C=0$. HenceSubstitution into the original equation verifies this answer throughout $x>0$, including $x=1$ where the divided linear equation was singular. Its maximal connected interval through the initial point is $(0,\infty )$.

The zero set consists of the three lines $x=0$, $y=0$ and $y=x-1$. Their pairwise intersections areThe bounded triangle has $0\le x\le 1$ and $x-1\le y\le 0$. Its edges and interior contours are shown below.

The gradient is $\nabla f=(y(1-2x+y),x(1-x+2y))$. At the three specified points it is respectivelyEach vector is perpendicular to its straight boundary edge and points out of the triangle, where $f$ increases from its negative interior values. The arrows in the preceding figure mark these directions.

Inside the triangle, both $x$ and $y$ are nonzero. Thus $\nabla f=0$ reduces to $1-2x+y=0$ and $1-x+2y=0$, whose unique solution is $(1/3,-1/3)$. At that pointThe Hessian matrix has positive eigenvalues $1$ and $1/3$, so this is a strict local minimum. It is also the minimum on the closed triangle: $f=0$ on the boundary, $f<0$ inside, and there is no other interior stationary point. Therefore

The interior values satisfy $-1/27<f<0$ away from the minimum. The contours are closed curves surrounding $(1/3,-1/3)$, approximately ellipses near that point, and approach the three edges as the level tends to zero. To see their shape globally, put $u=x$, $v=-y$, $w=1-x+y$. These are positive inside and satisfy $u+v+w=1$, while $f=-uvw$. Since $\log (uvw)=\log u+\log v+\log w$ is strictly concave, its nonempty superlevel sets are convex and surround the unique maximum of $uvw$. Thus the negative contours nest without additional components, as in the figure.

The gradient is $(-y^2-2x-3x^2,2y(1-x))$. Its second component vanishes only if $y=0$ or $x=1$. The latter gives the impossible first-component equation $-y^2-5=0$. With $y=0$, the first component gives $x=0$ or $x=-2/3$. The Hessian matrix isAt $(0,0)$ it has eigenvalues $-2,2$, giving a saddle point. At $(-2/3,0)$ its eigenvalues are $2,10/3$, giving a strict local minimum, of value $-4/27$. These are all real stationary points. The minimum is local: for example $g(x,0)\to -\infty$ as $x\to +\infty$.

Expanding the determinant along the first row gives