正实数x1,x2及函数f(x)满足4的x次方=[1+f(x)]/[1-f(x)] 且f(x1)+f(x2)=1 则f(x1+x2)的最小值为( )

题目

正实数x1,x2及函数f(x)满足4的x次方=[1+f(x)]/[1-f(x)] 且f(x1)+f(x2)=1 则f(x1+x2)的最小值为( )
因为4^x=(1+f(x))/(1-f(x)),所以f(x)=(4^x-1)/(4^x+1)
且(4^x1-1)/(4^x1+1)+(4^x2-1)/(4^x2+1)=1
所以:2(4^(x1+x2)-1)/[4^(x1+x2)+4^x1+4^x2+1]=1
所以:4^(x1+x2)-3=4^x1+4^x2>=2√4^(x1+x2)
解得:4^(x1+x2)>=9
所以:f(x1+x2)=[4^(x1+x2)-1]/[4^(x1+x2)+1]
=1-2/[4^(x1+x2)+1]>=1-2/(9+1)=4/5.
其中里面的
所以:4^(x1+x2)-3=4^x1+4^x2>=2√4^(x1+x2)
解得:4^(x1+x2)>=9
怎么得出大于等于9的?

答案

设4^(x1+x2) =t
则t-3>=2根号t
t^2+9-6t>=4t
t^2-10t+9>=0
(t-1 )(t-9)>=0
t>=9或 t