Constructie met passer en liniaal
Een constructie met passer en liniaal is het construeren van een bepaalde figuur, lengte, hoek of punt in het Euclidische vlak met alleen een (geïdealiseerde) passer en liniaal.
Constructies die niet met deze middelen konden worden uitgevoerd werden door de Grieken uit de klassieke oudheid, en in hun navolging tot in de twintigste eeuw, niet als bevredigend ervaren. De constructies zijn in zekere zin opnieuw actueel geworden door het gebruik van dynamische meetkunde software, waarin dergelijke constructies kunnen worden uitgevoerd.
De werktuigen
De beperkingen die door de oude Grieken aan het gebruik van de passer en liniaal stelden grijpen terug naar de Elementen van Euclides:
- De liniaal heeft geen markeringen, is onbeperkt lang en kan gebruikt worden om een lijn te trekken door twee gegeven punten.
- De passer kan gebruikt worden om een cirkel te tekenen met een gegeven middelpunt door een gegeven ander punt, de benen kunnen dus onbeperkt ver van elkaar liggen. Na het tekenen van de cirkel worden de benen weer samengeduwd, het is dus niet de bedoeling om de passer te gebruiken om lengtes over te brengen.
Een oplossing moet exact zijn, benaderingsconstructies gelden niet als oplossing. Daarom moet een goede constructie altijd gepaard gaan met een analyse.
Met deze werktuigen zijn de volgende bewerkingen met gegeven getallen op een getallenlijn (dus met gegeven eenheid) mogelijk:
- Optellen
- Vermenigvuldigen
- Omgekeerde nemen en daarmee Delen
- Worteltrekken
De beperking dat een passer niet gebruikt mag worden om lengtes over te brengen is trouwens nutteloos, dit kan met een constructie toch gedaan worden.
De drie problemen uit de klassieke Griekse meetkunde
De Grieken slaagden er niet in de volgende problemen met constructies op te lossen:
Ook lukte het niet om bepaalde regelmatige veelhoeken te construeren, zoals de regelmatige zevenhoek en de regelmatige negenhoek.
Carl Friedrich Gauss bewees in 1796 dat regelmatige veelhoeken construeerbaar zijn met passer en liniaal als het aantal hoeken het product is van een macht van 2 en een aantal verschillende Fermat-priemgetallen. In 1837 bewees de Franse wiskundige Pierre Wantzel vervolgens dat dit de enige construeerbare regelmatige veelhoeken zijn, en toonde hij aan dat de driedeling van de hoek en de verdubbeling van de kubus onmogelijk zijn. De onmogelijkheid van de kwadratuur van de cirkel volgde in 1882 toen Carl Louis Ferdinand von Lindemann bewees dat pi een transcendent getal is.
Ondanks de overtuigende wiskundige bewijzen blijven er mensen zoeken naar constructies voor de klassieke Griekse problemen. Overigens is door morrelen aan de eisen voor constructies, bijvoorbeeld door het toestaan van neusis, een aantal van de onmogelijke constructies wel uit te voeren. Ook origami biedt meer mogelijkheden dan de klassieke constructies, en maakt het driedelen van de hoek en verdubbeling van de kubus mogelijk.
Beperktere middelen
De stelling van Mohr-Mascheroni laat zien dat alle constructies van punten met passer en liniaal ook gedaan kunnen worden met passer alleen. Met liniaal alleen kunnen niet alle constructies worden gedaan, maar de stelling van Poncelet-Steiner toont aan dat het voldoende is als één cirkel met een middelpunt is getekend.