🔢 mathematics

Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$

Este artículo clasifica los enteros $k$ para los cuales todos los triángulos de red con 4 o 5 puntos en el contorno y $k$ puntos interiores tienen puntos interiores colineales, demostrando que solo $k \in \{1, 2, 5\}$ satisfacen esta condición para 4 puntos en el contorno mientras que no existen tales enteros para 5 puntos en el contorno.

Autores originales: Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

Publicado 2026-08-04

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo donde solo puedes dibujar formas usando puntos dispuestos en una cuadrícula perfecta, como los cuadrados en una hoja de papel milimetrado. En este mundo de "red" o "celosía", la geometría no trata sobre curvas suaves o líneas infinitas; trata sobre contar. Una regla famosa llamada el Teorema de Pick nos dice que si conoces cuántos puntos se asientan en el borde de una forma y cuántos se encuentran dentro de ella, puedes calcular el área exacta de la forma. Es un poco como saber el número de ladrillos en el perímetro de un muro y el número de ladrillos ocultos en su interior para determinar el tamaño total del muro.

Pero los matemáticos son criaturas curiosas. No solo quieren contar; quieren saber cómo están dispuestos esos puntos. Específicamente, les fascina la "colinealidad"—una palabra elegante para puntos que todos se alinean en una sola fila recta. Si tienes un puñado de puntos dentro de un triángulo, ¿caen naturalmente en una línea recta, o pueden dispersarse en un patrón desordenado y en zigzag? Esta pregunta se sitúa en la intersección de la geometría (formas), la teoría de números (conteo y patrones) y la combinatoria (arreglos). Es un rompecabezas sobre si las reglas de la cuadrícula obligan a los puntos a comportarse de una manera rígida y ordenada, o si tienen la libertad de bailar a su antojo.

Este artículo, escrito por Jonathan Sakunkoo, Annabella Sakunkoo y Dana Paquin, se sumerge profundamente en este rompecabezas para los triángulos. Ellos plantean una pregunta muy específica: Si fijas el número de puntos en el borde del triángulo, ¿obliga eso a que todos los puntos interiores se alineen en una fila recta? Se centran en dos escenarios específicos: triángulos con exactamente 4 puntos en el borde y triángulos con exactamente 5 puntos en el borde.

Esto es lo que descubrieron. Primero, analizaron triángulos con 4 puntos en el contorno. Descubrieron que para la mayoría de los números de puntos interiores, los puntos pueden dispersarse y negarse a alinearse. Sin embargo, hay tres números especiales donde los puntos deben alinearse: si hay 1, 2 o 5 puntos dentro del triángulo. Si tienes 1 punto, es una línea por sí misma. Si tienes 2, cualquier par de puntos forma una línea. Pero el número 5 es la estrella sorpresa; los autores demostraron matemáticamente que si un triángulo tiene 4 puntos en el borde y 5 en el interior, esos 5 puntos interiores están obligados a formar una línea recta perfecta. También demostraron que para cualquier número de puntos interiores mayor a 5 (como 6, 7, 8 y así sucesivamente), siempre puedes encontrar un triángulo donde los puntos sean desordenados y no colineales.

Luego, dirigieron su atención a los triángulos con 5 puntos en el contorno. Aquí, la historia da un giro brusco. Los autores demostraron que ningún número de puntos interiores obliga a que se alineen. Ya sea que tengas 3 puntos en el interior, 6 puntos o 100 puntos, siempre hay una manera de organizar el triángulo para que los puntos interiores estén dispersos y no en una línea recta. Aún más interesante, mostraron que si intentas tener un triángulo con 5 puntos en el borde y un número de puntos interiores que no sea un múltiplo de 3 (como 4 o 5), tal triángulo simplemente no puede existir en la cuadrícula en absoluto. Pero para aquellos que sí existen, la regla de la "línea recta" nunca se cumple.

Los autores utilizaron un método ingenioso para simplificar cada posible triángulo en una versión "canónica" (estándar), como aplanar un papel arrugado hasta convertirlo en un rectángulo ordenado, para facilitar las matemáticas. También utilizaron una herramienta de conteo especial relacionada con los números primos para mostrar exactamente cuándo los puntos se ven obligados a alinearse. Su trabajo es una prueba matemática completa, lo que significa que no solo adivinaron o simularon; demostraron que debe ser cierto para todos los casos.

La idea principal es un contraste estructural. Con 4 puntos en el borde, la cuadrícula es lo suficientemente rígida como para forzar una línea recta en casos específicos y raros (como cuando hay 5 puntos en el interior). Pero con 5 puntos en el borde, la cuadrícula se vuelve lo suficientemente flexible como para romper ese patrón por completo. Los autores sugieren que este cambio drástico entre 4 y 5 podría ser el comienzo de un patrón más grande y misterioso en cómo se comportan los puntos de la cuadrícula, dejando la puerta abierta para que futuros exploradores investiguen qué sucede con 6, 7 o incluso más puntos en el contorno.

Resumen Técnico: Puntos de Red Interior Colineales en Triángulos que Satisfacen $B(T) \in \{4, 5\}$

Planteamiento del Problema
Este artículo investiga la rigidez geométrica de los puntos de red interiores dentro de triángulos de red basados en el número de puntos de red en la frontera, denotado como $B(T)$ . Se define un entero $k$ como $B_n$ -colineal si existe al menos un triángulo de red con exactamente $n$ puntos en la frontera y $k$ puntos interiores, y cada uno de dichos triángulos posee la propiedad de que todos sus $k$ puntos interiores son colineales.

