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 states
where 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.
Let and . Applying polynomial long division gives the Euclidean algorithm
Thus their polynomial greatest common divisor is , up to a nonzero constant factor. Their unique common root of a polynomial is therefore
The Euclidean algorithm computes the greatest common divisor of two integers by repeated division with remainder. Start with , , interchanging them if necessary, and repeatedly write
until 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 . Hence
If 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.
The partial derivatives of the parametrization are
Their cross product is
Taking its euclidean norm gives the surface area element
The 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 .
The ellipsoid is the level set . Its gradient is , which never vanishes on the ellipsoid. Half this gradient gives the outward normal vector
This normal vector remains valid at , where the given parametrization is singular.
Expanding and taking partial derivatives gives the gradient and Hessian matrix
At , these are and
Thus the Newton step solves
The second equation gives ; substituting into the first gives . Hence
At , however,
The eigenvalues of this Hessian matrix are in direction and in direction . It is invertible but indefinite. Thus the Newton step is zero, and
This 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 gives
For 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.
For an unconstrained differentiable function of two real variables, an interior local minimum must solve the simultaneous stationary point equations
Apply Newton's method in optimization to this gradient equation. The Jacobian matrix of the gradient is the Hessian matrix
At , solve the linear system , then set . When the Hessian matrix is invertible, this is
This 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.
An infinitesimal parameter rectangle becomes a parallelogram with edges and . Its area is the Euclidean norm of their cross product, giving the surface area element
Thus, 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.
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.
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 choose
These 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. Then
which 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 yields
justifying the approximation for the slope as well.
The algebraic identity does not require a normal distribution for the errors. Applying the central limit theorem to their sample mean gives
Thus, 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.
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 gives
Consequently
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, is
Thus maximum likelihood estimation minimizes the residual sum of squares. Setting its partial derivatives to zero gives
Using 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.
The pivotal quantity lies in and satisfies . Thus
Rearranging these inequalities yields the exact confidence interval
For every , its coverage probability is exactly ; the result uses the finite-sample probability distribution, with no normal approximation.
For , independence and the uniform distribution give
Therefore the cumulative distribution function is
It contains no , so is a pivotal quantity.
Let . For an observed sample in the nonnegative orthant, the likelihood function under the uniform distribution is
It 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 .
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!
We have two killer features:
  1. 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-calculus
    Articles 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/derivative
  2. 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.
    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.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
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