Mohrin–Mascheronin lause

Mohrin–Mascheronin lauseen mukaan jokainen geometrinen konstruktio, joka voidaan tehdä harpin ja viivoittimen avulla, voidaan tehdä pelkästään harpin avulla. Tällöin suora katsotaan piirretyksi, kun tunnetaan sen kaksi pistettä.^[1] Tuloksen julkaisi tanskalainen matemaatikko Georg Mohr (1640–1697) vuonna 1672, mutta todistus täsmentyi vuonna 1928. Lauseen keksi myös italialainen Lorenzo Mascheroni (1750–1800) vuonna 1797.

Ponceletin–Steinerin lauseen mukaan kaikki geometriset konstruktiot, jotka voidaan tehdä harpin ja viivaimen avulla, voidaan tehdä muuten pelkällä viivaimella jos harppia saa kuitenkin käyttää yhden kerran.^[1]