da Pachito » 29/08/2006, 21:10
Semplifico il problema dimostrando che esiste un punto $C in RR^2$ (il centro della circonferenza) tale che non esistano due punti in $ZZ^2$ tale che sia uguale la loro distanza da C.
Sia ${C_x,C_y}$ il punto $C in RR^2$ e ${V_x,V_y}$ e ${W_x,W_y}$ i punti in $ZZ^2$. Basterà che prenda C=${pi,e}$ e il gioco è fatto.
Per assurdo uguagliamo le due distanze:
$sqrt((C_x-V_x)^2+(C_y-V_y)^2) = sqrt((C_x-W_x)^2+(C_y-W_y)^2)$
facendo due conti e raggruppando si ottiene
$2C_x(V_x-W_x)+2C_y(V_y-W_y) = W_x^2 + W_y^2 - V_x^2 - V_y^2$
Come si può notare a destra dell'uguaglianza avremo certamente un numero intero mentre a sinistra avremo un numero reale.