🔢 mathematics

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

Cet article classifie les entiers $k$ pour lesquels tous les triangles de réseau possédant 4 ou 5 points sur le bord et $k$ points intérieurs ont des points intérieurs colinéaires, prouvant que seuls les $k \in \{1, 2, 5\}$ satisfont cette condition pour 4 points sur le bord tandis qu'aucun de ces entiers n'existe pour 5 points sur le bord.

Auteurs originaux : Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

Publié 2026-08-04

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Jonathan Sakunkoo, Annabella Sakunkoo, Dana Paquin

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez un monde où vous ne pouvez dessiner des formes qu'en utilisant des points disposés sur une grille parfaite, comme les carrés d'une feuille de papier millimétré. Dans ce monde de « réseaux », la géométrie n'est pas une question de courbes lisses ou de lignes infinies ; c'est une question de comptage. Une règle célèbre appelée le théorème de Pick nous indique que si vous connaissez le nombre de points situés sur le bord d'une forme et le nombre de points situés à l'intérieur, vous pouvez calculer l'aire exacte de la forme. C'est un peu comme connaître le nombre de briques sur le périmètre d'un mur et le nombre de briques cachées à l'intérieur pour déterminer la taille totale du mur.

Mais les mathématiciens sont des créatures curieuses. Ils ne veulent pas seulement compter ; ils veulent savoir comment ces points sont disposés. Ils sont fascinés par la « colinéarité » — un mot savant pour dire que des points sont tous alignés sur une seule et même ligne droite. Si vous avez une poignée de points à l'intérieur d'un triangle, s'alignent-ils naturellement sur une ligne droite, ou peuvent-ils s'éparpiller selon un motif en zigzag désordonné ? Cette question se situe à l'intersection de la géométrie (les formes), de la théorie des nombres (le comptage et les motifs) et de la combinatoire (les arrangements). C'est un casse-tête pour savoir si les règles de la grille forcent les points à se comporter de manière rigide et ordonnée, ou s'ils ont la liberté de danser librement.

Cet article, écrit par Jonathan Sakunkoo, Annabella Sakunkoo et Dana Paquin, plonge au cœur de ce casse-tête pour les triangles. Ils posent une question très spécifique : si vous fixez le nombre de points sur le bord du triangle, cela force-t-il tous les points à l'intérieur à s'aligner sur une ligne droite ? Ils se concentrent sur deux scénarios spécifiques : des triangles ayant exactement 4 points sur le bord et des triangles ayant exactement 5 points sur le bord.

Voici ce qu'ils ont découvert. D'abord, ils ont examiné les triangles avec 4 points de bordure. Ils ont constaté que pour la plupart des nombres de points intérieurs, les points peuvent s'éparpiller et refuser de s'aligner. Cependant, il existe trois nombres spéciaux où les points doivent s'aligner : si l'on a 1, 2 ou 5 points à l'intérieur du triangle. Si vous avez 1 point, c'est une ligne en soi. Avec 2 points, n'importe quels deux points forment une ligne. Mais le nombre 5 est la star surprise ; les auteurs ont prouvé mathématiquement que si un triangle possède 4 points sur son bord et 5 à l'intérieur, ces 5 points intérieurs sont forcés de former une ligne droite parfaite. Ils ont également prouvé que pour n'importe quel nombre de points intérieurs supérieur à 5 (comme 6, 7, 8, et ainsi de suite), vous pouvez toujours trouver un triangle où les points sont désordonnés et non colinéaires.

Ensuite, ils se sont penchés sur les triangles avec 5 points de bordure. Ici, l'histoire prend un tournant radical. Les auteurs ont prouvé qu'aucun nombre de points intérieurs ne force l'alignement. Que vous ayez 3 points à l'intérieur, 6 points ou 100 points, il existe toujours un moyen d'arranger le triangle pour que les points intérieurs soient dispersés et non sur une ligne droite. Plus intéressant encore, ils ont montré que si vous essayez d'avoir un triangle avec 5 points de bord et un nombre de points intérieurs qui n'est pas un multiple de 3 (comme 4 ou 5), un tel triangle ne peut tout simplement pas exister sur la grille. Mais pour ceux qui existent, la règle de la « ligne droite » ne s'applique jamais.

Les auteurs ont utilisé une méthode ingénieuse consistant à simplifier chaque triangle possible en une version « canonique » (standard), comme si l'on aplatissait une feuille de papier froissée pour en faire un rectangle net, afin de faciliter les calculs. Ils ont également utilisé un outil de comptage spécial lié aux nombres premiers pour montrer exactement quand les points sont forcés de s'aligner. Leur travail est une preuve mathématique complète, ce qui signifie qu'ils n'ont pas seulement deviné ou simulé ; ils ont démontré que cela doit être vrai pour tous les cas.

Le tableau d'ensemble est un contraste structurel. Avec 4 points sur le bord, la grille est assez rigide pour forcer une ligne droite dans des cas spécifiques et rares (comme lorsqu'il y a 5 points intérieurs). Mais avec 5 points sur le bord, la grille devient assez flexible pour briser totalement ce motif. Les auteurs suggèrent que ce changement brutal entre 4 et 5 pourrait être le début d'un motif plus vaste et mystérieux dans la façon dont les points de la grille se comportent, laissant la porte ouverte à de futurs explorateurs pour étudier ce qui se passe avec 6, 7 ou même plus de points de bordure.

Résumé Technique : Points de Réseau Intérieurs Colinéaires dans les Triangles Satisfaisant $B(T) \in \{4, 5\}$

