The Square Root

The square root of x is defined to be a nonnegative number y such that (= (exp y (2)) x) /edit/peano_new/arithmetic/reals/sqrt_min.gh/df-sqrt. Every positive number has no more than one square root as square roots are never negative.

Theorems

Real and Complex Analysis

Login to edit