Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 20G a Solution Created 2026-09-24 Updated 2026-10-14
The ideal class group of a number field is the group of nonzero fractional ideals of its ring of integers under multiplication, modulo the subgroup of principal fractional ideals. For degree and pairs of complex embeddings, the Minkowski bound for ideal classes states that each class contains an integral ideal withThere are only finitely many integral ideals of bounded ideal norm: as sublattices of the free abelian group of integers, they have bounded index, and finitely many subgroups have any fixed index. Thus the ideal class group is finite.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 18H iii Solution Created 2026-09-24 Updated 2026-10-14
The splitting field over is , and it contains the unique subfield . Over , Frobenius is the square of the order-four Frobenius, so it has two orbits of length two on the four roots. Thus factors into two irreducible quadratics, andgenerated by on .
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 18H i Solution Created 2026-09-24 Updated 2026-10-14
Over a finite field , the splitting field is a finite extension , where is the least common multiple of the degrees of the distinct irreducible factors. Its Galois group is cyclic of order , generated by .
Over , the polynomial has no linear factor: its values at zero and one are both one. The only irreducible quadratic is ; reduction modulo it gives , not zero. A reducible quartic without linear factors would split into quadratics, so is irreducible. Thus its splitting field is and
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 17F iii Solution Created 2026-09-24 Updated 2026-10-14
True for finite connected simple graphs. average degree of a graph at most two implies . A spanning tree has edges, leaving at most one extra edge. Hence the graph is a tree or unicyclic. trees are planar, and a unicyclic graph is a cycle with trees attached to its vertices, which can also be embedded in the plane. Connectedness is essential to this argument: a disconnected nonplanar component can be diluted by isolated vertices.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 17F ii Solution Created 2026-09-24 Updated 2026-10-14
False. Attach 594 pendant vertices to one vertex of . The connected graph still contains the nonplanar , but has , , and average degree of a graph . Attaching more leaves lowers the average further toward two without making the graph planar.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 17F i Solution Created 2026-09-24 Updated 2026-10-14
False. The complete bipartite graph has chromatic number two, but is nonplanar. For example a simple bipartite plane graph has , because all facial cycles have length at least four; has , .
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 15E ii Solution Created 2026-09-24 Updated 2026-10-14
Separate fluid conservation gives , hence after normalization at today. For , the conservation equation gives . ThusAssume both densities are positive and set , . On the expanding flat branch, . With this becomes . Choosing the Big Bang at and integrating givesThe normalization requires ; equivalently . Thus the age and the two positive densities are not independent once this normalization and bang time are fixed.
As , , the matter-dominated law. As , and , giving accelerated dark-energy expansion. Direct differentiation gives , so acceleration begins once . If dark energy vanishes, the limiting matter-only solution must be taken instead; negative dark-energy density would not have the stated late-time accelerating form.
Past exam of the mathematics course of the University of Cambridge 2008 ii Paper 1 15E i Solution Created 2026-09-24 Updated 2026-10-14
Let a comoving test particle have physical radius , where is fixed. Assume Newtonian gravity, spherical homogeneity, negligible pressure, and no mass flux through this sphere, so its enclosed mass is constant. The shell theorem gives a conserved specific energySubstitute , divide by , and write to obtainHomogeneity makes the energy scale as , leaving the same at every comoving radius. The sign of encodes the binding-energy sign. This Newtonian derivation applies to pressure-free matter; interpreting as spatial curvature and extending the equation to relativistic pressure components requires general relativity, rather than conservation of this Newtonian shell energy alone.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 7B ii Solution Created 2026-09-24 Updated 2026-10-14
Spherical symmetry and the integral Gauss law give for . Together with the stipulated zero interior field,The electric field jumps across the ideal charged surface; its value exactly on that surface is not needed for the volume integral. The electrostatic energy of a uniformly charged spherical shell isAs a check, the shell has constant electric potential , with zero reference at infinity, so gives the same result.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 7B i Solution Created 2026-09-24 Updated 2026-10-14
The differential Gauss law is . On a large ball , the product rule and giveThe divergence theorem consequently expresses the electrostatic energy asFor a localized charge distribution with the electric potential chosen to vanish at infinity, and , so the surface term is and tends to zero. More generally, it suffices to assume that this boundary integral vanishes. Passing to all space givesThe physical decay and potential reference are relevant: by itself does not specify the additive constant in . Adding a constant changes the charge-based expression by when the total charge is , while leaving the field unchanged. The zero-at-infinity potential is the usual reference implicit in this all-space electrostatic energy formula.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 20H i Solution Created 2026-09-24 Updated 2026-10-14
For fixed , put . Feasibility gives . The assumed Lagrangian duality representation says this value is the unrestricted supremum of , so is also an unconstrained global maximizer of this continuously differentiable function. Its first derivative vanishes:Differentiate the identity using the assumed smooth dependence of the optimizer:The chain rule now gives the envelope theoremThusEach Lagrange multiplier is the marginal change in optimal value per unit relaxation of its constraint. The proof only uses the resulting stationarity and smooth feasibility identities; it does not require differentiating the maximizer explicitly or differentiating the multiplier.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 19H ii Solution Created 2026-09-24 Updated 2026-10-14
Set . The maximum likelihood estimation formulas for simple linear regression giveUsing the supplied rounded summaries gives metres and metres. Recomputing directly from the printed table gives approximately and metres, respectively, so the small summary rounding differences do not affect the conclusion.
I would not accept the model merely because the Student t-test fails to reject a zero regression intercept. That hypothesis test tests one parameter restriction within the assumed model, not the adequacy of its error assumptions or its functional form. In particular, complementary elevations and have exactly the same and hence the same fitted mean, but their observed low-angle minus high-angle ranges arefor the four corresponding pairs. All four are positive, suggesting an elevation-dependent effect omitted by the mean model, such as air resistance, rather than random scatter determined only by . This is a regression diagnostics concern, not a claim that these finite data logically rule out the normal-error model. The correct conclusion is nonrejection of the intercept restriction does not validate the regression model; further checks of the residual pattern and error assumptions are needed.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 19H i Solution Created 2026-09-24 Updated 2026-10-14
Assume the explanatory variables are not all equal, so . In the Gaussian linear model, the log-likelihood isFor fixed , maximum likelihood estimation therefore minimizes the residual sum of squares. Differentiating in gives the least-squares normal equationsThe first gives ; substituting it into the second gives , with . Let . Differentiating the profiled log-likelihood in givesFor the variance estimator this is the interior maximum when , which occurs almost surely under the model when .
The coefficient estimators are linear functions of the independent normal errors. In particular,Their multivariate normal distribution has mean and covariance matrixThe fitted vector is the orthogonal projection onto the two-dimensional span of and . The residual vector is the complementary projection of the spherical normal error vector. Orthogonal normal projections are independent, and in an orthonormal basis of that complementary space its coordinates are independent . Consequentlyindependently of . This also gives the unbiased estimator rather than the variance MLE.
Under the null hypothesis , for the Student t test for a simple-regression intercept usesHere is the prescribed significance level. The normal numerator divided by its true standard deviation is independent of , which proves the stated Student t-distribution. If , the two coefficients are not separately identifiable; if , this residual-variance-based test is unavailable.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 18B ii Solution Created 2026-09-24 Updated 2026-10-14
Use the ideal one-dimensional pipe model: constant density, steady inviscid flow, approximately uniform endpoint speeds , and equal body-force potential at the two ends. Conservation of mass gives the constant volumetric flow rate , and the mass flow rate is . The steady Bernoulli equation givesFor flow from a wider to a narrower section, and . Solving for the positive mass throughput gives the Venturi effect formulaThe formula requires these hydraulic assumptions; steady incompressibility alone does not impose uniform endpoint profiles or equal potential. If , the same derivation replaces by . Viscous losses would also modify the pressure balance. The equal-area case is singular in this pressure-based determination: in the ideal equal-potential model its pressure difference must vanish and does not determine the throughput.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 18B i Solution Created 2026-09-24 Updated 2026-10-14
For constant density , the inviscid Euler equations with conservative body force areThe vector identity simplifies for potential flow , since its vorticity vanishes. Also . ThereforeOn each connected fluid region the expression is spatially constant but may depend on time, giving the Unsteady Bernoulli equationThe arbitrariness of corresponds to the freedom to add a function of time to the velocity potential without changing . Replacing by sets the right-hand side to zero.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 17C d Solution Created 2026-09-24 Updated 2026-10-14
With light signals, , the train-frame relativistic velocity-addition formula gives signal velocities . The endpoints are equally distant from the source in that frame, andThe two reception events are simultaneous in but not in : in the station frame the rear moves toward its light signal while the front moves away. Directly, and , so the Lorentz transformation gives . This is relativity of simultaneity, concerning spatially separated events; it does not contradict the invariant light speed or the causal ordering of events on a single observer's world line.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 17C c Solution Created 2026-09-24 Updated 2026-10-14
In the station frame, intersecting the signal trajectories with the endpoint world lines givesSince , both receptions occur at positive times,The inverse Lorentz transformation then givesSubtracting and simplifying yieldsFor , both differences are negative: the rear receives first in both frames, but by different time intervals.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 17C b Solution Created 2026-09-24 Updated 2026-10-14
Let be the platform's proper length, measured in its rest frame . At the single station-frame time , its ends coincide with train endpoints whose simultaneous station-frame separation is . ThusThe platform endpoint world lines are vertical at in the station spacetime diagram. In the train frame they are , so their separation at a common train-frame time is . The two alignment events lie on the tilted line in the train diagram and are not simultaneous there; their separation cannot be used as the platform length measured at one train-frame time. This is the distinction enforced by length contraction.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 17C a Solution Created 2026-09-24 Updated 2026-10-14
The world lines in the train frame are , and . In the station frame, length contraction givesThe emission event is in both frames. The signal world lines in are and ; their intersections with the train endpoints define the reception events . Their velocities in , from the relativistic velocity-addition formula, are and .
The two platform-alignment events occur at in . The Lorentz transformation puts them at in , on the tilted simultaneity line . The spacetime diagrams show all three observers, both signals, their receptions, and these distinct endpoint-alignment events:
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 12G ii Solution Created 2026-09-24 Updated 2026-10-14
The angle between the oriented coordinate tangent vectors satisfies . The constant-angle assumption therefore gives for a constant . The first fundamental form is positive definite, so and hence . Substitution into the geodesic coordinate grid identities from part (i) givesEliminating either derivative yields and . Since and , this provesIf the angle is understood between unoriented curves, its constancy initially fixes ; continuity fixes the sign on each connected chart when this quantity is nonzero, and the zero case already has . Thus the same conclusion holds. In fact constant-angle geodesic coordinate grids are locally flat, although only the displayed derivatives are needed here.
There are unlisted articles, also show them or only show them.
