Se r/s è una frazione irriducibile non nulla sia C(r/s) il cerchio nel piano di equazione
(x-r/s)+(y-1/2s^2)^2<=(1/2s^2)^2
Si dimostri che se r/s diverso p/q allora i due cerchi C(r/s)e C(p/q) sono disgiunti, tranne quando le due frazioni r/s e p/q sono tali che|ps-rq|=1,nel qual caso i cerchi sono tra loro tangenti.Si dimostri inoltre che in questo caso il punto di tangenza ha entrambe le coordinate razionali