sin Pi/12 =?
cos Pi/12 = ?
sin Pi/12 =( \sqrt{3}-1)/(2*\sqrt{2})
cos pi/12 = ( \sqrt{3}+1)/(2*\sqrt{2})