tanxn=xn>0,所以sinxn=xn/√(1+xn^2),cosxn=1/√(1+xn^2),sin(x-xn)=sinxcosxn-cosxsinxn=(x-xn)/√[(1+x^2)(1+xn^2)],tan(x-xn)=(x-xn)/(1+xnx)>0,所以π-xn<(1+1/n)π，所以原式=π。仅供参考。
