Góc giữa hai đường thẳng $a:\sqrt{3}x-y+7=0$ và $b:x-\sqrt{3}y-1=0$ là

(AI giải đề cho tôi)
Vector pháp tuyến của $a$ là $\overrightarrow{n_a}=(\sqrt{3};-1)$, của $b$ là $\overrightarrow{n_b}=(1;-\sqrt{3})$. Góc giữa hai đường thẳng: $\cos \theta =\frac{|\sqrt{3}\cdot 1+(-1)(-\sqrt{3})|}{\sqrt{(\sqrt{3}{)}^2+1}\cdot \sqrt{1+3}}=\frac{2\sqrt{3}}{2\cdot 2}=\frac{\sqrt{3}}{2}$, suy ra $\theta =30^{\circ }$. (Kiểm tra: hệ số góc $k_a=\sqrt{3}$, $k_b=1/\sqrt{3}$, tan của góc $=\left|\frac{\sqrt{3}-1/\sqrt{3}}{1+1}\right|=\frac{1}{\sqrt{3}}$, cũng cho $30^{\circ }$.)