There is no Heron triangle with three rational medians

Dit artikel bewijst dat er geen Heron-driehoeken bestaan met drie gehele medianen, door een universele identiteit af te leiden en een lemma te tonen dat dergelijke driehoeken, indien ze bestonden, enkel in paren zouden voorkomen.

De kern

Titel: Het onmogelijke driehoeksprobleem: Waarom sommige driehoeken nooit bestaan

Stel je voor dat je een driehoek tekent. In de wiskunde zijn er speciale driehoeken die we "Heroniaanse driehoeken" noemen. Dit zijn driehoeken met drie eigenschappen die ze heel bijzonder maken:

1. Alle drie de zijden zijn hele getallen (geen breuken of decimalen).
2. De oppervlakte is ook een heel getal.
3. De drie lijnen die van een hoekpunt naar het midden van de tegenoverliggende zijde gaan (de medianten of zwaartelijnen), zijn ook hele getallen.

Het artikel van Logman Shihaliev beweert iets heel krachtigs: Dergelijke driehoeken bestaan niet. Het is als proberen een vierkant te tekenen dat tegelijkertijd een cirkel is; het is wiskundig onmogelijk.

Hier is hoe de auteur dit bewijst, vertaald in een verhaal met simpele metaforen:

Deel 1: De "Tweeling"-Truc (Het Lemma)

De auteur begint met een slimme truc. Hij zegt: "Stel je voor dat zo'n perfecte driehoek wél bestaat. Wat gebeurt er dan?"

Hij toont aan dat als je zo'n driehoek hebt, je er automatisch een tweede, heel andere driehoek mee kunt maken die precies dezelfde eigenschappen heeft (hele getallen voor zijden en medianten), maar die er anders uitziet.

• De metafoor: Denk aan een spiegelbeeld. Als je een spiegel voor een object houdt, zie je een tweede object. De auteur zegt: "Als er één van deze magische driehoeken is, moet er per se een 'tweeling' zijn die er niet op lijkt."
• Het probleem: Hij bewijst vervolgens dat deze twee driehoeken een raadselachtige relatie hebben met hun oppervlaktes. De verhouding tussen hun oppervlaktes is een breuk die niet kan worden geschreven als het kwadraat van een heel getal. In de wiskunde is dit een groot "nee". Het is alsof je probeert een vierkant te maken met een oppervlakte van 2; je kunt de zijde niet als een mooi, heel getal schrijven. Dit suggereert al dat er iets mis is met de aanname dat zo'n driehoek bestaat.

Deel 2: De Universele Formule (De Theorema)

Vervolgens gaat de auteur aan de slag met een enorme wiskundige formule. Hij bouwt een soort "universele sleutel" die voor elke driehoek werkt, of het nu een kleine of een grote is.

• De metafoor: Stel je voor dat elke driehoek een slot is. De auteur heeft een sleutel (een formule) gemaakt die precies past in het slot van elke mogelijke driehoek. Deze formule verbindt de zijden, de medianten en de oppervlakte met elkaar.
• De ontdekking: Als je deze formule invult met de eisen voor onze "magische" driehoek (allemaal hele getallen), begint het slot te knarsen. De formule laat zien dat de getallen die je nodig hebt om de oppervlakte te berekenen, in strijd zijn met de getallen die je nodig hebt voor de medianten.

Deel 3: Het Pariteits-Paradox (Waarom het mislukt)

Dit is het hart van het bewijs. De auteur kijkt naar de "evenheid" van de getallen (zijn ze even of oneven?).

• De metafoor: Stel je voor dat je probeert een puzzel te leggen waarbij alle stukjes ofwel rood (even) ofwel blauw (oneven) moeten zijn.
  • De auteur laat zien dat als je een driehoek bouwt met hele getallen, de zijden en medianten een heel specifiek patroon van rood en blauw moeten hebben.
  • Maar de formule uit Deel 2 eist een ander patroon.
  • Het is alsof je probeert een sokkenkast te vullen met alleen rode sokken, maar de formule eist dat er op een bepaald moment een blauwe sok bij moet zitten.

