1) $M>=1$
2) Se $|x|<1 ^^ |y|<1$ allora $max{|x|, |y|}<phiM$
3) Se $|x|>1 ^^ |y|>1$ allora $max{|x|, |y|}<|xy|\ ->\ max{|x|, |y|}<phiM$
4) Quindi, senza perdere di generalità, $|x|>1 ^^ |y|<1$
5) Inoltre $x$ e $y$ devono essere discordi altrimenti $max{|x|, |y|}<|x+y|\ ->\ max{|x|, |y|}<phiM$
6) Perciò, senza perdere di generalità, $x>1 ^^ -1<y<0$
7) Se $-1<y<(1-sqrt(5))/2$ allora $phi|y|>1$ quindi $phi|xy|>|x|$ da cui $max{|x|, |y|}<phiM$
8) Quindi $ (1-sqrt(5))/2<y<0$ e $0<phi|y|<1$
9) Se $x<phi$ allora $max{|x|, |y|}<phiM$
10) Quindi non rimane che il caso $x>phi$ (e ovviamente con $ (1-sqrt(5))/2<y<0$)
11) Se fosse $y=0$ avremmo $|x|$ da una parte e $phi|x|$ dall'altra, con una differenza a "nostro" favore pari a $d=x(phi-1)$
12) Ora abbiamo visto che $y$, al massimo, può far diminuire $x$ di $phi-1$
13) Ovvero $x+y=x-phi+1$ e la differenza diventa $d=phi(x-phi+1)-x$
14) Per concludere si vuole che sia $d>=0$
15) Quindi $phix-phi^2+phi-x>=0\ ->\ x(phi-1)>=phi^2-phi\ ->\ x(phi-1)>=phi(phi-1)$
16) Da cui $x>=phi$ che concorda con quanto ipotizzato.
Fine.