三角函数の積和公式、tCollect()、TrigReduce[]

参考: 初等関数と微分・積分 (アナログ・テクノロジ・シリーズ), pp.130-131

―――――――――――――――――――――――――――――
sin * sinおよびcos * cosはcosの加法定理で証明する。sin * cosはsinの加法定理で証明する。ここではsin * sinについて証明する。