数列an为等差数列的充要条件是3A-B+C=0 证明,