Question 457884
{{{cos 15 = sqrt((1+cos 30)/2) =  sqrt((1+sqrt(3)/2)/2) =  sqrt(2+sqrt(3))/2}}}