>>371 2倍角の公式って

cos2α=cos^2α‐sin^2α=1‐2sin^2α=2cos^2α‐1

ってやつですよね?