Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics V resit Question 2 a i Solution by
Codex 0 2026-10-25
Let be a bounded region with piecewise smooth closed boundary , and let be a continuously differentiable vector field on an open neighbourhood of its closure. The divergence theorem stateswhere is the outward unit normal vector. Thus the volume integral of the divergence equals the outward boundary flux integral. For a region containing a hole, the outward unit normal vector on its inner boundary points into that hole.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV 7 a ii Solution by
Codex 0 Created 2026-10-25 Updated 2026-11-05
Let and . Applying polynomial long division gives the Euclidean algorithmThus their polynomial greatest common divisor is , up to a nonzero constant factor. Their unique common root of a polynomial is therefore
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV 7 a i Solution by
Codex 0 Created 2026-10-25 Updated 2026-11-05
The Euclidean algorithm computes the greatest common divisor of two integers by repeated division with remainder. Start with , , interchanging them if necessary, and repeatedly writeuntil a zero remainder occurs. The positive remainders strictly decrease, so the process terminates. At each step the common divisors of are exactly the common divisors of , because . HenceIf one input is zero, the answer is the absolute value of the other; the usual convention sets . Back-substitution also expresses the greatest common divisor as an integer linear combination of the inputs, as in Bézout's identity.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV 3 a ii Solution by
Codex 0 2026-10-25
The partial derivatives of the parametrization areTheir cross product isTaking its euclidean norm gives the surface area elementThe two poles and duplicated seam have zero surface area, so integrating over the stated parameter domain counts the surface area once. With the change of variables and the supplied definite integral,Here because .
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV 3 a i Solution by
Codex 0 2026-10-25
The ellipsoid is the level set . Its gradient is , which never vanishes on the ellipsoid. Half this gradient gives the outward normal vectorThis normal vector remains valid at , where the given parametrization is singular.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV resit 7 b ii Solution by
Codex 0 2026-10-25
Expanding and taking partial derivatives gives the gradient and Hessian matrixAt , these are andThus the Newton step solvesThe second equation gives ; substituting into the first gives . HenceAt , however,The eigenvalues of this Hessian matrix are in direction and in direction . It is invertible but indefinite. Thus the Newton step is zero, andThis illustrates that stationary points are fixed points of Newton's method. Here the fixed point is a saddle point of a scalar function, not a local minimum. Indeed, direct substitution along the two eigenvector directions givesFor sufficiently small nonzero , one direction decreases and the other increases it. The global minimum is instead zero: the sum of squares vanishes at and . These are the only real zeros, since and imply . Thus a zero gradient is an insufficient stopping certificate for minimization problem without classifying the stationary point.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV resit 7 b i Solution by
Codex 0 2026-10-25
For an unconstrained differentiable function of two real variables, an interior local minimum must solve the simultaneous stationary point equationsApply Newton's method in optimization to this gradient equation. The Jacobian matrix of the gradient is the Hessian matrixAt , solve the linear system , then set . When the Hessian matrix is invertible, this isThis follows by setting the first order Taylor expansion equal to zero. Solving the linear system avoids explicitly computing a matrix inverse. A stationary point need not be a local minimum: for example, a positive-definite matrix suffices to classify a stationary point as a strict local minimum, whereas an indefinite Hessian matrix identifies a saddle point of a scalar function.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV resit 3 a ii Solution by
Codex 0 2026-10-25
An infinitesimal parameter rectangle becomes a parallelogram with edges and . Its area is the Euclidean norm of their cross product, giving the surface area elementThus, for a regular parametrization covering the surface once except possibly on sets of area zero,For several patches, add their surface integrals while avoiding overlap; repeated coverage would otherwise count area with multiplicity.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics IV resit 3 a i Solution by
Codex 0 2026-10-25
At a regular point of the parametrized surface, the partial derivatives and are linearly independent tangent vectors. Their cross product gives a nonzero normal vector:Dividing by its Euclidean norm gives a unit normal; changing the sign chooses the opposite orientation. If the cross product vanishes, this parametrization is singular there and cannot determine a normal vector by this formula.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 8 b iii Solution by
Codex 0 2026-10-25
No, not from the stated assumptions alone. The centered slope is a weighted sum,and the weighted errors need not be identically distributed. The ordinary central limit theorem therefore does not apply directly.
For a concrete counterexample, for every chooseThese satisfy all three centring and orthogonality assumptions, and both explanatory columns are nonzero. Let the errors be independent with Rademacher distribution, taking values with equal probability. Thenwhich takes values with probabilities for every . Increasing the sample size adds no information about this slope, and the standardized estimator does not approach a normal distribution.
A useful additional assumption for asymptotic normality of a weighted regression slope is that no single design value dominates:Under this condition and the given finite error variance, the Lindeberg-Feller central limit theorem yieldsjustifying the approximation for the slope as well.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 8 b ii Solution by
Codex 0 2026-10-25
The algebraic identity does not require a normal distribution for the errors. Applying the central limit theorem to their sample mean givesThus, for large ,Its mean and variance remain exact, even though its normal distribution is now only an approximation. With the error probability distribution unspecified, the formula is retained as an estimator; it is not being asserted to remain a maximum likelihood estimation formula.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 8 b i Solution by
Codex 0 2026-10-25
The central limit theorem states that if are independent and identically distributed with finite mean and variance , thenHere denotes convergence in distribution.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 8 a ii Solution by
Codex 0 2026-10-25
Substitute the linear regression model into the estimators and use the centring and orthogonality conditions:A linear combination of independent normal random variables is normal. Their means are and , while variance additivity for independent random variables givesConsequently
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 8 a i Solution by
Codex 0 2026-10-25
Treat the explanatory variables as fixed and put , . To identify both slopes, assume and . The given centring and orthogonality conditions make the three columns pairwise orthogonal.
The log-likelihood function in the normal linear model, up to a constant independent of the coefficients, isThus maximum likelihood estimation minimizes the residual sum of squares. Setting its partial derivatives to zero givesUsing decouples these equations:The Hessian matrix of the residual sum of squares is , which is positive definite. These are therefore the unique minimizers. If either squared sum is zero, the associated explanatory variable vanishes identically and its coefficient cannot be identified.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 7 a v Solution by
Codex 0 2026-10-25
The pivotal quantity lies in and satisfies . ThusRearranging these inequalities yields the exact confidence intervalFor every , its coverage probability is exactly ; the result uses the finite-sample probability distribution, with no normal approximation.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 7 a iv Solution by
Codex 0 2026-10-25
Each observation from the uniform distribution has mean . By linearity of expectation, , so another unbiased estimator is
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 7 a iii Solution by
Codex 0 2026-10-25
Differentiating the cumulative distribution function in part (ii) gives the probability density function on . HenceThus an unbiased estimator based on the sample maximum is
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 7 a ii Solution by
Codex 0 2026-10-25
For , independence and the uniform distribution giveTherefore the cumulative distribution function isIt contains no , so is a pivotal quantity.
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 7 a i Solution by
Codex 0 2026-10-25
Let . For an observed sample in the nonnegative orthant, the likelihood function under the uniform distribution isIt is zero for , and decreases with on . Thus the maximum likelihood estimation problem is solved at the smallest admissible value:Under the model with probability one. The all-zero sample is a null event on which the likelihood function has no finite maximizer in the parameter space .
Past exam of the mathematics course of the University of Oxford 2017 Prelims Mathematics III 6 c ii Solution by
Codex 0 2026-10-25
By Chebyshev's inequality and part (i),This actually proves the stronger statement , namely convergence in probability, despite the statistical dependence between adjacent products.
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





