二次方程式の判別式は 4c−3 である。異なる実数解 α<β をもつので 4c−3>0。解の公式と解と係数の関係から α=2−1−4c−3,β=2−1+4c−3,α+β=−1. これを aα+bβ+c=0 に代入し、a+b=c2 を用いると −2a+b+2b−a4c−3+c=0,b−a=4c−3c(c−2). これが (1) の答え。
(2) d=4c−3 とおく。a,b,c は自然数で d(b−a)=c(c−2). もし b−a=0 なら d=c(c−2)/(b−a) は有理数となる。有理数でその平方が整数である数は整数なので、d は自然数となり仮定に反する。よって b−a=0、また c(c−2)=0。4c−3>0 と自然数条件から c≧1 であるため c=2。さらに a+b=4 と b−a=0 より a=b=2。
(3) 4c−3=s2 なら s2≡1(mod4) なので s は奇数で、 c=4s2+3,s(b−a)=c(c−2),2a=c2−sc(c−2). さらに c2=16s4+6s2+9,c(c−2)=16s4−2s2−15. 最後の等式に 16s を掛けると 32as=s(s4+6s2+9)−(s4−2s2−15)=s5−s4+6s3+2s2+9s+15. したがって s5−s4+6s3+2s2+(9−32a)s=−15.
(4) (3) の式を整理すると 32as=s5−s4+6s3+2s2+9s+15. 左辺と右辺の15以外の各項は s の倍数だから s∣15。よって s=1,3,5,15。 scab11103345572128155715201729 自然数 b は正なので s=1 を除く。残る組は (a,b,c)=(4,5,3),(21,28,7),(1520,1729,57). 各組は a+b=c2 と s(b−a)=c(c−2) を満たす。4c−3=s と (1) の関係に戻せば aα+bβ+c=0 も成り立つので、3組はいずれも条件を満たす。