Abstract:The subject of this article is the proof that the Heron triangle with three integer medians does not exist. The article provides proofs of three lemmas. As a result, the infinite descent method proved that the Heron triangle with three integer medians does not exist. In the process of proving Lemma 3, the fact was used that there is no right-angled Heron triangle with three integer medians. And then it is proved that there is no Heron triangle with three natural medians. The relevance of this article lies in the fact that the problem under study is one of the unsolved problems of number theory.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that there is no Heron triangle with three integer medians. Specifically, the goal of the paper is to prove that there does not exist a triangle that simultaneously satisfies the following conditions:
- The three sides are integers.
- The three medians are integers.
- The area is an integer.
### Main content and conclusions of the paper
#### 1. Introduction
The paper first poses the question: Does there exist a triangle whose three sides, three medians, and area are all integers? This is an unsolved number - theory problem.
#### 2. Main theorems and lemmas
To prove that the answer to the above question is negative, the author argues through the following three lemmas:
**Lemma 1**:
For any triangle with rational side lengths and medians, there exists another non - similar triangle that also has rational side lengths and medians.
**Lemma 2**:
If the three sides and medians of a triangle are all integers, and at least one median is a multiple of 3, then all medians are multiples of 3.
**Lemma 3**:
Suppose there exists a triangle whose three sides, medians, and area are all integers, then at least one median is a multiple of 3.
#### 3. Theorem proof
Based on the above lemmas, the author uses the infinite descent method to prove the main theorem. The specific steps are as follows:
1. **Assume the existence of a smallest triangle satisfying the conditions**:
Assume that there exists a triangle \( \triangle ABC \) with integer side lengths, medians, and area, and it is the one with the smallest area among all triangles satisfying the conditions.
2. **Construct a new triangle**:
According to Lemma 1, a new triangle \( \triangle A'B'C' \) can be constructed, which also has integer side lengths, medians, and area.
3. **Verify the properties of the new triangle**:
- According to Lemma 2 and Lemma 3, all medians are multiples of 3.
- The area of the new triangle is smaller than that of the original triangle, which contradicts the assumption that the original triangle is the smallest.
4. **Draw a conclusion**:
By repeating the above process, eventually an integer triangle with an area less than 1 will be obtained, which is impossible. Therefore, the assumption is not valid, that is, there is no Heron triangle with three integer medians.
### Conclusion
Through strict mathematical reasoning and lemma proofs, the paper finally concludes that there is no Heron triangle with three integer medians. This result fills an important gap in the field of number theory.