Evo kako sam ja razumeo njihovo rešenje:
Označimo

,

.
Nađimo kvadratnu jednačinu čija su rešenja

. Posto je:
Iz Vietovih veza:
Ovo je karakteristični polinom za linearnu rekurentnu jednačinu:
Pomeranjem indeksa:
Rešenje ove jednačine je:
Sama rekurentna veza naravno ima smisla za

da ne bismo imali negativan indeks.
Za n=0 i n=1 izračunaćemo vrednost

prostom zamenom u rekurentnu vezu.
Koristeći vezu

lako izračunavamo prve članove za

.
Ostatak pri deljenju broja

sa 7 obeležićemo sa

.
Ti ostaci iznose:
S obzirom da postoji ponavljanje članova, odnosno

i

zaključujemo da je niz ostataka

periodičan sa periodom 8.
To znači da je

. S obzirom da je

sledi da je

.
Posto je broj

, a

leži u intervalu

, tj.

, sledi

. Pošto je

deljivo sa 7, sledi da je ostatak pri deljenju celog dela iz polaznog oblika jeste 6, ali pošto se na njega dodaje 1 dobija se oblik deljiv sa 7.
E sad, ja sam njihovo rešenje koje je stalo na 8 redova u knjizi, prilično interpretirao, pa je ispalo ovakvo dugačko, eventualne greške su sigurno moje :). Nisam koristio ni uvek iste oznake.
Ipak suština je u rekurentnim vezama i periodičnosti onih ostataka.
Zadatak sam inače našao knjizi "Uvod u teoriju brojeva", (sveska 15 iz "Materijala za mlade matematičare), na strani 9, zadatak 38, sa već pomenutog takmičenja, autori knjige su Vladimir Mićić, Zoran Kadelburg i Dušan Đukić.
Eto, pa ako imate neke ideje kako ovo da se uradi bez rekurentnih veza iznesite ih.
[Ovu poruku je menjao Fermion dana 07.01.2011. u 22:47 GMT+1]
[Ovu poruku je menjao Fermion dana 07.01.2011. u 23:23 GMT+1]