原文:【数学袋鼠】(13)三角函数的“半角公式”的证明