There is no Heron triangle with three rational medians

This paper proves the nonexistence of Heronian triangles with three integer medians by deriving a universal identity for arbitrary triangles and establishing a lemma demonstrating that such triangles, if they existed, would necessarily occur in non-similar pairs.

The Gist

Here is an explanation of Logman Shihaliev's paper, translated from dense mathematical jargon into a story you can understand over a cup of coffee.

The Big Question: The "Perfect" Triangle

Imagine you are a builder trying to construct a triangle out of wooden beams. You have three specific rules for your masterpiece:

1. The Sides: The lengths of the three beams must be whole numbers (no fractions, like 3, 4, or 5).
2. The Area: The space inside the triangle must also be a whole number (so you can tile it perfectly with square floor tiles).
3. The Medians: This is the tricky part. A "median" is a line drawn from a corner to the exact middle of the opposite side. You want these three internal lines to be whole numbers, too.

In math, a triangle with whole number sides and a whole number area is called a Heronian Triangle. The paper asks a simple question: Can you find a Heronian triangle where the three medians are also whole numbers?

For a long time, mathematicians suspected the answer was "No," but nobody could prove it. This paper claims to have finally solved the mystery.

---

Part 1: The "Mirror Image" Trick (The Lemma)

The author starts with a clever trick. He says, "Let's pretend such a triangle does exist."

He then performs a geometric magic trick. Imagine you have a triangle with whole number sides and medians. He takes that triangle and builds a second, different triangle using the same parts, but rearranged.

