证明：

反证法

假设a²-a<0,则

a(a-1)<0

0<a<1

显然a不是整数,与a是整数矛盾

所以假设不成立

所以a为整数时a²-a≥0