倍角公式和半角公式,化简求☞值.