If $x=\cos t$ and $y=\sin t$, prove that $\frac{d y}{d x}=\frac{1}{\sqrt{3}}$ at $t=\frac{2 \pi}{3}$