%0 Journal Article %T BellĄ¯s Ternary Quadratic Forms and TunnelĄ¯s Congruent Number Criterion Revisited %A Werner H¨šrlimann %J Advances in Pure Mathematics %P 267-277 %@ 2160-0384 %D 2015 %I Scientific Research Publishing %R 10.4236/apm.2015.55027 %X
BellĄ¯s theorem determines the number of
representations of a positive integer in terms of the ternary quadratic forms x2+by2+cz2 with b,c {1,2,4,8}. This number depends only on the number of
representations of an integer as a sum of three squares. We present a modern
elementary proof of BellĄ¯s theorem that is based on three standard Ramanujan
theta function identities and a set of five so-called three-square identities
by Hurwitz. We use BellĄ¯s theorem and a slight extension of it to find explicit and finite computable expressions
for TunnelĄ¯s congruent number criterion. It is known that this criterion
settles the congruent number problem under the weak Birch-Swinnerton-Dyer conjecture.
Moreover, we present for the first time an unconditional proof that a
square-free number n
3(mod 8) is not congruent.