Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 6A a Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 5B Solution Created 2026-09-24 Updated 2026-10-14
The Fourier sine series coefficients of on areby integration by parts. The odd periodic extension is piecewise smooth, so the Fourier series converges to at every interior point. HenceTo justify integration from zero, the Fourier sine series partial sums converge to in L2 norm. By the Cauchy-Schwarz inequality, integration from zero to any has error at most times that L2 norm error, uniformly in . Integrating the partial sums and taking the limit therefore givesThe integrated series is absolutely and uniformly convergent, since its terms are bounded by . Thus the resulting Fourier cosine series hasIndependently, the constant coefficient isComparison yields the requested exact sum
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 4F Solution Created 2026-09-24 Updated 2026-10-14
A Hausdorff space is a topological space in which any two distinct points have disjoint open neighborhoods. Let be a compact subset of a Hausdorff space and . For each , choose disjoint open neighborhoods of and of . The cover , so compactness gives a finite subcover . Their paired intersection is an open neighborhood of disjoint from . Thus every point of its complement has an open neighborhood in the complement, proving every compact subset of a Hausdorff space is closed. The empty set case is immediate.
In the cocountable topology on an uncountable set, any two nonempty open sets intersect: their combined complements are countable and cannot exhaust . Thus the space is not Hausdorff.
Nevertheless every compact subset is closed here. In fact only finite subsets are compact. To prove this, suppose is infinite and choose distinct points . The open setsform an increasing open cover of , and hence of . Any finite selection is contained in for its largest index , which misses . So is not compact. Finite sets are compact in any topological space, and in this cocountable topology they are closed because their complements are open. This proves the claimed behavior of compact subsets of a cocountable space.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 3E Solution Created 2026-09-24 Updated 2026-10-14
The contraction mapping theorem states that a contraction mapping on a nonempty complete metric space has a unique fixed point. Here contraction means that some satisfies for all .
For a proof, choose and iterate . Induction gives . For , the triangle inequality and a geometric series giveThus the iterates form a Cauchy sequence, and completeness supplies a limit . A contraction mapping is continuous, so . If is another fixed point, , forcing . This proves existence and uniqueness.
For the exponential problem, use on the complete metric space . Its derivative isPutting , the function has maximum at , as its derivative is . By the mean value theorem, , so is a contraction mapping on all of . Let be its unique fixed point. The compositions commute, so ; uniqueness of the fixed point of forces . Conversely every fixed point of is fixed by . Hence there is exactly one real solution of . It lies in because and then . This uses the iterated contraction argument without claiming that itself contracts on all of .
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 2F Solution Created 2026-09-24 Updated 2026-10-14
For a finite group of order with prime and , the Sylow theorems assert that a subgroup of order exists; every subgroup whose order is a power of is contained in one such Sylow subgroup; all Sylow subgroups for that prime are conjugate; and their number divides and is congruent to one modulo . A unique Sylow subgroup is a normal subgroup, since conjugation cannot move it to another one.
Here , so divides eight and is congruent to one modulo seven. Hence or . In the first case the Sylow subgroup of order seven is normal. In the second case, any two distinct order-seven subgroups intersect only at the identity, because a nontrivial intersection would generate both prime-order subgroups. Their nonidentity elements therefore account for elements.
Exactly eight elements of the group remain. Every Sylow subgroup of order eight consists entirely of these remaining elements: a nonidentity element in it has order a power of two and cannot be one of the order-seven elements already counted. Each such Sylow subgroup must consequently equal the remaining eight-element set. It is unique and hence normal. Thus a group of order 56 has a normal subgroup of order seven or of order eight.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 20H c Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 20H b Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 20H a Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 1G Solution Created 2026-09-24 Updated 2026-10-14
The monomials with and form a basis of the given vector space. There are of total degree , soOn that basis the linear operator is diagonal:Both summands of the eigenvalue are nonnegative integers. Their sum is zero precisely when . Thus the kernel is the span of those members of whose total degree is at most . In particular it is for and for ; for it is the constants. The image of a linear map is the span of all the other permitted monomials, since each has a nonzero diagonal eigenvalue and hence is the image of its reciprocal multiple. No excluded monomial can occur in an image because its diagonal coefficient is zero.
The trace is the sum of these eigenvalues. At degrees zero and one all contributions vanish. At degree two the contributions are , summing to four; at degree three they are , summing to sixteen; at degree four they are , summing to forty. ThereforeThis is the diagonal monomial action of a second-order Euler operator.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 19H Solution Created 2026-09-24 Updated 2026-10-14
A random vector has multivariate normal distribution if every real linear combination is normally distributed, with mean and variance . The covariance matrix is symmetric positive semidefinite; zero variances permit degenerate normals. Its moment-generating function is , including the degenerate cases.
For the given , let . The joint moment-generating function of the isThe last equality uses the assumed orthogonality of the row spaces. Its factors are exactly the individual moment-generating functions, so the hint implies the random vectors are independent. Also every linear combination of the stacked vector is a linear combination of , hence normally distributed. ConsequentlyThis establishes both claims without excluding singular block covariances.
For the sample mean and sample variance result, assume and set . Independence of the observations gives . Let , , and . Then . The first transformed vector is the scalar , and the second is the residual vector . They are independent by the just-proved result. Applying the measurable function to the residual vector preserves independence from the sample mean. Thus
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 18C Solution Created 2026-09-24 Updated 2026-10-14
Choose the Givens rotation convention in which equals the identity outside rows and columns , and has blockin those coordinates. It is an orthogonal matrix. For any chosen column , write , and . If , take , . Then the new entries are and . If both entries vanish, take . This proves the requested elimination for each chosen ; the angle is allowed to depend on , and one angle need not eliminate an entire arbitrary row.
For the given matrix, use first for , obtainingUse the same cosine and sine for . It makesThis is already upper triangular, including the zero entry, and every leading nonzero row entry is positive. Thus the requested QR decomposition isThe orthogonal matrix property follows from the two rotations, and direct multiplication verifies .
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 17A Solution Created 2026-09-24 Updated 2026-10-14
The vacuum Maxwell equations are , and . Taking the curl of Faraday's equation and using gives . The same calculation for Ampère's equation gives . Hence each Cartesian component satisfies the electromagnetic wave equation.
Model the walls as a perfect conductor, with no oscillating fields in its interior. The tangential electric field is zero at the surface, otherwise it would drive unbounded conductor currents. The normal magnetic field is zero, since the divergence-free field has a continuous normal component and the interior oscillating field is zero. Thus and . Normal and tangential may be nonzero because surface charge and surface current support their jumps.
The PDF writes the full magnetic field as . Taken literally, this cannot be a nonzero travelling wave: , so for it forces . The subsequent requests require transverse components. The consistent intended reading is , with transverse fields determined by the Maxwell equations. Use that reading below.
All fields have the same factor. Put . The harmonic Maxwell equations are and . Their and components givetogether with and . Substitution and solving, for , givesThe corresponding electric components areFor a transverse electric mode of a rectangular waveguide, . The electromagnetic wave equation becomesAt , the tangential component vanishes, so ; at , the corresponding condition gives . These are Neumann boundary conditions, and the normal- conditions give the same conclusions through the displayed transverse magnetic components. Separation giveswhere are integers and . The constant candidate is not a physical oscillating mode: its transverse derivatives vanish, so it has and Faraday's equation forces for . More generally a hollow single-conductor guide has no transverse-electromagnetic zero-cutoff mode: its transverse electrostatic potential is harmonic with the same constant boundary value, hence constant, leaving zero transverse field.
The dispersion relation is . The waveguide cutoff frequency for this mode is ; below it is imaginary and the field is evanescent. Since , the lowest cutoff occurs at :For a mode propagating in the positive direction (), above its own cutoff , the phase velocity and group velocity areThese waveguide phase and group velocities have product . The superluminal phase speed describes motion of a constant phase, while a narrow wave packet travels at the subluminal group velocity; it does not transmit information faster than light. At cutoff there is no travelling mode with nonzero longitudinal flux.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 16B Solution Created 2026-09-24 Updated 2026-10-14
For a one-dimensional wavefunction, the probability density and probability current areThe Time-dependent Schrödinger equation with a real potential is . Multiply it and its complex conjugate by and , respectively. Subtracting cancels the real-potential terms and givesThis derives the continuity equation .
For , the specified free-region wavefunction combines a right-moving incoming wave of unit amplitude and a left-moving reflected wave with complex reflection amplitude . Applying the free Schrödinger operator to either plane wave gives . Its time factor has modulus one, soThe density includes the stationary interference pattern; , rather than , is the reflection probability.
For the finite square well, let outside and inside. Write the stationary parts as to the left, inside, and to the right. At both finite potential steps, the wavefunction and its first spatial derivative are continuous. Integrating the stationary Schrödinger equation across a shrinking step proves derivative continuity; a jump of the wavefunction would create an unmatched distributional derivative and is excluded.
Propagate the boundary values at back through the well. The values at zero areMatching them to and , and adding the two equations after division of the second by , givesSince the exterior wave numbers agree, the transmission probability is the current ratio , soWhen , , yieldingClassically an incoming particle of positive energy crosses the attractive well and emerges with its original energy, so transmission is one. The quantum result agrees exactly when is an integer multiple of :These are widths with resonant transmission through a square well; the degenerate width zero also has unit transmission.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 15B Solution Created 2026-09-24 Updated 2026-10-14
For small transverse displacement, the wave equation on a string iswhere is the tension and is mass per unit length. Using separation of variables, put , the ratios equal a constant. The fixed-end conditions exclude nontrivial solutions for nonnegative separation constants; for they give and , . The associated angular frequencies are . Thus the general superposition of separated normal modes isThe string is initially straight and at rest before the impulse, so . Assume the hammer interval lies inside . The imposed velocity has Fourier sine series coefficientTherefore , giving the amplitude of every excited normal mode.
The string energy is . At the impulse it is . Orthogonality of the sine modes gives initially; each mode subsequently exchanges kinetic and elastic energy while retaining that total. Thus the modal energy of a localized velocity impulse on a string has fractionsFor and , a mode is absent exactly when or . Hence the unexcited modes are precisely
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 14D ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 14D i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 13E Solution Created 2026-09-24 Updated 2026-10-14
A subset is an open set when every has some radius for which . If a continuous function takes only the values zero and one, continuity at with tolerance gives a neighborhood on which . The two possible values differ by one, so throughout that neighborhood. Thus is locally constant, and the zero linear map is its derivative, since the difference is exactly zero for all sufficiently small . Hence everywhere.
For the bound on , parametrize the segment by , . The chain rule givesby the definition of operator norm. The mean value theorem applied to the real function provesIf the endpoints agree the estimate is immediate. No continuity of the derivative is required.
For the finite-line complement, each removed line is closed, so is open. Because , there is a unique affine plane containing and , and a unique affine plane containing and . Choose outside the union of these finitely many planes, using the permitted fact about finite plane covers. In particular . If met at a point , then , and the line through lies in . Since is on that same line, it would belong to , a contradiction. The same argument using applies to . Thus and can be joined in by these two segments, proving polygonal connectivity of a finite-line complement.
Finally a continuous has zero derivative by the first argument. Apply the proved segment estimate with separately on and . It gives . Since were arbitrary, is constant on .
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 12G ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 12G i Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 2 11F Solution Created 2026-09-24 Updated 2026-10-14
The centre of a group is . It is a normal subgroup. For with , let act on itself by conjugation. The orbit-stabilizer theorem makes the size of the conjugacy class of equal to , a power of . A class has size one exactly when ; every other class size is divisible by . The class equation therefore givesso divides . Since the identity belongs to the centre of a group, its size is a positive multiple of . This proves the nontrivial center of a finite p-group.
If is cyclic, choose a representative of a generator. Every element is for an integer and . Any two such elements commute, since their central factors commute with everything and their remaining factors are powers of the same element. Thus is an abelian group, , and the cyclic quotient by the centre of a group is trivial.
For a non-abelian group of order , the centre of a group has order , or by the proved result and Lagrange's theorem. The last would make the group abelian. The middle would make have prime order and hence cyclic, also making abelian by the preceding argument. Therefore its centre has order .
Finally write the given upper-unitriangular matrix as . Direct matrix multiplication givesIt commutes with every exactly when for all . Taking forces , and taking forces ; those conditions also suffice. Thus the centre of a group in this Heisenberg group over a prime field is
There are unlisted articles, also show them or only show them.