そう考えると加法定理って家系図みたいですね、あと sinθ / cosθ ですからきっとcosが受けなのです…………何言ってるんだろう、自分