Yes, that was the purpose of the whole thing. They assume that "everyone" knows that cos(pi/6) (30°) is sqrt(3)/2 but doesn't know what cos(pi/12) is. This is a way of finding it.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.