フェルマーやオイラーはx^2+my^2型の場合を研究したが、、その後、ルジャンドルやガウスは

aｘ^2＋bxｙ+cy^2型の場合を研究した。

一般に、

aｘ^2＋bxｙ+cy^2＝n

がZ^2に解をもつか否かを判定するアルゴリズムが存在する。

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