已知是定义在R上的不恒为零的函数，且对于任意实数满足：
，,n∈N^*，考察下列结论：①②数列{a_n}为等比数列；③数列{b_n}为等差数列。其中正确的结论是