已知向量，当x＞0时，定义函数．
（1）求函数y=f（x）的反函数y=f-1（x）；
（2）数列{an}满足：a1=a＞0，an+1=f（an），n∈N*，Sn为数列{an}的前n项和，
①证明：Sn＜2a；
②当a=1时，证明：．
网友回答
解：由题意得（x＞0）
令x=tanα，则
由于，所以，即函数f（x）的值域为（0，1）
（1）由y2-2xy+x2=y2+y2x2
于是解得，所以原函数的反函数（0＜x＜1）
（2）证明：因为a1=a＞0，an+1=f（an），n∈N*，所以
∴，所以=
②因为an+1=f（an），所以an=f-1（an+1）
所以，又由原函数的值域知an+1∈（0，1）
所以，则
进而，所以
于是
解析分析：由题意得（x＞0），令x=tanα，则，由于，所以，即函数f（x）的值域为（0，1）（1）由，反解x可得，所以原函数的反函数（0＜x＜1）（2）因为a1=a＞0，an+1=f（an），n∈N*，所以①利用放缩法．，所以=②因为an+1=f（an），所以an=f-1（an+1），所以，又由原函数的值域知an+1∈（0，1），所以，则，进而，所以于是可得结论．
点评：本题以新定义为载体，考查函数及反函数的求解，考查不等式的证明，解题的关键是适当放缩，难度较大．