Énoncé du Problème
Cet article étudie la rigidité géométrique des points de réseau intérieurs au sein de triangles de réseau basés sur le nombre de points de réseau sur le bord, noté $B(T)$ . Un entier $k$ est défini comme étant $B_n$ -colinéaire si au moins un triangle de réseau possède exactement $n$ points de bord et $k$ points intérieurs, et que chaque triangle de ce type possède la propriété que ses $k$ points intérieurs sont colinéaires.

S'appuyant sur les travaux antérieurs de Li et Paquin, qui ont établi que pour $B(T)=3$ , les seuls entiers $B_3$ -colinéaires sont $\{1, 2, 4, 7\}$ , cette étude vise à classifier complètement les entiers $B_4$ -colinéaires et $B_5$ -colinéaires. La question centrale est de savoir si les contraintes combinatoires imposées par le compte de bord forcent la configuration colinéaire des points intérieurs.

Méthodologie
Les auteurs emploient une combinaison de représentations canoniques de réseaux, du théorème de Pick et des propriétés arithmétiques d'une fonction totient généralisée.

Forme Canonique : Les auteurs adaptent le cadre canonique établi par Li et Paquin. Tout triangle de réseau possédant $n$ points de bord peut être transformé en un triangle « canonique » avec des sommets en $(0,0)$ , $(1,0)$ et $(a,b)$ sans modifier le nombre de points intérieurs, de points de bord ou la colinéarité des points intérieurs.
- Pour $B(T)=4$ , la hauteur $b$ est fixée par le théorème de Pick comme $b = 2k + 2$ . Un choix de $a$ est dit « valide » si $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$ .
- Pour $B(T)=5$ , la hauteur est $b = 2k + 3$ . Un choix de $a$ est « valide » si $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$ .
Critères de Non-Colinéarité : L'article établit un critère pour prouver que les points intérieurs ne sont pas colinéaires. En analysant l'intersection du triangle canonique avec la droite $x=1$ , les auteurs démontrent que s'il existe un paramètre $a$ valide dans un intervalle spécifique (précisément $3 \le a \le k$ ), le triangle contiendra au moins deux points intérieurs sur la droite $x=1$ et au moins un point intérieur hors de cette droite. Puisque deux points définissent une droite unique, la présence d'un troisième point hors de cette droite prouve la non-colinéarité.
Outils Arithmétiques (Fonction d'Alder) : Pour déterminer l'existence de tels paramètres $a$ valides, les auteurs utilisent la fonction totient généralisée d'Alder, $g(m)$ , définie comme le décompte des entiers $0 \le r < m$ tels que $\gcd(m, r) = \gcd(m, 2r+1) = 1$ .
- Le nombre de valeurs de $a$ valides entre $3$ et $k$ pour le cas $B(T)=4$ est montré être exactement $g(k+1) - 1$ .
- La fonction $g$ est prouvée être multiplicative, permettant l'analyse de $g(k+1)$ basée sur la décomposition en facteurs premiers de $k+1$ .

Résultats Clés

Théorème 1 (Cas $B(T)=4$ ) : Les seuls entiers $B_4$ -colinéaires sont 1, 2 et 5.
- Logique de preuve : Pour $k=1$ et $k=2$ , la colinéarité est triviale. Pour $k=3$ et $k=4$ , des contre-exemples explicites (triangles non colinéaires) sont fournis. Pour $k=5$ , les auteurs prouvent que les seules valeurs de $a$ valides sont congrus à $2$ ou $11 \pmod{12}$ . Dans les deux cas, les points intérieurs reposent sur une seule ligne médiane, assurant la colinéarité. Pour tout $k > 5$ , les auteurs montrent que $g(k+1) > 1$ , impliquant l'existence d'un $a$ valide dans l'intervalle $[3, k]$ . Par le critère de non-colinéarité, cela garantit l'existence d'un triangle avec des points intérieurs non colinéaires.
Théorème 2 (Cas $B(T)=5$ ) : Il n'existe aucun entier $B_5$ -colinéaire.
- Logique de preuve : D'abord, les auteurs montrent que pour qu'un triangle de réseau avec 5 points de bord existe, le nombre de points intérieurs $k$ doit être un multiple de 3 (dérivé de la condition que $b = 2k+3$ doit être divisible par 3).
- Pour tout $k$ qui est un multiple de 3, les auteurs construisent un triangle canonique spécifique $T_k$ avec des sommets $(0,0)$ , $(1,0)$ et $(4, 2k+3)$ . Ils prouvent que pour $k \ge 3$ , ce triangle contient au moins deux points intérieurs sur la droite $x=1$ et au moins un point intérieur hors de cette droite. Par conséquent, aucun entier $k$ ne force la colinéarité pour $B(T)=5$ . Les entiers non divisibles par 3 sont exclus par définition car aucun triangle de ce type n'existe.

Signification et Revendications
L'article prétend fournir une classification complète pour les trois premiers cas de bord non triviaux ( $n=3, 4, 5$ ). Les résultats révèlent un contraste structurel marqué :

Alors que $B(T)=3$ et $B(T)=4$ présentent des contraintes spécifiques où certains comptes intérieurs forcent la colinéarité, $B(T)=5$ rompt totalement ce schéma.
Les auteurs soutiennent que l'interaction entre la structure du bord et la géométrie des points intérieurs est plus subtile qu'on ne le pensait auparavant, car l'augmentation du compte de bord de 4 à 5 élimine la possibilité de colinéarité forcée pour n'importe quel $k$ .

L'article conclut en identifiant la classification des entiers $B_6$ -colinéaires et le comportement général lorsque $n \to \infty$ comme des questions ouvertes pour la recherche future, notant que les méthodes développées ici servent de fondation à ces enquêtes. Les auteurs déclarent explicitement que leur vérification computationnelle (vérification de $k$ jusqu'à $10^6$ pour $B(T)=4$ ) soutient la classification théorique mais ne fait pas partie de la preuve formelle.

Articles similaires