证明x^2=cosx有一个正根