Primer Teorema de Minkowski

Teoría

El Primer Teorema de Minkowski es la piedra angular de lo que se conoce como "Geometría de Números". Imagina que tienes una cuadrícula de puntos enteros en el espacio (una red o lattice). Este teorema te da una condición suficiente para asegurar que una figura geométrica "atrapa" al menos un punto de esa cuadrícula, además del origen. Es una herramienta súper poderosa porque te permite resolver problemas de teoría de números, como la aproximación de irracionales o la suma de cuadrados, usando puramente conceptos de volumen y geometría.

Para que el teorema funcione, necesitas que tu objeto (llamémoslo $K$) cumpla dos propiedades geométricas: debe ser convexo (si tomas dos puntos de la figura, el segmento que los une está totalmente adentro) y simétrico respecto al origen (si un punto $x$ está en la figura, el punto $-x$ también debe estar). La intuición es que si una figura está bien centrada, no tiene "huecos" y es lo suficientemente grande, es imposible que esquive todos los puntos enteros del espacio.

La importancia de este resultado radica en que conecta el mundo continuo (el volumen en $\mathbb{R}^n$) con el mundo discreto (los puntos enteros $\mathbb{Z}^n$). Es como una versión geométrica y continua del Principio de las Casillas: si intentas meter "demasiado volumen" en un espacio con una red de puntos, eventualmente vas a chocar con uno de ellos. En las olimpiadas, lo vas a usar sobre todo cuando necesites demostrar la existencia de soluciones enteras para ciertas desigualdades.

Fórmulas Clave

El enunciado principal dice que si $K \subset \mathbb{R}^n$ es un cuerpo convexo y simétrico respecto al origen, pasa lo siguiente:

$$ \text{Si } \text{Vol}(K) > 2^n, \text{ entonces } K \cap (\mathbb{Z}^n \setminus {\mathbf{0}}) \neq \emptyset $$

Donde:

• $n$ es la dimensión del espacio.
• $\text{Vol}(K)$ es el volumen $n$-dimensional de la figura.
• $\mathbb{Z}^n \setminus {\mathbf{0}}$ son todos los puntos con coordenadas enteras, excepto el origen.

Si el conjunto $K$ es además cerrado (compacto), puedes relajar la desigualdad:

$$ \text{Si } \text{Vol}(K) \geq 2^n, \text{ entonces } K \cap (\mathbb{Z}^n \setminus {\mathbf{0}}) \neq \emptyset $$

Un resultado auxiliar que sirve para la demostración es el Teorema de Blichfeldt, que dice que si un conjunto $S$ tiene volumen mayor a 1, existen dos puntos distintos $x, y \in S$ tales que su diferencia es un vector entero:

$$ x - y \in \mathbb{Z}^n $$

Demostración

Para demostrar el teorema, la idea es reducir el problema a una aplicación del Teorema de Blichfeldt. Sigue estos pasos:

1. Escala el conjunto: Define un nuevo conjunto $S$ que sea una versión "encogida" de $K$ a la mitad. Es decir, $S = \frac{1}{2}K = { \frac{1}{2}x : x \in K }$.
2. Calcula el volumen de $S$: Por las propiedades del volumen en $n$ dimensiones, si multiplicas las dimensiones de un objeto por un factor $k$, su volumen se multiplica por $k^n$. Entonces: $$\text{Vol}(S) = \left(\frac{1}{2}\right)^n \text{Vol}(K) = \frac{\text{Vol}(K)}{2^n}$$
3. Aplica Blichfeldt: Como el teorema te dice que $\text{Vol}(K) > 2^n$, entonces puedes ver que $\text{Vol}(S) > 1$. Por el Teorema de Blichfeldt, esto garantiza que existen dos puntos distintos $z_1, z_2 \in S$ tales que su diferencia es un punto entero no nulo. Llama a este punto $m$: $$m = z_1 - z_2 \in \mathbb{Z}^n \setminus {\mathbf{0}}$$
4. Regresa al conjunto original: Como $z_1$ y $z_2$ están en $S$, por definición existen $x_1, x_2 \in K$ tales que $z_1 = \frac{1}{2}x_1$ y $z_2 = \frac{1}{2}x_2$. Si sustituyes esto en la ecuación de $m$: $$m = \frac{1}{2}x_1 - \frac{1}{2}x_2$$
5. Usa la simetría y convexidad: Nota que como $K$ es simétrico respecto al origen y $x_2 \in K$, entonces $-x_2$ también debe estar en $K$. Ahora, recuerda que $K$ es convexo, lo que significa que el punto medio de cualquier par de puntos en $K$ también está en $K$. El punto medio entre $x_1$ y $-x_2$ es: $$\frac{1}{2}x_1 + \frac{1}{2}(-x_2) = \frac{1}{2}x_1 - \frac{1}{2}x_2 = m$$
6. Conclusión: Acabas de mostrar que $m \in K$. Como ya sabías que $m$ es un punto entero distinto de cero, el teorema queda demostrado.

$\square$