Circular section

In geometry, a circular section is a circle on a quadric surface (such as an ellipsoid or hyperboloid). It is a special plane section of the quadric, as this circle is the intersection with the quadric of the plane containing the circle.
Any plane section of a sphere is a circular section, if it contains at least 2 points. Any quadric of revolution contains circles as sections with planes that are orthogonal to its axis; it does not contain any other circles, if it is not a sphere. More hidden are circles on other quadrics, such as tri-axial ellipsoids, elliptic cylinders, etc. Nevertheless, it is true that:
Equivalently, all quadric surfaces contain circles except parabolic and hyperbolic cylinders and hyperbolic paraboloids.
If a quadric contains a circle, then every intersection of the quadric with a plane parallel to this circle is also a circle, provided it contains at least two points. Except for spheres, the circles contained in a quadric, if any, are all parallel to one of two fixed planes (which are equal in the case of a quadric of revolution).
Circular sections are used in crystallography.
Using projective geometry.
The circular sections of a quadric may be computed from the implicit equation of the quadric, as it is done in the following sections. They may also be characterised and studied by using synthetic projective geometry.
Let be the intersection of a quadric surface and a plane . In this section, and are surfaces in the three-dimensional Euclidean space, which are extended to the projective space over the complex numbers. Under these hypotheses, the curve is a circle if and only if its intersection with the plane at infinity is included in the ombilic (the curve at infinity of equation formula_1).
The first case to be considered is when the intersection of with the plane at infinity consists of one or two real lines, that is when is either a hyperbolic paraboloid, a parabolic cylinder or a hyperbolic cylinder. In this case the points at infinity of are real (intersection of a real plane with real lines). Thus the plane sections of cannot be circles (neither ellipses).
If is a sphere, its intersection with the plane at infinity is the ombilic, and all plane sections are circles.
If is a surface of revolution, its intersection with the ombilic consists of a pair of complex conjugate points (which are double points). A real plane contains these two points if and only if it is perpendicular to the axis of revolution. Thus the circular sections are the plane sections by a plane perpendicular to the axis, that have at least two real points.
In the other cases, the intersection of with the ombilic consists of two different pairs of complex conjugate points. As is a curve of degree two, its intersection with the plane at infinity consists of two points, possibly equal. The curve is thus a circle, if these two points are one of these two pairs of complex conjugate points on the ombilic. Each of these pairs defines a real line (passing through the points), which is the intersection of with the plane at infinity. Thus, one has a circular section if and only has at least two real points and contains one of these lines at infinity (that is if is parallel to one of two directions defined by these lines at infinity).
Determination of circular sections of a quadric.
In order to find the planes, which contain circular sections of a given quadric, one uses the following statements:
Hence the "strategy" for the detection of circular sections is: 
Tri-axial ellipsoid.
For the ellipsoid with equation 
and the semi-axes formula_3 one uses an auxiliary sphere with equation 
The sphere's radius has to be chosen such that the intersection with the ellipsoid is contained in two planes through the origin.
Multiplication of the ellipsoid's equation by formula_5 and subtracting the sphere's equation yields:
This equation describes a pair of planes, if one of the 3 coefficients is zero. In case of formula_7 or formula_8 the equation is only fulfilled by either the x-axis or the z-axis. Only in case of formula_9 one gets a pair of planes with equation 
because only in this case the remaining coefficients have different signs (due to: formula_11).
The diagram gives an impression of more common intersections between a sphere and an ellipsoid and highlights the exceptional circular case (blue).
If the values of the semi-axes are approaching, the two pencils of planes (and circles) approach either. For formula_12 all the planes are orthogonal to the z-axis (rotation axis).
Proof of property (P):<br>
Turning the ellipsoid around the y-axis such that one of the two circles (blue) lies in the x-y-plane results in a new equation of the ellipsoid:
For formula_14 one gets formula_15, which has to be the equation of a circle. This is only true, if formula_16. 
The intersection of the ellipsoid by a plane with equation formula_17, (parallel to the x-y-plane) has the equation
This equation describes a "circle" or a point or the empty set. Center and radius of the circle can be found be completing the square.
Elliptical hyperboloid of one sheet.
For the hyperboloid of one sheet with equation 
analogously one gets for the intersection with the sphere formula_20 the equation
Only for formula_7 one gets a pair of planes:
Elliptical cylinder.
For the elliptical cylinder with equation
one gets the equation
Only for formula_7 one gets a pair of planes:
Elliptical paraboloid.
For the elliptical paraboloid with equation
one chooses a sphere containing the vertex (origin) and with center on the axis (z-axis) :
After elimination of the linear parts one gets the equation
Only for formula_31 one gets a pair of planes :
Elliptical hyperboloid of two sheets.
The hyperboloid of two sheets with equation 
is shifted at first such that one vertex is the origin (s. diagram):
Analogously to the paraboloid case one chooses a sphere containing the origin with center on the z-axis:
After elimination of the linear parts one gets the equation
Only for formula_37 one gets a pair of planes:
Elliptical cone.
The elliptical cone with equation 
is shifted such that the vertex is "not" the origin (s. diagram):
Now a sphere with center at the origin is suitable:
Eliminatiion of formula_42 yields:
In this case completing the square gives:
In order to get the equation of a pair of planes, the right part of the equation has to be zero, which is true for formula_45
The solution for z gives: