三角関数の和積の公式なんて覚える必要ないですよね?