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$, ta có công thức góc 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 \sin \alpha$ nói chung (B sai); $\tan (90^0-\alpha )=\cot \alpha \ne \tan \alpha$ nói chung (C sai); $\sin (90^0-\alpha )=\cos \alpha \ne -\cos \alpha$ (D sai). Vậy mệnh đề đúng là A, khớp với đáp án nguồn (mã đề 1001, câu 15: A).