Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 10G Solution Created 2026-09-23 Updated 2026-09-25
A sequence converges uniformly to if, for every , there is such thatfor every and every . A map is uniformly continuous if, for every , there is such thatfor all .
If , choose a ball outside which . On the closed ball, continuity gives boundedness, so is bounded everywhere.
Now let be Cauchy in the uniform metric. For each , is Cauchy in ; let its limit be . Passing to the pointwise limit in the uniform Cauchy estimate shows that uniformly. Hence is continuous. Given , choose with , and then choose so that for . It follows that also vanishes at infinity. Thus is complete, as in completeness of continuous functions vanishing at infinity.
Every is uniformly continuous. Given , choose so that outside the ball of radius . On the compact ball of radius , is uniformly continuous; choose the corresponding . If two points at distance below are not both in that ball, then both lie outside the ball of radius , and their function values differ by less than .
For the final sequence, continuity of at zero gives, for each fixed ,Thus pointwise convergence is compulsory. Uniform convergence need not hold: with ,which is unbounded as a function of for every fixed .
Under the additional bound , however,for , and the difference is zero at . Hence convergence is uniform, by the uniform square-root perturbation under linear growth estimate. The pointwise answer remains yes.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 13C b iii Solution Created 2026-09-24 Updated 2026-09-25
Evaluating the function at the endpoint gives the displacementThereforeThe force-induced displacement is a linear map of .
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 2G Solution Created 2026-09-23 Updated 2026-09-25
Suppose first that is connected and is continuous. Its image is connected by the continuous image of a connected space, but is discrete, so its only connected nonempty subsets are singletons. Hence is constant.
Conversely, if is a disconnection into nonempty disjoint open sets, the function equal to zero on and one on is continuous and nonconstant. This proves the integer-valued function criterion for connectedness.
Now let be continuous under the hypotheses on the family . Each restriction is constant because is connected. If , a point of shows that their two constants agree. Since the sets cover , is constant on , and the criterion proves that is connected. This is the pairwise-intersecting connected cover argument.
Finally, fix . For each , the setis connected: its two connected pieces meet at . The sets cover and any two share . The preceding result proves that is connected, giving the product of connected spaces result.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 3A Solution Created 2026-09-23 Updated 2026-09-25
The function is odd, so only sine coefficients occur. For ,Integration by parts givesandThe terms of order cancel, leavingThus
The Parseval identity givesDirect integration yieldsThereforeas recorded in the Fourier series of x cubed minus pi squared x.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 7H Solution Created 2026-09-23 Updated 2026-09-25
UseStationarity givesPutting , this becomesand the constraint requiresThe left side is strictly increasing, and solves the equation. Hence
The objective is convex and the constraint is affine. Its tangent-plane inequality at gives, for every feasible ,so the Lagrange point is globally optimal. Moreover, at the dual value , the infimum of the Lagrangian function in constrained optimization is attained at the same point and equals three. The primal and dual values coincide, so strong duality holds.
For the value function, the multiplier convention above gives the derivative of a constrained value functionAt , therefore,
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 11G Solution Created 2026-09-23 Updated 2026-10-14
For , the function is differentiable at if there is a linear map such thatThe linear map is unique and is the Fréchet derivative . The function is continuously differentiable at if it is differentiable on a neighbourhood of and the map , with values in the space of linear maps equipped with the operator norm, is continuous at .
If is linear, thenConsequently at every . The derivative is a constant function of , hence is continuous, so every linear map is continuously differentiable everywhere.
The mean value inequality says that if the line segment lies in andthenTo prove it, put . The claim is immediate if . Otherwise set and apply the one-dimensional mean value theorem to the real-valued functionFor some , the chain rule givesas required.
Now suppose that is open and connected and that for every . Every point has an open ball contained in . The mean value inequality with shows that is constant on each such ball, so is locally constant. Fix . The level setis nonempty and open in ; its complement is also open because is locally constant. Since is connected, . This proves the zero derivative on a connected open set result: is constant.
The inverse function theorem states that if is continuously differentiable, , and is an invertible linear map, then there are open neighbourhoods of and of such that is a bijection whose inverse is continuously differentiable.
For the curve in the question, define the continuously differentiable functionThenThe implicit function theorem, which follows from the inverse function theorem applied to , therefore gives an open interval containing , an open neighbourhood of , and a continuously differentiable, hence continuous, function such that
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 13G Solution Created 2026-09-23 Updated 2026-09-25
Rouché's theorem states that if and are holomorphic functions on a neighbourhood of the closure of a bounded domain andon its positively oriented boundary, then and have the same number of zeros in the domain, counted with multiplicity.
The Open mapping theorem states that a nonconstant holomorphic function on a domain maps every open subset to an open subset. To prove it, fix and put . By the identity theorem, the zeros of are isolated. Choose so that the closed disc lies in the domain and is the only zero of in that disc. ThenWhenever , the constant has modulus smaller than on the circle. The Rouche theorem therefore says thathas the same positive number of zeros in the disc as . Thus every lies in the image of , proving that the image is open.
If had a local maximum at , take a small open disc on which . The restriction of to cannot be constant, since the identity theorem would then make constant on the whole domain. The complex open mapping theorem says that is an open neighbourhood of , and such a neighbourhood contains points of modulus greater than , a contradiction. This proves the maximum modulus principle from the complex open mapping theorem.
Now let be bounded. Its closure is compact, so the continuous function attains a maximum there. If is nonconstant, the maximum modulus principle excludes an interior maximum; if is constant, the claimed bound is immediate. Hencewhich is the maximum modulus principle on a bounded domain.
Finally let and suppose throughout . Fix . The principal complex logarithm is holomorphic on the right half-plane, so for each positive integer the functionis holomorphic on and continuous on its closure. Given , choose so large thatApply the bounded-domain result to on . On the vertical part of the boundary, and hence . On the circular part,It follows thatLetting and then gives . Since was arbitrary, this proves the bounded half-plane maximum principle.
The boundedness assumption is necessary. The functionis holomorphic on and continuous on its closure, and on the boundary, but is unbounded for real . Thus the boundary estimate does not control an unbounded holomorphic function on this unbounded domain.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 4C Solution Created 2026-09-23 Updated 2026-10-05
If is once differentiable, this is equivalent to monotonicity of its gradient:Equivalently, every tangent hyperplane supports the graph:If is twice differentiable, convexity is equivalent to the Hessian matrix being positive semidefinite throughout .
Forthe Hessian isA real symmetric two-by-two matrix is positive semidefinite exactly when its two diagonal entries and its determinant are nonnegative. ThusThe largest convexity domain is thereforeFor , its boundary is the hyperbola in the first quadrant and the domain lies above it. For , it is the closed first quadrant. This is the convexity domain of x cubed plus y cubed plus Axy.
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 3 6D a Solution Created 2026-09-24 Updated 2026-09-25
The spatial wavefunction is the position amplitude of a stationary quantum state, so is its probability density after normalization. The real function is the potential energy, is the energy eigenvalue, is the particle mass, and is the reduced Planck constant.
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 1 10E a Solution Created 2026-09-24 Updated 2026-09-25
The function is differentiable at when there is a real number such thatEquivalently, the difference quotient has a finite limit, and
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 1 10E c ii Solution Created 2026-09-24 Updated 2026-10-03
No. At , letThe function is differentiable at , andso the composite has derivative one at zero. Butis unbounded, so is not differentiable. This is a nondifferentiable inner function with a differentiable nondegenerate composite.
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 1 12D b iii Solution Created 2026-09-24 Updated 2026-09-25
For , let be the set of numbers whose first digit occurs in position . The first digits each have nine allowed values, while the th is fixed, so is a union of decimal intervals of total lengthThe set of numbers having no digit can, after places, be covered by intervals of total length ; hence it has length zero.
For each fixed truncation level, the function is constant on finitely many decimal cylinders apart from the remaining set, whose covering length can be made arbitrarily small. The Riemann integrability criterion therefore shows that every truncation is Riemann integrable.
For integer ,The final term tends to zero, and monotonicity handles noninteger truncation levels. Therefore the first occurrence of a decimal digit calculation gives
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 1 12D b ii Solution Created 2026-09-24 Updated 2026-10-03
No. Enumerate the rationals in asand defineThe function is nonnegative and unbounded, while it is identically zero on . For any , however, is positive on the dense set of rationals and zero on the dense set of irrationals. Every interval therefore has positive oscillation, and the upper and lower Darboux integrals differ. Thus even the truncations need not be Riemann integrable.
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 2 1A a Solution Created 2026-09-24 Updated 2026-09-25
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 2 2A i Solution Created 2026-09-24 Updated 2026-09-25
Set in the functional equation:The denominator is defined. If , cancellation would give , impossible for a real-valued function. Hence
Past exam of the mathematics course of the University of Cambridge 2024 ia Paper 2 3F b i Solution Created 2026-09-24 Updated 2026-09-25