Xét hàm số g(x) = x – cos x liên tục trên R.
do đó liên tục trên đoạn [-π; π] ta có:
g(-π) = -π – cos (-π) = -π + 1 < 0
g(π) = π – cos π = π – (-1) = π + 1 > 0
⇒ g(-π). g(π) < 0
⇒ phương trình x – cos x = 0 có nghiệm trong (-π; π) tức là cos x = x có nghiệm.