Let . The Jacobi method is
so and . If is strictly diagonally dominant, every Gershgorin disc of is centered at zero and has radius
Every eigenvalue therefore has modulus below one, so and part (i) proves convergence.
The product is entire. From and ,
Its modulus is therefore periodic with period one. The assumed bound for on , together with the reflected bound for , bounds on that strip and hence on all of . By Liouville's theorem is constant, while forces that constant to be zero.
If were nonzero at one point, it would be nonzero on a neighborhood, so on an open set; the identity theorem would then give , a contradiction to that choice. Therefore and .
The power method starts from and iterates
If the eigenvalue of largest modulus is separated by a spectral gap and the initial vector is nonorthogonal to a corresponding eigenvector, the iterates converge in direction to that eigenvector.
Inverse iteration with shift instead solves
It applies the power method to and therefore finds an eigenvector whose eigenvalue is closest to .
The vertices satisfy
After removing the root , the product of the other roots has modulus equal to the constant term of , namely . Hence the product of the chord lengths from one vertex of a unit regular polygon is . Multiplying this identity over all vertices counts every chord twice, so the product of all chord lengths is . Scaling the circle by scales each of its chords by , giving
The eigenvalues of the recurrence matrix have modulus , so transients decay and the coefficients approach the fixed point
Thus
For and , this is
Even multiples deliver impulses in phase and produce resonance; odd multiples alternate the phase and largely cancel.
For distinct in the convex disc, integrate along the segment:
The second term has modulus strictly below , so the sum cannot vanish. Thus is one-to-one.
The first characteristic polynomial factors as
The root condition holds precisely for : in this range the two reciprocal roots are distinct and on the unit circle; at either endpoint a unit root is repeated, and outside it one root has modulus greater than one. Consistency is given, so these and only these values are convergent. The exceptional order-three value is outside this interval; consequently every convergent case has order two.
Apply the residue theorem to ; its residue at is , which proves Cauchy's derivative formula.
For a compact subdisc choose a slightly larger contour still inside . Cauchy's derivative formula bounds the supremum of on the smaller disc by a fixed constant times the supremum of on the contour. Local uniform convergence therefore passes to every derivative.
On , has a positive minimum modulus. For large , there. Rouché's theorem then says and have the same number of zeros inside, namely , counting multiplicity.
The local maximum modulus principle says that if has a local maximum at an interior point of a connected domain, then is constant. On a small circle about the maximum, the mean-value property and
force equality everywhere. Equality in the triangle inequality makes the boundary values identical; Cauchy's formula then makes constant locally, and the identity theorem makes it constant on the domain.
Write . The hypothesis gives . Therefore
with equality at zero. The local maximum modulus principle makes the exponential constant. Differentiation then gives , so is constant; since , it is identically zero.
Along real , the modulus is and stays bounded, but along with it is . Since , .
Apply the maximum modulus principle to , with its removable value , to obtain . Equality at a nonzero interior point makes constant, so with .
The power method repeatedly normalizes and estimates the eigenvalue with the Rayleigh quotient . It converges when the dominant eigenvalue is unique in modulus and the initial vector has a nonzero component in its eigendirection.
Homotopy invariance of winding number states that a homotopy through closed paths in preserves winding number. Uniform continuity divides the interval so successive paths differ pointwise by less than the minimum modulus of the earlier path; the supplied perturbation lemma makes their winding numbers equal. Chaining the subdivisions proves the result.
The amplitude at is proportional to . The geometric sum vanishes unless , i.e. unless is a multiple of . At those outcomes its modulus is , so each probability is . The phase contains , but measurement probabilities do not.
The number has modulus one and argument modulo . Therefore its complex logarithm has values
Every value has real part zero. For the principal complex logarithm, choose the unique integer giving imaginary part in . The unwrapped value is the principal imaginary part only when it already lies in that interval.
Write . Its cube roots have modulus two and arguments , for . Thus
Each cube equals , and a cubic polynomial has no further distinct roots.
For , write . The equation becomes , whose roots are , both of modulus one. Hence . If , the double root is , giving the same relation. Therefore
Complex conjugation reverses the argument, reciprocation also inverts the modulus, and multiplication by adds to the argument. With all arguments chosen in and ,
Thus is in the first quadrant, and lie on the same fourth-quadrant ray at radii two and one-half, and is diametrically opposite .
Figure 1.
Conjugation, reciprocation and negation on the Argand plane
. Original diagram using to illustrate the general locations and moduli of the four points. Details.
The point has modulus and argument modulo . Taking complex square roots halves the argument and takes the square root of the modulus:
The two roots are opposite points in the complex plane, explicitly .
Figure 1.
The complex number and its two square roots
. Original Argand diagram. Dashed circles show moduli and ; the root rays differ by and each squares to the ray of argument . Details.