Professional Documents
Culture Documents
Aritmetika PDF
Aritmetika PDF
Igor Dolinka
B EOGRAD , 2007.
DR I GOR D OLINKA, vanredni profesor PMF-a u Novom Sadu
dockie@im.ns.ac.yu
ELEMENTARNA TEORIJA BROJEVA: MOJI OMILJENI ZADACI
Materijali za mlade matematičare, sveska 47
Izdavač: D RU ŠTVO MATEMATI ČARA S RBIJE
Beograd, Kneza Mihaila 35/IV
dms@matf.bg.ac.yu
Za izdavača: DR B RANISLAV P OPOVI Ć
Recenzenti: Z ORAN K ADELBURG, redovni profesor Matematičkog fakulteta
DR
u Beogradu
DR S INI ŠA C RVENKOVI Ć , redovni profesor PMF-a u Novom Sadu
Urednik: DR Z ORAN K ADELBURG
Slog: AUTOR
°
c Društvo matematičara Srbije, 2007.
511.1(076)
DOLINKA, Igor
Elementarna teorija brojeva: moji omiljeni zadaci / Igor
Dolinka. — Beograd : Društvo matematičara Srbije, 2007
(Kragujevac : Skver). — 132 str. ; 24 cm. — (Materijali za
mlade matematičare / Društvo matematičara Srbije ; sv. 47)
Tiraž 400.
ISBN: 86-81453-62-9
COBISS.SR-ID 136647692
ISBN 86-81453-62-9
Tiraž: 400 primeraka
Štampa: ”S KVER”, Kragujevac
Sadržaj
Predgovor 5
Zadaci 9
Rešenja 21
3
Predgovor
Na dan kada pišem ovaj predgovor, navršava se tačno 10 godina od smrti Pala
Erdeša (Erdős Pál, Budapest, 26.3.1913. – Warszawa, 20.9.1996.), velikog majsto-
ra teorije brojeva, kombinatorike, i još mnogih drugih oblasti matematike. Kao
što to i naslovna korica sugeriše, ova knjižica posvećena je uspomeni na ovog
velikana. Iz istog razloga, ona sadrži baš 1996 − 1913 = 83 problema. Svojim
višedecenijskim radom u službi kraljice nauka, Erdeš je ostavio nezaobilazan trag,
i predstavlja jednu od najneobičnijih, a ujedno najznačajnijih figura matematike
XX veka.
Zbirka je, kao što naslov kazuje, sastavljena isključivo od elementarnih za-
dataka. To znači da za njihovo rešavanje nisu potrebne metode matematičke ana-
lize, i da se kao pretpostavljeno predznanje uzimaju samo osnovni, klasični rezul-
tati aritmetike i veštine obuhvaćene srednjoškolskim gradivom iz algebre. (Kratak
-
pregled najznačajnijih tvrdenja iz teorije brojeva na koja ćemo se u rešenjima eks-
plicitno pozivati dat je nakon liste zadataka, a pre rešenja.) Uostalom, svi ovde
analizirani zadaci i vode poreklo sa matematičkih takmičenja srednjoškolaca širom
sveta u periodu od 1969. do 1995. godine. Izbor je zaista internacionalan (kao što
-
je i Erdeš bio istinski svetski putnik, gradanin planete), a bliži podaci o poreklu za-
dataka dati su uz njihova rešenja. Pri tome, akronim MMO označava Medunarodnu -
matematičku olimpijadu, smotru mladih matematičara koja se organizuje svake go-
dine počev od 1959. Jedini izuzetak je bila 1980. godina, kada je umesto MMO or-
-
ganizovano nekoliko manjih medunarodnih matematičkih turnira (MMT). Najzad,
skraćenica BMO označava Balkanske matematičke olimpijade, čija je organizacija
počela 1984.
Po kom kriterijumu sam birao zadatke? Teško je odgovoriti na to pitanje, pošto
bi odgovor na njega bio prilično blizak odredenju- (inače potpuno fluidnog) pojma
matematičke lepote. Negde je to lucidnost i elegancija rešenja, lukava igra detekcije
koja vodi željenom cilju. U drugom slučaju, to je estetika jednostavnosti formu-
lacije, prirodnost problema koja privlači pažnju. U trećem, diskretno nagoveštena
mogućnost generalizacije ili suptilnih veza sa ”višom” matematikom (šta god taj
termin označavao), pre svega sa apstraknom algebrom, analitičkom teorijom bro-
5
jeva, kombinatorikom. Uglavnom, kriterijum je bio dakako subjektivan, i osla-
njao se više na osećaj i iskustvo (mnoge od narednih zadataka sam i sam rešavao
pripremajući se svojevremeno za matematička takmičenja), nego na neke racional-
ne argumente.
Ključna primedba koju treba da pomenem u ovom predgovoru jeste da ovo nije
-
knjiga posvećena ispisivanju rešenja odredenog skupa zadataka na najkraći mogući
način. Naprotiv. Ono što mi se čini kao suština ove zbirke jeste pokušaj da se u naj-
većem broju slučajeva da metodološka analiza postupka rešavanja datih zadataka.
Drugim rečima, pokušao sam (kad god je to bilo moguće) da što verodostojnije
prikažem analitički, deduktivni način razmišljanja u procesu otkrivanja rešenja, da
pružim kakav-takav uvid u realne misaone tokove i motivišem i opravdam uvodenje -
novih ideja u tom procesu. Naravno da su gotova, ”sintetička” rešenja mnogo kon-
ciznija, ponekad i efektnija. Medutim,- moj prvi cilj je bio da knjiga bude ”user-
friendly”, a zakonitosti metodike matematike nalažu sasvim druge prioritete od
konciznosti i efektnosti.
Naime, želeo sam da pokažem da se do rešenja matematičkog problema ne
dolazi gledanjem u kristalnu kuglu (u kojoj iznenada primećujemo egzotične i
nebulozne matematičke relacije), već da ono nastaje kao rezultat razmišljanja i
logičkog rezonovanja, asocijativnih veza koje se bude i uspostavljaju posmatra-
njem sastavnih elemenata problema. Matematika je posmatračka disciplina, rekao
je Gaus (a možemo dodati i: detektivska disciplina), pa je suština rešavanja prob-
lema u njihovom ”seciranju”, razlaganju na osnovne motive i ideje. Rešenje za-
datka mora da, pre svega, zvuči prirodno, tako da deluje potpuno razumno i oprav-
dano da nam u odredenom- trenutku padne na pamet odredena - nova ideja. Sjajno
je kada čitalac, proučivši rešenje, zaključi: ”I ja sam mogao da se setim ovoga”.
To ne samo da podstiče samopouzdanje, neophodno svakom matematičaru, već i
otkriva pravu prirodu matematičkog stila mišljenja. Neki od najboljih primera koji
ilustruju ovakav pristup jesu rešenja zadataka br. 5, 8, 14, 17, 51 i 77.
Neka od rešenja snabdevena su i dodatnim komentarima. Osim onih tehničkog
karaktera, ti komentari su uglavnom vezani za moguće generalizacije i produbljenja
datih problema, ili pak bliže objašnjavaju odredene- ideje i detalje.
-
Ova knjižica namenjena je kako dacima srednjoškolskog uzrasta koji se pripre-
maju za matematička takmičenja, tako i svima onima koji vole matematiku i uživaju
u njoj, svim njenim ljubiteljima. Takode, - ona može biti korisna i svim studentima
koji izučavaju teoriju brojeva u okviru studija matematike. Na fakultetu na kome
predajem (PMF u Novom Sadu), to su studenti teorijske i primenjene matema-
tike koji počev od II godine mogu slušati predmet Teorija brojeva (na teorijskoj
matematici je on čak i obavezan). Takode, - to su i studenti master programa smera
profesor matematike koji izučavaju teoriju brojeva u okviru predmeta Elementarna
matematika I. S obzirom na tako heterogen sastav potencijalnih čitalaca, nije na
6
odmet napomenuti da ćemo u ovoj zbirci — za razliku od prakse u matematičkoj
logici — pod skupom prirodnih brojeva podrazumevati N = {1, 2, 3, . . .}.
Na kraju, želim da izrazim ogromnu zahvalnost koju dugujem svom velikom
prijatelju, Žoltu Gajdošu (Gajdos Zsolt), čiji se doprinos u oblikovanju ove zbirke
praktično može meriti sa koautorstvom. Medutim,- on je moju ponudu da se i nje-
-
govo ime nade na koricama džentlmenski odbio, sa lakonskim i savršeno logičnim
obrazloženjem: ”Ipak su to tvoji omiljeni zadaci.” Kako god bilo, veliko mu hvala,
sa bitnom napomenom da sve kritike na račun knjige pripadaju samo meni. Takode, -
zahvaljujem se i recenzentima: prof. dr Zoranu Kadelburgu i prof. dr Siniši Cr-
venkoviću, na izuzetno korisnim sugestijama i pruženoj podršci.
N OVI S AD , 20.9.2006.
7
Zadaci
32n+1 − 22n+1 − 6n
složen?
3. Naći sve trojke prirodnih brojeva (a, b, c) takve da proizvod svaka dva broja daje
ostatak 1 pri deljenju sa trećim.
{n, n + 1, . . . , n + 32},
tako da je svaki broj korišćen tačno jednom, i da su brojevi koji odgovaraju sused-
nim biserima uzajamno prosti.
9
7. Dokazati: postoje celi brojevi a1 , . . . , am i b1 , . . . , bk takvi da brojevi ai bj , 1 6
i 6 m, 1 6 j 6 k, čine potpun sistem ostataka po modulu mk ako i samo ako važi
(m, k) = 1.
10. Za dato c ∈ N, neka je n0 najmanji prirodan broj takav da je 2n0 > c. Dokazati
da tada za sve n > n0 važi
an | cbn ⇒ a | b,
gde su a, b ∈ N.
11. Dokazati da proizvod pet uzastopnih prirodnih brojeva ne može biti potpun
kvadrat.
12. Postoji li 23-cifren prirodan broj takav da zamenom proizvoljne cifre nikada ne
dobijamo broj deljiv sa 11?
13. Naći sve prirodne brojeve n za koje su svi brojevi koji imaju u dekadnom
prikazu n − 1 cifru 1 i jednu cifru 7 prosti.
14. Prirodan broj je dupli ako se njegov dekadni zapis sastoji od dva identična bloka
cifara. Dokazati da medu - duplim brojevima postoji beskonačno mnogo potpunih
kvadrata.
15. Neka je σ(n) zbir svih pozitivnih delitelja prirodnog broja n. Prirodan broj m
zovemo jakim ako za sve 1 6 k < m važi
σ(k) σ(m)
< .
k m
Dokazati da postoji beskonačno mnogo jakih brojeva.
16. Broj n je dobar ako se može predstaviti kao zbir (ne obavezno različitih) prirod-
nih brojeva čiji je zbir recipročnih vrednosti jednak 1. Ako je poznato da su brojevi
33, . . . , 73 dobri, dokazati da su svi brojevi > 33 dobri.
10
17. Označimo sa S(n) zbir cifara prirodnog broja n u dekadnom zapisu. Broj m
zovemo lošim ako se ne može predstaviti u obliku
m = n + S(n).
18. Neka je S(n) zbir cifara u dekadnom zapisu prirodnog broja n. Naći sve
prirodne brojeve M takve da važi
S(kM ) = S(M )
za svako prirodno k 6 M .
20. Neka su a, b, c, d, a < b < c < d, neparni prirodni brojevi za koje važi:
(1) ad = bc,
Dokazati da je a = 1.
21. Broj 9 se može predstaviti kao zbir dva uzastopna prirodna broja 9 = 4 + 5;
štaviše, on se može zapisati kao suma bar dva uzastopna prirodna broja na tačno
dva načina:
9 = 4 + 5 = 2 + 3 + 4.
Da li postoji prirodan broj koji se može predstaviti kao zbir 1990 uzastopnih prirod-
nih brojeva i koji se može zapisati kao zbir bar dva uzastopna prirodna broja na
tačno 1990 načina?
22. (a) Za koje prirodne brojeve n > 3 postoji skup od n uzastopnih prirodnih bro-
jeva takav da je najveći element tog skupa delitelj najmanjeg zajedničkog sadržaoca
preostalih brojeva?
(b) Za koje prirodne brojeve n > 3 postoji jedinstven skup sa gornjim svojstvom?
11
23. Neka su a1 , . . . , ak , b1 , . . . , bk prirodni brojevi takvi da je (ai , bi ) = 1 za sve
i, 1 6 i 6 k. Neka je m najmanji zajednički sadržalac brojeva b1 , . . . , bk , a
ci = ai m
bi , 1 6 i 6 k. Dokazati:
(a1 , . . . , ak ) = (c1 , . . . , ck ).
24. Neka je p prost broj, a n prirodan broj. Dokazati da postoji najviše jedan
pozitivan broj d takav da važi d | pn2 i da je n2 + d potpun kvadrat.
25. Neka je k dati prirodan broj. Dokazati da postoji beskonačno mnogo potpunih
kvadrata oblika 2k n − 7.
26. Dokazati da postoji prirodan broj k takav da je broj 2n k+1 složen za sve n ∈ N.
29. Neka je n > 6 i neka su a1 < a2 < . . . < ak svi prirodni brojevi manji od n i
uzajamno prosti sa n. Dokazati: ako je niz ai aritmetička progresija, tada je n prost
broj ili stepen dvojke.
32. Naći sve prirodne brojeve n < 1978 sa osobinom: ako je prirodan broj m,
1 < m < n, uzajamno prost sa n, tada je on prost.
33. Predstaviti broj 51985 − 1 kao proizvod tri prirodna broja od kojih je svaki veći
od 5100 .
12
35. Neka je n > 1. Dokazati da sledeći polinom nema racionalne nule:
n
X xk
pn (x) = .
k!
k=0
38. Neka je k > 2 proizvoljan prirodan broj. Dokazati da postoji iracionalan broj
rk takav da za svaki prirodan broj n važi:
43. Za koje prirodne brojeve n postoji prirodan broj m tako da ni jedan od brojeva
m + 1, m + 2, . . . , m + n nije stepen prostog broja?
13
¯¡ ¢
45. (a) Dokazati da (n + 1) ¯ 2n
n za sve n ∈ N.
(b) Za sve k ∈ N, naći najmanji prirodan broj Ck takav da
¯ µ ¶
¯ 2n
¯
(n + k + 1) ¯ Ck
n+k
za sve n > k.
deljiv sa p2 .
-
47. Neka je p prost broj, a n prirodan broj. Dokazati da su sledeća dva tvrdenja
ekvivalentna:
¡ ¢
(i) Nijedan od binomnih koeficijenata nk , 1 6 k < n, nije deljiv sa p.
49. Neka f (m) označava najveći ceo broj k za koji 2k | m!. Dokazati da za sve
prirodne brojeve n postoji beskonačno mnogo prirodnih brojeva m tako da je
m − f (m) = n.
51. Neka je an poslednja nenula cifra u dekadnom prikazu broja n!. Da li niz
a1 , a2 , . . . može biti, počev od nekog člana, periodičan?
52. Posmatrajmo sve parove prirodnih brojeva (m, n), m < n, sa osobinom da se
poslednje tri cifre u dekadnom zapisu brojeva 1978m i 1978n poklapaju. Naći sve
takve parove (m, n) za koje je m + n minimalno.
14
53. Dokazati da za sve prirodne brojeve m postoji prirodan broj n > m takav da se
dekadni zapis broja 5n dobija dopisivanjem izvesnog broja cifara sleva dekadnom
zapisu broja 5m .
55. Dokazati da ¯ ³ nn ´
¯ n
1989 ¯ nn − nn
za sve prirodne brojeve n > 3.
56. (a) Dokazati da postoji beskonačno mnogo parova prironih brojeva (m, n)
takvih da je 4mn − m − n + 1 potpun kvadrat.
(b) Dokazati da ne postoji nijedan par prirodnih brojeva (m, n) takav da je 4mn −
m − n potpun kvadrat.
57. (a) Dokazati da za svaki prirodan broj a > 3 postoji beskonačno mnogo prirod-
nih brojeva n za koje n | (an − 1).
(b) Naći sve prirodne brojeve n za koje n | (2n − 1).
(c) Neka je k > 2 i neka su n1 , n2 , . . . , nk prirodni brojevi takvi da
ni+1 |(2ni − 1)
x5 − x3 − x2 + 1 = y 2 .
15
62. Da li jednačina
x2 + xy + y 2 = 2
ima racionalna rešenja?
a2 + b2 + c2 = a2 b2 .
x3 − y 3 = 2xy + 8.
x3 + x2 y + xy 2 + y 3 = 8(x2 + xy + y 2 + 1).
xn + 1 = y n+1
7x − 3 · 2y = 1.
3x + 4y = 5z .
x2 + y 2
x+y
ceo i deli 1978. Dokazati da je x = y.
(b) Dokazati da na kružnici opisanoj oko kvadrata sa temenima (0, 0), (1978, 0),
(1978, 1978), (0, 1978), nema celobrojnih tačaka, sem navedenih.
16
71. (a) Neka za prirodne brojeve x, y, z važi xy − z 2 = 1. Dokazati da postoje
nenegativni celi brojevi a, b, c, d tako da je
x = a2 + b2 , y = c2 + d2 , z = ac + bd.
(b) Dokazati: ako je p prost broj i p ≡ 1(mod 4), tada se p može predstaviti kao
zbir dva kvadrata prirodnih brojeva.
x2 − 5xy + y 2 + 5 = 0
a2 + b2
ab + 1
ceo, tada je on potpun kvadrat.
x3 − 3xy 2 + y 3 = n
ima rešenje u skupu prirodnih brojeva, tada ona ima bar tri različita rešenja u skupu
prirodnih brojeva. Dokazati.
(b) Dokazati da gornja jednačina za n = 2891 nema rešenja u skupu prirodnih
brojeva.
ax2 + by 2 + cz 2 = 0
ax2 + by 2 + cz 2 = 1
17
78. Neka su a, b celi brojevi koji nisu potpuni kvadrati. Dokazati: ako jednačina
x2 − ay 2 − bz 2 + abw2 = 0
x2 − ay 2 − bz 2 = 0.
x + y 2 + z 3 = xyz,
82. Neka je n prirodan broj, A skup koji se sastoji od tačno n + 1 prirodnih brojeva,
a P skup svih prostih faktora elemenata skupa A. Ako je |P | 6 n, dokazati da
postoji B ⊆ A, B 6= ∅, tako da je proizvod elemenata skupa B potpun kvadrat.
f (x)
f (xf (y)) =
y
za sve x, y ∈ Q+ .
18
Nekoliko poznatih teorema
Euklidov stav
Neka je x1 , . . . , xn , y ∈ Z i n > 2. Postoje celi brojevi α1 , . . . , αn takvi da je
α1 x1 + . . . + αn xn = y
α1 x1 + . . . + αn xn = 1
za neke α1 , . . . , αn ∈ Z.
x ≡ r1 (mod m1 ),
..
.
x ≡ rn (mod mn ),
{0, 1, . . . , M − 1},
n = pα1 1 . . . pαk k ,
19
gde su α1 , . . . , αk > 1 prirodni brojevi, a p1 , . . . , pk različiti prosti brojevi. Pri
tome je gornji prikaz jedinstven do na permutaciju prostih faktora.
Bertranov stav
Za svaki prirodan broj n > 2 postoji prost broj p takav da je n < p < 2n.
Stoga, ako su pi i pi+1 dva uzastopna prosta broja, važi
Ležandrova teorema
Najviši stepen kojim prost broj p deli n! je jednak
¹ º ¹ º ¹ º
n n n
+ 2 + 3 + ...
p p p
Vilsonova teorema
Neka je p prost broj. Tada je
20
Rešenja
1. S.S.S.R., 1990.
32n+1 − 22n+1 − 6n
složen?
3 · (3n )2 − 2 · (2n )2 − 3n · 2n .
Kako za n > 2 važi 3n − 2n > 1, to je dati broj složen za sve prirodne brojeve
n 6= 1. Za n = 1, on je jednak prostom broju 13.
21
2. -
(b): Predlog za MMO, 1989. (Rumunija); (a): Madarska, 1990.
Budući da je ovde m neparan broj, m2 daje ostatak 1 pri deljenju sa 4, a isto važi
r
i za broj oblika m2 , r > 1. Zbog toga su u gornjem proizvodu sa desne strane
svi činioci sem prvog deljivi sa 2, ali ne i sa 4, što znači da je najviši stepen kojim
t−1
dvojka deli (m2 + 1) . . . (m2 + 1) jednak t − 1. Prema tome, prostaje da se
razmotri stepen dvojke u faktoru m2 − 1 = (m − 1)(m + 1).
Kako m može davati ostatak 1 ili 3 (mod 4), posebno razmatramo ova dva
slučaja. Ako je m ≡ 1(mod 4), uočimo najveći broj s > 2 sa osobinom da
2s | (m − 1). Tada je m + 1 deljiv sa 2, ali ne i sa 4, pa je najviši stepen kojim
2 deli m2 − 1 jednak s + 1. S druge strane, ako je m ≡ 3(mod 4), posmatramo
najveći broj s > 2 za koji važi 2s | (m + 1). Slično kao i malopre, sledi da je broj
m2 − 1 deljiv sa 2s+1 , ali ne i sa 2s+2 .
Dakle, ako je broj s odreden - kao što je to opisano u prethodnom pasusu (a
t
on zavisi isključivo od m), tada je najviši stepen kojim 2 deli m2 − 1 jednak
(t − 1) + (s + 1) = t + s. Stoga je traženo minimalno rešenje n = 2k−s u slučaju
s 6 k, u suprotnom je u pitanju n = 1.
U zadatku (a) je m = 1989 = 4 · 494 + 3, pa je u tom slučaju s = 2, dok
je k = 1990, što znači da je rešenje zadatka n = 21988 . Za zadatak pod (b) treba
primeniti gornje rešenje za k = 1989.
22
3. SR Nemačka, 1990.
Naći sve trojke prirodnih brojeva (a, b, c) takve da proizvod svaka dva broja daje
ostatak 1 pri deljenju sa trećim.
Rešenje. Uslov zadatka možemo formulisati na sledeći način: postoje celi brojevi
α, β, γ tako da je
Prebacujući na jednu stranu sve članove koji sadrže abc, zaključujemo da postoji
prirodan broj µ tako da je
µabc = ab + bc + ca − 1. (1)
Dalje, razlikujemo dva slučaja: ako su neka dva broja jednaka, npr. a = b, tada važi
αa = ac − 1. Sledi a = 1, što je nemoguće. Znači, moguć je samo drugi slučaj,
kada su brojevi a, b, c različiti. Neka je, na primer, a < b < c. Tada imamo, na
osnovu gornje jednakosti i upravo usvojenog poretka:
pa zaključujemo:
bc < 2(b + c) < 4c,
tj. b < 4. Kako je b > a = 2, mora biti b = 3. Otuda sledi
γc = 5,
pa je c = 5. Sada se sva rešenja zadatka dobijaju kao permutacije trojke (2, 3, 5).
23
4. MMO, 1992. (Novi Zeland)
(stroga nejednakost važi zbog različite parnosti leve i desne strane), pa imamo
(2a − 2)b + (2a − 2)c − (2a − 1) < (4a − 4)c − (2a − 1) < 4(a − 1)c,
24
odakle je (a − 2)bc < 4(a − 1)c. Odavde, pod pretpostavkom a 6= 2, sledi
a−1
b<4 . (4)
a−2
Ovu nejednakost ćemo koristiti u analizi sva tri preostala slučaja.
Dakle, ako je a = 3, tada po (4) imamo b < 8, tj. b ∈ {5, 7}. Za b = 5, iz
25
5. MMO, 1983. (SR Nemačka)
Neka su a, b, c prirodni brojevi, (a, b) = (b, c) = (c, a) = 1. Naći najveći ceo broj
koji se ne može predstaviti u obliku xbc + yca + zab, gde su x, y, z > 0 celi brojevi.
26
= n − (2abc − bc − ca).
Kako je željena nejednakost z1 > 0 ekvivalentna sa z1 > −1, tj. sa abz1 > −ab,
zaključujemo da se svaki broj n koji zadovoljava n − (2abc − bc − ca) > −ab,
odnosno n > 2abc − ab − bc − ca, može predstaviti na traženi način.
Zbog toga, zadatak će biti rešen ukoliko pokažemo da 2abc − ab − bc − ca nije
moguće prikazati u obliku bcx + cay + abz za neke x, y, z > 0. U suprotnom,
-
nakon sredivanja bismo imali
x1 a2 . . . an + a1 x2 . . . an + . . . + a1 . . . an−1 xn ,
27
6. S.A.D., 1990.
{n, n + 1, . . . , n + 32},
tako da je svaki broj korišćen tačno jednom, i da su brojevi koji odgovaraju sused-
nim biserima uzajamno prosti.
n + m, n + m + 1, . . . , n + m + 13
-
(gde će broj m, 1 6 m 6 18 biti naknadno odreden), dok će preostali brojevi činiti
dva niza uzastopnih brojeva dužine m, odnosno 19 − m. U pitanju su
n, n + 1, . . . , n + m − 1, n + m + 14, . . . , n + 32,
(n + m, n + m + 13) = 1, (n + m − 1, n + m + 14) = 1.
(n + m, n + m + 13) = (n + m, 13),
(n + m − 1, n + m + 14) = (n + m − 1, 15),
pa m tražimo iz sledeća tri uslova:
(1) m 6≡ −n(mod 13),
28
7. -
Predlog za MMO, 1987. (Madarska)
29
Prethodna razmatranja sugerišu da uočimo sledeće brojeve:
ai = ki + 1, 1 6 i 6 m,
bj = mj + 1, 1 6 j 6 k.
Očigledno, ar − as = k(r − s), što zbog (m, k) = 1 i |r − s| < m povlači da
su svi ai različiti (mod m). Slično, brojevi bj su svi različiti (mod k). Štaviše,
(ai , k) = (bj , m) = 1 za sve i, j. Ukoliko bi brojevi ai bj i ar bs davali isti ostatak
pri deljenju sa mk, tada bi bilo:
30
8. Predlog za MMO, 1990. (Irska)
31
4. Ako je ri+1 > 0, vratimo se na korak 2. U suprotnom, algoritam je završen.
32
9. Predlog za MMO, 1988. (Južna Koreja)
fn | fkn (8)
za sve n ∈ N.
Iz (7) dobijamo:
f1988 = f1961 f28 + f1960 f27 .
Znači, ako je r = (f1960 , f1988 ), tada r | f28 , pošto je na osnovu (9)
(f1961 , f1960 ) = 1.
r = f28 = 317811.
33
10. Rumunija, 1991.
Rešenje. Neka je p prost broj i neka su α, β, γ redom najviši stepeni kojim p deli
brojeve a, b, c, za koje smo pretpostavili da an | cbn (n > n0 ). Dakle, imamo
nα 6 nβ + γ.
34
11. Predlog za MMO, 1984. (Velika Britanija)
Dokazati da proizvod pet uzastopnih prirodnih brojeva ne može biti potpun kvadrat.
au2 − av 2 = a(u2 − v 2 ) 6 (x + 4) − x = 4,
35
12. Čehoslovačka, 1988.
Budući da je 102k ≡ 1(mod 11) i 102k−1 ≡ −1(mod 11), ako je r ostatak pri
deljenju x sa 11, imamo:
11
X 11
X
r≡ a2k − a2k−1 (mod 11).
k=0 k=1
Ako je a2k > r za neko k, tada a2k možemo zameniti sa a02k = a2k − r (što je
cifra, jer je a02k 6 a2k ), a u slučaju a2k 6 r − 2 sa a02k = 11 + a2k − r (pri čemu
a02k 6 9 sledi iz a2k 6 r − 2), pa će tako dobijeni broj biti deljiv sa 11. Dakle, sve
cifre na parnim mestima broja x su jednake r − 1 (r 6= 0).
Analogno, ako je a2k−1 6 9 − r, tada zamenom cifre a2k−1 cifrom a02k−1 =
a2k−1 + r (6 (9 − r) + r = 9), odnosno za a2k−1 > 11 − r cifrom a02k−1 =
a2k−1 + r − 11 (6 a2k−1 ) dobijamo broj deljiv sa 11. Stoga su sve cifre broja x na
neparnim mestima jednake 10 − r.
-
Tada je, medutim,
36
13. Predlog za MMO, 1990. (S.S.S.R.)
Naći sve prirodne brojeve n za koje su svi brojevi koji imaju u dekadnom prikazu
n − 1 cifru 1 i jednu cifru 7 prosti.
7 | (An + 6 · 10k ),
| {z }
N
37
14. Predlog za MMO, 1988. (Velika Britanija)
Prirodan broj je dupli ako se njegov dekadni zapis sastoji od dva identična bloka
cifara. Dokazati da medu- duplim brojevima postoji beskonačno mnogo potpunih
kvadrata.
-
Rešenje. Neka je 2k broj cifara duplog broja koji se sastoji od dva bloka a. Tvrde-
nje zadatka je sada ekvivalentno tome da jednačina
a(10k + 1) = b2 (10)
ima beskonačno mnogo rešenja (a, b, k) takvih da a ima tačno k cifara, tj.
Plan rešenja je sledeći: najpre ćemo za pogodne vrednosti k (kojih će biti
beskonačno mnogo) naći po jedno rešenje (a1 , b1 , k) jednačine (10) tako da a1
ima ne više od k cifara, a1 < 10k . Nakon toga, na osnovu primedbe da je tada
rešenje i (n2 a1 , nb1 , k) za sve n ∈ N, odabraćemo n0 ∈ N tako da za a = n20 a1
važe tražena ograničenja 10k−1 6 a < 10k .
Naravno, ako posmatramo gornju jednačinu (10) bez ikakvih ograničenja, a =
10k + 1 jeste jedno očigledno rešenje. Kako bismo postigli prvi od postavljenih
-
ciljeva (rešenje u kome je a < 10k ), dovoljno je da pronademo beskonačno mnogo
vrednosti k za koje je broj 10 + 1 deljiv potpunim kvadratom d2 > 1. Tada će,
k
naime,
10k + 1 10k + 1
a1 = , b1 = ,
d2 d
predstavljati rešenje razmatrane jednačine (10).
Najpre, uočavamo da je
tj. važi 103 = −1 + 11c (za c = 91). Sada je ideja da se na osnovu ove relacije
dobije stepen od 10 koji daje ostatak −1 pri deljenju sa 112 . To ćemo postići ako
stepenujemo poslednju jednakost sa 11, jer tada iz binomnog obrasca imamo
µ ¶ µ ¶
33 11 11 11
10 = (−1 + 11c) = −1 + 11c − 112 c2 + . . . = −1 + 112 c0
1 2
za neko c0 ∈ N. Otuda je
38
za sve m ∈ N, tj. 112 | (1066m−33 + 1). To znači da je k = 66m − 33 i d =
11 pogodan izbor, pa za svaku vrednost m imamo po jedno rešenje (10) kao u
prethodnom pasusu.
- n0 ∈ N tako da važi
Najzad, preostaje da se pronade
10k + 1
10k−1 6 n20 < 10k ,
112
gde je k oblika 66m − 33. Očigledno, gornje nejednakosti su ekvivalentne sa
10k−1 ³ n ´2 10k
0
6 < .
10k + 1 11 10k + 1
Ove nejednakosti će biti ispunjene za sve k ∈ N ukoliko je
1 ³ n ´2 10
0
6 < ,
10 11 11
što važi za sve n0 ∈ {4, 5, 6, 7, 8, 9, 10}.
Rezimirajući, pokazali smo da je za sve m ∈ N dupli broj koji se sastoji iz dva
bloka
16
a= (1066m−33 + 1)
121
potpun kvadrat (ovde smo uzeli n0 = 4), pa je zadatak rešen.
39
15. Predlog za MMO, 1983. (Belgija)
Neka je σ(n) zbir svih pozitivnih delitelja prirodnog broja n. Prirodan broj m
zovemo jakim ako za sve 1 6 k < m važi
σ(k) σ(m)
< .
k m
Dokazati da postoji beskonačno mnogo jakih brojeva.
Rešenje. Obeležimo am = σ(m) m . Jasno, broj m je jak ako i samo ako je ak < am
za sve k < m. Sada je dovoljno dokazati da niz an , n ∈ N, nema najveći element,
pošto je tada lako izvesti da postoji beskonačno mnogo jakih brojeva. Naime, ako
-
je broj m jak, nadimo najmanje m0 > m tako da je am < am0 . Tada je i broj m0
očigledno jak.
Dakle, neka je n proizvoljan prirodan broj. Za svaki njegov delilac d važi da
2d | 2n. Kako, osim toga, trivijalno važi 1 | 2n, dobijamo nejednakost
40
16. S.A.D., 1978.
Broj n je dobar ako se može predstaviti kao zbir (ne obavezno različitih) prirodnih
brojeva čiji je zbir recipročnih vrednosti jednak 1. Ako je poznato da su brojevi
33, . . . , 73 dobri, dokazati da su svi brojevi > 33 dobri.
Rešenje. Neka je n dobar broj, pri čemu je za neke prirodne brojeve ai ispunjeno:
1 1
a1 + . . . + ak = n, + ... + = 1.
a1 ak
Tada je
1 1 1
+ ... + = ,
2a1 2ak 2
1 1 1 1 1
pa zbog 2 = 4 + 4 = 3 + 6 nizovi
41
17. Čehoslovačka, 1988.
m = n + S(n).
k = c · 10n + α,
Gornja jednakost sugeriše da se (za neko fiksno c ∈ {1, 2, . . . , 9}) za traženu reku-
rentnu vezu uzme
an = an−1 + c(10n + 1),
jer tada iz pretpostavke da je an = k + S(k) sledi da je an−1 = α + S(α), što
omogućava da se zaokruži induktivni dokaz.
Pokazaćemo da su za c = 1 ispunjeni svi traženi uslovi. Dakle, razmatramo
rekurentnu relaciju
an = an−1 + 10n + 1, (12)
42
pri čemu je a1 = 20. Indukcijom dokazujemo da su svi članovi ovako definisanog
niza loši.
Prvo uočavamo da važi nejednakost (11). Naime, očigledno imamo
43
18. -
Madarska, 1989. (konkurs ”Kürschák József”)
Neka je S(n) zbir cifara u dekadnom zapisu prirodnog broja n. Naći sve prirodne
brojeve M takve da važi
S(kM ) = S(M )
za svako prirodno k 6 M .
44
19. -
Predlog za MMO, 1990. (Madarska)
pa je zato
f1 (21990 ) < (9 · 700)2 < 5 · 107 .
Otuda je, dalje,
f2 (21990 ) 6 (4 + 7 · 9)2 < 5000
i
f3 (21990 ) < (4 + 3 · 9)2 = 312 = 961.
S druge strane, zbog 26 ≡ 1(mod 9) sledi
Pošto svaki broj daje isti ostatak po modulu 9 kao i njegov zbir cifara, imamo da je
f1 (x) ≡ x2 (mod 9) za sve x ∈ N, pa je zato
f1 (21990 ) ≡ 72 ≡ 4(mod 9)
i
f2 (21990 ) ≡ 42 ≡ 7(mod 9).
Najzad, imamo f3 (21990 ) = n2 , pri čemu je n < 31 i
Prema tome,
f3 (21990 ) ∈ {49, 256, 625}.
-
U sva tri slučaja je, medutim, f4 (21990 ) = 169, pa imamo za n > 2:
45
20. MMO, 1984. (Poljska)
(1) ad = bc,
Dokazati da je a = 1.
b − a = 2m1 p,
b + a = 2m2 q,
b − a = 2p,
b + a = 2m−1 q.
p = b − 2k−m a.
46
Iz prethodnog sistema je b = p + 2m−2 , odakle je p = p + 2m−2 − 2k−m a, odnosno
2k−m a = 2m−2 .
Komentar. Iz gornjeg rešenja se lako vidi da su sve četvorke brojeva (a, b, c, d) koje
zadovoljavaju uslove zadatka date sa
gde je m ∈ N.
47
21. Predlog za MMO, 1990. (Australija)
Rešenje. Pretpostavimo da broj N ima tražena svojstva. Prvi od dva uslova zadatka
se može zapisati kao
2N = (k + 1)(2n + k),
pri čemu je k > 1. Pošto je N neparan broj, to je jedan od ova dva faktora neparan,
dok je drugi deljiv sa 2, ali ne i sa 4. Kako je očito k + 1 < 2n + k, sledi da svaka
opisana faktorizacija broja 2N jednoznačno daje traženi par (n, k). Ako zapišemo:
48
22. MMO, 1981. (Belgija)
(a) Za koje prirodne brojeve n > 3 postoji skup od n uzastopnih prirodnih brojeva
takav da je najveći element tog skupa delitelj najmanjeg zajedničkog sadržaoca
preostalih brojeva?
(b) Za koje prirodne brojeve n > 3 postoji jedinstven skup sa gornjim svojstvom?
Rešenje. (a) Označimo najveći od traženih brojeva sa m; tada tražimo prirodan broj
n tako da važi
m | [m − n + 1, . . . , m − 2, m − 1].
Očito, mora biti m > n. Neka je k najveći ceo broj sa osobinom pk | m, pri čemu
-
je p proizvoljan prost broj. Medutim, sada pk deli najmanji zajednički sadržalac
brojeva m − 1, m − 2, . . . , m − n + 1 ako i samo ako deli bar jedan od njih. To
znači da pk mora deliti bar jedan od brojeva 1, 2, . . . , n − 1, odnosno njihov naj-
manji zajednički sadržalac, koji ćemo označiti sa a(n). Zaključak je da je uslov,
postavljen u zadatku, ekvivalentan sa postojanjem prirodnog broja m > n takvog
da m | a(n).
Egzistencija bar jednog takvog broja m je ekvivalentna nejednakosti a(n) > n,
tj. a(n) > n − 1. Po definiciji broja a(n), (n − 1) | a(n). Pošto je n > 3, imamo
da (n − 2) | a(n). Zbog (n − 2, n − 1) = 1 sledi (n − 2)(n − 1) | a(n). Dakle,
a(n) > (n−2)(n−1), što je > (n−1) kad god je n > 4. S druge strane, a(3) = 2,
što znači da odgovor na pitanje (a) glasi: n > 4.
(b) Uslov ovog dela zadatka ekvivalentan je postojanju jedinstvenog prirodnog
broja m > n tavkog da m | a(n). Pri tome, zbog prethodnog dela zadatka možemo
pretpostaviti da je n > 4. Pošto tada m = a(n) zadovoljava tražene uslove, naš cilj
-
se svodi na odredivanje svih brojeva n > 4 za koje su svi pravi delitelji od a(n)
manji od n.
Kao što smo to malopre videli, važi a(n) = (n − 1)(n − 2)b za neko b > 1.
Kako za n > 4 imamo (n − 1)(n − 2) > n, sledi da mora biti b = 1, tj. a(n) =
-
(n − 1)(n − 2). Medutim, pošto (n − 3) | a(n) i (n − 3, n − 2) = 1, zaključujemo
da (n − 3) | (n − 1). Drugim rečima, (n − 3) | 2, pa je n ∈ {4, 5}. Pošto je
6 | 12 = a(5) i a(4) = 6, dobijamo da je odgovor na pitanje (b): n = 4.
49
23. Predlog za MMO, 1974. (Poljska)
Rešenje. Neka je p prost broj koji deli bar jedan od datih brojeva a1 , . . . , ak ,
b1 , . . . , bk . Neka su αi , βi redom najviši stepeni kojima p deli ai , odnosno bi . Tada
je najviši stepen kojim p deli m jednak µ = maxj βj , dok je najviši stepen kojim
p deli ci jednak γi = αi + µ − βi . Imajući u vidu proizvoljnost prostog faktora p,
-
tvrdenje zadatka je ekvivalentno jednakosti
50
24. -
Madarska, 1990. (konkurs ”Kürschák József”)
Neka je p prost broj, a n prirodan broj. Dokazati da postoji najviše jedan pozitivan
broj d takav da važi d | pn2 i da je n2 + d potpun kvadrat.
Rešenje. Neka je
n2 + d = m2 , (15)
i neka je z = (n, m). Tada imamo n = xz i m = yz, gde je (x, y) = 1, pa iz
(15) sledi da je d = az 2 za neko a. Pri tome, az 2 = d | pn2 = px2 z 2 , pa a | px2 .
Nakon uvrštavanja u (15) i skraćivanja sa z 2 , dobijamo
x2 + a = y 2 .
px2 + pa = py 2 .
51
25. Predlog za MMO, 1995. (Rumunija)
ili
a2k ≡ 2k − 7(mod 2k+1 ).
U prvom slučaju definišimo ak+1 = ak , a u drugom ak+1 = ak + 2k−1 . Pošto je
ak neparno, u potonjem slučaju sledi:
52
26. S.A.D., 1982.
2n k + 1 = k(2n − 1) + (k + 1) = k((264 )q − 1) + (k + 1) =
53
za sve n ∈ N. S druge strane, pokazali smo da je broj oblika 2n k + 1 (za na opisani
način odabrano k) uvek deljiv bar jednim od F0 , F1 , F2 , F3 , F4 , 641, G. Zato je
2n k + 1 složen broj za sve n ∈ N, što je i trebalo dokazati.
54
27. Rumunija, 1978.
55
28. Rumunija, 1991.
Rešenje. Ako je a prvi član aritmetičke progresije, a d njena razlika, tada imamo
formulu za sumu prvih n članova progresije:
1
Sn = n(2a + (n − 1)d).
2
Specijalno, imamo S1 = a i S4 = 2(2a + 3d), odakle je a = b2 i d = 2d1 za neke
prirodne brojeve b i d1 , pa sledi:
56
29. MMO, 1991. (Rumunija)
Neka je n > 6 i neka su a1 < a2 < . . . < ak svi prirodni brojevi manji od n
i uzajamno prosti sa n. Dokazati: ako je niz ai aritmetička progresija, tada je n
prost broj ili stepen dvojke.
n − 2 = (n − 1) − 1 = ak − a1 = (p − 1)(k − 1)
-
važi (p − 1) | (n − 2), pa ako je q prost broj i q | (p − 1), tada q | (n − 2). Medutim,
q < p, pa q | n. Otuda je q | 2, tj. q = 2, kao i p − 1 = 2s za s > 2, odnosno
t
p = 2s + 1. Pošto je p prost broj, to je s = 2t , p = 22 + 1 za t > 1. Ali, sada
imamo:
t
a3 = 1 + 2(p − 1) = 2p − 1 = 22 +1 + 1,
pa 3 | a3 . Zato 3 | (a3 , n) = 1. Kontradikcija.
57
30. -
Madarska, 1991.
58
31. -
Madarska, 1991.
-
Rešenje. Pretpostavimo suprotno tvrdenju zadatka; tada postoji prirodan broj n
2 2
tako da je n 6 a i d 6 (n + 1) . Otuda mora biti d − a 6 2n + 1. S druge strane,
iz (c − b)2 > 0 i uslova zadatka sledi
Zbog d − a > c − b > 0 važi (d − a)2 > (c − b)2 , odakle iz gornjih veza imamo
(d + a)2 > (c + b)2 , tj. d + a > c + b, kao i:
d − a > 2n.
59
32. Predlog za MMO, 1978. (Čehoslovačka)
Naći sve prirodne brojeve n < 1978 sa osobinom: ako je prirodan broj m, 1 <
m < n, uzajamno prost sa n, tada je on prost.
Rešenje. Za svaki prost broj p, p2 je složen broj (i to su, u izvesnom smislu, ”najjed-
nostavniji” složeni brojevi). Zbog toga, ako za n ∈ N sa osobinom iz formulacije
zadatka važi p2 < n, tada n i p2 ne smeju biti uzajamno prosti, tj. p | n. Drugim
rečima, ako p - n, tada je n < p2 .
Imajući u vidu ovaj zaključak, neka je q = pk+1 najmanji prost broj koji ne
deli prirodan broj n sa traženom osobinom (ovde je p1 = 2, p2 , p3 , . . . niz prostih
brojeva). Tada je n < q 2 , dok s druge strane svi brojevi p1 , . . . , pk dele n, odakle
p1 . . . pk | n i n > p1 . . . pk . Prema tome, važi nejednakost
p1 . . . pk < p2k+1 .
-
Medutim, po Bertranovom stavu važi pk+1 < 2pk < 4pk−1 (pri tome pretpostav-
ljamo da je k > 2, dok će slučajevi k ∈ {0, 1} biti razmotreni kasnije). Otuda je
p2k+1 < 8pk−1 pk , pa dobijamo
p1 . . . pk−2 < 8,
60
33. Predlog za MMO, 1985. (S.S.S.R.)
Predstaviti broj 51985 − 1 kao proizvod tri prirodna broja od kojih je svaki veći od
5100 .
x5 − 1 = (x − 1)(x4 + x3 + x2 + x + 1).
Naš cilj je da izraz u drugoj zagradi predstavimo kao razliku dva kvadrata, pri
čemu treba imati na umu da je x neparan stepen od 5, zbog čega je 5x potpun
kvadrat (5x = 5398 = (5199 )2 ). Imajući to u vidu, tražićemo cele brojeve a, b, c
tako da važi
odakle nije teško videti da će (17) važiti za a = 3, b = c = 1. Prema tome, sledi
£ ¤
x5 − 1 = (x − 1) (x2 + 3x + 1)2 − 5x(x + 1)2 .
Kao što je već rečeno, izraz u uglastoj zagradi je razlika kvadrata, pa se on može
faktorisati. Neposredno se proverava da su sva tri ovako dobijena faktora od x5 − 1
veća od 5100 .
61
34. Predlog za MMT, Mersch, Luksemburg, 1980. (Belgija)
am = pd (ak ) = ak qd (ak ) + 1 = ak Q + 1,
-
gde je Q = qd (ak ) ceo broj. Iz gornje jednakosti sada neposredno sledi tvrdenje
zadatka.
62
35. Predlog za MMO, 1989. (Bugarska)
Znači, r | q n , pa mora biti r = 1 (tj. α je ceo broj). Zbog toga, gornju jednakost
možemo pisati u obliku
n−1
X n!
n
q + q k = 0. (18)
k!
k=0
Kako je za 0 6 k 6 n − 1 broj n! n
k! deljiv sa n, zaključujemo da n | q . To
n
znači da za proizvoljan prost faktor p broja n imamo p | q , odakle p | q. Ideja u
preostalom delu rešenja je da dobijemo kontradikciju posmatrajući stepene kojim
p deli pojedine sabirke na levoj strani jednakosti (18).
Imajući to u vidu, označimo sa m najviši stepen kojim p deli n!. Pošto pk | q k ,
dobijamo da pm+k | n!q k za sve 1 6 k 6 n. S druge strane, stepen kojim p deli k!
je po Ležandrovoj formuli jednak:
¹ º ¹ º ¹ º Xs s
X
k k k k k
+ 2 + ... + s 6 j
6 < k.
p p p p 2j
j=1 j=1
Stoga pk - k!, tj. stepen kojim p deli k! nije veći od k − 1. Zbog toga,
¯µ ¶
¯
m+1 ¯ n! k
p ¯ k! q ,
63
36. MMO, 1987. (S.S.S.R.)
-
Rešenje. Zadatak će biti rešen ako dokažemo sledeće tvrdenje: ako postoji x ∈
{0, . . . , p − 2} takav da je f (x) složen
q i ako je y najmanji broj iz skupa {0, . . . ,
p − 2} sa tom osobinom, tada je y < p3 .
Posmatrajmo najpre razliku f (y) − f (x), pošto je to, s jedne strane, način da
”eliminišemo” slobodni član p, a s druge strane, ovu razliku možemo faktorisati:
i
y + x0 + 1 6 p + x0 − 1 < p + x0 + x20 = f (x0 ) = q,
pa je relacija q | (y − x0 )(y + x0 + 1) = f (y) − f (x0 ) nemoguća. Kontradikcija,
pa mora biti q > 2y + 1. p
S druge strane, po definiciji broja q važi q 6 f (y), odnosno f (y) > q 2 .
Odatle je
64
37. Predlog za MMO, 1992. (Irska)
Dat je polinom
f (x) = x8 + 4x6 + 2x4 + 28x2 + 1.
Neka je p > 3 prost broj takav da postoji z ∈ N za koji p | f (z). Dokazati da
postoje celi brojevi z1 , . . . , z8 takvi da za g(x) = (x − z1 ) . . . (x − z8 ) važi da su
svi koeficijenti polinoma f (x) − g(x) deljivi sa p.
Ideja rešenja je da (po modulu p) faktorišemo ovaj polinom. Naš prvi cilj će biti da
pokažemo da dati uslovi omogućavaju da se h(y) predstavi kao razlika kvadrata.
Naime, primetimo da važi
Dokazaćemo da pod datim pretpostavkama postoji kvadrat celog broja koji daje
ostatak 2 pri deljenju sa p (tj. da je 2 kvadratni ostatak po modulu p).
Kako p | f (z) = h(t) (gde smo označili t = z 2 + 1), sledi
Sada 2t − 4 nije deljivo sa p, jer bi u suprotnom bilo ili p = 2, ili t ≡ 2(mod p).
U drugom slučaju bismo imali (iz gornje kongruencije) da p | 62 , što je suprotno
pretpostavci p > 3. Dakle, postoji u tako da je u(2t − 4) ≡ 1(mod p), odakle je
65
što je po modulu p kongruentno sa (y − a)2 + 4a. Na potpuno analogan način,
drugi faktor je (mod p) jednak (y + a)2 − 4a, pa je tako
b2 ≡ ±a(mod p).
i p deli broj
tj. −1 kvadratni ostatak (mod p). Uvrštavajući ovo u (19), h(y) se (mod p) razlaže
na linearne faktore:
[x2 − (b + cv)2 ][x2 − (b − cv)2 ][x2 − ((b − 1)cv)2 ][x2 − ((b + 1)cv)2 ]
razlaganje polinoma f (x) po modulu p, pa osam brojeva ±(b + cv), ±(b − cv),
±(b − 1)cv, ±(b + 1)cv zadovoljava tražene uslove.
66
38. Predlog za MMO, 1987. (Jugoslavija)
rn + sn = brn c + 1.
x2 − kpx + kq = 0, (21)
4 = p2 − t2 = (p − t)(p + t)
za neki prirodan broj t, što je nemoguće. Sada je dovoljno uzeti proizvoljno p >
k + 1.
68
39. Predlog za MMO, 1979. (Belgija)
A0 = (A0 − n0 )2 .
-
Dakle, A0 je kvadrat prirodnog broja, pa je time tvrdenje zadatka dokazano.
69
40. Predlog za MMO 1989. (Rumunija)
√
Dokazati da niz brojeva bn 2c, n ∈ N, sadrži beskonačno mnogo potpunih kvad-
rata.
√ √
Rešenje. Uslov bn 2c = k 2 ekvivalentan je sa k 2 6 n 2 < k 2 + 1, odnosno
2x2 − y 2 = 1.
y 4 6 y 4 + y 2 < y 4 + 2y 2 + 1 = (y 2 + 1)2 ,
što znači da za svako rešenje (a, b) gornje jednačine, brojevi n = ab, k = b zadovo-
ljavaju (22). Zato preostaje da pokažemo da posmatrana jednačina ima beskonačno
mnogo rešenja. √ √
Uočimo da je 1 = 1m = ( 2 + 1)m ( 2 − 1)m . Lako se pokazuje (indukcijom,
ili primenom binomne formule) da tada postoje prirodni brojevi xm , ym tako da je
√ √
( 2 + 1)m = xm 2 + ym .
-
Medutim, ako je m neparno, tada je
√ √
( 2 − 1)m = xm 2 − ym ,
70
41. Predlog za MMO 1985. (Rumunija)
√
Dokazati da niz brojeva bn 2c, n ∈ N, sadrži beskonačno mnogo stepena dvojke.
-
Rešenje. Traženo tvrdenje se može iskazati i na sledeći način: postoji beskonačno
mnogo prirodnih brojeva n za koje postoji prirodan broj k tako da je
√
2k 6 n 2 < 2k + 1,
odnosno,
√ √ 1
2k−1 2 6 n < 2k−1 2 + √ .
2
h √ √ ´
-
Medutim, interval 2k−1 2, 2k−1 2 + √12 sadrži ceo broj ako i samo ako je
√ 1
{2k−1 2} > 1 − √ ,
2
gde {x} označava razlomljeni deo realnog broja x. Pretpostavimo sada, suprotno
-
traženom tvrdenju, da navedeni intervali sadrže samo konačno mnogo celih bro-
jeva. Tada postoji k0 ∈ N tako da za sve k > k0 važi
√ 1 1
{2k 2} 6 1 − √ ≈ 0, 292 . . . < .
2 2
Očito, važi: (
2ri ri < 12 ,
ri+1 = {2ri } =
2ri − 1 ri > 12 .
1
Po pretpostavci, imamo ri < 2 za sve i > 0, pa je ri+1 = 2ri , odakle je ri = r0 2i
(i > 0). Sada imamo
1
r0 2i <
2
√
-
za sve i > 0, što je moguće samo ako je r0 = 0. Medutim, r0 = {2k0 2} je
iracionalan broj. Kontradikcija.
71
42. -
Madarska, 1969. (konkurs ”Kürschák József”)
Rešenje. Pretpostavimo da je
p ³ p ´
2 + 2 28n2 + 1 = 2 1 + 28n2 + 1 = m
√
za neki prirodan broj m. Tada je 28n2 + 1 neparan prirodan broj, odakle sledi
da m mora biti deljiv√sa 4, tj. m = 4k za neko k ∈ N. Uvrštavajući ovo u gornju
jednakost, dobijamo 28n2 + 1 = 2k − 1, odakle kvadriranjem sledi 28n2 + 1 =
4k 2 − 4k + 1 = 4k(k − 1) + 1, odnosno
(1) k = q 2 , k − 1 = 7r2 ,
(2) k = 7q 2 , k − 1 = r2 .
m = 4k = 4q 2 = (2q)2 .
S druge strane, slučaj (2) je nemoguć, pošto bismo tada imali r2 = 7q 2 − 1, što
-
bi značilo da važi r2 ≡ −1(mod 7). Medutim, lako se proverava da kvadrati celih
brojeva daju ostatke 0, 1, 2, 4 pri deljenju sa 7.
Komentar.
√ Može se pokazati da postoji beskonačno mnogo celih brojeva n za koje
je 28n2 + 1 prirodan broj. Kao što se vidi iz gornjeg rešenja, ako je (q, r) rešenje
Pelove jednačine
x2 − 7y 2 = 1,
tada n = qr ima traženu osobinu. Postojanje beskonačno mnogo rešenja ove
jednačine pokazuje se potpuno analogno
√ kao i u rešenju zadatka br. 40, posmat-
ranjem binomnih razvoja (8 ± 3 7)m (pri čemu uzimamo baš ove koeficijente jer
je 82 − 7 · 32 = 64 − 63 = 1).
72
43. MMO 1989. (Švedska)
Rešenje. Broj x nije stepen prostog broja ako i samo ako ima bar dva prosta faktora,
što je ekvivalentno rastavljanju x = ab na dva uzajamno prosta činioca a, b > 1.
Prema tome, ako želimo da obezbedimo da broj m + k ne bude stepen prostog
broja, možemo pokušati da posmatramo broj m deljiv sa k, jer tada iz m = km0
sledi m + k = k(m0 + 1). Da bi k i m0 + 1 bili uzajamno prosti, dovoljno je da
k | m0 .
Pri svemu tome, mora biti k > 2. Kako bismo obezbedili da ovaj uslov bude
ispunjen, uvedimo smenu m = m0 + 1 i posmatrajmo niz brojeva
m0 + 2, m0 + 3, . . . , m0 + n + 1.
m1 = (n + 1)!,
73
44. Predlog za MMO 1991. (Bugarska)
-
Rešenje. Radi bolje preglednosti, označimo a = 1991. Naš cilj je sada odredivanje
najvećeg prirodnog broja k za koji
¯³ ´
¯ a+1 a−1
ak ¯ (a − 1)a + (a + 1)a .
Pošto je a neparan broj, očito je da prvi sabirak u zagradi daje ostatak −1 pri
deljenju sa a, dok drugi daje ostatak 1. Zbog toga ćemo posebno razmotriti najviše
a−1 a+1
stepene kojim a deli (a + 1)a − 1, odnosno (a − 1)a + 1 (ideja je sledeća: ako
se ispostavi da su ova dva najviša stepena različita, onda je manji od njih upravo
traženo k).
n
Razvijanjem izraza ¡(a +¢ 1)a po binomnom obrascu uočavamo da je poslednji
n
sabirak 1, pretposlednji a1 a = an+1 , dok su ostali deljivi sa an+2 . Ovo zapažanje
-
sada potvrdujemo indukcijom: dokazujemo da za sve prirodne brojeve n postoji sn
takav da a - sn i
n
(1 + a)a = 1 + sn an+1 .
Zaista, za n = 1 imamo:
µ ¶ µ ¶ µ ¶
a a a 2 a a
(1 + a) = 1 + a+ a + ... + a =
1 2 a
µ µ ¶ µ ¶ ¶
2 a a
=1+a 1+ + a + . . . = 1 + s1 a2 .
2 3
¡ ¢
Pošto je a neparno, to a | a2 , pa zato a ne deli
µ ¶ µ ¶
a a
s1 = 1 + + a + ...
2 3
-
Iz pretpostavke da navedeno tvrdenje važi za n, dobijamo:
µ ¶ µ ¶
an+1
¡ ¢
n+1 a a n+1 a 2 2n+2
(1 + a) = 1 + sn a =1+ sn a + s a + ... =
1 2 n
µ µ ¶ ¶
n+2 a 2 n
=1+a sn + s a + . . . = 1 + sn+1 an+2
2 n
i pošto a - sn , to a - sn+1 .
74
Na potpuno analogan način se pokazuje da za svaki prirodan broj n postoji
prirodan broj tn takav da a - tn i da važi
n
(a − 1)a = −1 + tn an+1 .
-
Prema tome, iz gornja dva tvrdenja imamo da je aa najveći stepen od a koji
a−1
-
deli (a + 1)a − 1 (prvo od gornja dva tvrdenja za n = a − 1), kao i da je najveći
a+1
stepen kojim a deli (a − 1) a -
+ 1 jednak aa+2 (drugo tvrdenje za n = a + 1).
Otuda je traženi broj kmax = a = 1991.
75
45. Predlog za MMO 1982. (Australija)
¯¡ ¢
(a) Dokazati da (n + 1) ¯ 2n
n za sve n ∈ N.
(b) Za sve k ∈ N, naći najmanji prirodan broj Ck takav da
¯ µ ¶
¯ 2n
¯
(n + k + 1) ¯ Ck
n+k
za sve n > k.
odakle dobijamo µ ¶ µ ¶
2n 2n
n = (n + 1) .
n n−1
¡ ¢
Kako je (n, n + 1) = 1, to sledi (n + 1) | 2n n .
(b) Iz prethodne tačke
¡ 2n ¢sledi da je C 0 = 1, pa zato pretpostavimo da je k > 0.
Ako je n = k, tada je n+k = 1, što znači da mora biti Ck > 2k + 1. Pokušaćemo
da pokažemo da je baš Ck = 2k + 1, tj. da važi
¯ µ ¶
¯ 2n
(n + k + 1) ¯¯ (2k + 1)
n+k
dovoljno je pokazati da
¯ µ ¶
¯ 2n
(n + k + 1) ¯¯ (n − k) .
n+k
-
Medutim, na analogan način kao i u tački (a), dobijamo:
µ ¶ µ ¶
2n (2n)! 2n
(n − k) = = (n + k + 1) ,
n+k (n + k)!(n − k − 1)! n−k−1
76
46. Predlog za BMO, 1994. (Rumunija); Bugarska, 1994.
deljiv sa p2 .
j k
2p
Rešenje. Označimo sa S datu sumu binomnih koeficijenata i q = 3 . Za 1 6
k 6 q imamo: µ ¶
p p(p − 1)(p − 2) . . . (p − k + 1)
= =
k k!
p · [(p − 1)(p − 2) . . . (p − k + 1)] · [(k + 1) . . . q]
= .
q!
Naravno, pošto je q < p, sledi da p - q!. Takode, - svaki od binomnih koeficijenata
-
koji čine S je očito deljiv sa p, pa je tvrdenje koje dokazujemo, p2 | S, ekvivalentno
q!
sa p | p S. Pri tome je iz gornje jednakosti
µ ¶
q! p
= [(p − 1)(p − 2) . . . (p − k + 1)] · [(k + 1) . . . q].
p k
odakle je
µ ¶
q! p q!
≡ (−1)k−1 (k − 1)!(k + 1) . . . q = (−1)k−1 (mod p).
p k k
Prema tome,
q
X (−1)k−1
q!
S ≡ q! (mod p).
p k
k=1
Zbog toga, zadatak će biti rešen ako pokažemo da je brojilac sledećeg racionalnog
broja (nakon skraćivanja) deljiv sa p:
q
X (−1)k
.
k
k=1
77
Pošto je p > 3, prost broj p mora biti oblika 6m ± 1. Ako je p = 6m + 1, tada
imamo q = 4m i
1 1 1
−1 + − + . . . + =
2 3 4m
· µ ¶¸
1 1 1 1 1
− 1 + + ... + −2 + + ... + =
2 4m 2 4 4m
µ ¶
1 1 1 1
= − 1 + + ... + − 1 − − ... − =
2 4m 2 2m
µ ¶
1 1 1
=− + + ... + =
2m + 1 2m + 2 4m
µ ¶
1 1 1 1
=− + + + + ... =
2m + 1 4m 2m + 2 4m − 1
µ ¶
6m + 1 6m + 1 6m + 1
=− + + ... + =
4m(2m + 1) (4m − 1)(2m + 2) 3m(3m + 1)
µ ¶
1 1 1
= −p + + ... + =
4m(2m + 1) (4m − 1)(2m + 1) 3m(3m + 1)
pA pA(2m − 1)!
=− =−
2m(2m + 1) . . . 4m q!
za neki prirodan broj A. Pošto p - q!, posmatrani razlomak će nakon skraćivanja
imati brojilac deljiv sa p.
Slučaj p = 6m − 1 se razmatra analogno.
78
47. MMT, Mersch, Luksemburg, 1980. (Jugoslavija)
-
Neka je p prost broj, a n prirodan broj. Dokazati da su sledeća dva tvrdenja ekvi-
valentna:
¡ ¢
(i) Nijedan od binomnih koeficijenata nk , 1 6 k < n, nije deljiv sa p.
n(n − 1) . . . (n − p + 2)
n+1−k ps q − k
= ,
k k
pa odmah imamo da važi jednakost najviših stepeni kojima p deli brojilac i imenilac
posmatranog razlomka kad god ps - k. Prema tome, dovoljno je posmatrati brojeve
oblika k = ps m, m 6 q. Tada je
n+1−k ps q − ps m q−m
= = .
k ps m m
79
Ukoliko bi bilo q > p (slučaj q = p je očito nemoguć, jer p - q), tada bismo
za m = q − p imali kontradikciju sa (i): brojilac posmatranog razlomka bi bio
q − (q − p) = p, a imenilac q − p, pri čemu p - (q − p). Stoga zaključujemo da
mora biti q < p, što okončava dokaz tražene implikacije.
(ii) ⇒ (i) Ova implikacija se¡ neposredno
¢ dokazuje indukcijom, koristeći jed-
n -
nakost (23). Naime, za¡ k =¢ 1, 1 = n očito nije deljivo sa p. Ukoliko podemo
n
od pretpostavke da p - k−1 , tada je na osnovu (23) za kompletiranje induktivnog
koraka dovoljno dokazati da su najviši stepeni kojima p deli n + 1 − k i k jednaki.
Neka je k = pr m, gde p - m i r > 0. Ako je r < s, tada je
n + 1 − k = ps q − pr m = pr (ps−r q − m)
deljivo sa pr , ali ne i sa pr+1 (baš kao i k). S druge strane, ako je r = s (slučaj
r > s je jasno nemoguć, jer bismo tada imali k > ps+1 > ps q > n), tada je
n + 1 − k = ps (q − m),
80
48. Čehoslovačka, 1988.
Rešenje. Ideja rešenja je da se posmatraju prosti faktori leve i desne strane date
jednačine. Pošto za proizvoljan prost broj p i prirodan broj n važi da p - n! ako i
samo ako n < p, zaključujemo da egzistencija prostog broja p takvog da
m(m + 1)
2m − 1 < p 6
2
povlači da m ne može biti rešenje (jer je tada desna strana deljiva sa p, dok leva
nije). Po Bertranovom stavu, takav prost broj će postojati kad god je
m(m + 1)
> 2(2m − 1),
2
-
što je ekvivalentno sa m2 − 7m + 4 > 0. Medutim, ova nejednakost je očito tačna
za m > 7, pa preostaju da se razmotre brojevi m 6 6.
Za m = 6 je 2m − 1 = 11 < 13 < 21 = 6·7 2 , dok za m = 5 imamo
2m − 1 = 9 < 11 < 15 = 5·6 2 , pa ove vrednosti m nisu rešenja posmatrane
jednačine.
S druge strane, m = 1, 2 očigledno jesu rešenja. Rešenje je i m = 3, jer je
- i m = 4, pošto je 1! 3! 5! 7! = 6! 7! = 720 · 7! =
1! 3! 5! = 6 · 5! = 6!, a takode
10 · 9 · 8 · 7! = 10!.
81
49. Predlog za MMO, 1989. (Kolumbija)
Neka f (m) označava najveći ceo broj k za koji 2k | m!. Dokazati da za sve
prirodne brojeve n postoji beskonačno mnogo prirodnih brojeva m tako da je
m − f (m) = n.
m = ar 2r + . . . + a1 21 + a0 ,
tada za 1 6 k 6 r važi
jmk
= ar 2r−k + . . . + ak+1 21 + ak = ar . . . ak+1 ak
2k
(za k > r posmatrani ceo deo je 0). Dakle,
X r
r X r
X i
X r
X
f (m) = ai 2i−k = ai 2i−k = ai (2i − 1).
k=1 i=k i=1 k=1 i=1
Zato je
m − f (m) = ar + . . . + a1 + a0 .
Prema tome, m − f (m) = n ako i samo ako m u binarnom zapisu ima tačno n
jedinica. Takvih brojeva ima očito beskonačno mnogo.
82
50. Predlog za MMO, 1985. (Bugarska)
Rešenje. Ako je p prost broj i s > 0 najveći ceo broj za koji ps | n!, tada je po
Ležandrovoj teoremi:
X¹ n º X∞ j
n k
s= 6 < n, (24)
pm 2m
m>1 m=1
83
51. Predlog za MMO, 1983. i 1991. (S.S.S.R.)
A = {n : an−1 = an },
an−1+kT = an+kT ,
Pošto ispitujemo slučaj kada 5 - an−1 x, sledi da 5 | (x − 1), odnosno x ∈ {1, 6}.
Drugi slučaj je kada 5 | an−1 x, tj. an−1 = 5 ili x = 5. Ispitaćemo da li moguća
jednakost at = 5 za neko t. U tu svrhu, prikažimo t! = 2α 5β γ, gde γ nije deljivo
ni sa 2, ni sa 5. Po Ležandrovoj formuli je
¹ º ¹ º ¹ º ¹ º
t t t t
α = + + + ... + i + ...,
2 4 8 2
¹ º ¹ º ¹ º ¹ º
t t t t
β = + 2 + 3 + ... + i + ...,
5 5 5 5
pa se lako pokazuje da važi α > β kad god je t > 2. Zbog toga je t! = 10β (2α−β γ),
što znači da se at poklapa sa cifrom jedinica broja 2α−β γ. Za t > 2, ta cifra je
84
očigledno parna, dok je a1 = 1. Prema tome, at 6= 5 za sve t ∈ N, pa iz 5 | an−1 x
sledi x = 5.
Sumirajući prethodna razmatranja, možemo zaključiti da n ∈ A povlači da je
poslednja nenula cifra broja n jedna od 1, 5, 6.
Uočimo sada da za proizvoljno m ∈ N imamo (10m )! = 10m · (10m − 1)!,
zbog čega je 10m ∈ A. Kao što je ranije rečeno, tada za sve k > 0 i za sve m takve
da je 10m > n0 mora biti
10m + kT ∈ A.
Neka je
T = 2a 5b c,
pri čemu je c neparan broj koji nije deljiv sa 5. Ideja je da pokažemo da T ima
umnožak `T čija poslednja nenula cifra nije nijedna od 1, 5, 6, jer tada za dovoljno
veliko m (naime, za m takvo da je 10m > max(`T, n0 )) važi da je poslednja nenula
cifra broja 10m + `T ista kao i poslednja nenula cifra broja `T . Pošto ta cifra nije
u skupu {1, 5, 6}, dobićemo kontradikciju sa uslovom 10m + `T ∈ A (koji sledi iz
prepostavljene periodičnosti niza cifara an ).
-
Medutim, traženi umnožak se lako nalazi. Naime, imamo
2b 5a T = 10a+b c,
pa je poslednja nenula cifra broja 2b 5a T ista kao i cifra jedinica broja c. Ako ta cifra
nije 1 (već 3, 7 ili 9), željeni cilj je postignut. Ali, ako je ta cifra 1, posmatrajmo
dvostruko veći broj
2b+1 5a T = 10a+b · 2c.
Poslednja nenula cifra ovog broja je cifra jedinica broja 2c, a to je u posmatranom
slučaju 2. Time je dokaz neperiodičnosti niza an kompletiran.
85
52. MMO, 1978. (Kuba)
6k ≡ 1(mod 125).
86
53. BMO, 1984. (Bugarska)
Rešenje. Uslov zadatka se može zapisati kao 10r | (5n − 5m ), gde je r broj cifara
u dekadnom zapisu broja 5m , tj. r = blog10 5m c + 1. Pošto je r 6 m, posmatrana
relacija deljivosti je ekvivalentna sa 2r | (5n − 5m ) = 5m (5n−m − 1), tj. sa
2r | (5n−m − 1).
n = m + ϕ(2r )k = m + 2r−1 k,
k ∈ N, dobija
r
5n = 5m (5ϕ(2 ) )k ≡ 5m (mod 2r ),
što se i tražilo.
87
54. Predlog za MMO, 1976. (Vijetnam)
Rešenje. Zadatak će biti rešen ako dokažemo da postoji beskonačno mnogo prirod-
nih brojeva n takvih da se 5n može zapisati u obliku
5n = 10k+1976 q + r,
Sada posmatrana jednačina glasi 5n−k−1976 = 2k+1976 q+s, odnosno, nakon smene
t = k + 1976:
5n−t = 2t q + s,
gde je q > 0 (što je ekvivalentno sa n − t > 0). Kako bismo mogli da primenimo
Ojlerovu teoremu, zgodno je da odaberemo s = 1. Pošto je
t
5ϕ(2 ) ≡ 1(mod 2t ),
svi traženi uslovi su ispunjeni za sve t > 4589 + 1976 = 6565 i sve n za koje važi
n>ti
ϕ(2t ) = 2t−1 | (n − t).
Drugim rečima, za sve m ∈ N i t > 6565, broj
n = 2t−1 m + t
88
55. Predlog za BMO, 1989. (Kipar)
Dokazati da ¯ ³ nn ´
¯ n
1989 ¯ nn − nn
Rešenje. Radi kraće notacije, označimo broj u zagradi sa a. Ovaj broj se može
faktorisati kao
nn n n nn n
a = nn − nn = nn (nn −n − 1),
što motiviše da označimo
n n −n
b = nn − nn = nn (nn − 1).
k(k + 1)
= (2k + 1)(4k(k + 1))N = 8(2k + 1) N.
2
Prema tome, ϕ(16) = 8 | c i zato, ponovo se koristeći Ojlerovom teoremom, sledi
16 | (nc − 1) | b. Time je rešenje kompletirano.
89
56. Predlog za MMO, 1984. (Kanada)
(a) Dokazati da postoji beskonačno mnogo parova prirodnih brojeva (m, n) takvih
da je 4mn − m − n + 1 potpun kvadrat.
(b) Dokazati da ne postoji nijedan par prirodnih brojeva (m, n) takav da je 4mn −
m − n potpun kvadrat.
4mn − m − n + 1 = k 2 .
(4m − 1)(4n − 1) = 4k 2 − 3.
(4m − 1)(4n − 1) = 4k 2 + 1.
90
-
Pretpostavimo, suprotno tvrdenju zadatka, da postoje prirodni brojevi m, n, k za
koje važi ova jednakost. Neka je p prost broj koji deli 4m − 1. Tada je
91
57. (a),(b): Rumunija, 1978.; (c): Predlog za MMO, 1985. (Rumunija)
(a) Dokazati da za svaki prirodan broj a > 3 postoji beskonačno mnogo prirodnih
brojeva n za koje n | (an − 1).
(b) Naći sve prirodne brojeve n za koje n | (2n − 1).
(c) Neka je k > 2 i neka su n1 , n2 , . . . , nk prirodni brojevi takvi da
ni+1 |(2ni − 1)
tada iz prethodnih razmatranja neposredno sledi da svaki član ovog niza ima željenu
osobinu. Preostaje da uočimo da iz pretpostavke a > 3 sledi da je ovaj niz strogo
rastući, tj. da se sastoji iz različitih brojeva.
(b) Očigledno, n = 1 zadovoljava traženi uslov. Pretpostavimo da postoji n >
2 koje zadovoljava navedeni uslov. Neka qn označava najmanji prost faktor broja
n. Dokažimo da važi: ako je n > 1 i p | (2n − 1), tada je p > qn . U tom slučaju,
imaćemo očiglednu kontradikciju, jer n | (2n − 1) povlači qn | (2n − 1).
Najpre, treba primetiti da ako za prirodne brojeve a, b važi
2a ≡ 2b ≡ 1(mod p),
tada je
2(a,b) ≡ 1(mod p).
Naime, ako je a > b i a = qb + r, tada važi
92
(c) Pretpostavimo da je n1 > 1. Tada je redom nk > 1,. . . , n2 > 1. Neka qn
označava, kao i u (b), najmanji prost faktor broja n. Iz uslova zadatka sledi
qn2 | 2n1 − 1,
-
pa po pomoćnom tvrdenju iz prethodnog zadatka (p | (2n − 1) ⇒ qn < p) sledi
qn1 < qn2 . Ponavljajući ovo razmatranje, dobijamo:
Kontradikcija.
93
58. S.A.D., 1991.
Rešenje. Označimo sa ai , i > 1, članove datog niza (preciznije, ovaj niz je definisan
sa a1 = 2 i ai+1 = 2ai za i > 1). Zadatak zapravo traži da se pokaže da je za sve
prirodne brojeve n razlika ai+1 − ai deljiva sa n za dovoljno veliko i. Drugim
rečima, ako označimo bi = ai+1 − ai , cilj je da se dokaže:
pri čemu smo po potrebi označili a0 = 1. Koristeći ovu vezu, dokazaćemo tvrdenje-
-
(25) indukcijom po n. Ono je očigledno za n = 1, pa podimo od pretpostavke da
je ono tačno za sve prirodne brojeve manje od neke odabrane vrednosti n.
Razložimo n = 2k q, gde je q neparan broj. Pošto za sve k 6 ai važi 2k | 2ai =
ai+1 , to iz činjenice da niz ai nije ograničen sledi da postoji jk tako da 2k | ai | bi
za sve i > jk . S druge strane, želimo da q | bi za dovoljno veliko i, što je moguće
samo ukoliko q | (2bi−1 − 1). Po Ojlerovoj teoremi je
94
59. MMO, 1990. (Rumunija)
k
Budući da je (23 )m ≡ (−1)m (mod 3), i kako u uglastoj zagradi imamo neparno
mnogo sabiraka, broj u toj zagradi nije deljiv sa 3. Prema tome, stepen kojim 3 deli
k
2n + 1 je jednak stepenu kojim 3 deli 23 + 1.
k
Izraz 23 + 1 možemo faktorisati uzastopnom primenom formule za zbir kubo-
va:
k k−1 k−1
23 + 1 = (2 + 1)(22 − 21 + 1) . . . (22·3 − 23 + 1). (26)
Sada želimo da ustanovimo stepen trojke u broju oblika 22q − 2q + 1, gde je q
neparan broj. Lako se vidi da je on deljiv sa 3, pa ćemo posmatrati njegov ostatak
pri deljenju sa 9. Pošto je 26 ≡ 1(mod 9), pisaćemo q u obliku q = 6s + r,
r ∈ {1, 3, 5}, jer je tada
95
` = (2 · 3k , p − 1), gde je k ∈ {0, 1}, tj. ` ∈ {1, 2, 3, 6}. Pošto p | (2` − 1), p deli
jedan od brojeva 1, 3, 7, 63. Zbog ograničenja p > 5, jedina mogućnost je p = 7.
Ali, lako se proverava da stepen dvojke pri deljenju sa 7 može davati isključivo
ostatke 1, 2, 4, što je kontradikcija sa (27).
Prema tome, jedini brojevi sa traženom osobinom su n = 1 i n = 3.
Komentar. Primetimo da je prvi deo gornjeg rešenja gotovo analogan idejama koji
se pojavljuju u rešenju zadatka br. 2 (b), a kojeg je Rumunija predložila za MMO
godinu dana ranije. Može se sa velikom sigurnošću reći da ova dva zadatka potiču
od istog autora.
96
60. BMO, 1989. (Bugarska)
Rešenje. Ako bi bilo d2 > 2, tada bi n bio neparan broj, kao i svi njegovi delitelji
di , ali bi tada broj d21 + d22 + d23 + d24 bio paran, što je kontradikcija. Zaključujemo
da je d2 = 2, pa je tačno jedan od brojeva d3 , d4 paran.
Ako bi d3 bio paran, d3 = 2a, sledilo bi a | n i 1 < a < d3 , pa je to moguće
samo ako je a = 2, tj. d3 = 4. Tada je n = 4m, pa je 4m = 12 + 22 + 42 + d24 ,
odnosno d24 ≡ −1(mod 4), što je nemoguće.
Prema tome, d3 je neparan broj, a d4 je paran, d4 = 2b, pri čemu je b > 1.
Kako tada b | n, to je b = 2 ili b = d3 . Medutim, - prvi slučaj je nemoguć, jer je
tada d4 = 4, odakle je d3 = 3 i n = 1 + 2 + 32 + 42 = 30, što nije deljivo sa 4.
2 2
5(b2 + 1) = 2bm,
97
61. S.S.S.R., 1990. (republička olimpijada)
x5 − x3 − x2 + 1 = y 2 .
(x − 1)2 (x + 1)(x2 + x + 1) = y 2 .
98
62. -
Madarska, 1990.
Da li jednačina
x2 + xy + y 2 = 2
ima racionalna rešenja?
-
Rešenje. Podimo od pretpostavke da data jednačina ima racionalno rešenje (x, y).
Tada možemo pisati x = ac i y = cb , pri čemu ove razlomke ne možemo skratiti
istim prirodnim brojem: drugim rečima, (a, b, c) = 1 (pri čemu je a, b, c ∈ Z).
Dobijamo:
a2 + ab + b2 = 2c2 .
Iz gornje jednakosti sledi da oba broja a, b moraju biti parna (u suprotnom bi leva
strana sadržala jedan ili tri neparna sabirka). Zbog toga, c je neparan broj (u suprot-
-
nom bi bilo 2 | (a, b, c)). Medutim, sada je leva strana gornje jednakosti deljiva sa
4, dok je desna strana deljiva sa 2, ali ne i sa 4. Kontradikcija. Dakle, odgovor na
postavljeno pitanje je negativan.
99
63. S.A.D., 1976.
a2 + b2 + c2 = a2 b2 .
Desna strana (budući da je u pitanju potpun kvadrat) daje ostatak 0 ili 1 pri deljenju
sa 4. Pri tome, taj ostatak može biti 1 samo ako su a1 i b1 (a i d) neparni brojevi.
-
Medutim, tada je ostatak koji a21 + b21 + c21 daje pri deljenju sa 4 jednak 2 ili 3, pa
odmah dobijamo kontradikciju. S druge strane, ako je razmatrani ostatak 0, tada je
100
64. Predlog za MMO, 1982. (Belgija)
x3 − y 3 = 2xy + 8.
pa kako je faktor u uglastoj zagradi pozitivan, to mora biti x > y. Sada ćemo
razmotriti moguće vrednosti za x − y. Ukoliko bi bilo x − y > 2, tada bismo imali
101
65. MMT, Mersch, Luksemburg, 1980. (Holandija)
x3 + x2 y + xy 2 + y 3 = 8(x2 + xy + y 2 + 1).
(x + y)2 8
x+y =4+4 + 2 , (29)
x2 + y 2 x + y2
odakle sledi da je x + y > 4, tj. x + y > 5. S druge strane, nejednakost kvadratne
i aritmetičke sredine daje x2 + y 2 > 12 (|x| + |y|)2 > 12 (x + y)2 , pa je x2 + y 2 >
25
2 > 8, kao i
(x + y)2
06 2 6 2.
x + y2
Uzimajući u obzir ove nejednakosti, iz (29) zaključujemo da je x + y < 13, tj.
x + y 6 12. Osim toga, pošto su brojevi x + y i x2 + y 2 iste parnosti, iz (28) odmah
sledi da je x + y parno. Prema tome, x + y ∈ {6, 8, 10, 12}.
Ako sada, radi kraćeg zapisa, označimo x + y = 2a i xy = b, razmatrana
jednačina postaje
2a(4a2 − 2b) = 8(4a2 − b + 1).
Odavde lako možemo izraziti b:
2a3 − 8a2 − 2 18
b= = 2a2 − 4a − 8 − .
a−2 a−2
Stoga (a − 2) | 18, pa pošto je 3 6 a 6 6, imamo tri slučaja: a ∈ {3, 4, 5}. Ovi
slučajevi za vrednosti b redom daju −20, −1 i 16. Dakle, (x, y) se dobija kao par
rešenja jedne od sledeće tri kvadratne jednačine:
t2 − 6t − 20 = 0, t2 − 8t − 1 = 0, t2 − 10t + 16 = 0.
Diskriminante ovih jednačina su redom 116, 68 i 36, što znači da samo treća
jednačina ima celobrojna rešenja. Ta rešenja su 2 i 8, pa preostaje samo da prove-
rimo da su (2, 8) i (8, 2) zaista rešenja jednačine date u zadatku.
102
66. Bugarska, 1979.
Dokazati da jednačina
x2 + 5 = y 3
nema rešenja u skupu celih brojeva.
odnosno
u2 + 1 = v(16v 2 + 12v + 3).
Očito, 16v 2 + 12v + 3 = 4 · [v(4v + 3)] + 3, pa ovaj broj mora imati prost faktor
p oblika 4t + 3 (u suprotnom bi svi njegovi prosti faktori bili oblika 4t + 1, što bi
značilo da posmatrani broj daje ostatak 1 pri deljenju sa 4, a ne 3). Taj prost broj
deli u2 + 1, pa dobijamo kontradikciju na gotovo identičan način kao u zadatku br.
56 (b): naime, iz u2 ≡ −1(mod p) imamo
x2 + k = y 3 ,
103
67. -
MMT, Mariehamn, Finska, 1980. (Madarska)
xn + 1 = y n+1
y n + . . . + y + 1 ≡ n + 1(mod y − 1),
104
68. S.S.S.R., 1990. (republička olimpijada)
7x − 3 · 2y = 1.
odnosno
2y−4 = 7x−2 + 7x−4 + . . . + 1,
odakle sledi da mora biti y > 4. Odmah uočavamo da je x = 2, y = 4 drugo
rešenje. Zato pretpostavimo da je y > 5. Tada je zbir x2 neparnih brojeva jednak
parnom broju, pa je x2 paran broj, tj. x je deljivo sa 4. Sada možemo pisati:
što je zbog 72 + 1 = 50 nemoguće. Dakle, {(1, 1), (2, 4)} predstavlja traženi skup
rešenja.
105
69. Predlog za MMO, 1991. (Hong Kong)
3x + 4y = 5z .
2z ≡ 5z ≡ 1(mod 3),
(5t + 2y ) + (5t − 2y ) = 2 · 5t
106
70. Predlog za MMO, 1978. ((a): Velika Britanija; (b): Holandija)
x2 + y 2
x+y
ceo i deli 1978. Dokazati da je x = y.
(b) Dokazati da na kružnici opisanoj oko kvadrata sa temenima (0, 0), (1978, 0),
(1978, 1978), (0, 1978), nema celobrojnih tačaka, sem navedenih.
Sada rezonujemo analogno kao i u zadacima br. 56 (b) i 66: stepenujući gornju
kongruenciju sa p−1
2 (pod pretpostavkom da je p > 2) i koristeći malu Fermaovu
teoremu, sledi
p−1 p−1
1 ≡ (bu)p−1 = ((bu)2 ) 2 ≡ (−1) 2 (mod p),
107
dok za svaki drugi prost faktor q | m važi q | a i q | b. Skraćivanjem jednačine
a2 + b2 = 2m2 sa svim takvim prostim faktorima q, dobijamo jednačinu oblika
c2 + d2 = 8. Jedino njeno rešenje je c = d = 2, tako da i u ovom slučaju sledi
željeni zaključak a = b = m, koji okončava rešenje zadatka pod (a).
(b) Jednačina date kružnice je
108
71. Predlog za MMO, 1978. (Francuska)
x = a2 + b2 , y = c2 + d2 , z = ac + bd.
(b) Dokazati: ako je p prost broj i p ≡ 1(mod 4), tada se p može predstaviti kao
zbir dva kvadrata prirodnih brojeva.
-
Rešenje. (a) Za uredenu trojku prirodnih brojeva (x, y, z) za koju je xy − z 2 = 1
kažemo da je loša ako je x 6 y i ne postoje prirodni brojevi a, b, c, d tako da je
x = a2 + b2 , y = c2 + d2 i z = ac + bd. U ovoj terminologiji, zadatak traži da se
pokaže da loše trojke ne postoje.
Pretpostavimo suprotno: neka je (x, y, z) neka loša trojka. Kako je xy = z 2 +1
i x 6 y, zaključujemo da važi
x2 6 xy = z 2 + 1,
x = m2 + n 2 , x + y − 2z = p2 + q 2 , z − x = mp + nq.
109
Iz ovog sistema dobijamo
i zatim i
y = (m + p)2 + (n + q)2 ,
kontradikcija sa pretpostavkom da je (x, y, z) bila loša trojka. Prema tome, i
(x, x + y − 2z, z − x)
je loša trojka.
-
Medutim, važi z − x < z. Znači, ukoliko bismo pretpostavili da skup svih loših
trojki nije prazan, sledio bi zaključak da medu - svim takvim trojkama (x, y, z) ne
postoji trojka sa minimalnim z (jer se za svaku lošu trojku može konstruisati loša
trojka sa manjom trećom komponentom). To je, jasno, nemoguće, pa loših trojki
-
zapravo i nema, tj. tvrdenje pod (a) je dokazano.
(b) Neka je sada p = 4k + 1 prost broj. Po Vilsonovoj teoremi, tada važi
pv − u2 = 1
-
za neki prirodan broj v. Primenom tvrdenja (a) na ovaj specijalan slučaj, dobijamo
-
tvrdenje (b).
110
72. MMO, 1977. (SR Nemačka)
a + b < 90,
-
pa je r < 90. Odatle je, medutim, q 2 = 1977−r > 1887, tj. q > 43. Zaključujemo
-
da je q = 44 i r = 41, pa preostaje da nademo sva celobrojna rešenja jednačine
a2 + b2 = 44(a + b) + 41.
111
73. Velika Britanija, 1991.
a2 + b2 − a = 2qab,
r2 d + s2 d − r = 2qrsd,
Komentar. Kao uopštenje ovog zadatka, možemo postaviti problem nalaženja svih
parova prirodnih brojeva (a, b) tako da za dato q ∈ N važi
a2 + b2 − a
= q.
2ab
Kao što smo videli u gornjem rešenju, tada je a = r2 , b = rs, gde je (r, s) rešenje
jednačine
x2 − 2qxy + y 2 = 1. (31)
Pošto će se jednačine veoma sličnog tipa pojaviti i u sledećim zadacima, u nared-
nom ćemo izložiti jedno opšte teorijsko razmatranje na osnovu kojeg ćemo rešiti
gornju jednačinu, a koje ćemo i kasnije koristiti.
∗ ∗ ∗
x2 − mxy + y 2 = n, (32)
112
pretpostavke da je (x, y) rešenje sledi da je rešenje i (ax + by, cx + dy) za pogodno
odabrane koeficijente a, b, c, d.
Pošto želimo da primenimo (Fermaov) metod beskonačnog silaska, posmat-
raćemo preslikavanja kod kojih je a = 0 i b = 1, tj. kada je u pitanju transformacija
(x, y) 7→ (y, cx + dy). Naime, ako je x2 − mxy + y 2 = n, tada je
y 2 − my(cx + dy) + (cx + dy)2 =
= n + (c2 − 1)x2 + (m − cm + 2cd)xy + (d2 − dm)y 2 .
Očigledno, uslovi c2 − 1 = m − cm + 2cd = d2 − dm = 0 daju koeficijente c, d
sa željenim osobinama. Dakle, c = ±1; pri tome, c = 1 daje d = 0, i taj slučaj
nam nije interesantan, pošto daje transpoziciju para (x, y). Stoga biramo c = −1,
odakle lako dobijamo d = m. Tako je skup celobrojnih rešenja jednačine (32)
invarijantan na transformaciju
tada je i g(x, y) = (x0 , y 0 ) prirodno rešenje od (32) kod kojeg je x0 > y 0 . Pri
tome, imamo x0 < x. Na ovaj način, definisan je jedan iterativni postupak za
dobijanje novih rešenja jednačine (32). On će se zaustaviti nakon konačno mnogo
koraka, kada dobijemo ”minimalno” rešenje (x0 , y0 ) kod kojeg ne važi jedna od
nejednakosti (33), tj. kod kojeg je ili x0 6 (m − 1)y0 , ili x0 > my0 .
Sada razlikujemo dva slučaja. Ako je n > 0, tada za proizvoljno rešenje (x, y)
od (32) imamo
113
√
odakle je y0 6 n. To zapravo znači da minimalnih rešenja ima konačno mnogo,
jer za fiksirano y, (32) postaje kvadratna jednačina po x, zbog čega za sve y0 ∈
√
{1, . . . , b nc} imamo najviše dva ”kandidata” za x0 tako da je (x0 , y0 ) minimalno
rešenje. Stoga se minimalna rešenja mogu odrediti (u odsustvu boljeg metoda)
direktnom proverom.
S druge strane, ako je n < 0, tada (32) povlači
x(my − x) = y 2 − n > 0.
Dakle, svako rešenje (32) zadovoljava x < my, pa je minimalnost rešenja ekviva-
lentna sa x0 6 (m − 1)y0 (pri čemu odmah možemo pretpostaviti da je m > 2,
¡ ¢2
jer za m = 1 imamo x2 − xy + y 2 = x + y2 + 43 y 2 > 0, dok za m = 2 važi
x2 − 2xy + y 2 = (x − y)2 > 0). Nejednakost x0 6 (m − 1)y0 je dalje ekvivalentna
sa
x0 (my0 − x0 ) > x0 y0 ,
pa iz x0 (my0 − x0 ) = y02 + |n| dobijamo y0 (x0 − y0 ) 6 |n|. Odavde je ili x0 = y0
n
(u slučaju da je 2−m potpun kvadrat), ili y0 6 |n|. Poslednja nejednakost, analogno
kao i u slučaju n > 0, garantuje da imamo konačno mnogo minimalnih rešenja i
pruža mogućnost da se ona odrede neposrednom proverom.
Prema tome, ukoliko su nam poznata sva minimalna rešenja (x0 , y0 ), tada su
(uz pretpostavku x > y) sva druga rešenja jednačine (32) oblika f k (x0 , y0 ), k ∈ N,
gde je f inverzno preslikavanje od g,
budući da za svako rešenje (x, y), x > y, g k (x, y) mora biti minimalno rešenje za
dovoljno veliko k.
∗ ∗ ∗
ak+2 = 2qak+1 − ak
za k > 1 i a1 = 1, a2 = 2q.
114
74. Vijetnam, 1992.
x2 − 5xy + y 2 + 5 = 0
odakle sledi x0 − y0 > 4 i y0 (x0 − y0 ) > 8, što je nemoguće. Znači, prethodna dva
minimalna rešenja su i jedina, zbog čega je skup svih rešenja razmatrane jednačine
(uz ograničenje x > y):
115
75. MMO, 1988. (SR Nemačka)
Rešenje. Pretpostavimo da je
a2 + b2
= k.
ab + 1
Tada slučaj a = b povlači
2a2
k= < 2,
a2 + 1
tj. k = 1, što jeste potpun kvadrat. Pretpostavimo zato, bez umanjenja opštosti, da
je a > b. Tada je par (a, b) jedno rešenje jednačine
x2 − kxy + y 2 = k
a g r0 (a, b) = (a0 , b0 ) je neko minimalno rešenje. Pri tome, imamo a0 > kb0 (tj.
a0 −kb0 > 0), jer je k > 0. Naš cilj je da pokažemo da u ovoj nejednakosti mora da
važi jednakost. Zbog toga, transformišemo datu jednačinu tako da se u njoj pojavi
izraz a0 − kb0 :
116
gde je f (x, y) = (`2 x − y, x), tj. uzastopni članovi niza as , s ∈ N, datog sa a1 = `,
a2 = `3 i
as+2 = `2 as+1 − as
za s > 1.
117
76. MMO, 1982. (Velika Britanija)
x3 − 3xy 2 + y 3 = n
ima rešenje u skupu prirodnih brojeva, tada ona ima bar tri različita rešenja u
skupu prirodnih brojeva. Dokazati.
(b) Dokazati da gornja jednačina za n = 2891 nema rešenja u skupu prirodnih
brojeva.
Rešenje. (a) Pošto se drugi i treći član leve strane date jednačine pojavljuju u
razvoju kuba razlike (y − x)3 = y 3 − 3xy 2 + 3x2 y − x3 , možemo transformisati
Desna strana gornjeg identiteta po formi prilično podseća na levu, što motiviše dalje
transformacije:
118
77. Predlog za MMO, 1988. (S.S.S.R.)
ax2 + by 2 + cz 2 = 0
ax2 + by 2 + cz 2 = 1
pri čemu je bar jedan od njih 6= 0. Primetimo da tada najviše jedan od ovih brojeva
može biti jednak 0. Bez umanjenja opštosti, neka je x0 , z0 6= 0.
Naš cilj je da odredimo racionalne brojeve x, y, z tako da važi
ax2 + by 2 + cz 2 = 1, (35)
Najpre ćemo pomnožiti (34) sa ( zz0 )2 kako bismo eliminisali bar jedan od nepoz-
natih parametara a, b, c (u ovom slučaju c). Ako radi kraćeg zapisa označimo t =
z
z0 , što znači da imamo smenu z = z0 t, dobijamo
ax20 t2 + by02 t2 + cz 2 = 0.
Ako sada uspemo da pronademo - bar jedno racionalno rešenje (x, y, t) ove jednači-
ne, i polazni problem će biti rešen. Možemo pokušati da potražimo rešenje za koje
je a(x2 − x20 t2 ) = 1 i b(y 2 − y02 t2 ) = 0. Drugi uslov će biti ispunjen ako je npr.
y = y0 t. S druge strane, prva jednačina se može pisati kao
x − x0 t = r,
x + x0 t = s,
119
biti istovremeno i rešenje jednačine (36). Ovaj sistem ima determinantu 2x0 6= 0 i
racionalne koeficijente, pa za njegovo rešenje (x, t) mora važiti x, t ∈ Q. Tada su i
- racionalni brojevi. Iz prethodnih razmatranja se lako vidi
y = y0 t i z = z0 t takode
-
da ovako odredeni brojevi x, y, z zaista predstavljaju rešenje od (35), pa je zadatak
rešen.
1+a
x=
2a
i
1−a
t= ,
2ax0
odakle je
(1 − a)y0
y=
2ax0
i
(1 − a)z0
z= .
2ax0
120
78. Predlog za MMO, 1989. (Južna Koreja)
Neka su a, b celi brojevi koji nisu potpuni kvadrati. Dokazati: ako jednačina
x2 − ay 2 − bz 2 + abw2 = 0
x2 − ay 2 − bz 2 = 0.
- a, b ne mogu
Rešenje. Najpre, a, b 6= 0, jer a, b nisu potpuni kvadrati. Takode,
biti istovremeno negativni, pa pretpostavimo, bez umanjenja opštosti, da je a > 0.
Neka je (X, Y, Z, W ) netrivijalno rešenje jednačine
x2 − ay 2 − bz 2 + abw2 = 0.
Ideja se sastoji u tome da, slično kao i u nizu prethodnih zadataka, od posmatranog
rešenja dobijemo (pogodnom transformacijom) celobrojno rešenje za x2 − ay 2 −
bz 2 = 0.
Naravno, dve uočene jednačine se razlikuju u broju članova sa leve strane: prva
ima četiri, a druga tri člana. To sugeriše da izvršimo grupisanje:
X 2 − aY 2 − b(Z 2 − aW 2 ) = 0.
(X 2 − aY 2 )(Z 2 − aW 2 ) − b(Z 2 − aW 2 )2 = 0.
(X 2 − aY 2 )(Z 2 − aW 2 ) = X 2 Z 2 − aY 2 Z 2 − aX 2 W 2 + a2 Y 2 W 2 =
= (X 2 Z 2 + 2aXY ZW + a2 Y 2 W 2 ) − a(Y 2 Z 2 + 2XY ZW + X 2 W 2 ) =
= (XZ + aY W )2 − a(Y Z + XW )2 .
Zbog toga, ako označimo
x0 = XZ + aY W,
y0 = Y Z + XW,
z0 = Z 2 − aW 2 ,
121
dobijamo
x20 − ay02 − bz02 = 0.
Očigledno, x0 , y0 , z0 su celi brojevi. Preostaje da pokažemo da je bar jedan od
njih 6= 0. Tačnije, tvrdimo da je z0 6= 0. U suprotnom, sledilo bi Z 2 = aW 2 .
Pošto a nije potpun kvadrat, zaključili bismo da je Z = W = 0. Ali, tada bismo iz
polazne jednačine dobili X 2 −aY 2 = 0, tj. X 2 = aY 2 , što povlači X = Y = 0, što
je kontradikcija sa pretpostavljenom netrivijalnošću rešenja (X, Y, Z, W ). Dakle,
(x0 , y0 , z0 ) je netrivijalno celobrojno rešenje jednačine x2 − ay 2 − bz 2 = 0.
122
79. Predlog za MMO, 1988. (Grčka)
y = 29x2 . . . x29 − x1
x1 6 x2 6 . . . 6 x29 ,
tada je
29x2 . . . x29 − x1 > 29x29 − x29 = 28x29 > x29 , (37)
pa je, imajući u vidu da je razmatrana jednačina simetrična po svim promenljivama,
svrsishodno da posmatramo našu transformaciju rešenja u obliku
123
kako bismo očuvali neopadajući poredak i time obezbedili da nejednakost (37) važi
nakon svake primene gornje transformacije.
-
Prema tome, ako podemo od već uočenog trivijalnog rešenja (1, 1, . . . , 1), tada
redom dobijamo sledeća rešenja:
(1, 1, . . . , 1, 28),
(1, 1, . . . , 28, 29 · 28 − 1),
(1, 1, . . . , 28, 29 · 28 − 1, 29 · 28(29 · 28 − 1) − 1),
(1, 1, . . . , 29 · 28(29 · 28 − 1)(29 · 28(29 · 28 − 1) − 1) − 1).
-
Medutim, poslednja komponenta poslednjeg rešenja je očito veća od 19882 .
124
80. Kina, 1991.
važe nejednakosti
22n−2 < 6,
125
što je moguće samo ako je n = 2.
Za x = 3, y = 1, n = 2 dobijamo z = 70, za iste vrednosti x, y i n = 3
imamo z = 686, dok za x = 4, y = 2 sledi z = 120. Pošto za n = 3 ograničenje
dato u zadatku glasi z 6 320, odbacujemo drugo rešenje, a kako za n = 2 mora
biti z 6 80, odbacujemo i treće rešenje. Prema tome, jedino rešenje sa traženim
svojstvima je
(x, y, z) = (3, 1, 70)
i n = 2.
126
81. Predlog za MMO, 1995. (Bugarska)
x + y 2 + z 3 = xyz,
c + b2 + z = cbz 2 ,
b(z − 1) 6 z 2 − z + 1.
127
što daje rešenja b = 1 i b = 3, tj. (x, y) ∈ {(4, 2), (4, 6)}. S druge strane, za z > 3
1
važi z−1 < 1, pa zaključujemo b < z + 1, tj. b 6 z. Uvrštavajući ovu nejednakost
u (38) i koristeći b > 1, sledi
z2 + z z 1
c< 2
= =1+ < 2.
z −1 z−1 z−1
Znači, c = 1. Prema tome, b je rešenje kvadratne jednačine
b2 − z 2 b + (z + 1) = 0,
128
82. Predlog za MMO, 1988. (Vijetnam); Jugoslavija, 1990.
ai = pk1i1 . . . pknin
129
zbog čega je
π(B \ C)π(C \ B) = π((B \ C) ∪ (C \ B))
potpun kvadrat. Budući da je B 6= C, skup (B \ C) ∪ (C \ B) je neprazan, čime
smo dobili podskup od A sa traženim osobinama.
130
83. MMO, 1990. (Turska)
131
Tabelarni pregled porekla zadataka
-
Legenda: MMO – zadatak na Medunarodnoj -
olimpijadi, pMMO – predlog za Medunarodnu olimpi-
-
jadu, MMT(p) – zadaci na medunarodnim takmičenjima 1980. i predlozi, BMO(p) – zadaci na Bal-
kanskim olimpijadama i predlozi, NO – nacionalne olimpijade
132