Para ello consideramos lo siguiente:
" n e N ( n>1 ) es primo sii los únicos puntos de coordenadas
naturales contenidos en la hipérbola h_n : xy = n son (1, n)
y (n, 1)"
El problema es que la Geometría no distingue cualitativamente
un punto de otro, así que tenemos que crear algo adecuado.
La idea es estudiar el comportamiento de las hipérbolas transformadas
( f x f )( h_k ) ( f cualquier función codificadora de R^+ , k número
real
positivo ) en términos de gradientes.
La hipérbolas transformadas están contenidas en el conjunto
[0, M)^2 ( llamamos a este conjunto el plano x^y^ ).
Fernando.