已知{an}为等差数列,首项与公差均为非负整数,且满足