The classification of compact surfaces states that every compact connected topological surface without boundary is homeomorphic to exactly one of the sphere, a connected sum of surfaces consisting of $g\ge 1$ tori, or a connected sum of $h\ge 1$ real projective planes. The torus family is orientable and the projective-plane family is nonorientable; their respective genera are unique. Including $g=0$ makes the sphere the genus-zero orientable case. If boundaries are allowed, the number of removed open discs is an additional invariant.

If a nonidentity holomorphic automorphism had more than $2g+2$ fixed points, choose that many distinct ones and apply the function constructed above. The zero-and-pole count would give $f=f\circ \phi$, and the local reciprocal coordinate would force $\phi$ to be the identity, a contradiction. Therefore

Choose an actual pole $p_i$ of $f$; one exists by nonconstancy and compactness. In a local coordinate $z$ centered there, its simple pole has expansion $f(z)=a_{-1}/z+O(1)$ with $a_{-1}\ne 0$. HenceThe holomorphic inverse function theorem makes $1/f$ a local coordinate. Here the source notation $f^{-1}$ denotes the reciprocal, rather than an inverse map of the meromorphic function.

The chosen pole is among the fixed points, so $\phi$ maps a sufficiently small neighborhood of it into the coordinate neighborhood. If $f=f\circ \phi$, then $w=w\circ \phi$ there. Injectivity of this coordinate forces $\phi (x)=x$ throughout a nonempty open set. The stated identity principle then gives $\phi$ equal to the identity everywhere.

Since every $p_i$ is fixed, $f\circ \phi$ has poles only among the first $g+1$ points, with order at most one: a biholomorphic change of coordinate preserves pole order. Thus $h=f-f\circ \phi$ also has at most $g+1$ poles, counted with multiplicity. At every $p_i$ with $i>g+1$, both terms are finite and equal, so $h(p_i)=0$.

If $h$ were not zero, its principal divisor would have degree zero. It would therefore have at most $g+1$ zeros counted with multiplicity. But it has at least $n-(g+1)$ distinct zeros. When $n>2g+2$ this number exceeds $g+1$, a contradiction. Consequently

A divisor on an algebraic curve is a finite formal sum $D=\sum n_{p}p$ with integer coefficients. Its degree is $\mathrm{deg}D=\sum n_p$. The principal divisor of a nonzero meromorphic function is $(f)=\sum {\mathrm{ord}}_p(f)p$. For a nonconstant $f$, zeros and poles are fibers over zero and infinity of the same map to the sphere, each of total multiplicity equal to its degree; hence $\mathrm{deg}(f)=0$. A nonzero constant has zero divisor.

Write $L(D)=\{f:(f)+D\ge 0\}\cup \{0\}$ and $\ell (D)=\dim L(D)$. The Riemann-Roch theorem stateswhere $K_C$ is a canonical divisor. Taking $D=p_1+\cdots +p_{g+1}$ gives $\ell (D)=2+\ell (K_C-D)\ge 2$. Constants span only one dimension, so there is a nonconstant $f\in L(D)$. It has no poles outside these points and at most a simple pole at each. Thus the required nonconstant function exists, with actual poles at some nonempty subset because a holomorphic function on a compact connected curve is constant.

If two distinct geodesic arcs enclosed a disk, regard its boundary as a curvilinear two-sided polygon, with interior angles $\alpha ,\beta$. These are positive; zero angle would make the arcs tangent and local geodesic uniqueness would make them coincide. The geodesic-curvature terms vanish, so Gauss-Bonnet givesThis contradicts $K\le 0$. Thus no such disk-bounding geodesic bigon exists. The disk hypothesis matters because it fixes the Euler characteristic on the right side.

For the sphere, choose the inward normal so that the second fundamental form is $I/a$. Both principal curvatures are $1/a$, giving $K=1/a^2$; the outward choice reverses both signs and gives the same product.

The octant has area $4\pi a^2/8=\pi a^2/2$, so its curvature integral is $\pi /2$. Its sides are great-circle geodesics, hence have zero geodesic curvature. Each interior angle is $\pi /2$, so each exterior angle is also $\pi /2$. Thereforeverifying the polygon formula directly.

For a positively oriented curvilinear polygon bounding a disk $D$ in one coordinate patch, with exterior turning angles ${\theta }_i$, the Gauss-Bonnet theorem statesFor a closed compact surface the global formula isTriangulate the surface with each triangle contained in a coordinate patch. For each face, writing its exterior angles as $\pi$ minus its interior angles gives $\int K+\int {\kappa }_g=\sum \text{interior angles}-\pi$. On summing, the two contributions on each internal edge cancel, and all angles at each vertex sum to $2\pi$. Thus ${\int }_{S}K=2\pi V-\pi F$. Since $3F=2E$, this equals $2\pi (V-E+F)$, as required. For a nonorientable surface apply the orientable version to its orientation double cover: both the curvature integral and Euler characteristic double. With boundary, the same summation retains the boundary geodesic-curvature integral and the exterior angles at boundary corners, giving the corresponding global boundary formula with right side $2\pi \chi (S)$.

