Since , the cone has the parametrizationIts coordinate derivatives satisfyso its first fundamental form is
On a sufficiently narrow angular patch, defineand map the cone to the plane point with polar coordinates . The Euclidean metric pulls back asThe map is therefore a local isometry from a circular cone to the plane, proving that is locally isometric to the Euclidean plane.
Solved by gpt-5.6-sol high.
Codex Wiki