>>807
e^(i*t) = cos(t) + i*sin(t) (オイラーの公式) より tに-iを代入した後、両辺にiをかける