There is no Heron triangle with three rational medians

Die vorliegende Arbeit beweist, dass es kein Heron-Dreieck mit drei rationalen (bzw. ganzzahligen) Seiten und drei ganzzahligen Medianen gibt, indem sie eine neue universelle Identität herleitet und ein Lemma zeigt, dass solche Dreiecke nur in nicht-ähnlichen Paaren existieren könnten.

Das Wesentliche

Hier ist eine Erklärung der wissenschaftlichen Arbeit von Logman Shihaliev, übersetzt in eine einfache, bildhafte Geschichte auf Deutsch.

Die große Jagd nach dem perfekten Dreieck

Stellen Sie sich vor, Sie sind ein Architekt, der nur mit ganzen Zahlen baut. Sie wollen ein Dreieck errichten, bei dem nicht nur die drei Wände (die Seiten) ganze Zahlen sind, sondern auch die Fläche (der Bodenbelag) eine ganze Zahl ist. In der Mathematik nennen wir so ein Dreieck ein heronisches Dreieck. Das ist schon eine ziemliche Herausforderung, aber machbar.

Jetzt kommt die echte Zwickmühle: Der Autor fragt sich, ob es ein solches Dreieck gibt, bei dem auch die drei Mittellinien (die sogenannten Mediane) ganze Zahlen sind.

• Was ist ein Median? Stellen Sie sich vor, Sie nehmen eine Seite Ihres Dreiecks, finden die exakte Mitte und ziehen eine gerade Linie von dort zur gegenüberliegenden Ecke. Das ist ein Median.
• Die Frage lautet also: Gibt es ein Dreieck, bei dem Seiten, Fläche und alle drei Mittellinien perfekte ganze Zahlen sind, ohne Brüche?

Die Antwort des Autors ist ein klares, lautes „Nein". Aber wie kommt er darauf? Er benutzt zwei clevere Tricks, die wir uns wie ein Detektivspiel vorstellen können.

---

Trick 1: Der „Zwillings-Trick" (Das Lemma)

Der Autor beginnt mit einer Beobachtung, die sich wie ein magischer Spiegel verhält.

Stellen Sie sich vor, es gäbe ein solches „perfektes" Dreieck mit ganzen Zahlen. Der Autor zeigt nun, dass wenn so ein Dreieck existiert, es unvermeidlich ein zweites, ganz anderes Dreieck geben müsste, das genau dieselben Eigenschaften hat.

