Bewijs uit het ongerijmde
-
Formuleer wat je wilt bewijzen
-
Veronderstel dat wat je wilt bewijzen niet juist is (de negatie).
-
Toon aan dat de negatie leidt tot een tegenspraak.
-
Concludeer uit deze tegenspraak dat wat je wilt bewijzen juist is.
|
Het ladenprincipe
-
Als $n$ objecten verdeeld worden in $m$ verzamelingen waarbij $n\gt m$, dan bevat minstens één van die verzamelingen minstens 2 elementen.
Zie ook het duiventilprincipe
Voorbeeld 1
-
In klas 4d zitten 16 meisjes en 11 jongens. Bewijs dat er minstens drie leerlingen uit klas 4d in dezelfde maand jarig zijn.
Zie boek
|
Bewijzen in de getaltheorie
-
Elk even getal $e$ kan worden geschreven als $e=2n$ met $n\in N$
-
Elk oneven getal $o$ kan worden geschreven als $o=2n+1$ met $n\in N$
-
Elk drievoud $d$ kan worden geschreven als $d=3n$, elk viervoud $v$ als $v=4n$, enz.
-
Elk rationaal getal $r$ kan worden geschreven als $\eqalign{r=\frac{a}{b}}$ met $a,b.\in Z$ en $b\ne0$
|
Voorbeeld 2
-
Toon aan dat $\sqrt{2}$ een irrationaal getal is.
Zie boek
Voorbeeld 3
-
Als $p^2-1$ geen drievoud is dan is $p$ wel een drievoud.
Zie boek
|