Het cruciale moment:
De auteur toont aan dat er twee scenario's zijn:

1. Als de zijden niet door 4 deelbaar zijn, moet de oppervlakte en de medianten een bepaalde evenheid hebben die niet klopt.
2. Als ze wel door 4 deelbaar zijn, krijg je een andere tegenstrijdigheid.

Het resultaat is dat de formule (de universele sleutel) nooit kan kloppen als we eisen dat alles een heel getal is. De getallen "sluiten" niet op elkaar aan.

De Conclusie: De Onmogelijke Driehoek

De auteur sluit af met een definitief oordeel:
Omdat de universele formule altijd leidt tot een tegenstrijdigheid (een wiskundige "paradox"), kunnen we concluderen dat de uitgangspunten onmogelijk zijn.

In het kort:
Je kunt een driehoek maken met hele getallen voor de zijden en de oppervlakte. Je kunt een driehoek maken met hele getallen voor de zijden en de medianten. Maar je kunt nooit een driehoek maken die aan allebei de eisen tegelijk voldoet. Het is een wiskundige onmogelijkheid, net als het proberen te vinden van een rechte cirkel.

De auteur heeft hiermee een oud raadsel opgelost: er zijn geen Heroniaanse driehoeken met drie hele medianten. De "magische driehoek" bestaat alleen in onze verbeelding, niet in de wiskundige werkelijkheid.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "There are no Heronian triangles with three integer medians" van Logman Shihaliev, geschreven in het Nederlands.

Titel: Er bestaan geen Heronische driehoeken met drie gehechte medianen

Auteur: Logman Shihaliev
Onderwerp: Getaltheorie, Meetkunde, Diophantische vergelijkingen

---

1. Probleemstelling

Het artikel adresseert een langdurig openstaand probleem in de wiskunde: het bestaan van Heronische driehoeken met drie gehechte medianen.

• Een Heronische driehoek is een driehoek met gehechte zijden en een geheel getal als oppervlakte.
• De vraag is of er een driehoek bestaat waarbij niet alleen de zijden en de oppervlakte geheel zijn, maar ook de drie medianen ($m_a, m_b, m_c$) gehele getallen zijn.
• Hoewel er voorbeelden zijn van Heronische driehoeken met twee rationale medianen, is het bestaan van een driehoek met drie gehechte medianen nooit bewezen of weerlegd tot dit artikel.

2. Methodologie

De auteur hanteert een tweeledige aanpak die bestaat uit een meetkundige constructie (Deel I) en een algebraïsche analyse met behulp van een nieuwe identiteit (Deel II).

Deel I: Het Lemma over rationale driehoeken

• Constructie: De auteur beschouwt een driehoek $\triangle ABC$ met rationale zijden en rationale medianen. Door een specifieke meetkundige constructie (het trekken van een lijn evenwijdig aan een zijde via een punt op een verlengde mediaan) wordt een tweede driehoek $\triangle A'B'C'$ geconstrueerd.
• Resultaat: Het bewijs toont aan dat als er een driehoek bestaat met rationale zijden en medianen, er noodzakelijkerwijs een tweede, niet-gelijkvormige driehoek moet bestaan met dezelfde eigenschappen.
• Oppervlakte-argument: De verhouding van de oppervlakten van deze twee driehoeken is $3/4$. Aangezien de verhouding van de oppervlakten van gelijkvormige driehoeken het kwadraat van de gelijkvormigheidsfactor moet zijn, en$3/4$ geen kwadraat van een rationaal getal is, volgt hieruit een beperking op de structuur van dergelijke driehoeken. Dit lemma stelt dat dergelijke driehoeken alleen in paren kunnen voorkomen.

Deel II: De Theorema en de Universele Identiteit

