Soorten bewijzen

Er bestaan meerdere soorten bewijzen.
Het onderscheid is gelegen in de manier van redeneren.

Inhoud:


Directe bewijzen

Een direct bewijs is een "als ..., dan ..." redenering.
In de logica heet dat een implicatie. Uit een uitspraak waarvan je weet dat hij waar is volgt een nieuwe uitspraak die dan dus ook waar moet zijn. Dat doe je dan net zo lang tot je uiteindelijk hebt laten zien dat de uitspraak, het vermoeden, dat je wilde bewijzen volgt uit iets waarvan je weet (of aanneemt) dat het waar is.
Je hebt dan bewezen dat het vermoeden waar is en vanaf dat moment is het een stelling.

In dit filmpje geeft Bas Haring daarvan een mooi eenvoudig voorbeeld.



Bewijzen uit het ongerijmde

Een indirect bewijs heet ook wel een "bewijs uit het ongerijmde".
Je gaat er dan van uit dat je vermoeden ONWAAR is en toont aan dat daaruit iets volgt wat zeker ONWAAR is.

Een klassiek voorbeeld is het bewijs van Euclides dat er oneindig veel priemgetallen zijn.
Neem eens aan dat er NIET oneindig veel priemgetallen zijn, maar niet meer dan n.
Noem die n priemgetallen: p1, p2, ..., pn in opklimmende volgorde.
Bekijk nu het getal a = p1 · p2 · p3 · ... · pn + 1.
Dit getal is groter dan elk van de n priemgetallen.
Als je dit getal deelt door p1, of p2, of ..., of pn, dan blijft er steeds een rest van 1 over. Dus a is niet deelbaar door één van de priemgetallen p1, p2, ..., pn. Omdat elk getal te schrijven is als het product van priemgetallen (een stelling die je eigenlijk eerst nog moet bewijzen) is dit getal zelf een priemgetal.
Het getal a is een priemgetal dat groter is dan p1, p2, ..., pn en dus een nieuw priemgetal. Maar dat is in strijd met de aanname dat er maar n zijn.
De stelling dat er maar eindig priemgetallen zijn is dus onwaar. Hieruit volgt dat er inderdaad oneindig veel priemgetallen zijn.


Het dominoprincipe

Uitleg

Over de beroemde wiskundige Carl Friedrich Gauss (1777 - 1855) gaat het verhaal dat hij als 11-jarige de opdracht kreeg om de getallen 1 t/m 100 bij elkaar op te tellen in de veronderstelling dat hij daarmee wel even bezig zou zijn. Na enkele seconden te hebben nagedacht wist Gauss meteen het antwoord 5050. Hij bedacht ter plekke dat je deze getallen kunt optellen door de eerste en de laatste op te tellen en dan de uitkomst te vermenigvuldigen met het halve aantal getallen.

In het algemeen geldt: 1 + 2 + 3 + ... + n =  1 2 n(n + 1).

Dit kun je op een aantal manieren bewijzen. Een manier is de bewijsmethode van de volledige inductie. Je gebruikt dan het dominoprincipe:


Grondslagendiscussie

Tegen bewijs uit het ongerijmde bestaat enig bezwaar. Om aan te tonen dat een bewering waar is, is het niet bevredigend aan te tonen dat het niet kan dat dat hij niet waar is. Je zou liever willen dat het bewijs duidelijk maakte hoe de bewering kan ontstaan uit de theorie. Een bewijs dat dit laat zien heet een constructief bewijs. Voor veel stellingen die eerst alleen indirect bewezen worden, worden later constructieve bewijzen geleverd. Zo’n constructief bewijs is waardevol omdat het een manier levert om het beweerde te vinden. Maar er zijn ook stellingen die alleen indirect bewezen kunnen worden.
Sommige wiskundigen hebben die indirecte methoden helemaal afgewezen en bedreven zo een strenger soort wiskunde. De beroemdste in dit verband is de Amsterdamse hoogleraar L.E.J.Brouwer (1881 – 1961) de grondlegger van het zogenaamde intuïtionisme.