Lattice triangles whose centers are lattice points

A continuación se presenta un resumen técnico detallado del artículo "Triángulos de retículo cuyos centros son puntos de retículo" de Christian Aebi y Grant Cairns.

1. Enunciado del Problema

El artículo investiga la intersección entre la geometría de retículo (geometría entera) y la geometría euclidiana. Específicamente, aborda la siguiente pregunta:
Dado un tipo específico de triángulo (acutángulo, obtusángulo o rectángulo) con vértices en el retículo entero $\mathbb{Z}^2$, ¿cuáles son los valores posibles para su perímetro de retículo $\ell$ si uno de sus centros clásicos (Circuncentro $F$, Baricentro $G$ u Ortocentro $H$) también es un punto de retículo?

Definiciones:

• Punto de retículo: Un elemento de $\mathbb{Z}^2$.
• Longitud de retículo: Para un segmento que conecta dos puntos de retículo, la longitud de retículo es el número de puntos de retículo en el segmento menos uno.
• Perímetro de retículo ($\ell$): La suma de las longitudes de retículo de los lados del polígono. Esto es equivalente al número total de puntos de retículo en el borde del polígono.
• Centros:
  • $F$: Circuncentro (intersección de las mediatrices).
  • $G$: Baricentro (intersección de las medianas).
  • $H$: Ortocentro (intersección de las alturas).

Los autores se centran principalmente en triángulos acutángulos, ya que se demuestra que las condiciones para triángulos obtusángulos y rectángulos son menos restrictivas.

2. Metodología

Los autores emplean una combinación de argumentos teóricos de números, construcciones geométricas y análisis algebraico de invariantes de retículo.

• Fórmulas Algebraicas: Utilizan fórmulas de coordenadas explícitas para $F$, $G$ y $H$ en términos de las coordenadas de los vértices. Una identidad clave utilizada es la relación de la recta de Euler: $2F + H = 3G$.
• Invariantes de Retículo:
  • Lema 1: Establece que para cualquier triángulo de retículo, el máximo común divisor (MCD) de cualesquiera dos longitudes de lado es igual al MCD de las tres longitudes de lado.
  • Lema 2 y 3: Relacionan los ángulos del triángulo con las longitudes de retículo de los segmentos que conectan los vértices con el ortocentro. Específicamente, si $H$ es un punto de retículo, $\tan(\theta) = \ell_{\theta}/m$, donde $\ell_{\theta}$ es la longitud del lado opuesto y $m$ es la longitud de retículo del segmento desde el vértice hasta $H$.
  • Argumentos de Paridad (Lema 4 y Corolario 1): Analizan la paridad (par/impar) de las coordenadas para determinar restricciones sobre el circuncentro. Si $F$ es un punto de retículo, los vértices deben compartir propiedades de paridad específicas, forzando a que el perímetro de retículo sea par.
  • Aritmética Modular (Lema 7): Si el baricentro $G$ es un punto de retículo y la longitud de un lado es un múltiplo de 3, entonces todas las longitudes de los lados deben ser múltiplos de 3.
• Pruebas Constructivas: Para probar la existencia de $\ell$ válidos, los autores construyen explícitamente triángulos con vértices $O(0,0)$, $A(z,0)$ y $B(x,y)$ que satisfacen las condiciones requeridas.
• Pruebas de Exclusión: Para probar la no existencia de $\ell$ inválidos, enumeran todas las particiones enteras posibles de $\ell$ en tres longitudes de lado y demuestran contradicciones utilizando los lemas anteriores (por ejemplo, mostrando que un triángulo no puede ser acutángulo o que falla la condición del MCD).
• Verificación Numérica: En la prueba del Teorema 2, utilizan cálculos numéricos de sumas de arcotangentes para mostrar que ciertas combinaciones de ángulos no pueden sumar $\pi$ (180 grados), descartando así perímetros de retículo específicos.

3. Contribuciones y Resultados Clave

El artículo establece condiciones necesarias y suficientes para la existencia de triángulos de retículo acutángulos con un centro de retículo para cada uno de los tres centros clásicos.

A. El Ortocentro ($H$)

