数列{an}成等差数列的充要条件