Math-4185 · mathematics · Number theory

Math-4185

Wikipedia number-theory item 104: Congruent number problem (a corollary to Birch and Swinnerton-Dyer conjecture, per Tunnell's theorem…

Status Partially solved · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedPartially solvedOpen

Statement

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

A positive rational $q$ is congruent if there exist $a,b,c\in\mathbb Q_{>0}$ such that $a^2+b^2=c^2$ and $ab/2=q$, so that $q$ is the area of a rational right triangle. Multiplying triangle sides by $t\in\mathbb Q_{>0}$ multiplies its area by $t^2$. If $q=u/v$ is in lowest terms, then $v^2q=uv$ is an integer; removing square factors of $uv$ reduces the question to a positive squarefree integer. Equivalently, the elliptic curve $E_q:y^2=x^3-q^2x$ has a rational point with $y\ne0$.

Statement recorded in the supplied source.
Classify all positive rational numbers $q$ which are congruent, giving a necessary and sufficient characterization of the existence of the displayed rational right triangle (equivalently, of a rational point on $E_q$ with nonzero $y$). [S2]

Short English statement

Determine precisely which positive rational areas occur for right triangles with all three sides rational.

Sources

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.