Gọi $M(x_0;y_0)$ là điểm thuộc nửa đường tròn đơn vị sao cho $\widehat{xOM}=\alpha$. Mệnh đề nào sau đây là đúng?

(AI giải đề cho tôi)
Điểm $M(x_0;y_0)$ thuộc nửa đường tròn đơn vị với $\widehat{xOM}=\alpha$ (hình vẽ cho $M$ ở góc phần tư thứ I). Theo định nghĩa lượng giác trên đường tròn đơn vị: hoành độ $x_0=\cos \alpha$, tung độ $y_0=\sin \alpha$. Xét các phương án: A sai vì $\frac{x_0}{y_0}=\frac{\cos \alpha }{\sin \alpha }=\cot \alpha$ chứ không phải $\tan \alpha$; C sai vì $x_0=\cos \alpha \ne \sin \alpha$ (nói chung); D sai vì $y_0=\sin \alpha \ne \cos \alpha$ (nói chung). Vậy mệnh đề đúng là $x_0=\cos \alpha$, khớp đáp án nguồn B.