Collapse the equator to one point and identify no other points:
Each closed hemisphere is a disk; collapsing its boundary gives a sphere. The two boundaries are the same equator, so the resulting spheres meet at the single collapsed point. This is the sphere with its equator collapsed.
An explicit verification avoids relying only on the picture. Away from the poles, use and define
At the north and south poles use and , respectively. The angular terms tend uniformly to zero at both poles, making these extensions continuous. Both hemisphere formulas agree at the equator, with value . Their images lie on the two specified unit spheres and cover them; away from the common origin the height parameter and angle are recovered uniquely. Thus the fibres are exactly the stated equivalence classes. The preceding compact-to-Hausdorff argument gives .
A basis of a topology is a collection such that every open set is a union of members of . Equivalently, for each open and every , there exists with . The empty union represents the empty set. In particular, the basis covers , and any intersection of two basis elements is itself a union of basis elements.
First use the preceding isometry to align the first two points, and put . It remains to align with while fixing . Use orthonormal coordinates in which and , , and write , . The prescribed distances give
Subtracting yields , and then . Therefore is either or its reflection across the line through . In the first case take ; in the second compose with that reflection. Both constructions fix the first two images and send the third point to its required image. The argument also covers three collinear points, when the two possible third images coincide. Thus all three points can be matched by one plane isometry.
Put and . They are nonzero vectors with the same Euclidean norm. Choose the rotation matrix taking the direction to ; equal lengths then give . Define
This is a translation by followed by a rotation about , so it is an isometry. Direct substitution gives and .
An isometry of the Euclidean plane is a map preserving all Euclidean distances, . Such a map of the whole plane is automatically bijective, and has the form with an orthogonal matrix.
The classification is identity, translations, rotations about a point, reflections in a line, and glide reflections. Here a glide reflection is a reflection followed by a nonzero translation parallel to its mirror. The cases preserving orientation have and are translations or rotations; the orientation-reversing cases have and are reflections or glide reflections. The identity is included by allowing a zero translation or rotation angle.
The tower law for field extensions states that, for with both successive degrees finite,
Indeed, if form an -basis of and form a -basis of , their products form an -basis of : expansion gives spanning, and independence follows first over and then over .
Starting from a unit segment, every straightedge and compass construction introduces coordinates by solving linear or quadratic equations over the coordinates already available. Thus a constructible number belongs to a tower of field extensions whose successive degrees are one or two; the total degree is a power of two. Doubling the volume of a unit cube would require the edge length . Its minimal polynomial over is , irreducible by Eisenstein's criterion at the prime number two. Thus . If that number lay in a construction field of degree , the tower law would make three divide , a contradiction. Therefore doubling the cube by straightedge and compass is impossible.
Let . The intermediate field is an -linear linear subspace of , so the finite-dimensional linear subspace theorem gives . To handle the other field extension, take an -basis of . Every is a sum with , so the same list spans as a -vector space. It need not remain linearly independent, but spanning suffices to give . Hence both intermediate extensions are finite.
The degree of a field extension is the dimension of the larger field as a vector space over the smaller one:
The field extension is a finite field extension precisely when this dimension is finite, equivalently when finitely many elements of span over . Finiteness here concerns the dimension, not the number of elements of the fields; for example, has degree two over although both fields are infinite.
Take the invertible matrix , whose determinant is . Suppose it had an LU factorization with any lower triangular and upper triangular :
The entry gives , so . The entry gives , so . But then the entry would be , contradicting . Thus this nonsingular matrix has no unpermuted LU factorization, even without imposing a unit diagonal on . A row permutation resolves the zero pivot, explaining the role of partial pivoting.
The elimination multipliers are , , and . The unit lower triangular matrix in the LU factorization is therefore
Direct multiplication checks
The positive signs in undo the row subtractions used during Gaussian elimination.
The first pivot is two. Gaussian elimination without partial pivoting uses and , giving
The second pivot is one; gives the upper triangular matrix
Both pivots used for division are nonzero, so no row exchange is needed.
Integrate the Lagrange interpolation polynomial and exchange the integral with the finite sum:
Therefore the interpolatory quadrature weights are
The resulting quadrature rule is exact for every polynomial of degree at most , since its interpolant is itself. For a general continuous , replacing by its interpolant supplies the approximation.
If and both interpolate the data and have degree at most , the polynomial has the distinct roots . A nonzero polynomial of degree at most has at most roots: repeated use of the factor theorem would otherwise make a product of linear factors divide it. Hence , proving the interpolating polynomial is unique.
The Lagrange interpolation polynomial is
The distinct nodes make all denominators nonzero. Each Lagrange basis polynomial has degree and satisfies , so the sum has degree at most and interpolates every specified value.

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