Using the Taylor series of the exponential and series division,
Thus the first three nonzero Laurent terms are
The singularities occur at . The nearest nonzero ones are , so this Laurent series is valid on .
On an annulus , the Laurent theorem represents an analytic function uniquely as
For any positively oriented simple closed contour in the annulus winding once around , the coefficients in the Laurent series are
The formula follows from the Cauchy integral formula applied term by term, and it is independent of the chosen contour by the Cauchy integral theorem.
Let be the finite-dimensional vector space of real polynomials of degree at most . For fixed ,
is a norm: if it vanishes, the polynomial vanishes on an interval and hence is the zero polynomial. Also
is a norm on . By finite-dimensional equivalence of norms, there is , depending only on and , such that . Therefore
The extreme value theorem supplies at which the last supremum is attained, and hence
Two norms are equivalent norms when constants satisfy
for every .
For , the reverse triangle inequality gives
by the Cauchy-Schwarz inequality. Hence is Lipschitz continuous, and therefore continuous.
On the compact Euclidean unit sphere, is positive and continuous, so the extreme value theorem gives . Homogeneity then yields
Thus every norm on a finite-dimensional vector space is equivalent to the Euclidean norm; comparing two such bounds proves any two norms on are Lipschitz equivalent.
A map is Lipschitz continuous with Lipschitz constant when
for all .
Fix . The Lipschitz inequality and the triangle inequality imply
while choosing gives a finite upper bound. Hence the infimum defining is a real number.
If , then for every , while gives the reverse inequality after taking the infimum. Thus . For arbitrary ,
Taking infima gives ; interchanging gives
This is the McShane extension theorem: extends without increasing its Lipschitz constant.
First, every nonzero nonunit in a principal ideal domain factors into irreducible elements. Otherwise repeatedly choose a proper nonunit factor of ; then the principal ideals
form a strictly increasing chain, contradicting the ascending chain condition, since every principal ideal domain is a Noetherian ring.
Next every irreducible is a prime element. If but , then . The Bezout identity gives , so multiplying by shows . Thus irreducibles are prime.
Existence of an irreducible factorization and primality give uniqueness: an irreducible on one side divides the product on the other, hence is associate to one factor; cancel and continue. Therefore every principal ideal domain is a unique factorization domain.
If six triangles met at every vertex, counting vertex-face incidences would give , hence . But part b gives , a contradiction. Therefore no such triangulation exists.
For a geodesic triangulation with vertices, edges, and faces, summing the spherical excess gives , because all angles around each vertex sum to . Also . Therefore
Thus every geodesic triangulation of the sphere has Euler number .
Composing the maps gives
a conformal bijection from to the unit disc.
For ,
so lies in the unit disc. Its inverse is , whose real part is . Both derivatives are nonzero, proving this Möbius transformation is conformal.
Choose
It is holomorphic on the right half-plane with derivative , and its inverse has positive real part precisely for . Thus this branch of the complex logarithm is a conformal bijection onto .
Minimizing gives the normal equations . Full column rank makes invertible, so
With the hat matrix , the residual is . The symmetric projection has rank , hence
and the latter estimator is unbiased.
The volume flux per unit width is
Therefore
The first is the stress-free film; the second has an effectively immobilized free surface.

There are unlisted articles, also show them or only show them.