函数化为f(x)=1-2/(1+log2(x))
所以1-f(X)=1/(!+log2(x))
1-f(x1)=1/(1+log2(x1)).（1）
又f(x1)+f(2x2)=1
所以1-f(X1)=f(2*x2).（2）
由（1）（2）有：
1/(1+log2(X1))=[1-log2(2x2)]/[1+log2(2x2)]
1+log2(2x2)=log2(x1)*log2(2x2)-log2(X1)+log2(2x2)-1
得log2(X1)*log2(x2)=2.(3)
因为f(x1*x2)=1-2/[1+log2(x1*x2)]
要求f(x1*x2)min,只需求log2(x1*x2)min.
log2(x1*x2)=log2(x1)+log2(x2)
>=2log2(X1)*log2(x2)
(x1>2,x2>2.log2(x1)>1,log2(x2)>1)
得log2(x1*x2)min=2*2=4
所以f(x1*x2)min=0.6