>>74
√x も複素関数と見れば多価だから、
∀x∈C に対して √x >= 0とはいえないでしょう?