令X1>X2>=1,
则F(X1)=2X1+2+A/X1,F(X2)=2X2+2+A/X2,
F(X1)-F(X2)=2X1-2X2+A/X1-A/X2=(X1-X2)(2-A/X1X2),
因为,X1>X2>=1,
所以,X1X2>1
因为,A>=1/2,
所以,X1>X2,2-A/X1X2>0,
所以,F(X1)-F(X2)>0
所以F(X1)>F(X2),
所以,F(X)单调递增.
根据重要不等式,f(x)=x+2+a/x>=2√X*A/X+2=2√A+2>=√2+2
所以,当且仅当x=a/x=√2/2时,取得等号.