更多有趣的三角公式

由上期短文中的引理1出发,我们可以推导出很多很多有趣或复杂的三角公式,本文有选择地介绍其中的几个。在推导、介绍这些三角公式之前,我们先重申一下上期中的引理。