• Teorema 1: Un triángulo de retículo acutángulo con perímetro de retículo $\ell$ y un ortocentro de retículo existe si y solo si $\ell = 6$ o $\ell \geq 8$.
• Valores Excluidos: $\ell \in \{3, 4, 5, 7\}$.
• Perspectiva: La exclusión de enteros pequeños como 7 está vinculada a una curiosidad teórica de números relativa a la suma de tres enteros coprimos dos a dos.

B. El Circuncentro ($F$)

• Teorema 2: Un triángulo de retículo acutángulo con perímetro de retículo $\ell$ y un circuncentro de retículo existe si y solo si $\ell$ es par y ($\ell = 8$ o $\ell \geq 12$).
• Valores Excluidos: $\ell$ par $\in \{2, 4, 6, 10\}$.
• Restricción: El perímetro de retículo debe ser par (una consecuencia del Corolario 1). La condición $\ell \neq 10$ se deriva de un análisis complejo de ángulos que involucra arcotangentes.

C. El Baricentro ($G$)

• Teorema 3: Un triángulo de retículo acutángulo con perímetro de retículo $\ell$ y un baricentro de retículo existe si y solo si $\ell \geq 3$ y $\ell \notin \{5, 11\}$.
• Valores Excluidos: $\ell \in \{1, 2, 5, 11\}$.
• Perspectiva: Las exclusiones de 5 y 11 están relacionadas con una proposición teórica de números que involucra sumas de enteros coprimos con 3.

D. Centros Combinados

El artículo también analiza casos donde múltiples centros son puntos de retículo:

• $G$ y $H$ son puntos de retículo: $\ell$ debe ser un múltiplo de 3 y $\ell \geq 9$ (excluyendo 3 y 6).
• $F, G, H$ son puntos de retículo: $\ell$ debe ser un múltiplo de 6 y $\ell \geq 12$ (excluyendo 6).
• Nota: Si $F$ es un punto de retículo, $H$ es automáticamente un punto de retículo (a través de la recta de Euler).

E. Triángulos Obtusángulos y Rectángulos

Los autores contrastan estos resultados con triángulos no acutángulos:

• Ortocentro: Para triángulos obtusángulos/rectángulos, cualquier $\ell \geq 3$ es posible.
• Circuncentro: Para triángulos obtusángulos/rectángulos, cualquier $\ell$ par $\geq 4$ es posible.
• Baricentro: La restricción $\ell \notin \{5, 11\}$ se mantiene para triángulos obtusángulos, pero para triángulos rectángulos, $\ell$ debe ser un múltiplo de 3 (y $\geq 9$).

4. Significado

• Puente entre Campos: El artículo destaca la tensión entre los grupos de transformación de la geometría de retículo ($GL(2, \mathbb{Z})$) y la geometría euclidiana ($O(2, \mathbb{R})$). Demuestra cómo restricciones geométricas elementales pueden conducir a restricciones teóricas de números no triviales.
• Exclusiones Curiosas: Los resultados revelan "huecos" en el conjunto de perímetros de retículo posibles (por ejemplo, por qué 7 es imposible para el ortocentro, o por qué 5 y 11 son imposibles para el baricentro). Estos huecos no son arbitrarios, sino que surgen de propiedades profundas de las particiones enteras y la coprimidad.
• Problemas Abiertos: El artículo concluye planteando un problema abierto sobre el Incentro. Aunque los autores sospechan que existen resultados similares, la complejidad de la fórmula del incentro (que involucra longitudes de lado en el denominador) sugiere que el problema podría ser significativamente más difícil. Proporcionan ejemplos donde el incentro es un punto de retículo pero el inradio es irracional, ilustrando los desafíos únicos de este caso.

5. Conclusión

Aebi y Cairns proporcionan una clasificación completa de los perímetros de retículo para triángulos de retículo acutángulos con centros de retículo. Su trabajo transforma una pregunta geométrica en un problema de teoría de números resoluble, identificando valores "prohibidos" precisos para el perímetro y ofreciendo pruebas constructivas para todos los casos válidos. Los resultados se resumen en la Tabla 3 del artículo, que sirve como referencia exhaustiva para los perímetros de retículo alcanzables bajo diversas restricciones de centros.