previous up next
Go backward to Relationship
Go up to Top
Go forward to Illustration
RISC-Linz logo

Complex Root

Definition:

sqrt( ): (N x C') -> C'
sqrtn(z) := <sqrtn(z0), z1/n>.

Proposition: For every n in N>0 and z in C', the n-th roots of z are sqrt^n(z) and the n-1 values that have the same distance from the origin and their angle shifted by multiples of 2 pi /n:

forall n in N>0, z in C':
   let r = sqrtn(z):
   (forall s in C': z = sn <=> exists i in N: s = <r0, shift(r1+2 pi i/n)>).

Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next