3. Zadatak
Zadan je pravac s jednadžbom . Dokažite da je udaljenost svake točke s cjelobrojnim koordinatama do zadanog pravca veća od .
Neka je bilo koja točka s cjelobrojnim koordinatama i zadani pravac. Implicitni oblik jednadžbe pravca glasi , a udaljenost točke do pravca dana je s
Pretpostavimo suprotno tvrdnji, tj. neka postoji točka za koju je
tj.
Kako su i cijeli brojevi, to je također cijeli broj, pa iz gornje nejednakosti zaključujemo da mora biti jednak .
Pokažimo sada da ne postoji par cijelih brojeva koji zadovoljavaju jednadžbu . Ako je , onda je
i to je cijeli broj ako je cijeli broj. Ovo je pak nemoguće jer ne postoji cijeli broj za koji je izraz djeljiv s .
Prema tome, početna je pretpostavka kriva, tj.