Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 17 b Solution by
Codex 0 2026-10-18
The periodic continuation is on each interval . Thus the plot repeats an increasing exponential segment on each of the three requested periods, jumping down from to at odd multiples of .
At , the left and right limits are and . The Dirichlet-Jordan convergence theorem therefore makes the Fourier series converge toThe actual half-open periodic definition has ; the Fourier value at the jump need not equal that assigned endpoint value.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 17 a Solution by
Codex 0 2026-10-18
With the usual real normalization, the Fourier series iswith Fourier coefficientsThese formulas follow from Fourier orthogonality. Integrability is needed to define the coefficients, and periodicity alone does not guarantee pointwise equality with the series. For a piecewise smooth periodic function, the Dirichlet-Jordan convergence theorem gives the average of the one-sided limits at a jump and the function value at a continuity point.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 16 b Solution by
Codex 0 2026-10-18
The partial derivatives give and . If either coordinate is zero, both vanish. Otherwise substitution gives , so the real stationary points are , and .
The Hessian matrix isAt the origin its eigenvalues are and , so it is a saddle at level zero. At either of the other points its eigenvalues are and , so both are strict minima at level . In fact,with equality only at those two points. HenceFor levels , two separate closed contours surround the two minima. At the contours form two lobes, in the first and third quadrants, meeting at the origin. Their limiting tangent directions there are the coordinate axes because the leading term is . On the diagonal the outer zero-level points are . Positive levels form one closed outer contour enclosing both wells; there are no contours below . The graph is symmetric under exchanging and under reversing both signs, but not under a quarter-turn. These features are the case of the quartic double well with bilinear coupling.
The quartic function's two minima, saddle, and transition from two contour loops to one
. Details. Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 16 a Solution by
Codex 0 2026-10-18
The gradient equations factor asFor they give . Otherwise , which gives and the matching . Thus there are exactly four stationary points.
The Hessian matrix isAt it is , and at it is . At and its determinant is . The second-derivative test therefore yieldsThe extrema are local: along the cubic is unbounded both above and below.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 15 b Solution by
Codex 0 2026-10-18
Translate the variables by , , . The numerator becomes . The part odd in integrates to zero, while the constant part factors into three Gaussian integrals. ThusThe absolute integrability of a polynomial times a Gaussian justifies this separation by Fubini's theorem. Neither nor affects the result; when , odd symmetry makes the integral zero.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 14 c Solution by
Codex 0 2026-10-18
Use the convention , , , with measured from the positive vertical axis. The squared radius isSince the horizontal radial distance is for finite ,The horizontal angle advances with . Thus the spherical coordinates areAn unwrapped continuous azimuth is simply ; a principal-angle convention introduces harmless jumps by . The polar angle stays in and approaches the two poles only as .
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 14 b Solution by
Codex 0 2026-10-18
Choose any nonzero auxiliary vector not collinear with . Then form a basis, so writeTaking the dot product with gives . This separates the two cases requested in the hint.
If , choose freely and solve for :If , the coefficient of is fixed and the other two are free:These formulas describe the whole plane with normal , including . Completeness follows from the basis expansion, not only from checking that the displayed vectors satisfy the equation. The parametrization of a plane with an auxiliary vector also gives a single formula valid in both cases.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 14 a Solution by
Codex 0 2026-10-18
The nonparallel direction unit vectors have nonzero cross product. LetFor any joining vector , its normal component is fixed:Thus its length is at least the absolute value of that component. Since the two line directions span , suitable cancel the entire component in that plane, attaining the bound. Therefore the distance between skew lines, including the zero-distance intersecting case, isThe numerator is a scalar triple product. The nonparallel hypothesis is essential to the denominator and to the spanning argument.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 13 b Solution by
Codex 0 2026-10-18
The characteristic polynomial of the homogeneous equation is . Thus the complementary function is . The forcing resonates with the first term, so a resonant exponential particular solution is . Substitution gives , hence .
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 12 d Solution by
Codex 0 2026-10-18
By De Moivre's theorem, . Take real parts of the binomial expansion:Eliminate using and collect powers:
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 12 c Solution by
Codex 0 2026-10-18
Divide the complex polynomial by its known factor :The quadratic factors further as , because its two proposed roots sum to and multiply to . Therefore the remaining solutions areAll three roots are distinct. Complex coefficients do not require nonreal roots to occur in conjugate pairs.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 12 b Solution by
Codex 0 2026-10-18
Use the exponential definition of the hyperbolic tangent:The complex exponential has modulus one here, so . Its arguments satisfy . Thus all solutions areThe denominator is then , so no pole was admitted by cross-multiplication. Substitution also follows from and the period .
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 12 a Solution by
Codex 0 2026-10-18
The complex number has complex modulus and argument . A cube root has modulus , and its argument is one third of . Hence the three distinct roots areTheir displayed arguments are , , and ; the last is equivalently in the principal range.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 11 d Solution by
Codex 0 2026-10-18
Resolve the input along the three perpendicular eigendirections. The linear map removes the component along , stretches the component along by , and reverses and stretches the component along by . Every output lies in the plane perpendicular to . A nonzero input in the kernel of a linear map is sent to zero; other nonzero inputs remain in that output plane. Equivalently, take the orthogonal projection onto this plane, then scale by the two signed eigenvalues along its perpendicular eigendirections.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2014 Paper 1 11 c Solution by
Codex 0 2026-10-18
Expand an arbitrary vector in the orthonormal eigenbasis:Its image has no component along , soAlternatively, symmetry gives . This is image-kernel orthogonality for an adjoint, with .
There are unlisted articles, also show them or only show them.

