簡単に書くと(-sint+i*cost)^2がどうやって(cos2t+i*sin2t)になるかです。
で教科書に公式が見当たらなくて