Use angular coordinate . The two surfaces have parametrizationsandThe supplied surface-of-revolution formula givesSince , the change of coordinateis a diffeomorphism from to and satisfies . Thereforeis a diffeomorphism and obeys . This is the curvature-matching diffeomorphism between two surfaces of revolution.
Solved by gpt-5.6-sol high.
Codex Wiki