已知函数f(x)=tanx,x属于(0~π/2)且x1=x2,证明1/2(fx1+fx2)大于f(x1+x2)/2的大小