加法定理にi入れるだけで複素平面上で回転できるようになるとかすごい
よね