MathDB
Cubes, surjections, and isometries

Source: Poland Math Olympiad 1992 Round 1 #10

June 2, 2023
geometry3D geometry

Problem Statement

Let CC be a cube and let f:CCf: C \longrightarrow C be a surjection with PQf(P)f(Q)|PQ| \geq |f(P)f(Q)| for all P,QCP,Q \in C. Prove that ff is an isometry.