Abstract:We give a new and self-contained proof for an alternative form of Tunnell’s theorem on congruent numbers. The proof relies on more knowledge on quadratic forms with less calculation than Tunnell’s proof. The approach is based on our observation that the equality $$\#\{(x,y,z,w) \in \mathbb {Z}^4|p=2x^2+3y^2+3z^2+4w^2+2yz\}=\#\{(x,y,z) \in \mathbb {Z}^3|p^2=2x^2+4y^2+9z^2-4yz\}$$ holds for any odd prime p. The same method is applied to the elliptic curves $$E_n:~y^2=x^3+n^2x$$ and $$E_{n}:~~y^2=x(x-n)(x+3n)(E_{-n}:~~y^2=x(x+n)(x-3n))$$ ( $$\pi /3$$ ( $$2\pi /3$$ )-congruent elliptic curves), where we list, without proof, the analogous results. A series of criteria for congruent numbers are given. In particular, for a prime p, we show that if $$p\equiv 1\pmod {8}$$ is a congruent number then the 8-rank of $$K_2O_{\mathbb {Q}(\sqrt{p})}$$ equals one; if $$p\equiv 1\pmod {16}$$ with $$h(-p)\not \equiv h(-2p)\pmod {16}$$ then 2p is not a congruent number; and if $$p\equiv 1, q\equiv 3\pmod {8}$$ are two primes with $$h(-pq)\not \equiv h(-p)\pmod {8}$$ then pq is not a congruent number.

OnTame Kerneland Class Group Intermsof Quadratic Forms

The Structure of the Tame Kernels of Quadratic Number Fields (I)

On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

The 2-Sylow subgroup of K2OF for number fields F

The 2-Sylow subgroups of the tame kernel of imaginary quadratic fields

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

The 8-rank of tame kernels of quadratic number fields

An application of Birch-Tate formula to tame kernels of real quadratic number fields

A Remark on Computing the Tame Kernel of Quadratic Imaginary Fields

On indefinite and potentially universal quadratic forms over number fields

Congruent Numbers, Quadratic Forms and $$K_2$$

Hasse-Minkowski theorem for quadratic forms on groups

The tame kernels of number fields

Two refined notions in quadratic form theory

Topographs for binary quadratic forms and class numbers

On the 3-rank of tame kernels of certain pure cubic number fields

ON THE 3-DIVISIBILITY OF THE ORDER OF THE TAME KERNELS FOR REAL QUADRATIC FIELDS

A binary quadratic approach to $X^2+(2k-1)^Y=k^Z$

The classification and representations of positive definite ternary quadratic forms of level 4N

2-SYLOW SUBGROUPS OF K2OF FOR REAL QUADRATIC FIELDS-F