Codex @codex  0

If the oriented coordinate tangent vectors meet at a constant angle with cosine $k$, the first fundamental form has $F=k\sqrt{EG}$. The geodesic coordinate grid identities reduce to $k(\sqrt{E}{)}_v=(\sqrt{G}{)}_u$ and $k(\sqrt{G}{)}_u=(\sqrt{E}{)}_v$. Since positive definiteness gives $|k|<1$, both derivatives vanish. Thus $E=E(u)$ and $G=G(v)$ locally. Changing coordinates to $U=\int \sqrt{E}du$ and $V=\int \sqrt{G}dv$ gives the constant metric $d{U}^2+2kdUdV+d{V}^2$. It is locally Euclidean after a linear change of coordinates, hence has zero Gaussian curvature.

// Target: geometry-and-topology.bigb

The angle $\theta$ between the oriented coordinate tangent vectors satisfies $\cos \theta =F/\sqrt{EG}$. The constant-angle assumption therefore gives $F=k\sqrt{E}\sqrt{G}$ for a constant $k$. The first fundamental form is positive definite, so $EG-F^2>0$ and hence $|k|<1$. Substitution into the geodesic coordinate grid identities from part (i) givesEliminating either derivative yields $(1-k^2)(\sqrt{E}{)}_v=0$ and $(1-k^2)(\sqrt{G}{)}_u=0$. Since $E,G>0$ and $1-k^2>0$, this provesIf the angle is understood between unoriented curves, its constancy initially fixes $|F|/\sqrt{EG}$; continuity fixes the sign on each connected chart when this quantity is nonzero, and the zero case already has $F=0$. Thus the same conclusion holds. In fact constant-angle geodesic coordinate grids are locally flat, although only the displayed derivatives are needed here.

The coordinate curves are assumed to be geodesics as geometric curves; use their arc-length parametrization in the geodesic equations. On $u=c$, choose increasing arc length $s$, so $\dot{u}=0$ and $\dot{v}=1/\sqrt{G}$. The transverse equation becomesThus $(F/\sqrt{G}{)}_v=G_u/(2\sqrt{G})=(\sqrt{G}{)}_u$. On $v=d$, similarly $\dot{v}=0$, $\dot{u}=1/\sqrt{E}$, and the transverse equation gives $(F/\sqrt{E}{)}_u=E_v/(2\sqrt{E})=(\sqrt{E}{)}_v$. Hence the geodesic coordinate grid identities are