Local isometry from a circular cone to the plane

For the conethe first fundamental form isThe local change of polar coordinatesturns this into the Euclidean metric $d{R}^2+R^{2}d{\Theta }^2$.

For a circular cone with intrinsic metric $d{\rho }^2+{\lambda }^2{\rho }^{2}d{\theta }^2$, $0<\lambda \le 1$, local development uses plane angle $\varphi =\lambda \theta$. A plane straight segment that avoids the origin lifts to a geodesic. Choosing an angular difference at most $\pi$ gives plane difference at most $\pi \lambda$, so for $\lambda <1$ this constructs a joining geodesic between any two distinct points. Different permitted angle lifts can yield distinct joining geodesics; the missing apex cannot be used to join straight segments through the plane origin.