初等方法很难证明...
应用泛函分析中的压缩不动点定理(映射T将点点距离缩短)
在赋范线性空间R中,sinx显然在x一定大之后恒小于x,故满足压缩不动点定理.
在赋范线性空间R中满足Tx=x的点只有1个,故sinx=x只有一个实根