Villarceau circles

In geometry, Villarceau circles (pronEng|viːlɑrˈsoʊ) are a pair of circles produced by cutting a torus diagonally through the center at the correct angle. Given an arbitrary point on a torus, four circles can be drawn through it. One is in the plane (containing the point) parallel to the equatorial plane of the torus. Another is perpendicular to it. The other two are Villarceau circles. They are named after the French astronomer and mathematician Yvon Villarceau (1813–1883).

Example

For example, let the torus be given implicitly as the set of points on circles of radius three around points on a circle of radius five in the "xy" plane

:$0\; =\; (x^2+y^2+z^2\; +\; 16)^2\; -\; 100(x^2+y^2).\; ,!$

Slicing with the "z" = 0 plane produces two concentric circles, "x"² + "y"² = 2² and "x"² + "y"² = 8². Slicing with the "x" = 0 plane produces two side-by-side circles, ("y" − 5)² + "z"² = 3² and ("y" + 5)² + "z"² = 3².

Two example Villarceau circles can be produced by slicing with the plane 3"x" = 4"z". One is centered at (0, +3, 0) and the other at (0, −3, 0); both have radius five. They can be written in parametric form as

:$(x,y,z)\; =\; (4\; cos\; vartheta,\; +3+5\; sin\; vartheta,\; 3\; cos\; vartheta)\; ,!$

and

:$(x,y,z)\; =\; (4\; cos\; vartheta,\; -3+5\; sin\; vartheta,\; 3\; cos\; vartheta)\; .\; ,!$

The slicing plane is chosen to be tangent to the torus while passing through its center. Here it is tangent at (¹⁶⁄₅, 0, ¹²⁄₅) and at (⁻¹⁶⁄₅, 0, ⁻¹²⁄₅). The angle of slicing is uniquely determined by the dimensions of the chosen torus, and rotating any one such plane around the vertical gives all of them for that torus.

Existence and equations

A proof of the circles’ existence can be constructed from the fact that the slicing plane is tangent to the torus at two points. One characterization of a torus is that it is a surface of revolution. Without loss of generality, choose a coordinate system so that the axis of revolution is the "z" axis. Begin with a circle of radius "r" in the "xz" plane, centered at ("R", 0, 0).

:$0\; =\; (x-R)^2\; +\; z^2\; -\; r^2\; ,!$

Sweeping replaces "x" by ("x"² + "y"²)^1/2, and clearing the square root produces a quartic.

:$0\; =\; (x^2+y^2+z^2\; +\; R^2\; -\; r^2)^2\; -\; 4R^2(x^2+y^2)\; .\; ,!$

The cross-section of the swept surface in the "xz" plane now includes a second circle.

:$0\; =\; (x+R)^2\; +\; z^2\; -\; r^2\; ,!$

This pair of circles has two common internal tangent lines, with slope at the origin found from the right triangle with hypotenuse "R" and opposite side "r" (which has its right angle at the point of tangency). Thus "z"/"x" equals ±"r" / ("R"² − "r"²)^1/2, and choosing the plus sign produces the equation of a plane bitangent to the torus.

:$0\; =\; x\; r\; -\; zsqrt\{R^2-r^2\}\; ,!$

By symmetry, rotations of this plane around the "z" axis give all the bitangent planes through the center. (There are also horizontal planes tangent to the top and bottom of the torus, each of which gives a “double circle”, but not Villarceau circles.)

:$0\; =\; x\; r\; cos\; varphi\; +\; y\; r\; sin\; varphi\; -\; z\; sqrt\{R^2-r^2\}\; ,!$

We can calculate the intersection of the plane(s) with the torus analytically, and thus show that the result is a symmetric pair of circles, one of which is a circle of radius "R" centered at

:$(-r\; sin\; varphi,\; r\; cos\; varphi,\; 0)\; .\; ,!$

A treatment along these lines can be found in Coxeter (1969).

A more abstract — and more flexible — approach was described by Hirsch (2002), using algebraic geometry in a projective setting. In the homogeneous quartic equation for the torus,

:$0\; =\; (x^2+y^2+z^2\; +\; R^2w^2\; -\; r^2w^2)^2\; -\; 4R^2w^2(x^2+y^2)\; ,\; ,!$

setting "w" to zero gives the intersection with the “plane at infinity”, and reduces the equation to

:$0\; =\; (x^2+y^2+z^2)^2\; .\; ,!$

This intersection is a double point, in fact a double point counted twice. Furthermore, it is included in every bitangent plane. The two points of tangency are also double points. Thus the intersection curve, which theory says must be a quartic, contains four double points. But we also know that a quartic with more than three double points must factor (it cannot be irreducible), and by symmetry the factors must be two congruent conics. Hirsch extends this argument to "any" surface of revolution generated by a conic, and shows that intersection with a bitangent plane must produce two conics of the same type as the generator when the intersection curve is real.

Filling space

The torus plays a central role in the Hopf fibration of the 3-sphere, "S"³, over the ordinary sphere, "S"², which has circles, "S"¹, as fibers. When the 3-sphere is mapped to Euclidean 3-space by stereographic projection, the inverse image of a circle of latitude on "S"² under the fiber map is a torus, and the fibers themselves are Villarceau circles. Banchoff (1990) has explored such a torus with computer graphics imagery. One of the unusual facts about the circles is that each links through all the others, not just in its own torus but in the collection filling all of space; Berger (1987) has a discussion and drawing.

References

* cite book
last = Banchoff
first = Thomas F.
authorlink = Thomas Banchoff
title = Beyond the Third Dimension
publisher = Scientific American Library
year = 1990
id = ISBN 978-0-7167-5025-3
* cite book
last = Berger
first = Marcel
title = Geometry II
publisher = Springer
year = 1987
chapter = §18.9: Villarceau circles and parataxy
pages = 304–305
id = ISBN 978-3-540-17015-0
* cite book
last = Coxeter
first = H. S. M.
authorlink = H. S. M. Coxeter
title = Introduction to Geometry
edition = 2/e
publisher = Wiley
year = 1969
pages = 132–133
id = ISBN 978-0-471-50458-0
* cite journal
last = Hirsch
first = Anton
title = Extension of the ‘Villarceau-Section’ to Surfaces of Revolution with a Generating Conic
url = http://www.heldermann.de/JGG/jgg06.htm
journal = Journal for Geometry and Graphics
volume = 6
number = 2
pages = 121–132
publisher = Heldermann Verlag
location = Lemgo, Germany
year = 2002
id = ISSN|1433-8157
* cite journal
last = Stachel
first = Hellmuth
title = Remarks on A. Hirsch's Paper concerning Villarceau Sections
url = http://www.heldermann.de/JGG/jgg06.htm
journal = Journal for Geometry and Graphics
volume = 6
number = 2
pages = 133–139
publisher = Heldermann Verlag
location = Lemgo, Germany
year = 2002
id = ISSN|1433-8157
* cite journal
last = Yvon Villarceau
first = Antoine Joseph François
authorlink = Yvon Villarceau
title = Théorème sur le tore
journal = Nouvelles Annales de Mathématiques
volume = 7
series = Série 1
pages = 345–347
publisher = Gauthier-Villars
location = Paris
year = 1848
id = OCLC: 2449182

External links

* [http://mathworld.wolfram.com/Torus.html Torus] at MathWorld
* [http://www.geom.uiuc.edu/~banchoff/script/b3d/hypertorus.html Flat Torus in the Three-Sphere]