Lattice triangles whose centers are lattice points

Hier volgt een gedetailleerde technische samenvatting van het artikel "Lattice Triangles Whose Centers Are Lattice Points" van Christian Aebi en Grant Cairns.

1. Probleemstelling

Het artikel onderzoekt de intersectie van roostergeometrie (geheeltallige meetkunde) en Euclidische meetkunde. Specifiek wordt de volgende vraag behandeld:
Gegeven een specifiek type driehoek (scherp, stomp of recht) met hoekpunten op het geheeltallige rooster $\mathbb{Z}^2$, wat zijn de mogelijke waarden voor de roosteromtrek $\ell$ indien een van zijn klassieke middelpunten (Omtrekcirkelmiddelpunt $F$, Zwaartepunt $G$, of Hoogtelijnmiddelpunt $H$) eveneens een roosterpunt is?

Definities:

• Roosterpunt: Een element van $\mathbb{Z}^2$.
• Roosterlengte: Voor een lijnstuk dat twee roosterpunten verbindt, is de roosterlengte het aantal roosterpunten op het lijnstuk min één.
• Roosteromtrek ($\ell$): De som van de roosterlengten van de zijden van het veelvlak. Dit komt overeen met het totale aantal roosterpunten op de rand van het veelvlak.
• Middelpunten:
  • $F$: Omtrekcirkelmiddelpunt (snijpunt van middelloodlijnen).
  • $G$: Zwaartepunt (snijpunt van zwaartelijnen).
  • $H$: Hoogtelijnmiddelpunt (snijpunt van hoogtelijnen).

De auteurs richten zich primair op scherpe driehoeken, aangezien de voorwaarden voor stompe en rechte driehoeken minder restrictief blijken te zijn.

2. Methodologie

De auteurs maken gebruik van een combinatie van getaltheoretische argumenten, meetkundige constructies en algebraïsche analyse van roosterinvarianten.

• Algebraïsche Formules: Zij maken gebruik van expliciete coördinatenformules voor $F$, $G$ en $H$ in termen van de hoekpuntcoördinaten. Een belangrijke identiteit die wordt gebruikt, is de Euler-lijnrelatie: $2F + H = 3G$.
• Roosterinvarianten:
  • Lemma 1: Stelt vast dat voor elke roosterdriehoek de grootste gemene deler (GGD) van twee willekeurige zijdelengten gelijk is aan de GGD van alle drie de zijdelengten.
  • Lemma 2 & 3: Relateren de hoeken van de driehoek aan de roosterlengten van lijnstukken die hoekpunten verbinden met het hoogtelijnmiddelpunt. Specifiek, als $H$ een roosterpunt is, geldt $\tan(\theta) = \ell_{\theta}/m$, waarbij $\ell_{\theta}$ de lengte van de overstaande zijde is en $m$ de roosterlengte van het lijnstuk van het hoekpunt naar $H$.
  • Pariteitsargumenten (Lemma 4 & Corollarium 1): Analyseren de pariteit (even/oneven) van coördinaten om beperkingen voor het omtrekcirkelmiddelpunt te bepalen. Als $F$ een roosterpunt is, moeten de hoekpunten specifieke pariteits eigenschappen delen, waardoor de roosteromtrek even moet zijn.
  • Modulaire rekenkunde (Lemma 7): Als het zwaartepunt $G$ een roosterpunt is en één zijdelengte een veelvoud van 3 is, dan moeten alle zijdelengten veelvouden van 3 zijn.
• Constructieve Bewijzen: Om het bestaan voor geldige $\ell$ te bewijzen, construeren de auteurs expliciet driehoeken met hoekpunten $O(0,0)$, $A(z,0)$ en $B(x,y)$ die aan de vereiste voorwaarden voldoen.
• Uitsluitingsbewijzen: Om het niet-bestaan voor ongeldige $\ell$ te bewijzen, enumereren zij alle mogelijke geheeltallige partities van $\ell$ in drie zijdelengten en tonen zij contradicties aan met behulp van de bovenstaande lemma's (bijvoorbeeld door aan te tonen dat een driehoek niet scherp kan zijn of dat de GGD-voorwaarde faalt).
• Numerieke Verificatie: In het bewijs van Stelling 2 gebruiken zij numerieke berekeningen van sommen van arctangens om aan te tonen dat bepaalde hoekcombinaties niet kunnen optellen tot $\pi$ (180 graden), waardoor specifieke roosteromtrekken worden uitgesloten.

3. Belangrijkste Bijdragen en Resultaten

Het artikel stelt noodzakelijke en voldoende voorwaarden vast voor het bestaan van scherpe roosterdriehoeken met een roostermiddelpunt voor elk van de drie klassieke middelpunten.

A. Het Hoogtelijnmiddelpunt ($H$)

