无穷数列{an}为等比数列的充要条件是什么?