Método General para Generar Triples ( x , y , z ) enteros en el Modelo Natural

1. Definición: Rombos Naturales

Sea $n\in {\mathbb{Z}}_{\ge 2}$. Un rombo natural es un cuarteto de vértices

$$R_v=(4,P,S,n)$$

donde:

$$P=xyz,S=xy+xz+yz,$$

para algún triple $(x,y,z)\in {\mathbb{Z}}^3$, que satisface la ley estructural del modelo natural:

$$\boxed{{\displaystyle 4P=nS}}\mathrm{.}$$

Esta ecuación es la condición necesaria y suficiente para que el rombo sea válido.

2. Proposición (Método Generador de Triples)

Fijado un valor $n\ge 2$, los triples enteros $(x,y,z)$ que generan rombos naturales con vértice superior $n$ son exactamente las soluciones enteras de:

$$4xyz=n(xy+xz+yz)\mathrm{.}$$

Despejando $z$:

$$\boxed{{\displaystyle z=\frac{nxy}{4xy-n(x+y)}}}$$

y por tanto, para cada par $(x,y)\in {\mathbb{Z}}^2$, el valor de $z$ será entero si y solo si:

$$4xy-n(x+y)\mid nxy\mathrm{.}$$

Esto define un método generador:

1. Fijas un valor de $n$.

2. Eliges un valor de $x$ (por conveniencia, suele tomarse $x=2$).

3. Recorres valores enteros de $y$.

4. Calculas

$$z=\frac{nxy}{4xy-n(x+y)}\mathrm{.}$$

5. Aceptas los casos donde $z\in \mathbb{Z}$.

Cada triple así obtenido genera un rombo natural válido.

3. Ejemplos: Familias completas para $n=5,6,7$

Caso $n=5$

Con $x=2$:

$$z=\frac{10y}{8y-10-5y}=\frac{10y}{3y-10}\mathrm{.}$$

Se obtiene una familia paramétrica al imponer que $3y-10\mid 10y$. Ejemplo destacado:

$$(2,4,20)\mathrm{.}$$

Caso $n=6$

Con $x=2$:

$$z=\frac{12y}{8y-12-6y}=\frac{12y}{2y-12}=\frac{6y}{y-6}\mathrm{.}$$

Aquí aparece la familia:

$$(2,6+k,6+\frac{36}{k}),k\mid 36.$$

Caso $n=7$

Con $x=2$:

$$z=\frac{14y}{8y-14-7y}=\frac{14y}{y-14}=14+\frac{196}{y-14}\mathrm{.}$$

Sea $k=y-14$. Como $k\mid 196$, obtenemos la familia completa:

$$(2,14+k,14+\frac{196}{k}),k\mid 196.$$

Ejemplos:

$$(2,15,210),(2,16,112),(2,18,63),(2,21,42),(2,28,28),(2,42,21),\dots$$

🔷 Lectura conceptual final

Este método convierte la ecuación del modelo natural en un generador diofántico de triples enteros. Cada $n$ produce una familia completa de rombos naturales, parametrizada por divisores enteros.

Es elegante, es simétrico, y es completamente fiel a la arquitectura del modelo natural.