Trong mặt phẳng tọa độ $Oxy$, cho hai đường thẳng $d_1:y-2=0$ và $d_2:\sqrt{3}x+y-1=0$. Cosin của góc giữa hai đường thẳng $d_1$ và $d_2$ bằng bao nhiêu?

(AI giải đề cho tôi)
Hai đường thẳng $d_1:y-2=0$ có vectơ pháp tuyến $\overrightarrow{n_1}=(0;1)$ và $d_2:\sqrt{3}x+y-1=0$ có vectơ pháp tuyến $\overrightarrow{n_2}=(\sqrt{3};1)$. Cosin của góc giữa hai đường thẳng: $\cos \phi =\frac{|\overrightarrow{n_1}\cdot \overrightarrow{n_2}|}{|\overrightarrow{n_1}||\overrightarrow{n_2}|}=\frac{|0\cdot \sqrt{3}+1\cdot 1|}{\sqrt{0^2+1^2}\cdot \sqrt{3+1}}=\frac{1}{1\cdot 2}=\frac{1}{2}=0,5$. Kết quả trùng với đáp án nguồn (0,5).