Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 3 10F Solution Created 2026-09-24 Updated 2026-10-14
In the observer's rest frame, and . The Lorentz invariance of the Minkowski inner product gives andThe relation between four-momentum and velocity is , soTaking the nonnegative square root provesFor a future-directed massive particle and observer, and the expression lies in ; the massless limit, with nonzero energy, gives .
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 9F Solution Created 2026-09-24 Updated 2026-10-14
For and a time-independent operator , differentiate its expectation value and use the Schrödinger equation and its adjoint. Moving across the inner product by integration by parts givesWork with wavefunctions in the displayed operators' domains; the vanishing at infinity removes the associated boundary terms. This is the Ehrenfest theorem derived from time evolution.
The canonical commutation relation follows directly from differentiating : . Thus , while . It follows thatFor the momentum equation, apply both products to a test wavefunction:The kinetic term commutes with , so . ThereforeThese are the classical equations from Ehrenfest theorem for position and momentum expectations; the force expectation need not equal the force evaluated at the expected position.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 8B Solution Created 2026-09-24 Updated 2026-10-14
For a bilinear form , define by . Bilinearity makes a linear functional and makes linear in . Conversely, every linear defines a bilinear form by . These constructions undo each other, giving the desired bijective correspondence.
For a nondegenerate bilinear form, has zero kernel and is an isomorphism because and its dual space have the same finite dimension. For the two forms, putIt is an isomorphism and satisfies for all . This is the representation of a bilinear form relative to a nondegenerate bilinear form.
If both forms are symmetric, thenNondegeneracy makes the adjoint with respect to unique; this equality proves in that bilinear-form sense. No positivity or Hermitian conjugation is assumed over the arbitrary field.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 7E Solution Created 2026-09-24 Updated 2026-10-14
At a point , complex differentiability means thatexists and is independent of the direction of approach. Write . Restricting to real gives . Restricting to , with real , givesThese directional limits establish existence of the displayed partial derivatives. Equating their real and imaginary parts gives the Cauchy-Riemann equationsThe argument applies at every point of the given open domain; it does not assume continuity of the partial derivatives beforehand.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 6C Solution Created 2026-09-24 Updated 2026-10-14
Right multiplication is linear because . In the supplied row-entry basis, write . Multiplying on the right gives coordinates . ThereforeThe transpose is ordinary, with no complex conjugation. Block determinants and invariance of determinant under transpose proveFor every polynomial , powers of right multiplication give . If then ; if , take to infer . They have identical annihilating polynomials, so their unique monic least-degree annihilator, the minimal polynomial, is the same. Thus , as in the characteristic and minimal polynomials of right multiplication result.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 5E Solution Created 2026-09-24 Updated 2026-10-14
Gaussian elimination uses first-column multipliers , second-column multiplier in the last row, and third-column multiplier there. Recording these in a unit lower-triangular matrix gives the LU decompositionForward substitution in gives . Back substitution gives , , , and . Hence the solution is
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 4B Solution Created 2026-09-24 Updated 2026-10-14
A connected space admits no separation into two disjoint nonempty open subsets whose union is the space. A path-connected space has, for every pair of points, a continuous path from joining them. If a path-connected space had a separation , choose its endpoints in different pieces. Their inverse images under the path would separate the connected interval , a contradiction. Thus path connectedness implies connectedness.
For the specified subspace, first consider . Every point of a tooth can move vertically to its base in , then horizontally to the origin; points already on use only the horizontal segment. Concatenating these paths shows that is path-connected and hence connected.
Every point of is a limit of . Consequently is dense in in the subspace topology. To prove connected, suppose were a separation. Restricting to the connected puts all of in one piece, say . But the other nonempty relatively open piece must meet dense , a contradiction. Therefore . This uses density, not an unproved path from the added vertical segment to the teeth.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 3D Solution Created 2026-09-24 Updated 2026-10-14
For an observed , the continuous uniform distribution likelihood is , with . Multiplying by the stated prior cancels the factor , giving . Its integral over the permitted parameter values is . Hence the posterior distribution isThis is the exponential posterior for a uniform endpoint. Its posterior mean is and its variance is one. The posterior expected squared-error loss decomposes asSince , its unique minimum occurs at the Bayes estimate . The positive loss multiplier changes the risk, not the optimizing action.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 2G Solution Created 2026-09-24 Updated 2026-10-14
For a Cartesian second-rank tensor, write and . Under an orthogonal change of frame,where the last two equalities follow by interchanging the dummy indices in . Thus the symmetric and antisymmetric parts obey the same tensor transformation law. If with , , adding or subtracting its transpose forces and . This also proves uniqueness.
For the given matrix, the scalar part is . The symmetric part is , so the traceless second-rank tensor is . The skew part is . Comparing with the cross product matrix givesThen proves the decomposition for every vector. The vector dual to the antisymmetric tensor is an axial vector under reflections, and an ordinary vector under proper rotations.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 1A Solution Created 2026-09-24 Updated 2026-10-14
The contraction mapping theorem states that a self-map of a nonempty complete metric space satisfying for a fixed has a unique fixed point. Its iterates converge to that point from every starting point.
To prove it, set . Induction gives . Hence for , the triangle inequality yieldsThus the iterates are a Cauchy sequence, with limit by completeness. The contraction inequality gives , so . For any two fixed points , forces equality of the points. This proves existence, uniqueness and convergence; passing also gives the displayed error bound.
For the three-point example, positivity and symmetry of are immediate. For three distinct points, the largest side has length two, no more than the sum of the other two; repeated-point triangle inequalities are trivial. Thus is a metric. The discrete metric satisfieswhich proves bilipschitz equivalence of the two metrics. DefineThe ratios of output to input distances for the three distinct pairs are in , so it is a contraction with . In , the pair has input and output distance one, precluding any . This illustrates the contraction property under equivalent metrics.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 18F b Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 18F a Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 17B Solution Created 2026-09-24 Updated 2026-10-14
The Legendre symbol is when is a nonzero square modulo the odd prime , when it is not a square, and when . For the coprime case, Euler's criterion statesWrite . For , the balanced residues are nonzero and their absolute values lie in . If , then . Cancel . The plus sign forces ; the minus sign would require , impossible because . Thus the absolute residues form a permutation of . If exactly are negative, multiplying givesSince does not divide , cancellation and Euler's criterion prove Gauss's lemma:The two signs are distinct modulo the odd prime, so this congruence identifies the integer symbol itself.
For , the balanced representative of is negative precisely when , giving . Checking the four odd residue classes modulo eight gives even for and odd for . HenceThis is the quadratic character of two obtained from the lemma.
Let and . If a prime divides , then is odd and cannot divide . Moreoverso has an explicit nonzero square root modulo . The criterion just proved forces every prime divisor of into the classes or modulo eight. But : if all its prime factors were modulo eight, their product, with multiplicities, would also be . Thus at least one prime divisor is modulo eight. No listed divides , because . This always produces another such prime, proving infinitely many primes are congruent to seven modulo eight, the Euclid proof for infinitely many primes congruent to seven modulo eight.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 16E Solution Created 2026-09-24 Updated 2026-10-14
For a rational function, the stipulated decay implies at infinity, unless it vanishes identically. Thus its real-line integral converges absolutely. Close the segment with an upper semicircle, choosing beyond all finite poles. The arc contribution has modulus at most , tending to zero. The residue theorem therefore givesThere are no real poles requiring indentations.
Apply this to . Its upper-half-plane poles are , , all simple. Since , their residues areFor , the finite geometric series givesThe full real-line integral is consequently . Its integrand is even, so the requested half-line integral is
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 15C Solution Created 2026-09-24 Updated 2026-10-14
The algebraic dual space is , the vector space of linear functionals. For an ordered basis , define the dual basis by , equivalently . Every functional satisfies , proving spanning. Evaluating a zero linear combination on each forces every coefficient to vanish, proving independence.
For a linear map , its dual map is , . Suppose the matrix of satisfies . ThenThese are the th coordinates of in the dual basis, so the dual matrix is . For complex vector spaces this is still an ordinary transpose, because the algebraic dual uses linear functionals, not conjugate-linear ones.
To prove equality of ranks directly, consists precisely of functionals on vanishing on , its annihilator. A basis of the image extends to a basis of ; such functionals have zero values on the image basis and arbitrary values on the remaining vectors. Thus . The rank-nullity theorem givesFinally, if is invertible, for every the two compositions give and . Hence the two dual maps are mutual inverses and
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 14E b Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 14E a Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 13A i Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 12D Solution Created 2026-09-24 Updated 2026-10-14
For a generalized likelihood-ratio test, maximize the likelihood separately over the null parameter space and the unrestricted space. Define , and reject for small , equivalently large . Choose the rejection threshold to achieve the desired null significance level, using an exact distribution when available or a justified asymptotic calibration; nuisance parameters are fitted under the respective restrictions.
For independent Poisson distributions, the likelihood is . The unrestricted maximizers are , allowing zero as a boundary value. Under the common-mean null, maximizing gives . The exponential and factorial factors cancel in the ratio, yieldingIf all counts are zero, set and ; no division by is then needed.
For positive , put , so . Expanding the logarithm givesConsequentlyIt is the quadratic Pearson approximation to the Poisson deviance. The approximated statistic is the logarithmic ratio , not the bounded raw ratio .
Under the null in the large-common-count regime, this statistic has an approximate chi-squared distribution with degrees of freedom: fitting the common mean removes one independent residual direction. For , use six degrees of freedom. At , the upper-tail probability in that approximation isThus reject the equal-mean null at conventional 5% or 1% significance levels, provided the expected counts justify the chi-square approximation. No particular significance level or common count was supplied, so the numerical decision is stated with those assumptions.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 2 11G Solution Created 2026-09-24 Updated 2026-10-14
An isotropic tensor has unchanged components under every rotation: for rank four, . Orthogonality gives , so each product of paired Kronecker deltas is invariant. Every linear combination of , and is therefore isotropic, for arbitrary coefficients.
For the integral, differentiation away from the origin givesAfter multiplication by , this behaves as and is locally integrable in three dimensions. Interpret the integral as the limit with a small central ball removed. A rotation preserves the integration ball and the radial kernel, so the resulting is an isotropic tensor integral. The symmetries and force the two cross-pair coefficients equal:Taking the trace in uses off the origin and gives . For the other contraction, the displayed Hessian gives . ThusSolving gives and . Therefore the requested tensor isThis is the quadratically weighted inverse-radius Hessian integral. The origin creates no extra contribution to this weighted integral; even the distributional point term in the unweighted Hessian is annihilated by .
There are unlisted articles, also show them or only show them.