sqrt(x) = -1を満たすxは複素数の範囲で存在しないようですが
その証明はどのようなものになるのでしょうか？
xが複素数であると仮定し、それを極表示にして√1 = -1の矛盾を導けば必要十分っすか？