Si $l$ es el número deseado de puntos de red internos, para $l$ impar tomar el rombo definido por los puntos
$(0,0), ({l+1\over 2}, {l-1\over 2}), ({l-1\over 2}, {l+1 \over 2}), (l, l)$
y para $l$ par, el rombo definido por los puntos
$(0,0), ({l\over 2}+1, -{l\over 2}), (-{l\over 2}, {l\over 2}+1), (1, 1)
Explicación: Un rombo puede ser definido por dos vectores $(a,b)$ y $(c,d)$ de igual longitud al colocar los vértices en $(0,0), (a,b), (c,d),$ y $(a+c, b+d)$. Cualquier paralelogramo definido de esta manera se sabe, por álgebra lineal básica, que tiene un área de $|ad-bc|$. Al reetiquetar podemos asumir $ad-bc > 0$, por lo que el área es simplemente $ad-bc.
Ahora asumamos $a,b,c,d \in \mathbb{Z}$. El segmento desde $(0,0)$ hasta $(a,b)$ no tendrá puntos de red en él excepto los puntos finales si y solo si $\gcd (a,b) = 1$, ya que si $(m,n)$ es otro punto de red en la misma línea, debemos tener $m/n = b/a$ (la pendiente de la línea medida de dos maneras). Pero esto significa que $b/a$ no estaba en términos más bajos, es decir, $\gcd (a,b) \ne 1$. El mismo argumento funciona para el segmento desde $(0,0)$ hasta $(c,d)$, y los otros dos segmentos entonces tampoco contendrán puntos de red además de los vértices ya que son solo traslaciones de los primeros dos. Nuestras condiciones hasta ahora en $a,b,c,d$ son
(a) $a^2+b^2 = c^2+d^2$
(b) $\gcd(a,b) = \gcd(c,d) = 1$
Por el teorema de Pick, el número de puntos de red internos en un polígono de red es $l = A-b/2+1$, donde $A$ es el área y $b$ es el número de puntos de red en el perímetro. Para nosotros, $A = ad-bc$ y $b=4$, entonces encontramos
(c) $l+1 = ad-bc
Las coordenadas para $l$ par provienen de suponer $a=d, b=c$ y resolver
$l+1 = a^2-b^2 = (a-b)(a+b)$
al establecer $a-b=1, a+b=l+1$.
Esto no funciona para $l$ impar, pero podemos hacer esto en su lugar. Multiplicamos (c) por $2i$ y lo sumamos a (a), luego reorganizamos para obtener
$(a+id)^2-(c+ib)^2 = 2i(l+1)
dividimos por $i$ y factorizamos para obtener
(d) $[(a+c)+(b+d)i][(-b+d)+(-a+c)i] = 2(l+1)
Así, $a,b,c,d$ llevan a una factorización de $2(l+1)$ en $\mathbb{Z}[i]$. Las coordenadas en la parte superior provienen de resolver (d) para $a,b,c,d$ en la factorización
$2(l+1) = [(l+1)+(l+1)i][1-i]
Finalmente, en ambos casos, la condición (b) en los mcd se verifica rápidamente, ya que en todos los casos las coordenadas de $(a,b)$ o $(c,d)$ difieren por 1 en valor absoluto, por lo que deben ser primos entre sí.
0 votos
Realmente puedes hacer esto solo con cuadrados.