>>73
誤：β ≠ 0 としたら、f(n) が平方数とならないようなαをとって
くることが可能である。
正：β ≠ 0 としたら、f(n) が平方数とならないようなn が存在する。

こうだったか。
a, b, c は特定の条件を満たした整数のはずで、α、βはa, b, c で表現
されるものだから、α、βも何かの条件を満たすはずだ、という方針。