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

Technische Samenvatting: Collineaire Interne Roosterpunten in Driehoeken die voldoen aan $B(T) \in \{4, 5\}$

Probleemstelling
Dit artikel onderzoekt de geometrische rigiditeit van interne roosterpunten binnen roosterdriehoeken op basis van het aantal roosterpunten op de rand, aangeduid als $B(T)$. Een geheel getal $k$ wordt gedefinieerd als $B_n$-collineair als er ten minste één roosterdriehoek bestaat met exact $n$ randpunten en $k$ interne punten, en elke dergelijke driehoek de eigenschap heeft dat al zijn $k$ interne punten collineair zijn.

Voortbouwend op eerder werk door Li en Paquin, die vaststelden dat voor $B(T)=3$ de enige $B_3$-collineaire gehele getallen $\{1, 2, 4, 7\}$ zijn, streeft deze studie naar een volledige classificatie van de $B_4$-collineaire en $B_5$-collineaire gehele getallen. De centrale vraag is of de combinatorische beperkingen opgelegd door het aantal randpunten de interne punten in een collineaire configuratie dwingen.

Methodologie
De auteurs maken gebruik van een combinatie van canonieke roosterrepresentaties, de Stelling van Pick en de rekenkundige eigenschappen van een gegeneraliseerde totientfunctie.

1. Canonieke Vorm: De auteurs passen het canonieke kader aan dat door Li en Paquin is gevestigd. Elke roosterdriehoek met $n$ randpunten kan worden getransformeerd naar een "canonieke" driehoek met hoekpunten op $(0,0)$, $(1,0)$ en $(a,b)$ zonder het aantal interne punten, randpunten of de collineariteit van de interne punten te veranderen.

   • Voor $B(T)=4$ is de hoogte $b$ vastgesteld door de Stelling van Pick als $b = 2k + 2$. Een keuze van $a$ is "geldig" als $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$.
   • Voor $B(T)=5$ is de hoogte $b = 2k + 3$. Een keuze van $a$ is "geldig" als $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$.

2. Criterium voor Niet-Collineariteit: Het artikel stelt een criterium vast om te bewijzen dat interne punten niet collineair zijn. Door de intersectie van de canonieke driehoek met de lijn $x=1$ te analyseren, tonen de auteurs aan dat indien er een geldige parameter $a$ bestaat binnen een specifiek bereik (specifiek $3 \le a \le k$), de driehoek ten minste twee interne punten op de lijn $x=1$ zal bevatten en ten minste één intern punt buiten deze lijn. Aangezien twee punten een unieke lijn definiëren, bewijst de aanwezigheid van een derde punt buiten die lijn de niet-collineariteit.

3. Arithmetische Instrumenten (Alder's Functie): Om de existentie van dergelijke geldige parameters $a$ te bepalen, maken de auteurs gebruik van de gegeneraliseerde totientfunctie van Alder, $g(m)$, gedefinieerd als het aantal gehele getallen $0 \le r < m$ waarvoor $\gcd(m, r) = \gcd(m, 2r+1) = 1$.

   • Het aantal geldige $a$-waarden tussen $3$ en $k$ voor het $B(T)=4$ geval wordt getoond exact gelijk te zijn aan $g(k+1) - 1$.
   • De functie $g$ wordt bewezen multiplicatief te zijn, wat de analyse van $g(k+1)$ op basis van de priemfactorisatie van $k+1$ mogelijk maakt.

Belangrijkste Resultaten

• Theorem 1 (Geval $B(T)=4$): De enige $B_4$-collineaire gehele getallen zijn 1, 2 en 5.

  • Bewijslogica: Voor $k=1$ en $k=2$ is collineariteit triviaal. Voor $k=3$ en $k=4$ worden expliciete tegenvoorbeelden (niet-collineaire driehoeken) geleverd. Voor $k=5$ bewijzen de auteurs dat de enige geldige $a$-waarden congruent zijn aan $2$ of $11 \pmod{12}$. In beide gevallen liggen de interne punten op een enkele middellijn, wat collineariteit garandeert. Voor alle $k > 5$ tonen de auteurs aan dat $g(k+1) > 1$, wat de existentie van een geldige $a$ in het bereik $[3, k]$ impliceert. Door het criterium voor niet-collineariteit garandeert dit de existentie van een driehoek met niet-collineaire interne punten.

• Theorem 2 (Geval $B(T)=5$): Er zijn geen $B_5$-collineaire gehele getallen.

  • Bewijslogica: Eerst tonen de auteurs aan dat voor een roosterdriehoek met 5 randpunten te bestaan, het aantal interne punten $k$ een veelvoud van 3 moet zijn (afgeleid van de conditie dat $b = 2k+3$ deelbaar moet zijn door 3).
  • Voor elk $k$ dat een veelvoud van 3 is, construeren de auteurs een specifieke canonieke driehoek $T_k$ met hoekpunten $(0,0)$, $(1,0)$ en $(4, 2k+3)$. Zij bewijzen dat deze driehoek voor $k \ge 3$ ten minste twee interne punten op de lijn $x=1$ bevat en ten minste één intern punt buiten die lijn. Bijgevolg dwingt geen enkel geheel getal $k$ collineariteit af voor $B(T)=5$. Gehele getallen die niet deelbaar zijn door 3 worden uitgesloten omdat er dan geen dergelijke driehoeken bestaan.

Betekenis en Claims
Het artikel claimt een volledige classificatie te bieden voor de eerste drie niet-triviale randgevallen ($n=3, 4, 5$). De resultaten onthullen een scherp structureel contrast:

• Terwijl $B(T)=3$ en $B(T)=4$ specifieke beperkingen vertonen waarbij bepaalde interne aantallen collineariteit afdwingen, verstoort $B(T)=5$ dit patroon volledig.
• De auteurs stellen dat de interactie tussen de randstructuur en de geometrie van de interne punten subtieler is dan voorheen gedacht, aangezien het verhogen van het aantal randpunten van 4 naar 5 de mogelijkheid van gedwongen collineariteit voor elk $k$ elimineert.

Het artikel concludeert door de classificatie van $B_6$-collineaire gehele getallen en het algemene gedrag naarmate $n \to \infty$ te identificeren als openstaande vragen voor toekomstig onderzoek, waarbij wordt opgemerkt dat de hier ontwikkelde methoden dienen als fundament voor deze verkenningen. De auteurs geven expliciet aan dat hun computationele verificatie (het controleren van $k$ tot $10^6$ voor $B(T)=4$) de theoretische classificatie ondersteunt maar geen deel uitmaakt van het formele bewijs.