• Stelling 1: Een scherpe roosterdriehoek met roosteromtrek $\ell$ en een roosterhoogtelijnmiddelpunt bestaat dan en slechts dan als $\ell = 6$ of $\ell \geq 8$.
• Uitgesloten Waarden: $\ell \in \{3, 4, 5, 7\}$.
• Inzicht: De uitsluiting van kleine gehele getallen zoals 7 is gekoppeld aan een getaltheoretische curiositeit met betrekking tot de som van drie paarsgewijs onderling ondeelbare gehele getallen.

B. Het Omtrekcirkelmiddelpunt ($F$)

• Stelling 2: Een scherpe roosterdriehoek met roosteromtrek $\ell$ en een roosteromtrekcirkelmiddelpunt bestaat dan en slechts dan als $\ell$ even is en ($\ell = 8$ of $\ell \geq 12$).
• Uitgesloten Waarden: Even $\ell \in \{2, 4, 6, 10\}$.
• Beperking: De roosteromtrek moet even zijn (een gevolg van Corollarium 1). De voorwaarde $\ell \neq 10$ is afgeleid uit complexe hoekanalyse met betrekking tot arctangens.

C. Het Zwaartepunt ($G$)

• Stelling 3: Een scherpe roosterdriehoek met roosteromtrek $\ell$ en een roosterzwaartepunt bestaat dan en slechts dan als $\ell \geq 3$ en $\ell \notin \{5, 11\}$.
• Uitgesloten Waarden: $\ell \in \{1, 2, 5, 11\}$.
• Inzicht: De uitsluitingen van 5 en 11 zijn gerelateerd aan een getaltheoretisch proposition dat betrekking heeft op sommen van gehele getallen die onderling ondeelbaar zijn met 3.

D. Gecombineerde Middelpunten

Het artikel analyseert ook gevallen waarin meerdere middelpunten roosterpunten zijn:

• $G$ en $H$ zijn roosterpunten: $\ell$ moet een veelvoud van 3 zijn en $\ell \geq 9$ (met uitzondering van 3 en 6).
• $F, G, H$ zijn roosterpunten: $\ell$ moet een veelvoud van 6 zijn en $\ell \geq 12$ (met uitzondering van 6).
• Opmerking: Als $F$ een roosterpunt is, is $H$ automatisch een roosterpunt (via de Euler-lijn).

E. Stompe en Rechte Driehoeken

De auteurs vergelijken deze resultaten met niet-scherpe driehoeken:

• Hoogtelijnmiddelpunt: Voor stompe/rechte driehoeken is elke $\ell \geq 3$ mogelijk.
• Omtrekcirkelmiddelpunt: Voor stompe/rechte driehoeken is elke even $\ell \geq 4$ mogelijk.
• Zwaartepunt: De beperking $\ell \notin \{5, 11\}$ geldt voor stompe driehoeken, maar voor rechte driehoeken moet $\ell$ een veelvoud van 3 zijn (en $\geq 9$).

4. Betekenis

• Brug tussen Velden: Het artikel benadrukt de spanning tussen de transformatiegroepen van roostergeometrie ($GL(2, \mathbb{Z})$) en Euclidische meetkunde ($O(2, \mathbb{R})$). Het demonstreert hoe elementaire meetkundige beperkingen kunnen leiden tot niet-triviale getaltheoretische restricties.
• Curieuze Uitsluitingen: De resultaten onthullen "gaten" in de verzameling van mogelijke roosteromtrekken (bijvoorbeeld waarom 7 onmogelijk is voor het hoogtelijnmiddelpunt, of waarom 5 en 11 onmogelijk zijn voor het zwaartepunt). Deze gaten zijn niet willekeurig, maar vloeien voort uit diepe eigenschappen van geheeltallige partities en onderlinge deelbaarheid.
• Open Problemen: Het artikel sluit af met een open probleem betreffende het Incentrum. Hoewel de auteurs vermoeden dat vergelijkbare resultaten bestaan, suggereert de complexiteit van de incentrumformule (met zijdelengten in de noemer) dat het probleem aanzienlijk moeilijker kan zijn. Zij geven voorbeelden waar het incentrum een roosterpunt is maar de instraal irrationeel, wat de unieke uitdagingen van dit geval illustreert.

5. Conclusie

Aebi en Cairns bieden een volledige classificatie van roosteromtrekken voor scherpe roosterdriehoeken met roostermiddelpunten. Hun werk transformeert een meetkundige vraag naar een oplosbaar getaltheoretisch probleem, waarbij precieze "verboden" waarden voor de omtrek worden geïdentificeerd en constructieve bewijzen worden gegeven voor alle geldige gevallen. De resultaten worden samengevat in Tabel 3 van het artikel, die dient als een uitgebreide referentie voor haalbare roosteromtrekken onder verschillende middelpuntbeperkingen.