Topics (275k) Articles (284k) Users (352) Discussions (237) Comments (383) Files (8k) New article
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 2 10E i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
This assertion is false in general. In dimension two take , and . Then , whereas . Their characteristic polynomials are and , respectively, so .
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 3C b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Write and . The Cauchy-Riemann equations give and . Thus the real Jacobian determinant isThis identity also holds at points where ; there the Jacobian is zero and local angle preservation is not guaranteed.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 3C a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For a regular smooth curve passing through , the complex tangent of its image is . When , both tangents are multiplied by the same nonzero complex number. Multiplication rescales lengths by and rotates every direction by , so the difference of tangent arguments is unchanged. Hence the analytic function defines a conformal map at : oriented angles, and therefore ordinary angles between the curves, are preserved. The nonzero derivative condition also ensures that the image tangents are nonzero.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 1E iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
False in general. Take and . Both have trace and determinant , but their eigenvalue multisets are different. For , append equal identity blocks to preserve this counterexample. In dimensions one and two the assertion is true: in dimension two the characteristic polynomial is , whose roots, with multiplicity, are determined by those two quantities.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 1E iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
False. Every entry of is strictly positive, yet . Its eigenvalues are and , so one has negative real part. Positivity of entries does not imply the positive-definite matrix property.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 1E ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
False. The matrix has real eigenvalues and , because its characteristic polynomial is , but . Real spectrum alone does not imply that it is a Hermitian matrix.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 1E i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 18H ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The unrestricted maximum-likelihood estimators remain . Subject to the null constraint, minimizing on gives , while . ConsequentlyWe must calibrate this likelihood-ratio test over the entire composite null. Under that null let and . Then with , while independently, and . Couple all null distributions by , with a fixed standard Gaussian . Increasing decreases pointwise, so the largest rejection probability occurs at , namely .
At this boundary the sign of is independent of , with each sign having probability one half. On , ; on , . Thus the least favourable null hypothesis law is the exact chi-bar-squared distribution . Choose byThe tail is a continuous function and strictly decreasing from one to zero, so this threshold is unique for . The null rejection probability is at most and equals at . This proves the required size, rather than using an interior chi-squared approximation.
To compare, put , the threshold in (i). Since is stochastically larger than (add an independent squared standard Gaussian), the mixture threshold obeys . When , test (ii) therefore requires stronger evidence from than test (i). When , test (ii) also responds to violation of the mean constraint and can reject even with . Neither critical region contains the other. In the coordinates , the acceptance region in (i) is the strip ; in (ii) it is the right half-strip , together with the left half-disk , . The extra constraint changes both the statistic and its correct null calibration.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 18H i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Write and . Completing the square in each sample, the log likelihood is, up to a data-dependent constant,The maximum-likelihood estimators follow because it is strictly maximized over unrestricted means at . Under the null it is maximized at . Thus the likelihood ratio is , and the likelihood-ratio test rejects for large .
Under every null value of , has the standard Gaussian distribution; hence has the chi-squared distribution with one degree of freedom. Let , where is the standard Gaussian cumulative distribution function. The exact size- test isThe null rejection probability is , independently of the nuisance mean . No randomization is required because the statistic has a continuous distribution.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 17B iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Incompressibility makes each perturbation velocity potential a harmonic function. A horizontal mode has . Decay away from the interface selects below and above. The kinematic boundary condition givesInsert these into the dynamic boundary condition for an inviscid interface and cancel a nonzero mode amplitude to obtainWriting and , completion of the square givesConsequentlyThe imaginary advection term does not change growth rates. A mode grows exponentially precisely when the radicand is positive, equivalentlyIf the upper fluid is heavier, every nonzero wavevector is unstable even without shear: this is Rayleigh-Taylor instability. If the lower fluid is heavier, gravity stabilizes sufficiently long waves, but any nonzero velocity difference destabilizes sufficiently short waves with : this is Kelvin-Helmholtz instability. For equal densities, shear destabilizes modes with . A negative radicand gives purely imaginary frequencies and oscillatory modes; equality is the marginal threshold for exponential growth.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 17B ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Without surface tension, the exact dynamic boundary condition for an inviscid interface is equality of pressure, , at . The Unsteady Bernoulli equation in each irrotational fluid isChoose the potential gauge so that , its unperturbed value. Expanding the kinetic term as and evaluating gravity at the displaced interface givesto first order. Equality of these pressures gives
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 17B i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The interface is a material surface, so its defining function obeys on each side. Since , the exact kinematic boundary condition isSubstitute . Products such as are second order, as is the correction from evaluating at instead of zero. Linearization therefore gives
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 16B iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For the charge-generated electric field, use the electric potentialThe vector potential is time independent, so its usual additional contribution is zero. The continuity equation now givesThus the second term in part (iii) is exactly the displacement current contribution , andThis is the Ampère-Maxwell equation. The constructed field also has zero curl, consistent with the time-independent magnetic field and Faraday's law. A static addition to the electric field does not change this conclusion; the integral construction selects the fields sourced by the given densities rather than an independently added radiation field.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 16B iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Use the identity . The Laplacian identity for the Coulomb kernel gives, component by component,Also , so integration by parts yieldsHere the surface integral at infinity vanishes under the assumed localization of the current. As usual, this assumption means sufficient decay for these integrals and the boundary limit, rather than merely pointwise convergence to zero. Combining the two terms gives
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 16B ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Let and introduce the magnetic vector potential . Differentiation is with respect to , so is constant under it. HenceTaking the curl through the integral reproduces the Biot-Savart law, proving and the requested representation.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 16B i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Charge conservation gives the continuity equation . Since is independent of time, so is . Integrating at each fixed position gives
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 13C b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Use the same indented upper-semicircle contour and branch of the complex logarithm, now for . Write . On the negative axis, and . Consequently the two straight contributions tend toThe outer arc is and the small arc is , so neither contributes in the limit. At the enclosed pole ,The residue theorem gives . Part (a) gives . Substituting and using , the right side after moving the term is . Hence
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 13C a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Put , so , and write . Choose the branch of the complex logarithm with , whose cut is the downward imaginary axis. Define and integrate along the positively oriented upper semicircle, indented above zero. The straight pieces run from to and from to ; the small arc runs clockwise from argument to zero.
On the negative real axis , so the two straight pieces tend to . The outer arc is and the inner arc is , both tending to zero. The only enclosed pole is , with residue . The residue theorem therefore givesUsing yieldsThe same bounds show convergence of the real integral at both zero and infinity.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 12F d Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A Hausdorff, noncompact topology. The condition says precisely that each point of lies in a residue class contained in . These classes form a basis: the intersection of two classes containing a common point contains the class through that point with modulus equal to the least common multiple of their moduli. Thus arbitrary unions obey the condition, and so do finite intersections. Also and obey it. This is the profinite topology on .
If , choose . Then and are disjoint open neighbourhoods, proving the Hausdorff property. To test compactness, defineEvery is nonempty and both open and closed: its complement is a finite union of other residue classes. Since , . If belonged to their intersection, then would be divisible by for every , forcing , impossible for an integer. Therefore is an increasing open cover of . Any finite subcollection has union for its largest index and misses the nonempty . This proves that the profinite topology on the integers is not compact.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 12F c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Not a topology. For every integer , the set is periodic with period , so belongs to the family. Their union is : for a nonzero , choose , which cannot divide . But this union has no positive integer period. If it had period , membership of would force membership of zero. Again arbitrary unions fail the topology axiom.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





