3. Zadatak
Neka je prirodan broj. Može li se razlomak kratiti nekim prirodnim brojem većim od ?
Prvo rješenje.
Ako razlomak možemo kratiti brojem , onda je zajednički djelitelj brojnika i nazivnika.
Pretpostavimo da postoji prirodni broj koji dijeli brojeve
Tada dijeli i broj .
Stoga postoje prirodni brojevi i takvi da je i .
Budući da vrijedi
zaključujemo da dijeli , odnosno da je .
Dakle, zadani razlomak ne možemo kratiti prirodnim brojem većim od .
Drugo rješenje.
Pretpostavimo da, za prirodni broj , prost broj dijeli i . Tada postoje prirodni brojevi i takvi da je i . Slijedi da je , odnosno dijeli , što nije moguće. Dakle, bilo koja dva uzastopna prirodna broja su relativno prosta.
Ako bi neki prost broj bio zajednički djelitelj brojeva i , onda bi taj prost broj bio i zajednički djelitelj brojeva i , što nije moguće. Dakle, .
Ako bi neki prost broj bio zajednički djelitelj brojeva i , onda bi taj prost broj bio i zajednički djelitelj brojeva i , što nije moguće. Dakle, .
Iz ove dvije tvrdnje zaključujemo da ne postoji prost broj koji dijeli te bilo koji od brojeva i , pa stoga vrijedi .
Ako bi neki prost broj bio zajednički djelitelj brojeva i , onda bi taj prost broj bio i zajednički djelitelj brojeva i , što nije moguće. Dakle, .
Ako bi neki prost broj bio zajednički djelitelj brojeva i , onda bi taj prost broj dijelio i njihovu razliku koja iznosi . Taj prost broj bi morao biti , ali to nije moguće jer su brojevi i neparni. Dakle, .
Iz ove dvije tvrdnje zaključujemo .
Konačno, kako ne postoji prost broj koji dijeli te bilo koji od brojeva i , slijedi .
Zaključujemo da je jedini zajednički djelitelj brojnika i nazivnika zadanog razlomka, pa se razlomak ne može kratiti prirodnim brojem većim od .
Napomena: Brojevi , , i uzastopni su prirodni brojevi, te smo ideju za prethodno rješenje mogli dobiti promatranjem razlomka
koji se od zadanog razlikuje samo u dodatnom faktoru u nazivniku.
Za bilo koja dva prirodna broja i takva da je vrijedi . Također, za svaki prirodni broj vrijedi . Stoga smo mogli računati:
Također, vrijedi , a budući da je neparan broj slijedi .
Dakle, faktori koji se pojavljuju u brojniku zadanog razlomka nemaju nijedan zajednički djelitelj veći od s faktorima u nazivniku, pa zaključujemo da se razlomak ne može kratiti prirodnim brojem većim od .