【１】タネルの定理（合同数の判定アルゴリズム）

　Ａ＝１，２，３，４は合同数ではなく，Ａ＝５，６，７は合同数であるが，与えられた正の整数Ａが合同数であるかどうかを判定する手順については，タネルの定理（１９８３）

　「Ａを平方因子をもたない正の奇数とすると，Ａが合同数ならば

　　２ｘ^2＋ｙ^2＋８ｚ^2＝Ａを満たす（ｘ，ｙ，ｚ）の組数は，２ｘ^2＋ｙ^2＋３２ｚ^2＝Ａを満たす（ｘ，ｙ，ｚ）の組数の２倍に等しい．（ＢＳＤ予想が正しいならば逆も成立する．）」

　たとえば，Ａ＝１０１（合同数）の場合，Ａ＝５（ｍｏｄ８）であるが，

　　２ｘ^2＋ｙ^2＋８ｚ^2＝Ａ→０組

　　２ｘ^2＋ｙ^2＋３２ｚ^2＝Ａ→０組

非自明解そのものを与えることはできないものの，合同数か否かの判定は可能である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ｆ（Ａ）＝＃｛（ｘ，ｙ，ｚ）｜２ｘ^2＋ｙ^2＋８ｚ^2＝Ａ｝

　ｇ（Ａ）＝＃｛（ｘ，ｙ，ｚ）｜２ｘ^2＋ｙ^2＋３２ｚ^2＝Ａ｝

　ｈ（Ａ）＝＃｛（ｘ，ｙ，ｚ）｜４ｘ^2＋ｙ^2＋８ｚ^2＝Ａ／２｝

　ｋ（Ａ）＝＃｛（ｘ，ｙ，ｚ）｜４ｘ^2＋ｙ^2＋３２ｚ^2＝Ａ／２｝

　平方因子を含まないＡに対して，タネルの定理が適用できる．＃は（ｘ，ｙ，ｚ）の個数を表す．Ａが奇数のとき，Ａが合同数であればｆ（Ａ）＝２ｇ（Ａ）のであるが，Ａが偶数のとき，Ａが合同数であればｈ（Ａ）＝２ｋ（Ａ）となつというのがタネルの定理である．

　たとえば，ｈ（２）＝２，ｋ（２）＝２→Ａ＝２は合同数ではない．

　多ネルの定理の逆，たとえば，

　　ｆ（５）＝０，ｇ（５）＝０→Ａ＝５は合同数である．

が成り立つためには，ＢＳＤ予想が正しいことを仮定し泣け騾馬ならないのである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