ここで,の最大公約数をとすると,
つぎに
解1 (整式の除法を用いる方法)
は2次式なので,
整式をで割った余りは1次以下の整式である.
商を,余りをとする.
はで割り切れないので右辺は定数0ではない.
つまりである.よっては
解2 (整式の整数論を用いる方法)
の解をととし,
はで割り切れるので, が因数とをもち, その結果が因数とをもつ.
ところがこれはがで割りきれることを意味し,仮定と矛盾する. よってであり,2次方程式はを重解にもつ.
解1 (整式の除法を用いる方法)
とをで割った商と余りをそれぞれととし,
とはともにの定数倍であることが示された.
解2 (整式の整数論を用いる方法)
より
次数最小のものはのときである.
解2
与式にを代入して
次数を小さくとるために,とおく. .
このとき
逆にこれは与式を満たす.
次に与式を満たす任意のと,先に求めた一組の解を与式に代入し