$cos\frac\pi6=$
$cos\frac\pi6=\frac{\sqrt3}2$
