sinの加法定理、tExpand()

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

―――――――――――――――――――――――――――――
前回証明したcosの加法定理からsinの加法定理を導く。