sinとcosの定義
三平方の定理

これぐらいあれば加法定理いけるんちゃうか？