Vrijeme: 11:39

Invarijante i monovarijante - Zadatak 3

Neka su a,b,c,d četiri cijela broja takvi da nisu svi međusobno jednaki. Počevši od (a,b,c,d), četvorku (x,y,z,w) zamijenimo četvorkom (x-y, y-z,z-w, w-x). Dokažite da će bar jedan od brojeva u četvorci nakon niza transformacija postati po apsolutnoj vrijednosti proizvoljno velik.