证 cos x = x^2 在 (0, 1) 有解。