Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 13H Solution Created 2026-09-24 Updated 2026-10-14
For the first assertion, fix and . By uniform convergence, choose such that for every . By continuity of at , there is such that whenever . The triangle inequality then givesThus a uniform limit of continuous functions is continuous, including at the endpoints with their relative neighborhoods.
The converse implication involving integrals is false. Set and, for , use the shrinking continuous spikes with vanishing integralTheir supports are . For each they eventually vanish at , and they vanish at zero for every . Hence pointwise, with continuous limit. Each triangular area is , so . Yet , excluding uniform convergence.
The final assertion is also false. Take . Then the pointwise limit isThis limit is discontinuous at one but is Riemann integrable, with integral zero. Each is continuous and . Thus convergence of the integrals to the integral of an integrable pointwise limit does not enforce its continuity.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 12A ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 12A i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 11G ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 11G i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 10G iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 10G ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 2 10G i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 9G Solution Created 2026-09-24 Updated 2026-10-14
Sylvester's law of inertia states that a real quadratic form can be brought by an invertible real change of coordinates towith remaining zero coordinates, and that the integers are uniquely determined. To prove existence, represent it by a symmetric matrix. The allowed orthogonal diagonalization yields real eigenvalues, and scaling each nonzero eigen-coordinate by the square root of its absolute eigenvalue changes its coefficient to or .
For uniqueness, is the largest dimension of a subspace on which the form is positive definite. The positive coordinate subspace attains . Any subspace of dimension greater than intersects the -dimensional span of the negative and zero coordinates nontrivially, by the dimension formula. A nonzero vector in that intersection has nonpositive quadratic value, contradicting positive definiteness. Similarly, is the maximal dimension of a negative-definite subspace. These descriptions are independent of coordinates, and is then fixed. This proves existence and uniqueness, including degenerate forms.
For the final application, nonsingularity gives . In diagonal coordinates write , with . If projects to zero in the positive coordinates, forces , so projection is injective. The same argument applies to the negative coordinates. Hence and , and their sum is . ThereforeThe inertia signature is , or signature difference if that convention is used. This is the isotropic dimension bound from real inertia.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 8C Solution Created 2026-09-24 Updated 2026-10-14
For a finite directed flow network with nonnegative finite edge capacities, a source and a distinct sink , the max-flow min-cut theorem states that the largest feasible flow value equals the smallest capacity of a cut separating from . A feasible flow has on each directed edge and flow conservation at all other vertices. Its value is the net outflow at .
For any cut containing but not , sum conservation over vertices of . Internal edges cancel, givingThus every flow value is bounded by every cut capacity.
A maximum flow exists: the feasible set is nonempty, closed and bounded in a finite-dimensional edge-coordinate space, hence compact, and the flow value is continuous. For such a flow, form its residual network: each original edge has forward residual capacity and backward residual capacity . Keep these as edge-labelled arcs if the original network already has edges in both directions. If a directed positive-residual path joined to , increasing the flow along its forward arcs and decreasing it along its backward arcs by the path's positive bottleneck capacity would preserve feasibility and increase the value. That contradicts maximality.
Let be the vertices reachable from by positive residual arcs. Then . Every original edge from to is saturated, otherwise its forward residual arc would extend reachability. Every original edge from to has zero flow, otherwise its backward residual arc would extend reachability. ThereforeTogether with the bound for every flow and cut, this provesThe compactness step makes the proof valid for arbitrary real capacities; it does not assume that a particular augmenting-path algorithm terminates after finitely many augmentations.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 7C Solution Created 2026-09-24 Updated 2026-10-14
Write , , and . The normal likelihood is proportional to . Its unrestricted maximizers are , . Under the null the variance maximizer is . Substitution gives the generalized likelihood-ratio test statisticThe ratio decreases as increases, so the likelihood-ratio rejection region is two-sided in . Under , is standard normal and is independent chi-squared with degrees of freedom. Independence follows by resolving the isotropic Gaussian sample vector into its projection on the constant vector and its orthogonal complement. Hence has the exact Student t-distribution with degrees of freedom.
For a chosen significance level , compute the sample mean and the sample standard deviation with denominator , and reject precisely whenEquivalently, report the two-sided -value . This requires and positive population variance; holds almost surely under that model. The nuisance variance is removed by the exact null distribution, so one should not substitute a normal critical value or a large-sample chi-squared approximation. This is the normal-mean likelihood ratio with unknown variance.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 6F Solution Created 2026-09-24 Updated 2026-10-14
The first matrix column is already the unit vector , so the first QR elimination needs no reflection. In the remaining three coordinates, the second column is , with norm three. To map it to , use the Householder transformationIt is symmetric and orthogonal and satisfies . Extend it to . The QR decomposition and transformed right side areFor the lower right-side block, , so its transformed value is .
Orthogonality preserves the least-squares residual norm. Thus the first two squared residual terms can and must be set to zero, while the last two are independent of the unknowns:The minimum squared residual is . The solution is unique since the triangular factor has nonzero diagonal entries. No normal equations are used.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 5D iv Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 5D iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 5D ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 5D i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 4B Solution Created 2026-09-24 Updated 2026-10-14
Use the position four-vector and Minkowski signature . Along a massive particle's timelike path,Thus its four-velocity is , and multiplying by the invariant rest mass givesIts temporal component is , and the invariant relation is .
For a massless particle, use the null energy–momentum relation rather than substituting into : a massless particle has no proper-time parametrization of a timelike rest frame. With positive energy, implies . HenceThe original PDF retains the spatial vector in this expression; the TeX conversion incorrectly replaced it by its magnitude.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 3F Solution Created 2026-09-24 Updated 2026-10-14
The partial fraction decomposition is . Put and expand each reciprocal by a geometric series:Adding gives the Taylor seriesEquivalently, since , its coefficient is . The first terms are .
The nearest nonremovable poles are and , both at distance from the center. The function is holomorphic throughout the open disk of that radius and cannot be holomorphic across either pole. Therefore the largest radius of convergence is .
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 2A Solution Created 2026-09-24 Updated 2026-10-14
For a geodesic spherical triangle on a sphere of radius , the Gauss-Bonnet theorem giveswhere are its interior angles. Indeed, its geodesic sides have zero geodesic curvature, its Gaussian curvature is , and its three exterior turning angles sum to .
Choose a point strictly inside a full-dimensional convex polyhedron and radially project its boundary onto the unit sphere. Triangulate each projected face by diagonals, using only its existing vertices. Convexity ensures that the resulting spherical triangles cover the sphere once, with disjoint interiors. A face with edges gives triangles, so their number is , since every original edge belongs to two faces.
Sum the spherical excess formula over all triangles. The total area is , and the angles incident to each projected vertex sum to . No additional vertices were introduced by the face triangulations. HenceThis is the spherical-triangle proof of the polyhedron Euler formula.
Past exam of the mathematics course of the University of Cambridge 2007 ib Paper 1 1G Solution Created 2026-09-24 Updated 2026-10-14
In the given basis, the matrix is . Let , a primitive cube root of unity. For each ,Thus these are eigenvectors with distinct eigenvalues , respectively, and form an eigenbasis. SetThe columns are mutually orthogonal with squared norm three, so . The diagonalization and characteristic polynomial areScaling by gives a unitary diagonalizing matrix.
There are unlisted articles, also show them or only show them.