Tämänkertainen pulmamme on kaksiosainen – viikon helppo ja viikon vaikea samassa paketissa. Löysin tämän lukuteoreettisen ongelman standup-matemaatikkona esiintyvän Matt Parkerin ensiluokkaisesta kirjasta Things To Make And Do In Fourth Dimension, ja se kuuluu seuraavasti.
Etsi lukujen ja väliltä ainoa kokonaisluku, jota ei voida esittää kahden tai useamman peräkkäisen positiivisen kokonaisluvun summana. Kun olet löytänyt sen, etsi sellainen (ainoa lajiaan, muuten) lukujen ja väliltä. Entä löydätkö lukujen ja väliltä tällaisia lukuja? Tässä lienee riittävästi purtavaa viikon helpon pulman tarpeisiin.
Vaikeampi pulma on tietenkin löytää kaikki sellaiset positiiviset kokonaisluvut, joita ei voida esittää peräkkäisten positiivisten lukujen summana. Entä miten tämä voidaan osoittaa?
Ratkaisu: Lukujen ja väliltä ainoa luku, jota ei voida esittää kahden tai useamman peräkkäisen luvun summana on . Lukujen ja väliltä löytyy tällaisista luvuista luku . Lukujen ja välillä ei tällaisia lukuja ole. Onko tässä vinkkiä tarpeeksi? Kyllä vain: kaikki muut luvut voidaan esittää peräkkäisten lukujen summina paitsi kakkosen potenssit. Todistetaan tämä:
Aloitetaan yksinkertaisesti. Kaikki parittomat luvut voidaan esittää muodossa , missä on jokin kokonaisluku. Tämä tarkoittaa heti sitä, että pariton luku voidaan ilmoittaa muodossa , eli kahden peräkkäisen luvun summana.
Siirrytään sitten parillisiin lukuihin. Jos luku on jaollinen kolmella, se voidaan ilmoittaa muodossa , missä on kokonaisluku. Toisaalta
joten kaikki kolmella jaolliset luvut voidaan esittää kolmen peräkkäisen luvun summana. Itse asiassa on helppo huomata, että
ja että sama idea yleistyy välittömästi kaikille muillekin parittomalla luvulla jaollisille kokonaisluvuille. Näin on saatu katettua jo kaikki muut luvut paitsi kakkosen potenssit (sillä kaikissa muissa parillisissa luvuissa on jokin pariton luku tekijänä). Nyt on osoitettava enää, että mitään kakkosen potensseja ei todellakaan voida kirjoittaa peräkkäisten lukujen summaksi.
Tutkitaan yleisesti peräkkäisen kokonaisluvun summaa. Jos lukuja on pariton määrä, on summa jaollinen jollakin parittomalla luvulla, kuten edellä todettiin. Tutkitaan siis yleistä peräkkäisten lukujen summaa, jossa on parillinen määrä summan tekijöitä. Jos ensimmäinen luvuista on , on viimeinen niistä . Saadaan aritmeettinen summa
Lavennetaan ensimmäistä termiä kakkosella ja otetaan osoittajasta yhteiseksi tekijäksi. Saadaan
Koska on parillinen kokonaisluku, on tulon tekijä varmasti pariton, joten saatu luku ei voi olla kakkosen potenssi. Näin ollen kakkosen potensseja ei voida milloinkaan esittää peräkkäisten lukujen summana.