• Die Analogie: Es ist, als ob Sie einen Schlüssel finden, der ein Schloss öffnet. Der Autor beweist, dass dieser Schlüssel nicht allein existieren kann. Wenn er existiert, muss es einen zweiten, fast identischen Schlüssel geben, der aber nicht genau gleich aussieht (nicht „ähnlich" ist).
• Das Problem: In der Welt der ganzen Zahlen funktioniert das nicht. Wenn man versucht, dieses „Zwillingspaar" von Dreiecken zu konstruieren, stolpert man über einen mathematischen Widerspruch. Die Flächenverhältnisse passen einfach nicht zusammen, wenn alles ganzzahlig sein soll. Es ist, als würde man versuchen, zwei identische Puzzleteile zu finden, die aber unterschiedliche Formen haben – unmöglich.

Trick 2: Die „Zauberformel" (Der Hauptsatz)

Im zweiten Teil der Arbeit entwickelt der Autor eine universelle Gleichung. Das ist wie eine Zauberformel, die für jedes Dreieck auf der Welt gilt, egal wie krumm oder schief es ist.

• Die Analogie: Stellen Sie sich vor, Sie haben eine Waage. Auf die eine Seite legen Sie die Seitenlängen und die Mittellinien, auf die andere Seite die Fläche. Der Autor hat eine Formel gefunden, die sagt: „Wenn du alles richtig ausrechnest, muss die Waage immer im Gleichgewicht sein."
• Der Clou: Er nimmt diese Formel und testet sie auf unser „perfektes" Dreieck mit ganzen Zahlen. Er prüft, ob die Zahlen auf beiden Seiten der Waage zusammenpassen, wenn man sie durch 2 oder 4 teilt (das nennt man Paritätsprüfung).

Hier passiert das „Knacken":

1. Wenn man annimmt, dass alle Seiten und Mittellinien ganze Zahlen sind, dann müssen bestimmte Seiten gerade durch 2 teilbar sein.
2. Aber wenn man die Formel anwendet, stellt man fest: Um die Gleichung zu erfüllen, müsste eine Seite durch 4 teilbar sein, während eine andere nur durch 2 teilbar ist.
3. Doch wenn man das genau durchrechnet, entsteht ein Paritäts-Desaster. Die Zahlen auf der linken Seite der Waage sind „gerade", auf der rechten Seite werden sie plötzlich „ungerade".
4. Das Ergebnis: Die Waage kippt um. Die Gleichung kann nicht stimmen.

Das Finale: Warum es das perfekte Dreieck nicht gibt

Der Autor führt uns durch verschiedene Szenarien (wie bei einem Schachspiel):

• „Was, wenn alle Seiten gerade sind?" -> Führt zu einem Widerspruch.
• „Was, wenn eine Seite durch 4 teilbar ist?" -> Führt zu einem Widerspruch.
• „Was, wenn wir versuchen, die Formel wie ein Pythagoras-Dreieck (3-4-5) zu lösen?" -> Auch hier passt es nicht.

Am Ende bleibt nur eine Schlussfolgerung übrig: Ein solches Dreieck kann in der Welt der ganzen Zahlen nicht existieren. Es ist wie der Versuch, einen perfekten Kreis aus Quadraten zu legen – es sieht vielleicht fast richtig aus, aber bei genauerem Hinsehen gibt es immer Lücken oder Überlappungen.

Zusammenfassung in einem Satz

Logman Shihaliev hat bewiesen, dass es in der Welt der Mathematik kein Dreieck gibt, bei dem alle wichtigen Maße (Seiten, Fläche und Mittellinien) gleichzeitig ganze Zahlen sind; es ist ein mathematisches „Unicorn", das es in der Realität nicht gibt.

---

Hinweis: Diese Erklärung vereinfacht die komplexen algebraischen Beweise (wie die Verwendung von Vieta's Sätzen oder Heron-Formeln) stark, um die Kernidee verständlich zu machen. Der Autor nutzt jedoch strenge mathematische Logik, um diese Schlussfolgerung zu untermauern.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers von Logman Shihaliev auf Deutsch:

Titel: Es gibt keine heronischen Dreiecke mit drei ganzzahligen Medianen

1. Problemstellung

Das Papier adressiert ein langjähriges, offenes Problem der Zahlentheorie und der euklidischen Geometrie: Die Existenz von heronischen Dreiecken (Dreiecke mit ganzzahligen Seitenlängen und ganzzahligem Flächeninhalt), die zusätzlich drei ganzzahlige Medianen besitzen.
Bisher war bekannt, dass es unendlich viele heronische Dreiecke mit zwei ganzzahligen Medianen gibt, aber der Fall mit drei ganzzahligen Medianen blieb ungeklärt. Die Arbeit zielt darauf ab, die Nichtexistenz solcher Dreiecke rigoros zu beweisen.

2. Methodik und Beweisschritte

Der Beweis gliedert sich in zwei Hauptteile: einen geometrisch-algebraischen Lemma-Beweis (Teil I) und die Herleitung einer universellen Identität, die zur Widerlegung der Existenz führt (Teil II).

Teil I: Das Lemma über rationale Dreiecke

• Aussage: Wenn ein Dreieck mit rationalen Seiten und rationalen Medianen existiert, dann existiert notwendigerweise ein zweites, nicht ähnliches Dreieck mit denselben Eigenschaften. Solche Dreiecke können demnach nur in Paaren auftreten.
• Methode: Der Autor konstruiert aus einem gegebenen Dreieck $\triangle ABC$ ein neues Dreieck $\triangle A'B'C'$ durch geometrische Transformationen (Parallelverschiebungen von Medianstücken).
• Schlussfolgerung: Durch Analyse der Flächenverhältnisse wird gezeigt, dass das Verhältnis der Flächen der beiden Dreiecke $\frac{3}{4}$ beträgt. Da $\frac{3}{4}$ keine Quadratzahl einer rationalen Zahl ist, können die Dreiecke nicht ähnlich sein. Dies etabliert eine strukturelle Eigenschaft für die Menge der rationalen Dreiecke mit rationalen Medianen.

Teil II: Der Hauptsatz und die universelle Identität

• Herleitung: Der Autor leitet eine neue, universelle Identität her, die für jedes beliebige Dreieck gilt. Diese Identität verknüpft die Quadrate der Medianen ($m_a, m_b, m_c$), die Seitenlängen ($a, b, c$) und den Flächeninhalt ($\Delta$).
• Die Identität (Shihaliev-Theorem):
  Für jede Permutation der Seiten gilt:
  $$8 \left( \frac{m_a^2}{2} \right)^2 - 8 \left( \frac{m_b^2}{2} \right)^2 + \Delta^2 = \left( \frac{m_c^2}{2} \right)^2$$
  (Hinweis: Die Notation im Papier ist komplex, die Kernaussage ist eine Beziehung, die die Quadrate der halbierten Medianen und den Flächeninhalt in eine pythagoreische Art von Gleichung zwingt.)
• Anwendung auf ganzzahlige Dreiecke:
  Der Beweis nutzt diese Identität, um Paritätsargumente (Gerade/Ungerade) und Teilbarkeitsregeln (Modulo 2 und Modulo 4) anzuwenden.
  1. Es wird angenommen, dass ein solches Dreieck existiert, bei dem Seiten, Medianen und Fläche ganzzahlig sind.
  2. Durch Analyse der Gleichung wird gezeigt, dass die Seitenlängen bestimmte Teilbarkeitsbedingungen erfüllen müssen (z. B. müssen zwei Seiten durch 2 teilbar sein, eine durch 4).
  3. Dies führt zu Widersprüchen in der Parität der Medianen und der Seitenlängen.
  4. Der Autor untersucht den Fall, dass die Gleichung eine primitive pythagoreische Tripel-Struktur bildet. Dies würde implizieren, dass zwei Winkel des Dreiecks $90^\circ$ betragen, was in einem euklidischen Dreieck unmöglich ist.

3. Wichtige Beiträge und Ergebnisse

• Neues Lemma: Der Nachweis, dass rationale Dreiecke mit rationalen Medianen nicht isoliert, sondern nur in nicht-ähnlichen Paaren existieren können.
• Shihaliev-Theorem: Die Formulierung einer neuen universellen Identität, die Seiten, Medianen und Fläche eines beliebigen Dreiecks verknüpft.
• Hauptresultat: Der endgültige Beweis, dass keine heronischen Dreiecke mit drei ganzzahligen Medianen existieren.
• Widerlegung von Annahmen: Der Beweis zeigt, dass jede Annahme über die Existenz eines solchen Dreiecks zu einem logischen Widerspruch führt (entweder durch Paritätsbrüche oder durch die Unmöglichkeit von zwei rechten Winkeln in einem Dreieck).

4. Bedeutung und Relevanz

• Lösung eines offenen Problems: Die Arbeit schließt eine Lücke in der mathematischen Literatur, die in Standardwerken wie R. K. Guys "Unsolved Problems in Number Theory" als offen gelistet war.
• Verbindung von Disziplinen: Das Papier verbindet klassische Geometrie (Eigenschaften von Medianen und Flächen) mit moderner Zahlentheorie (Diophantische Gleichungen, Paritätsanalyse, pythagoreische Tripel).
• Methodischer Fortschritt: Die Einführung der neuen universellen Identität bietet ein potentielles Werkzeug für zukünftige Untersuchungen zu ganzzahligen Dreiecken und verwandten geometrischen Problemen.

Zusammenfassendes Fazit

Logman Shihaliev beweist durch eine Kombination aus geometrischer Konstruktion und tiefgehender algebraischer Analyse, dass die Bedingung, dass ein Dreieck gleichzeitig ganzzahlige Seiten, einen ganzzahligen Flächeninhalt und drei ganzzahlige Medianen besitzt, mathematisch unmöglich ist. Damit ist die Existenzklasse der "heronischen Dreiecke mit drei ganzzahligen Medianen" als leer erwiesen.