Kongruente Zahlen/Gerade/Tunnell/Anzahlbedingung/Fakt

Es sei ${}n$ eine gerade quadratfreie natürliche Zahl. Es sei vorausgesetzt, dass die Vermutung von Birch und Swinnerten-Dyer stimmt. Dann sind die folgenden Aussagen äquivalent.

1. ${}n$ ist eine kongruente Zahl.
2. Es gilt

   ${\#\left({\left\{(x,y,z)\in \mathbb {Z} ^{3}\mid 4x^{2}+y^{2}+8z^{2}={\frac {n}{2}}\right\}}\right)}=2\cdot {\#\left({\left\{(x,y,z)\in \mathbb {Z} ^{3}\mid 4x^{2}+y^{2}+32z^{2}={\frac {n}{2}}\right\}}\right)}\,.$

Einen Beweis erstellen