Theo lý thuyết ta có hàm số y= cosx đồng biến trên mỗi khoảng (-π+k2π;k2π ) và nghịch biến trên khoảng (k2π;π+k2π) k ∈ Z

Từ đây ta có với k=0 hàm số y= cosx đồng biến trên khoảng (-π ;0) và nghịch biến trên khoảng (0;π )