用倍角公式求1-2cos^2∏/12