# z ^ 4 + z + 2 = 0 # # z ^ 4 + z = -2 # #abs (z ^ 4 + z) = abs (- 2) = 2 # #abs (z ^ 4 + z) = absz abs (z ^ 3 + 1) # Ako #absz <1 #, onda # absz ^ 3 <1 #, I #abs (z ^ 3 + 1) <= abs (z ^ 3) + abs1 <1 + 1 = 2 # Konačno Ako #absz <1 #, onda #abs (z ^ 4 + z) = absz abs (z ^ 3 + 1) <1 * 2 <2 # tako da ne možemo imati # z ^ 4 + z = -2 # #abs (z ^ 4 + z) = abs (- 2) = 2 # kao što je potrebno za rješenje. (Možda ima još elegantnijih dokaza, ali to radi.)
