Ich verwende die nach \(c\) aufgelöste Gleichung (siehe abakus)
\(c=(a^2+a-b^2)/b\).
Man betrachte nun die 3 möglichen Fälle
\(a=b,\quad a\leq b-1,\quad a\geq b+1\), die sich daraus ergeben,
dass \(a\) und \(b\) positive ganze Zahlen sein sollen.
Im Falle \(a=b\) bekommt man \(c=1\),
im Falle \(a\leq b-1\) ergibt sich \(c\leq -3\lt 0\), d.h. dieser Fall kommt nicht in Frage.
Im Falle \(a\geq b+1\) erhält man \(c\geq (3b+2)/b\geq 3\).
Damit ist die Behauptung bewiesen.