比较(sinπ/12)^2,2^tanπ/12,log2(cosπ/12)的大小