• The Analogy: Think of it like a puzzle. If you have a puzzle piece that fits perfectly, the author shows you how to cut it up and rearrange the pieces to make a new puzzle that looks completely different but still fits the same rules.
• The Catch: He proves that if one such triangle exists, a "twin" must also exist. They are like mirror images that aren't actually the same shape.
• The Problem: When he compares the "size" (area) of the original triangle to this new twin, the math breaks. The ratio between their sizes turns out to be a number that cannot exist in the world of whole numbers (it's like saying the area is $\sqrt{2}$ times bigger). This suggests that the very first triangle couldn't have existed in the first place.

Part 2: The Universal Rule (The Theorem)

Next, the author derives a "Universal Law" for all triangles. Think of this as a master equation that connects the sides, the medians, and the area.

• The Analogy: Imagine a scale. On one side, you have the lengths of the sides and medians. On the other side, you have the area. The author found a specific formula that says these things must balance perfectly.
• The Twist: He tests this scale with his "Perfect Triangle" (the one with all whole numbers). He plugs in the numbers and watches what happens.

The Final Showdown: The Parity Paradox

This is where the proof gets its "smoking gun." The author looks at the numbers and checks if they are Even or Odd (like checking if a number is divisible by 2).

1. The Setup: If a triangle has whole number sides and medians, the math forces the sides to be even numbers (divisible by 2).
2. The Conflict: The author runs a test. He assumes the triangle exists and checks the "Even/Odd" status of the numbers in his Universal Equation.
   • He finds that the left side of the equation is Even.
   • But the right side of the equation turns out to be Odd.
3. The Result: In math, an Even number can never equal an Odd number. It's like trying to fit a square peg into a round hole.

The Conclusion: Because the math leads to a contradiction (Even = Odd), the starting assumption must be wrong. Therefore, a triangle with whole number sides, whole number area, and whole number medians cannot exist.

The "Pythagorean" Dead End

The author also tries one last escape route. He asks, "What if the numbers form a special pattern, like the famous 3-4-5 triangle?"

He shows that even if you try to force the numbers to fit a special pattern, you run into a logical trap:

• To make the numbers work, one angle of the triangle would have to be 90 degrees.
• But because of the way the medians are arranged, another angle would also have to be 90 degrees.
• A triangle cannot have two 90-degree angles (the lines would never meet to close the shape).

The Verdict

The paper concludes with a definitive "No."

In simple terms: You can build a triangle with whole number sides and whole number area. You can build a triangle with whole number sides and whole number medians. But you cannot build a triangle that has both properties at the same time. The universe of geometry simply doesn't allow it.

The author has closed the door on this specific mathematical mystery, proving that the "Perfect Triangle" is a myth.

Technical Summary

Here is a detailed technical summary of the paper "There Are No Heronian Triangles with Three Integer Medians" by Logman Shihaliev.

1. Problem Statement

The paper addresses a long-standing open problem in number theory and geometry: Do there exist Heronian triangles (triangles with integer side lengths and integer area) that also possess three integer medians?

While it is known that triangles with integer sides and two rational medians exist, the existence of a triangle with integer sides, integer area, and three integer medians has remained an unsolved conjecture. The author aims to prove the non-existence of such triangles.

2. Methodology

The author employs a two-part approach combining geometric construction, algebraic manipulation of triangle identities, and number-theoretic parity analysis.

Part I: Geometric Lemma (The Pairing Lemma)

• Objective: To establish a structural property of triangles with rational sides and rational medians.
• Method: The author constructs a new triangle ($\Delta EFD$) from an existing triangle ($\Delta ABC$) with rational sides and medians. This is done by drawing a segment parallel to a side through a vertex, intersecting the extension of a median.
• Result: The construction yields a new triangle that is not similar to the original but shares the property of having rational sides and rational medians.
• Key Insight: The ratio of the areas of the original triangle and the constructed triangle is $3/4$. Since the ratio of areas of similar triangles must be the square of a rational number, and$3/4$ is not a perfect square, the two triangles cannot be similar. This implies that if such triangles exist, they must exist in non-similar pairs.

Part II: Derivation of a Universal Identity

• Objective: To derive a specific algebraic identity relating the sides, medians, and area of an arbitrary triangle.
• Method:
  1. The author constructs three auxiliary triangles based on the medians and the centroid of the original triangle.
  2. Using Heron's formula and the standard formulas relating sides to medians (e.g., $m_a = \frac{1}{2}\sqrt{2b^2 + 2c^2 - a^2}$), the author equates the areas of these auxiliary triangles to the original triangle's area.
  3. Through algebraic substitution and the application of Vieta's formulas (sum and product of roots), the author derives a universal identity.
• The Identity (Shihaliev's Theorem): For any triangle with medians $m_a, m_b, m_c$, sides $a, b, c$, and area $S$, the following holds for any permutation of sides:
  $$\left( \frac{m_a^2 - m_b^2}{2} \right)^2 + S^2 = \left( \frac{c \cdot m_c}{2} \right)^2$$
  (Note: The paper presents this in a slightly different notation involving squares of medians and sides, but the core structure is a Pythagorean-like relationship between the difference of squared medians, the area, and a term involving the third side and median.)

3. Key Contributions

1. Proof of the Pairing Lemma: The paper provides a geometric proof that rational triangles with rational medians cannot exist in isolation; they must exist in non-similar pairs.
2. Derivation of Shihaliev's Identity: The author establishes a new universal identity (Equation 33 in the text) that links the squared difference of two medians, the square of the area, and a term involving the third side and median. This identity is claimed to be valid for any triangle.
3. Parity Analysis: The paper applies modular arithmetic (specifically modulo 2 and 4) to the derived identity under the assumption that the triangle is Heronian with integer medians.

4. Results and Proof of Non-Existence

The core result is the proof that no Heronian triangle with three integer medians exists. The proof proceeds by contradiction:

1. Assumption: Assume a Heronian triangle exists with integer sides ($a, b, c$), integer medians ($m_a, m_b, m_c$), and integer area ($S$).
2. Parity Constraints:
   • The author argues that for such a triangle to exist, the sides must be even integers (based on the Lemma and known properties of integer triangles).
   • The area $S$ of a Heronian triangle is always an even integer.
   • The author analyzes the divisibility of sides by 4.
3. Contradiction via the Universal Identity:
   • Substituting the integer constraints into Shihaliev's Identity (Equation 35), the author treats the equation as a Pythagorean triple: $X^2 + S^2 = Y^2$.
   • Case $n=1$ (Primitive Triple): If the triple is primitive, the author derives that the triangle must have a right angle ($\angle = 90^\circ$). However, applying the identity to different permutations of sides implies that two different angles must be $90^\circ$, which is geometrically impossible in a single triangle.
   • Case $n=2$ or $n=6$: The author analyzes the parity of the terms. If sides are divisible by 4 or 2 in specific configurations, the parity of the left-hand side (difference of squared medians) and the right-hand side (involving the area) becomes inconsistent (e.g., one side is odd, the other even).
   • Specifically, the author notes that for Heronian triangles, the area is divisible by 6. The parity analysis of the derived identity leads to a contradiction where the required divisibility conditions for the sides and medians cannot be simultaneously satisfied.

5. Significance

• Resolution of an Open Problem: The paper claims to definitively solve the problem of the existence of Heronian triangles with three integer medians, concluding that none exist.
• New Mathematical Tools: The derivation of the "Universal Identity" (Shihaliev's Theorem) provides a new algebraic tool for analyzing the relationships between medians, sides, and areas in general triangles.
• Number Theory Application: The work demonstrates a novel application of modular arithmetic and parity arguments to geometric constraints, bridging the gap between Diophantine equations and Euclidean geometry.

Conclusion

Logman Shihaliev concludes that the simultaneous integrality of sides, area, and all three medians is mathematically impossible. The proof relies on the contradiction arising from the parity of terms in a newly derived universal identity, effectively ruling out the existence of such triangles.