03.08.2013 Views

Inzien en bewijzen - CWI

Inzien en bewijzen - CWI

Inzien en bewijzen - CWI

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.2. OEFENEN MET BEWIJZEN 19<br />

3. B neemt 3 lucifers. Dan neemt A 1 lucifer. B is weer aan zet, <strong>en</strong> er ligg<strong>en</strong> 4n lucifers op<br />

tafel. Volg<strong>en</strong>s de inductiehypothese kan A winn<strong>en</strong>.<br />

Het is duidelijk dat A altijd kan winn<strong>en</strong> als B aan zet is, terwijl er e<strong>en</strong> viervoud aan lucifers op<br />

tafel ligt.<br />

Overig<strong>en</strong>s hoeft de inductie niet per se bij 0 of 1 te beginn<strong>en</strong>. De volg<strong>en</strong>de opdracht is e<strong>en</strong><br />

voorbeeld met basisgeval n = 5.<br />

Opdracht 2.1 Laat met volledige inductie zi<strong>en</strong> dat 2 n > n 2 voor elk natuurlijk getal n met<br />

n ≥ 5.<br />

Als je de bewering uit opdracht 2.1 zou prober<strong>en</strong> aan te ton<strong>en</strong> met basisgeval n = 0 (of n = 1,<br />

of n = 2, of n = 3, of n = 4), dan zou dat niet lukk<strong>en</strong>.<br />

2.2 Oef<strong>en</strong><strong>en</strong> met bewijz<strong>en</strong><br />

De e<strong>en</strong>voudigste vorm van rek<strong>en</strong><strong>en</strong> is het optell<strong>en</strong> <strong>en</strong> verm<strong>en</strong>igvuldig<strong>en</strong> met natuurlijke getall<strong>en</strong>.<br />

We definiër<strong>en</strong> nu het volg<strong>en</strong>de begrip voor het rek<strong>en</strong><strong>en</strong> met natuurlijke getall<strong>en</strong>. Als a <strong>en</strong> b<br />

natuurlijke getall<strong>en</strong> zijn, zegg<strong>en</strong> we dat a deler is van b, als er e<strong>en</strong> natuurlijk getal N is met de<br />

eig<strong>en</strong>schap dat aN = b. Met andere woord<strong>en</strong>: als je b door a deelt, krijg je uitkomst N, met<br />

rest 0. We kort<strong>en</strong> ‘a is deler van b’ af als a|b.<br />

Hier is e<strong>en</strong> eerste voorbeeld van e<strong>en</strong> bewering over natuurlijke getall<strong>en</strong> die we gaan prober<strong>en</strong><br />

te bewijz<strong>en</strong>. Bewijz<strong>en</strong> wil niets anders zegg<strong>en</strong> dan: lat<strong>en</strong> zi<strong>en</strong> waarom dit zo is.<br />

Opdracht 2.2 Laat zi<strong>en</strong>: als a, b, c natuurlijke getall<strong>en</strong> zijn met a|b <strong>en</strong> b|c, dan geldt ook a|c.<br />

De methode die je kunt toepass<strong>en</strong>: aannem<strong>en</strong> dat a|b <strong>en</strong> b|c allebei het geval zijn, <strong>en</strong> lat<strong>en</strong> zi<strong>en</strong><br />

dat hieruit volgt dat a|c ook het geval moet zijn.<br />

De volg<strong>en</strong>de twee opdracht<strong>en</strong> hebb<strong>en</strong> betrekking op e<strong>en</strong> functie die we definiër<strong>en</strong> met behulp<br />

van het begrip ‘deler zijn van’. We sprek<strong>en</strong> af dat KD e<strong>en</strong> functie is van natuurlijke getall<strong>en</strong><br />

naar natuurlijke getall<strong>en</strong> die elk natuurlijk getal n dat groter is dan 1 afbeeldt op de kleinste<br />

deler van n die ongelijk is aan 1. Bijvoorbeeld, KD beeldt 2 af op 2, 3 op 3, 4 op 2, <strong>en</strong>zovoort.<br />

Met andere woord<strong>en</strong>: KD(n) is de kleinste deler van n. Dit wil zegg<strong>en</strong> dat KD(n) voldoet aan<br />

de volg<strong>en</strong>de drie eis<strong>en</strong> (aang<strong>en</strong>om<strong>en</strong> dat n groter is dan 1):<br />

1. KD(n) = 1,<br />

2. KD(n)|n,<br />

3. als m|n <strong>en</strong> m = 1 dan m ≥ KD(n).<br />

Opdracht 2.3 Laat zi<strong>en</strong>: als n > 1 dan is KD(n) e<strong>en</strong> priemgetal. Hint: neem aan dat n > 1<br />

<strong>en</strong> dat KD(n) ge<strong>en</strong> priemgetal is, <strong>en</strong> laat zi<strong>en</strong> dat die combinatie van aannam<strong>en</strong> e<strong>en</strong> teg<strong>en</strong>spraak<br />

oplevert.<br />

Opdracht 2.4 Laat zi<strong>en</strong>: als n > 1 <strong>en</strong> n is ge<strong>en</strong> priemgetal, dan is (KD(n)) 2 ≤ n.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!