Lattice triangles whose centers are lattice points

1. Formulação do Problema

O artigo investiga a interseção entre a geometria de rede (geometria inteira) e a geometria euclidiana. Especificamente, aborda a seguinte questão:
Dado um tipo específico de triângulo (agudo, obtuso ou retângulo) com vértices na rede inteira $\mathbb{Z}^2$, quais são os valores possíveis para seu perímetro de rede $\ell$ se um de seus centros clássicos (Circuncentro $F$, Baricentro $G$ ou Ortocentro $H$) também for um ponto de rede?

Definições:

• Ponto de Rede: Um elemento de $\mathbb{Z}^2$.
• Comprimento de Rede: Para um segmento conectando dois pontos de rede, o comprimento de rede é o número de pontos de rede no segmento menos um.
• Perímetro de Rede ($\ell$): A soma dos comprimentos de rede dos lados do polígono. Isso é equivalente ao número total de pontos de rede na fronteira do polígono.
• Centros:
  • $F$: Circuncentro (interseção das mediatrizes).
  • $G$: Baricentro (interseção das medianas).
  • $H$: Ortocentro (interseção das alturas).

Os autores focam principalmente em triângulos agudos, pois as condições para triângulos obtusos e retângulos mostram-se menos restritivas.

2. Metodologia

Os autores empregam uma combinação de argumentos teóricos dos números, construções geométricas e análise algébrica de invariantes de rede.

• Fórmulas Algébricas: Eles utilizam fórmulas coordenadas explícitas para $F$, $G$ e $H$ em termos das coordenadas dos vértices. Uma identidade chave utilizada é a relação da reta de Euler: $2F + H = 3G$.
• Invariantes de Rede:
  • Lema 1: Estabelece que, para qualquer triângulo de rede, o máximo divisor comum (MDC) de quaisquer dois comprimentos de lado é igual ao MDC de todos os três comprimentos de lado.
  • Lemas 2 e 3: Relacionam os ângulos do triângulo aos comprimentos de rede dos segmentos conectando os vértices ao ortocentro. Especificamente, se $H$ é um ponto de rede, $\tan(\theta) = \ell_{\theta}/m$, onde $\ell_{\theta}$ é o comprimento do lado oposto e $m$ é o comprimento de rede do segmento do vértice até $H$.
  • Argumentos de Paridade (Lema 4 e Corolário 1): Analisam a paridade (par/ímpar) das coordenadas para determinar restrições no circuncentro. Se $F$ é um ponto de rede, os vértices devem compartilhar propriedades de paridade específicas, forçando o perímetro de rede a ser par.
  • Aritmética Modular (Lema 7): Se o baricentro $G$ é um ponto de rede e um comprimento de lado é um múltiplo de 3, então todos os comprimentos de lado devem ser múltiplos de 3.
• Provas Construtivas: Para provar a existência de $\ell$ válidos, os autores constroem explicitamente triângulos com vértices $O(0,0)$, $A(z,0)$ e $B(x,y)$ satisfazendo as condições necessárias.
• Provas de Exclusão: Para provar a não existência de $\ell$ inválidos, eles enumeram todas as possíveis partições inteiras de $\ell$ em três comprimentos de lado e demonstram contradições usando os lemas acima (por exemplo, mostrando que um triângulo não pode ser agudo ou que a condição do MDC falha).
• Verificação Numérica: Na prova do Teorema 2, eles usam cálculos numéricos de somas de arco-tangente para mostrar que certas combinações de ângulos não podem somar $\pi$ (180 graus), eliminando assim perímetros de rede específicos.

3. Contribuições e Resultados Chave

O artigo estabelece condições necessárias e suficientes para a existência de triângulos de rede agudos com um centro de rede para cada um dos três centros clássicos.

A. O Ortocentro ($H$)

