>>103
倍角の定理です
今解答を作ります