证 x = cos x 在 R 有唯一解。