【２】合同数の判定アルゴリズム

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

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

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

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

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

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

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

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