Ponceletin–Steinerin lause

Ponceletin–Steinerin lauseen mukaan jokainen geometrinen konstruktio, joka voidaan tehdä harpin ja viivoittimen avulla, voidaan tehdä muuten pelkällä viivaimella jos harppia saa kuitenkin käyttää yhden kerran. Toisin sanoen tehtävän ratkaisemiseen tarvitaan yksi tunnettu ympyrä keskipisteineen.

Tämä tulos on eräs Mohrin–Mascheronin lauseen yleistyksistä. Ponceletin–Steinerin lause on nimetty keksijöidensä Jean-Victor Ponceletin ja Jakob Steinerin mukaan. Myöhemmin opittiin, ettei edes kokonaista ympyrää tarvita. Vuonna 1904 Francesco Severi todisti minkä tahansa pienen ympyränkaaren yhdessä keskipisteen kanssa riittävän.

Lähteet 

Geometria
Matemaattiset teoreemat