sinとcosの2倍角の2乗の合計は?