• Teorema 1: Um triângulo de rede agudo com perímetro de rede $\ell$ e um ortocentro de rede existe se e somente se $\ell = 6$ ou $\ell \geq 8$.
• Valores Excluídos: $\ell \in \{3, 4, 5, 7\}$.
• Insight: A exclusão de inteiros pequenos como 7 está ligada a uma curiosidade teórica dos números relativa à soma de três inteiros dois a dois coprimos.

B. O Circuncentro ($F$)

• Teorema 2: Um triângulo de rede agudo com perímetro de rede $\ell$ e um circuncentro de rede existe se e somente se $\ell$ é par e ($\ell = 8$ ou $\ell \geq 12$).
• Valores Excluídos: $\ell$ par $\in \{2, 4, 6, 10\}$.
• Restrição: O perímetro de rede deve ser par (uma consequência do Corolário 1). A condição $\ell \neq 10$ é derivada de uma análise complexa de ângulos envolvendo arco-tangentes.

C. O Baricentro ($G$)

• Teorema 3: Um triângulo de rede agudo com perímetro de rede $\ell$ e um baricentro de rede existe se e somente se $\ell \geq 3$ e $\ell \notin \{5, 11\}$.
• Valores Excluídos: $\ell \in \{1, 2, 5, 11\}$.
• Insight: As exclusões de 5 e 11 estão relacionadas a uma proposição teórica dos números envolvendo somas de inteiros coprimos a 3.

D. Centros Combinados

O artigo também analisa casos onde múltiplos centros são pontos de rede:

• $G$ e $H$ são pontos de rede: $\ell$ deve ser um múltiplo de 3 e $\ell \geq 9$ (excluindo 3 e 6).
• $F, G, H$ são pontos de rede: $\ell$ deve ser um múltiplo de 6 e $\ell \geq 12$ (excluindo 6).
• Nota: Se $F$ é um ponto de rede, $H$ é automaticamente um ponto de rede (via a reta de Euler).

E. Triângulos Obtusos e Retângulos

Os autores contrastam esses resultados com triângulos não agudos:

• Ortocentro: Para triângulos obtusos/retângulos, qualquer $\ell \geq 3$ é possível.
• Circuncentro: Para triângulos obtusos/retângulos, qualquer $\ell$ par $\geq 4$ é possível.
• Baricentro: A restrição $\ell \notin \{5, 11\}$ vale para triângulos obtusos, mas para triângulos retângulos, $\ell$ deve ser um múltiplo de 3 (e $\geq 9$).

4. Significado

• Ponte entre Campos: O artigo destaca a tensão entre os grupos de transformação da geometria de rede ($GL(2, \mathbb{Z})$) e da geometria euclidiana ($O(2, \mathbb{R})$). Demonstra como restrições geométricas elementares podem levar a restrições não triviais da teoria dos números.
• Exclusões Curiosas: Os resultados revelam "lacunas" no conjunto de perímetros de rede possíveis (por exemplo, por que 7 é impossível para o ortocentro, ou por que 5 e 11 são impossíveis para o baricentro). Essas lacunas não são arbitrárias, mas derivam de propriedades profundas de partições inteiras e coprimidade.
• Problemas Abertos: O artigo conclui propondo um problema aberto relativo ao Incentro. Embora os autores suspeitem que resultados semelhantes existam, a complexidade da fórmula do incentro (envolvendo comprimentos de lado no denominador) sugere que o problema pode ser significativamente mais difícil. Eles fornecem exemplos onde o incentro é um ponto de rede, mas o raio inscrito é irracional, ilustrando os desafios únicos deste caso.

5. Conclusão

Aebi e Cairns fornecem uma classificação completa dos perímetros de rede para triângulos de rede agudos com centros de rede. Seu trabalho transforma uma questão geométrica em um problema de teoria dos números solucionável, identificando valores "proibidos" precisos para o perímetro e oferecendo provas construtivas para todos os casos válidos. Os resultados são resumidos na Tabela 3 do artigo, que serve como uma referência abrangente para perímetros de rede alcançáveis sob várias restrições de centros.