Bewijs door contrapositie
Uit Wikipedia, de vrije encyclopedie
Het bewijs door contrapositie is een methode om het wiskundig bewijs te geven van de stelling
- als A dan B,
door het bewijzen van de equivalente stelling
- als niet B dan niet A,
daarbij uitgaande van de veronderstelling "niet B".
[bewerk] Voorbeeld
De volgende stelling kunnen we met contrapositie bewijzen:
- Gegeven een positief geheel getal n. Als n geen kwadraat is, dan is irrationaal.
We bewijzen de equivalente stelling:
- Gegeven een positief geheel getal n. Als rationaal is, dan is n een kwadraat.
We nemen daartoe aan dat rationaal is. Dan kunnen we positieve gehele getallen a en b vinden zodat en ggd(a,b) = 1. Nu geldt dat niet verder vereenvoudigd kan worden. Dus geldt in het bijzonder dat b2 = 1, want n is een geheel getal. Dus n = a2. Daarmee is de equivalente stelling bewezen en dus, door contrapositie, ook de oorspronkelijke.