Đặt \(f\left(x\right)=sinx-x+1\)
Ta thấy hàm \(f\left(x\right)\) liên tục trên R do nó là tổng của các hàm liên tục
Mà \(f\left(0\right)=1>0\) ; \(f\left(\pi\right)=1-\pi< 0\)
\(\Rightarrow f\left(0\right).f\left(\pi\right)< 0\)
\(\Rightarrow\) Hàm số có ít nhất 1 nghiệm thuộc \(\left(0;\pi\right)\) hay pt đã cho có ít nhất 1 nghiệm