讲义18:二倍角和半角公式