>>736
√x は xの平方根のうち正のものと定義されているから