Noncongruent primes congruent to three modulo eight

ID: noncongruent-primes-congruent-to-three-modulo-eight

For a prime , apply two-isogeny descent to the congruent number elliptic curve and its companion . The first square-class image is exactly , already supplied by 2-torsion. The second has only positive candidates . The quartic covering in a two-isogeny descent equations for and are impossible modulo , because is not a quadratic residue. For the equation is . Coprimality forces odd and ; modulo sixteen this gives , which is impossible. Thus the second image is trivial and the square-class index formula for two-isogeny descent gives rank zero. The same prime-reduction argument bounds its rational torsion by four, and it already has four rational 2-torsion points, so it has no rational point corresponding to a right triangle of area .

New to topics? Read the docs here!