Chia đôi cho $\cos(x) = x$

Phương trình siêu việt $\cos(x) = x$ không giải được bằng đại số. Đặt $f(x) = \cos(x) - x$; trên $[0,1]$ ta có $f(0)=1>0$, $f(1)=\cos 1 - 1 < 0$, nên có nghiệm.

Thực hiện đúng $K$ bước chia đôi trên $[a,b]$ rồi in trung điểm với 6 chữ số thập phân. (Dùng math.cos, đơn vị radian.)

Ví dụ: $[0,1]$, $K=20$ hội tụ về điểm bất động $\approx 0.739085$.