pith. sign in

arxiv: 2605.22458 · v1 · pith:QNE4SVEQnew · submitted 2026-05-21 · 🧮 math.NT

A Complete Characterization of Heron Triangles with Two Perfect Square Sides and the All-Square Equivalence Condition

Yangcheng Li This is my paper

Pith reviewed 2026-05-22 03:25 UTC · model grok-4.3

classification 🧮 math.NT
keywords Heron trianglesperfect square sideselliptic curvesprimitive Heron trianglesrational pointsgenus 3 curvesDiophantine equations
0
0 comments X

The pith

Heron triangles with two perfect square sides are completely characterized by rational points on a specific elliptic curve, yielding infinitely many primitive examples.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper gives a complete characterization of Heron triangles that have two sides which are perfect squares. It transforms the conditions for integer sides and integer area into the Weierstrass equation of an elliptic curve, allowing all solutions to be found through its rational points. From this, the author derives parametric families that generate primitive Heron triangles and concludes there are infinitely many such triangles. For the case where all three sides are perfect squares, the problem reduces to locating rational points on certain curves of genus 3, suggesting that only finitely many exist. A sympathetic reader cares because the results settle questions of existence and provide explicit ways to construct these special triangles.

Core claim

Using a specific elliptic curve, we completely characterize all Heron triangles with two sides that are perfect squares, and obtain a family of parametric solutions that yield primitive Heron triangles. This implies that there are infinitely many primitive Heron triangles having two sides as perfect squares. For all three sides perfect squares, an equivalent condition reduces to finding non-trivial rational points on a family of algebraic curves of genus 3, leading us to believe that only finitely many such Heron triangles exist.

What carries the argument

The transformation of the Heron triangle equations with two square sides to the Weierstrass model of a specific elliptic curve, whose rational points correspond to all such triangles.

If this is right

  • Every rational point on the elliptic curve gives a Heron triangle with two square sides.
  • The parametric solutions from the curve points produce infinitely many distinct primitive Heron triangles.
  • Heron triangles with all three sides as perfect squares correspond to non-trivial rational points on a family of genus-3 algebraic curves.
  • If the genus-3 curves have only finitely many rational points, then only finitely many all-square Heron triangles exist.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Explicit examples can be generated by finding rational points of small height on the elliptic curve.
  • The approach may generalize to cases with one or zero square sides by similar elliptic curve methods.
  • These characterizations connect geometric triangle problems to the arithmetic of elliptic curves and higher-genus curves.

Load-bearing premise

The change of variables from the original equations for sides and area to the Weierstrass form of the elliptic curve is birational and accounts for all positive integer solutions without missing or adding extraneous ones.

What would settle it

Discovery of a Heron triangle with two perfect square sides whose side lengths and area do not correspond to any rational point on the specified elliptic curve would falsify the completeness of the characterization.

Figures

Figures reproduced from arXiv: 2605.22458 by Yangcheng Li.

