Có một cách tôi mới nghĩ ra nhưng có lẽ không phải tối ưu.
giả sử cos1 là hữ tỉ => cos2 cũng là hữu tỉ ( áp dụng công thức hạ bậc) => cos4 cũng hữu tỉ.
..
=>cos 30 cũng hữu tỉ.Mà ta biết cos 30 = căn3/2
dễ dàng chứng minh căn3 là số vô tỉ.
=> mâu thuẫn
=>đpcm!^^