Let $R$ be reflection in the plane. Choose a point of the regular intersection curve and a unit tangent vector $w$ to it. Both the point and $w$ are fixed by $R$. The unique local geodesic with these initial data is carried by the surface isometry $R$ to another geodesic with the same initial data. Uniqueness therefore gives $R\gamma =\gamma$. Its image lies in the fixed-point set of the reflection, namely the plane, hence locally in the intersection curve. Thus the intersection curve is a geodesic, when parametrized by arclength.

Since $E{u}^{\prime }+F{v}^{\prime }={\gamma }^{\prime }\cdot r_u$, differentiation givesThe corresponding calculation with ${\gamma }^{\prime }\cdot r_v=F{u}^{\prime }+G{v}^{\prime }$ givesThus the two requested equations hold exactly when ${\gamma }^{\prime \prime }$ is perpendicular to both tangent basis vectors, which is precisely the geodesic condition.

On expanding the left sides, the coefficient matrix of $(u^{\prime \prime },v^{\prime \prime })$ is the positive-definite metric matrix. It is invertible, so the equations form a smooth second-order ordinary differential equation in local coordinates. The local existence and uniqueness theorem gives a unique solution for each initial point and coordinate velocity. For an arbitrary initial tangent vector $w$ this is an affine parameter of constant speed $|w|$; it is arclength when $|w|=1$. For $w=0$ the solution is the constant curve. This specifies how the arbitrary-velocity statement relates to the preceding unit-speed convention.

For the unit-speed curve, the normal curvature is ${\kappa }_n=t^{\prime }\cdot n$, and the geodesic curvature is ${\kappa }_g=t^{\prime }\cdot (n\times t)$. Differentiating $\gamma =r(u,v)$ twice and taking the normal component kills the terms in $r_u,r_v$, givingAn affinely parametrized geodesic has zero tangential acceleration, or equivalently its covariant derivative of velocity is zero. For unit speed, $t^{\prime }\cdot t=0$, and $t,n\times t,n$ form an orthonormal frame. Therefore $t^{\prime }={\kappa }_{n}n+{\kappa }_g(n\times t)$, so zero tangential acceleration is exactly ${\kappa }_g=0$.

Expanding the characteristic determinant givesThe product and sum of its two roots therefore giveReversing the normal changes both principal curvatures and the mean curvature in sign, while leaving their product unchanged.

For a regular parametrization choose the unit normal $n=(r_u\times r_v)/|r_u\times r_v|$. The first fundamental form is the squared length induced on tangent vectors:The second fundamental form records their normal bending:The Gaussian curvature isRegularity ensures $EG-F^2>0$.

A Riemann surface is a connected Hausdorff second-countable space equipped with complex coordinate charts whose changes of coordinate are holomorphic with holomorphic inverses. Such charts give it the structure of a one-dimensional complex manifold.

A holomorphic change of coordinate has nonzero derivative. In real coordinates its derivative matrix has determinant $|f^{\prime }(z){|}^2>0$ by the Cauchy-Riemann equations. Thus every overlap preserves the standard orientation of the complex plane. These chart orientations fit together, proving every Riemann surface is orientable.

The classification of compact surfaces says that every compact connected surface without boundary is homeomorphic either to the sphere with $g\ge 0$ handles, with Euler characteristic $2-2g$, or to a connected sum of $k\ge 1$ real projective planes, with Euler characteristic $2-k$. The first family is orientable and the second is nonorientable; the displayed invariants uniquely determine the type. With boundary one additionally removes a uniquely determined number of open disks.

Number the vertices of the fourteen-gon $v_0,\dots ,v_{13}$ in boundary order. The printed edge identifications implyThus there is one vertex, seven edges and one face in the quotient. ConsequentlyThe two occurrences of $a_1$ have the same sign, as do those of $a_5$, so the orientation on the polygon cannot extend consistently across those paired edges. Thus the surface is nonorientable, and classification identifies it as a connected sum of seven projective planes. The inverse on the first occurrence of $a_4$ and the positive second occurrence have been retained in the vertex calculation.

Apply Riemann-Roch at $D=K$ and use $\ell (K)=g$ and $\ell (0)=1$:Rearranging gives $\mathrm{deg}K=2g-2$. This holds for every canonical divisor, since any two differ by a principal divisor of degree zero.

A divisor on an algebraic curve is a finite integer sum $D={\sum }_p{n}_{p}p$; its degree is ${\sum }_p{n}_p$. For a meromorphic function its principal divisor records its zero and pole orders, andLet $K$ be the divisor of a nonzero meromorphic differential, called a canonical divisor. The Riemann-Roch theorem statesMultiplication by that differential identifies $L(K)$ with the space of holomorphic differentials. By the preceding result $L(0)$ consists exactly of constants, so $\ell (0)=1$. Applying the formula at $D=0$ gives $1-\ell (K)=1-g$, hence $\ell (K)=g$.