Factor bewijzen
Moderators: ArcherBarry, Fuzzwood
- Berichten: 341
Factor bewijzen
''Show that for all integers n the number n^3-n always has 3 as a factor. (Consider the three cases: n=3k, n=3k+1, n=3k+2.)''
Het oplossen van deze vraag door gebruik te maken van de drie gegeven gevallen lukt prima. Gewoon de drie waarden van n invullen en dan drie buiten haakjes halen. Ook zie ik in dat je alleen maar deze drie gevallen hoeft te bewijzen omdat alle gevallen hoger dan drie terug te voeren zijn naar deze drie gevallen met het enige verschil dat je dan (k+a) schrijft i.p.v. alleen k.
Maar wat ik niet begrijp, is waarom je dit niet gewoon kan bewijzen door te zeggen: n^3-n=3(1/3*n^3-1/3*n). Voor n kan je immers elk geheel getal invullen, waarmee je ook het bewijs levert, lijkt me.
Het oplossen van deze vraag door gebruik te maken van de drie gegeven gevallen lukt prima. Gewoon de drie waarden van n invullen en dan drie buiten haakjes halen. Ook zie ik in dat je alleen maar deze drie gevallen hoeft te bewijzen omdat alle gevallen hoger dan drie terug te voeren zijn naar deze drie gevallen met het enige verschil dat je dan (k+a) schrijft i.p.v. alleen k.
Maar wat ik niet begrijp, is waarom je dit niet gewoon kan bewijzen door te zeggen: n^3-n=3(1/3*n^3-1/3*n). Voor n kan je immers elk geheel getal invullen, waarmee je ook het bewijs levert, lijkt me.
- Berichten: 24.578
Re: Factor bewijzen
Maar zie jij 'op zicht' dat n³/3-n/3 geheel is voor elke n? Je verplaatst het probleem alleen maar.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 341
Re: Factor bewijzen
Maar maakt het dan uit of dat geheel is? Want als je het keer drie doet dan krijg je er altijd een geheel getal uit omdat n ook alleen maar geheel kan zijn. Door n^3-n=3(1/3*n^3-1/3*n) te doen, laat ik naar mijn idee alleen maar zien dat het gehele getal n^3-n, drie als factor heeft, en dat lijkt me voldoende bewijs.
- Berichten: 24.578
Re: Factor bewijzen
Nee, met "3 als factor" wordt natuurlijk wel bedoeld dat het getal deelbaar is door 3. Anders heeft 7 ook 3 als factor want 7 = 3*(7/3). Dat is niet de bedoeling . In jouw geval zal die uitdrukkingen tussen haakjes natuurlijk wél geheel zijn, maar dat is net te bewijzen.
Overigens is dit (naar mijn mening) veel eleganter te bewijzen dan die drie gevallen afgaan; ontbind eens in factoren - wat zie je?
Overigens is dit (naar mijn mening) veel eleganter te bewijzen dan die drie gevallen afgaan; ontbind eens in factoren - wat zie je?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)
- Berichten: 341
Re: Factor bewijzen
Ah natuurlijk! Ik was te ver doorslagen met m'n buiten haakjes halen. Oké, ontbinden in factoren geeft
n^3-n=(n-1)*n*(n+1). Voor elke n geeft dit drie opeenvolgende getallen dus zal er altijd een veelvoud van drie bij zitten. Dat is inderdaad een stuk eleganter en sneller. Hoewel ik niet precies weet hoe je dit mooi wiskundig opschrijft.
n^3-n=(n-1)*n*(n+1). Voor elke n geeft dit drie opeenvolgende getallen dus zal er altijd een veelvoud van drie bij zitten. Dat is inderdaad een stuk eleganter en sneller. Hoewel ik niet precies weet hoe je dit mooi wiskundig opschrijft.
- Berichten: 24.578
Re: Factor bewijzen
Dat had ik ook in gedachten, bij drie opeenvolgende natuurlijke getallen zit natuurlijk altijd een drievoud.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)