Với $0^0\le \alpha \le 90^0$. Mệnh đề nào đúng?

(AI giải đề cho tôi)
Với $0^0\le \alpha \le 90^0$, theo công thức cung phụ: $\cos (90^0-\alpha )=\sin \alpha$ (đúng với mọi $\alpha$ trong khoảng này). Kiểm tra các phương án khác: $\sin (90^0-\alpha )=\cos \alpha \ne -\cos \alpha$ (trừ khi $\cos \alpha =0$), nên B sai; $\sin (90^0-\alpha )=\cos \alpha \ne \sin \alpha$ nói chung, nên C sai; $\tan (90^0-\alpha )=\cot \alpha \ne \tan \alpha$ nói chung, nên D sai. Vậy mệnh đề đúng là A, khớp với đáp án nguồn (Mã đề 1002, Câu 13 = A).