令 f(x)=tanx -x
有 f‘(x) = sec²x -1 = 1/cos²x - 1 >=1-1=0
所以f(x)是增函数
所以f(x)>f(0)=0
即tanx -x >0
证毕