Basándose en el trabajo previo de Li y Paquin, que estableció que para $B(T)=3$ , los únicos enteros $B_3$ -colineales son $\{1, 2, 4, 7\}$ , este estudio tiene como objetivo clasificar completamente los enteros $B_4$ -colineales y $B_5$ -colineales. La cuestión central es si las restricciones combinatorias impuestas por el conteo de la frontera fuerzan a los puntos interiores a una configuración colineal.

Metodología
Los autores emplean una combinación de representaciones de red canónicas, el Teorema de Pick y las propiedades aritméticas de una función tofiliente generalizada.

Forma Canónica: Los autores adaptan el marco canónico establecido por Li y Paquin. Cualquier triángulo de red con $n$ puntos en la frontera puede transformarse en un triángulo "canónico" con vértices en $(0,0)$ , $(1,0)$ y $(a,b)$ sin alterar el número de puntos interiores, puntos en la frontera o la colinealidad de los puntos interiores.
- Para $B(T)=4$ , la altura $b$ está fijada por el Teorema de Pick como $b = 2k + 2$ . Una elección de $a$ es "válida" si $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$ .
- Para $B(T)=5$ , la altura es $b = 2k + 3$ . Una elección de $a$ es "válida" si $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$ .
Criterio de No Colinealidad: El artículo establece un criterio para demostrar que los puntos interiores no son colineales. Al analizar la intersección del triángulo canónico con la recta $x=1$ , los autores demuestran que si existe un parámetro $a$ válido dentro de un rango específico (específicamente $3 \le a \le k$ ), el triángulo contendrá al menos dos puntos interiores en la línea $x=1$ y al menos un punto interior fuera de esta línea. Dado que dos puntos definen una línea única, la presencia de un tercer punto fuera de esa línea demuestra la no colinealidad.
Herramientas Aritméticas (Función de Alder): Para determinar la existencia de tales parámetros $a$ válidos, los autores utilizan la función tofiliente generalizada de Alder, $g(m)$ , definida como el conteo de enteros $0 \le r < m$ tales que $\gcd(m, r) = \gcd(m, 2r+1) = 1$ .
- Se demuestra que el número de valores $a$ válidos entre $3 $y$ k$ para el caso $B(T)=4$ es exactamente $g(k+1) - 1$ .
- La función $g$ se demuestra como multiplicativa, lo que permite el análisis de $g(k+1)$ basado en la factorización prima de $k+1$ .

Resultados Clave

Teorema 1 (Caso $B(T)=4$ ): Los únicos enteros $B_4$ -colineales son 1, 2 y 5.
- Lógica de la Demostración: Para $k=1$ y $k=2$ , la colinealidad es trivial. Para $k=3$ y $k=4$ , se proporcionan contraejemplos explícitos (triángulos no colineales). Para $k=5$ , los autores prueban que los únicos valores de $a$ válidos son congruentes con $2 $o$ 11 \pmod{12}$. En ambos casos, los puntos interiores yacen en una única línea mediana, asegurando la colinealidad. Para todo $k > 5$ , los autores muestran que $g(k+1) > 1$ , lo que implica la existencia de un valor $a$ válido en el rango $[3, k]$ . Por el criterio de no colinealidad, esto garantiza la existencia de un triángulo con puntos interiores no colineales.
Teorema 2 (Caso $B(T)=5$ ): No existen enteros $B_5$ -colineales.
- Lógica de la Demostración: Primero, los autores muestran que para que exista un triángulo de red con 5 puntos en la frontera, el número de puntos interiores $k$ debe ser un múltiplo de 3 (derivado de la condición de que $b = 2k+3$ debe ser divisible por 3).
- Para cualquier $k$ que sea un múltiplo de 3, los autores construyen un triángulo canónico específico $T_k$ con vértices $(0,0)$ , $(1,0)$ y $(4, 2k+3)$ . Prueban que para $k \ge 3$ , este triángulo contiene al menos dos puntos interiores en la línea $x=1$ y al menos un punto interior fuera de esa línea. En consecuencia, ningún entero $k$ fuerza la colinealidad para $B(T)=5$ . Los enteros no divisibles por 3 quedan excluidos por definición, ya que no existen tales triángulos.

Significancia y Reivindicaciones
El artículo afirma proporcionar una clasificación completa para los tres primeros casos de frontera no triviales ( $n=3, 4, 5$ ). Los resultados revelan un fuerte contraste estructural:

Mientras que $B(T)=3$ y $B(T)=4$ exhiben restricciones específicas donde ciertos conteos de interiores fuerzan la colinealidad, $B(T)=5$ rompe este patrón por completo.
Los autores argumentan que la interacción entre la estructura de la frontera y la geometría de los puntos interiores es más sutil de lo que se creía anteriormente, ya que aumentar el conteo de la frontera de 4 a 5 elimina la posibilidad de colinealidad forzada para cualquier $k$ .

El artículo concluye identificando la clasificación de los enteros $B_6$ -colineales y el comportamiento general a medida que $n \to \infty$ como preguntas abiertas para investigaciones futuras, señalando que los métodos desarrollados aquí sirven como base para estas indagaciones. Los autores declaran explícitamente que su verificación computacional (revisando $k$ hasta $10^6$ para $B(T)=4$ ) respalda la clasificación teórica pero no forma parte de la demostración formal.

Más como este