Voorbeeld

Het doel van dit wiskundedomein is het leren leveren van bewijzen voor stellingen. Wiskundigen doen dit uitgaande van al eerder bewezen stellingen en heldere definities van (nieuwe) begrippen (binnen een bepaalde theorie). Voor de vlakke meetkunde zijn de axioma's (plus definities e.d.) van Euclides het vaststaande uitgangspunt. Maar je kent al veel stellingen die daaruit voortvloeien (en die eigenlijk een strak bewijs behoeven!) die je niet steeds weer opnieuw wilt bewijzen. Daarom bestaat er een lijst van definities en stellingen die als uitgangspunt mogen worden genomen. Van daar uit probeer je zelf nieuwe stellingen te bewijzen.
Om de structuur van bewijzen duidelijk te maken zie je hier in voorbeelden enkele bewijzen van stellingen die op die lijst voorkomen.

Stelling:

De overstaande hoeken bij twee snijdende lijnen zijn gelijk.

» Bewijs

Stelling:

De som van de hoeken van een driehoek is 180°.

» Bewijs