• Afleiding: De auteur leidt een universele identiteit af die geldt voor elke willekeurige driehoek. Deze identiteit koppelt de zijden ($a, b, c$), de medianen ($m_a, m_b, m_c$) en de oppervlakte ($\Delta$) aan elkaar.
• De Identiteit (Shihaliev's Theorema): Voor elke permutatie van de zijden geldt:
  $$\left( \frac{m_a^2 - m_b^2}{2} \right)^2 + \Delta^2 = \left( \frac{m_c^2}{2} \right)^2 \cdot c^2$$
  (Opmerking: De notatie in het artikel is complex, maar de kern is een relatie die lijkt op de stelling van Pythagoras, waarbij termen van medianen en zijden worden gecombineerd met de oppervlakte).
• Analyse van gehele getallen: De auteur analyseert deze identiteit onder de aanname dat alle zijden, medianen en de oppervlakte gehele getallen zijn. Er wordt gebruikgemaakt van pariteitsargumenten (modulair rekenen, specifiek modulo 2 en 4) en eigenschappen van Pythagorese drietallen.

3. Belangrijkste Bijdragen

1. Nieuw Lemma: Het bewijs dat rationale driehoeken met rationale medianen alleen in niet-gelijkvormige paren kunnen bestaan.
2. Nieuwe Identiteit: De formulering van een universele identiteit (de "Shihaliev-identiteit") die een directe algebraïsche link legt tussen de kwadraten van de medianen, de zijden en de oppervlakte.
3. Pariteitsanalyse: Een strikt bewijs dat toont dat de eisen voor gehele getallen (zijden, medianen, oppervlakte) in deze identiteit leiden tot een onoplosbare contradictie in termen van deelbaarheid door 2 en 4.

4. Resultaten

Het centrale resultaat van het artikel is het bewijs dat er geen Heronische driehoeken bestaan met drie gehechte medianen.

De redenering verloopt als volgt:

• Uit de afgeleide identiteit volgt dat als er een dergelijke driehoek zou bestaan, de termen moeten voldoen aan de structuur van een primitief Pythagorees drietal.
• Door de oppervlakteformule van Heron en de eisen voor gehele getallen te combineren, concludeert de auteur dat de zijden en medianen specifieke deelbaarheidsregels moeten volgen (bijvoorbeeld: twee zijden deelbaar door 2, één door 4).
• De analyse van de pariteit (even/oneven) van de termen in de universele identiteit leidt tot een contradictie:
  • Als men aanneemt dat de zijden en medianen geheel zijn, moet de term $\frac{m_a^2 - m_b^2}{2}$ even zijn.
  • Echter, op basis van de eisen voor Heronische driehoeken (waarbij de oppervlakte deelbaar is door 6 en specifieke modulo-eigenschappen heeft), blijkt deze term oneven te zijn.
  • Een Pythagorees drietal kan niet bestaan met een oneven en een even term op de manier die door de identiteit wordt opgelegd zonder dat de oppervlakte of de zijden geen gehele getallen zijn.
• Specifiek wordt aangetoond dat voor elke mogelijke configuratie van de zijden (bijv. $n=1, 2, 3, 6$ in de context van Pythagorese generatoren), er een tegenstrijdigheid ontstaat (bijvoorbeeld twee hoeken die beide $90^\circ$ zouden moeten zijn, wat onmogelijk is in een driehoek).

5. Betekenis en Conclusie

Dit artikel claimt een definitief antwoord te geven op een probleem dat decennialang open stond in de getaltheorie en meetkunde.

• Wiskundige Impact: Het sluit de mogelijkheid uit van een specifieke klasse van "perfecte" driehoeken (gehele zijden, gehele medianen, geheel oppervlak).
• Methodologische waarde: De introductie van de universele identiteit biedt een nieuw instrument voor het analyseren van relaties tussen medianen en zijden in driehoeken.
• Conclusie: Er bestaan geen Heronische driehoeken met drie gehechte medianen. De enige mogelijke configuraties met rationale medianen zijn beperkt tot situaties met maximaal twee rationale medianen, of vereisen dat de driehoek niet aan alle integer-eisen voldoet.

Opmerking: Hoewel het artikel een rigoureuze afleiding presenteert, is het belangrijk te noteren dat dit een bewering is van de auteur. In de wiskundige gemeenschap zouden dergelijke claims over open problemen doorgaans een grondige peer-review door experts in Diophantische meetkunde vereisen voordat ze als algemeen geaccepteerd bewijs worden beschouwd.