Quadric Canonical Form
Summary: §§113–115 of the Appendix on Surfaces. Every second-order surface can be reduced to by composing a rotation (kills the three cross-terms ) with a translation (kills the three linear terms ). The reduced form makes the center and the three mutually perpendicular diametral planes visible — the 3D lift of center-of-conic + principal-axes-and-foci.
Sources: appendix5, §§113–115.
Last updated: 2026-05-12.
§113 — Rotation kills cross-terms
Starting from the general equation
apply the change-of-coordinates-3d §92 substitution with three angles (Euler’s notation here):
etc. The general equation in takes the form
Although the calculations are rather long, we can find the actual angles which bring this result. (source: appendix5, §114)
The three angles can be chosen so that — i.e., the three cross-products vanish. The result:
This is the analogue of the principal-axes diagonalization for a 3D quadratic form.
§115 — Translation kills linear terms
The coordinates and can be increased or decreased in such a way that the coefficients and also vanish. This is accomplished simply by changing the position of the origin. (source: appendix5, §115)
A translation etc. (the standard completing-the-square trick) eliminates the linear terms — provided all three are nonzero. The final canonical form:
§115 — Three diametral planes and a center
In the canonical form:
- Each of the three coordinate planes (, , ) bisects the surface — substituting leaves the equation unchanged, so the surface is symmetric about . These are the three mutually perpendicular diametral planes of the surface.
- Their common point (the new origin) is the center of the surface.
Every second order surface has not only a diametral plane but three mutually perpendicular planes of this kind. The point of intersection of these three planes is the center of the surface, although the center in some cases is at an infinite distance. (source: appendix5, §115)
Degenerate cases — center at infinity
The translation step assumes are all nonzero. If one of them vanishes — say — then cannot be killed by translation, and the canonical form becomes
( removable by shifting ), giving the paraboloid family (§123, paraboloids-and-parabolic-hyperboloid). The “center” of such a surface lies at infinity along the axis — analogous to a parabola whose center lies at infinity along the axis.
If two coefficients vanish — say — only one quadratic term remains, linear, giving the parabolic cylinder (§126, parabolic-cylinder-quadric).
Six canonical-form representatives (genera)
| Form | Genus |
|---|---|
| , all signs | 1 (ellipsoid) |
| 2 (elliptic hyperboloid) | |
| 3 (hyperbolic hyperboloid) | |
| 4 (elliptic paraboloid) | |
| 5 (parabolic hyperboloid) | |
| 6 (parabolic cylinder) |
Plus degenerate quasi-species at each level (sphere, parabolic cone, two parallel planes, etc.).
Cross-references
- 3D analogue of center-of-conic (every conic has a center, possibly at infinity for the parabola) and principal-axes-and-foci (every conic has a unique orthogonal conjugate diameter pair = principal axes).
- The rotation step §113 uses the same Euler-angle substitution as change-of-coordinates-3d §92, instantiated to make .
- The canonical equations are then enumerated genus by genus in appendix-5-on-second-order-surfaces §§116–126.