Figure 1
Figure 1. Figure 1: A rational triangle with all three sides being perfect squares. Suppose the length of side |V1V3| is p 2 and the length of side |V2V3| is q 2 , where p, q are rational numbers. Since we are considering rational triangles, we may apply [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
read the original abstract

A Heron triangle is a triangle whose side lengths and area are all positive integers. If the greatest common divisor of the three side lengths is $1$, it is called a primitive Heron triangle. In this paper, we give an equivalent condition for Heron triangles with all three sides being perfect squares, which reduces to finding non-trivial rational points on a family of algebraic curves of genus $3$. This leads us to believe that only finitely many Heron triangles with three perfect square sides exist. Using a specific elliptic curve, we completely characterize all Heron triangles with two sides that are perfect squares, and obtain a family of parametric solutions that yield primitive Heron triangles. This implies that there are infinitely many primitive Heron triangles having two sides as perfect squares.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to provide an equivalent condition for Heron triangles with all three sides perfect squares, reducing the problem to non-trivial rational points on a family of genus-3 algebraic curves and suggesting only finitely many exist. For Heron triangles with exactly two sides that are perfect squares, it asserts a complete characterization via reduction to a specific elliptic curve, together with a family of parametric solutions that produce infinitely many primitive Heron triangles.

Significance. If the birational reduction and positivity/integrality checks hold, the two-square case supplies an explicit elliptic-curve parametrization of a previously open Diophantine problem, yielding a concrete infinite family of primitive Heron triangles with two square sides. The genus-3 reduction for the three-square case supplies a plausible finiteness heuristic that could be tested by further descent or Chabauty methods.

major comments (2)
  1. [§3] §3, reduction to Weierstrass model: the manuscript must exhibit the explicit change of variables from the system (a = x², b = y², c, s integer, triangle inequalities) to the Weierstrass equation of E and prove that the map is birational over Q, so that every rational point on E produces a valid positive-area integer-sided triangle and conversely.
  2. [Theorem 4.2] Theorem 4.2 (parametric solutions): the claim that every rational point on the chosen elliptic curve yields a primitive Heron triangle requires an explicit check that the resulting sides are positive integers, the area is a positive integer, and the strict triangle inequalities hold; points at infinity or with s ≤ 0 must be filtered out.
minor comments (2)
  1. [§3] Notation for the elliptic curve E should be fixed once at the beginning of §3 rather than redefined in each subsequent statement.
  2. [Introduction] The abstract states that the two-square case 'completely characterize[s]' all such triangles; the introduction should clarify whether this includes non-primitive triangles or only the primitive ones generated by the parametric family.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable suggestions. We address the major comments point by point and indicate where revisions will be made to strengthen the manuscript.

read point-by-point responses

  1. Referee: [§3] §3, reduction to Weierstrass model: the manuscript must exhibit the explicit change of variables from the system (a = x², b = y², c, s integer, triangle inequalities) to the Weierstrass equation of E and prove that the map is birational over Q, so that every rational point on E produces a valid positive-area integer-sided triangle and conversely.

    Authors: We agree with the referee that the birational reduction requires explicit documentation. In the revised version, we will provide the complete change of variables that maps the Diophantine system for Heron triangles with a = x² and b = y² to the Weierstrass model of the elliptic curve E. Additionally, we will prove the birational equivalence over Q, demonstrating that non-degenerate rational points on E correspond precisely to positive integer solutions satisfying the triangle inequalities and yielding positive area. revision: yes

  2. Referee: [Theorem 4.2] Theorem 4.2 (parametric solutions): the claim that every rational point on the chosen elliptic curve yields a primitive Heron triangle requires an explicit check that the resulting sides are positive integers, the area is a positive integer, and the strict triangle inequalities hold; points at infinity or with s ≤ 0 must be filtered out.

    Authors: The referee correctly identifies the necessity of verifying the integrality and positivity conditions for the parametric solutions. We will revise the manuscript to include explicit checks for each rational point on the elliptic curve: confirming that the derived sides are positive integers, the area is a positive integer, and the strict triangle inequalities are satisfied. We will also specify the filtering of the point at infinity and any points where s ≤ 0 to ensure only valid primitive Heron triangles are generated. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard elliptic curve reduction is self-contained

full rationale

The paper reduces the integer side and area conditions for Heron triangles with two square sides to rational points on a Weierstrass model via algebraic transformations. This is a conventional Diophantine technique that does not define the target solutions in terms of themselves, fit parameters to a subset and rename them as predictions, or rely on load-bearing self-citations. The claim of complete characterization and infinitude rests on the geometry of the curve and its rank, which are independent of the specific Heron solutions being sought. No quoted step equates a derived quantity to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard arithmetic geometry toolkit: the theory of elliptic curves over Q, the birational equivalence between the triangle equations and the Weierstrass model, and the expectation that genus-3 curves have finitely many rational points. No free parameters or newly invented entities are introduced.

axioms (2)
  • domain assumption The map from integer-sided Heron triangles with two square sides to rational points on the chosen elliptic curve is bijective (up to scaling).
    This equivalence is the load-bearing step that allows the complete characterization.
  • standard math Standard properties of elliptic curves over the rationals (Mordell-Weil theorem, rank computation) apply without additional restrictions.
    Invoked implicitly when the author extracts a parametric family from the curve.

pith-pipeline@v0.9.0 · 5648 in / 1497 out tokens · 35657 ms · 2026-05-22T03:25:27.015552+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

  1. [1]

    R. H. Buchholz and R. L. Rathbun, An infinite set of Heron triangles with two rational medians,The American Mathematical Monthly,104(2)(1997), 107–115

    work page 1997

  2. [2]

    R. K. Guy, Unsolved problems in number theory, Third ed., Problem Books in Mathematics, Springer-Verlag, New York, 2004

    work page 2004

  3. [3]

    A. N. W. Hone, Heron triangles with two rational medians and Somos-5 sequences,European Journal of Mathematics,8(2022), 1424–1486

    work page 2022

  4. [4]

    Lagneau, Integer areas of integer-sided triangles where two sides are of square length, https://oeis.org/A232461, 2013

    M. Lagneau, Integer areas of integer-sided triangles where two sides are of square length, https://oeis.org/A232461, 2013

    work page 2013

  5. [5]

    Y. C. Li, An Infinite Family of Primitive Heron Triangles with Two Sides as Perfect Squares, arXiv:2601.17317

    work page arXiv

  6. [6]

    J. Y. Peng and Y. Zhang, Heron triangles with figurate number sides,Acta Mathematica Hungarica,57 (2)(2019), 478–488

    work page 2019

  7. [7]

    R. L. Rathbun, Second primitive Heron triangle with square sides found, https://listserv.nodak.edu/cgi-bin/wa.exe?A2=NMBRTHRY;e7c96423.1804, 2018

    work page arXiv 2018

  8. [8]

    K. R. S. Sastry, A Heron difference,Crux Mathematicorum,27(1)(2001), 22–26

    work page 2001

  9. [9]

    J. F. Sawyer and C. A. Reiter, Perfect parallelepipeds exist,Mathematics of computation, 80(274)(2011), 1037–1040

    work page 2011

  10. [10]

    B. D. Sokolowsky, A. G. Vanhooft, R. M. Volkert, and C. A. Reiter, An infinite family of perfect parallelepipeds,Mathematics of computation,83(289)(2014), 2441–2454

    work page 2014

  11. [11]

    Sierpi´ nski, Sur les nombres triangulaires carr´ es,Bull

    W. Sierpi´ nski, Sur les nombres triangulaires carr´ es,Bull. Soc. Royale Sciences Li`ege,30 (1961), 189–194

    work page 1961

  12. [12]

    Sierpi´ nski, Elementary theory of numbers, Wroclawska Drukarnia Naukowa (Warzawa, 1964)

    W. Sierpi´ nski, Elementary theory of numbers, Wroclawska Drukarnia Naukowa (Warzawa, 1964)

    work page 1964

  13. [13]

    St˘ anic˘ a, S

    P. St˘ anic˘ a, S. Sarkar, S. S. Gupta, S. Maitra and N. Kar, Counting Heron triangles with Constraints,Integers,13(2013), #A3. School of Mathematical Sciences, South China Normal University, Guangzhou 510631, People’s Republic of China Email address:liyc@m.scnu.edu.cn

    work page 2013