证明:方程tanx=cosx-√2/2至少有一个小于pi/4的正根