Go backward to Illustration Go up to Top Go forward to Summary |
Definition:
sqrt( ): (N>0 x C) -> C sqrtn(z) := cartesian(sqrtn(polar(z))).
+C': (C' x C') -> C' x +C' y := polar(cartesian(x) +C cartesian(y)); -C': (C' x C') -> C' x -C' y := polar(cartesian(x) +C cartesian(y)).
Compute sqrt( ) in C', but + and - in C.