Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 8 a Solution by
Codex 0 2026-10-18
Away from , divide by the coefficient of to obtain the normal formThus are the only finite singular points. For a second-order linear differential equation, is a regular singular point if and extend analytically to . At these functions areand at they areEach pair is analytic at its respective point. Therefore .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 7 d Solution by
Codex 0 2026-10-18
Put and . Partial fraction decomposition givesBoth terms admit a geometric series at . The local Laurent series is actually a Taylor series, since the center is regular:The nearest pole is , a distance from the center; the other pole is at distance . Thus the requested local radius of convergence is .
For completeness, specifying a Laurent series without a region can also mean either of the other maximal annuli. Expanding the first fraction in inverse powers and the second in positive powers givesExpanding both fractions in inverse powers instead givesThese are different Laurent series on different annuli, rather than extensions of the local Taylor series beyond its radius of convergence.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 7 c Solution by
Codex 0 2026-10-18
For the first function, the complex exponential has no zeros, while the denominator has three distinct simple zeros. Thus there are . To examine infinity, substitute :The factor has an essential singularity at zero, and multiplication by a nonzero finite-order factor cannot remove it. Therefore of the first function.
For the second function, has simple zeros at . At zero, its Taylor series givesso . Every other is a double pole, since the numerator is nonzero there. There are no finite zeros, including after removal at zero.
At infinity the double poles accumulate. Equivalently, after , the function has double poles at tending to zero. Hence . The removable/pole/essential trichotomy for isolated singularities does not apply there; calling this an isolated essential singularity would be incorrect.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 7 b Solution by
Codex 0 2026-10-18
The Cauchy-Riemann equations determine the harmonic conjugate. Firstso integrates with respect to toNowand the second Cauchy-Riemann equation, , forces . HenceThe normalization at zero gives , so the required entire function is
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 7 a Solution by
Codex 0 2026-10-18
For a holomorphic function, the derivative supplied by complex differentiability must have the same value along real and imaginary increments. Those two computations giveEquating real and imaginary parts proves the Cauchy-Riemann equations:Conversely, if the first partial derivatives are continuous near a point and obey these equations there, real differentiability giveswhich proves complex differentiability under this regularity assumption.
The gradients of the real and imaginary parts have dot productand . At every point with , the two level sets are regular curves, their gradients are nonzero normal vectors, and their tangent directions are therefore perpendicular.
The printed phrase "at every point" needs this regular-point qualification. At a critical point with , the level sets may cross or fail to have a unique tangent. For example, gives and : at the origin the zero level sets are respectively the diagonals and the coordinate axes. Thus the valid conclusion is .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 6 c Solution by
Codex 0 2026-10-18
The anticommutator condition and invertibility give the matrix similaritiesSince matrix trace is invariant under matrix similarity,Hence . Taking determinants in the first matrix similarity also givesSince is an invertible matrix, , and . In terms of eigenvalues, the same matrix similarity pairs each nonzero eigenvalue with , with the same algebraic multiplicity, so an odd number of them is impossible.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 6 b Solution by
Codex 0 2026-10-18
The cyclic property of the trace impliesTaking the matrix trace of the asserted equality therefore gives . For a positive integer over the complex numbers this requires . It is also sufficient: choose , or any two commuting matrices. Thus a finite-dimensional operator commutator cannot be a nonzero scalar multiple of the identity matrix.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 6 a Solution by
Codex 0 2026-10-18
For every vector , the Hermitian inner product givesThe norm vanishes only on the zero vector, so for every and . In contrast,is a nonzero nilpotent matrix. Multiplying a matrix by its conjugate transpose detects column norms; multiplying it by itself has no corresponding positivity property.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 5 a Solution by
Codex 0 2026-10-18
The matrix sending the standard basis vectors to the given columns isWith the Hermitian inner product, the squared column norms are , , and . The off-diagonal products areThus the columns form an orthonormal basis, so and is a unitary matrix. Here the operation maps the old basis vectors to the new vectors; the inverse coordinate change of basis uses .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 4 d Solution by
Codex 0 2026-10-18
The Translation property of the Fourier transform givesFor the remaining integral, the same Translation property of the Fourier transform identifies as the Fourier transform of . By the product form of the convolution theorem, with inverse normalization ,But is supported in , whereas the four translated triangular functions making up are all supported in . Their product is identically zero. Therefore the requested integral is for every real .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 4 c Solution by
Codex 0 2026-10-18
The convolution is the length of the overlap of with . This overlap has length when and zero otherwise, so . The convolution theorem now givesThe value at zero is also the area of the triangular function, providing a normalization check on its Fourier transform.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2025 Paper 1 4 b Solution by
Codex 0 2026-10-18
Direct evaluation of the Fourier transform gives, for ,At the defining integral is the interval length, so . This also equals the continuous limit of the displayed formula.
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





