3. Zadatak
Za uređenu trojku prirodnih brojeva kažemo da je morska ako su , i međusobno različiti, te je broj djeljiv brojevima i . Dokaži da
a) za svaki prirodni broj postoji morska trojka za koju je .
b) ne postoji morska trojka za koju je .
Napomena. označava najveći zajednički djelitelj brojeva , i .
Prvo rješenje.
a) Neka je . Stavimo , , . Tada je djeljiv s i .
Za , stavimo , i . Tada je djeljiv s i s .
Za , stavimo , i . Tada je djeljiv s i .
b) Pretpostavimo da je morska trojka s . Onda su i relativno prosti djelitelji od , pa i njihov umnožak dijeli . Međutim, , što je kontradikcija. Dakle, postoji prost broj koji dijeli i . Tada dijeli i , pa dijeli jedan od brojeva i . Kako dijeli i , slijedi da dijeli . Iz toga slijedi da dijeli i i . Dakle, u svakoj morskoj trojci postoji prost broj koji dijeli sva tri člana trojke, pa ne može biti .
Drugo rješenje.
a) Rješenje a) dijela isto je kao u prvom rješenju.
b) Pretpostavimo da je morska trojka takva da je . Neka je , , . Tada su relativno prosti i postoje brojevi takvi da je , , . Uvjeti djeljivosti u novim oznakama glase
odnosno
Tvrdimo da je relativno prost s , i . Naime, ako prost broj dijeli , ili te dijeli , onda taj prost broj dijeli i . Međutim, i su relativno prosti jer su jednaki i . Analogno slijedi da je relativno prost s , i . Slijedi da djeljivosti možemo zapisati kao
Međutim, ako je slijedi i prva djeljivost nije zadovoljena, a ako je slijedi i druga djeljivost nije zadovoljena. U svakom slučaju dobivamo kontradikciju. Dakle, ne postoji morska trojka takva da je .