Poncelet–Steiner theorem


In Euclidean geometry, the Poncelet–Steiner theorem is one of several results concerning compass and straightedge constructions with additional restrictions. This result states that whatever can be constructed by straightedge and compass together can be constructed by straightedge alone, provided that a single circle and its centre are given.

History

In the tenth century, the Persian mathematician Abu al-Wafa' Buzjani considered geometric constructions using a straightedge and a compass with a fixed opening, a so-called rusty compass. Constructions of this type appeared to have some practical significance as they were used by artists Leonardo da Vinci and Albrecht Dürer in Europe in the late fifteenth century. A new viewpoint developed in the mid sixteenth century when the size of the opening was considered fixed but arbitrary and the question of how many of Euclid's constructions could be obtained was paramount.
Renaissance mathematician Lodovico Ferrari, a student of Gerolamo Cardano in a "mathematical challenge" against Niccolò Fontana Tartaglia was able to show that "all of Euclid" could be accomplished with a straightedge and rusty compass. Within ten years additional sets of solutions were obtained by Cardano, Tartaglia and Tartaglia's student Benedetti. During the next century these solutions were generally forgotten until, in 1673, Georg Mohr published Euclidis Curiosi containing his own solutions. Mohr had only heard about the existence of the earlier results and this led him to work on the problem.
Showing that "all of Euclid" could be performed with straightedge and rusty compass is not the same as proving that all straightedge and compass constructions could be done with a straightedge and just a rusty compass. Such a proof would require the formalization of what a straightedge and compass could construct. This groundwork was provided by Jean Victor Poncelet in 1822. He also conjectured and suggested a possible proof that a straightedge and rusty compass would be equivalent to a straightedge and compass, and moreover, the rusty compass need only be used once. The result that a straightedge and single circle with given centre is equivalent to a straightedge and compass was proved by Jakob Steiner in 1833.

Other types of restricted construction

The Poncelet–Steiner theorem should be contrasted with the Mohr–Mascheroni theorem, which states that any compass and straightedge construction can be performed with only a compass.
It is not possible to construct everything that can be constructed with straightedge and compass with straightedge alone. If the centre of the only given circle is not provided, it cannot be obtained by a straightedge alone. Many constructions are impossible with straightedge alone. Something more is required, and a circle with its center identified is sufficient.
The requirement that one circle with its center provided has been since generalized to include alternative but equally restrictive conditions. In one such alternative, the entire circle is not required at all. In 1904, Francesco Severi proved that any small arc together with the centre will suffice.
In two other alternatives, both attributed to D. Cauer, the centre may be omitted entirely provided that given are either two concentric circles, or two distinct intersecting circles, of which there are two cases: two intersection points and one intersection point. The tangential case itself has two cases: congruent and non-congruent circles. From any of these scenarios, centres can be constructed, reducing the scenario to the original hypothesis.
Still other variations exist. It suffices to have two non-intersecting circles if a centerline point is provided, two non-intersecting circles if a single point on the radial axis is provided, or to simply have three non-intersecting circles.