Elementen van Euclides

De Elementen (Grieks: Στοιχεῖα - Stoicheia) is een meetkundig en rekenkundig verzamelwerk, bestaande uit dertien boeken, geschreven door de Hellenistische wiskundige Euclides te Alexandrië in het begin van de derde eeuw voor Christus. Hierin verzamelde en formaliseerde hij 468 wiskundige bewijzen die in de eeuwen daarvoor reeds door andere wiskundigen waren bewezen. Elk boek bestaat uit twee delen: * (I) definities (138 in totaal). * (II) theorema's (468 in totaal) en de bewijzen voor die theorema's met behulp van definities en eerdere bewezen theorema's. Alleen in het eerste boek komen ook nog vijf postulaten en vijf algemeenheden voor. Voor de meetkundige bewijzen mag men gebruikmaken van een passer (om cirkels te trekken) en een liniaal (om lijnen te trekken). Er wordt niet gemeten, noch met de passer, noch met de liniaal.