A rigorous exploration of rigid motions in Euclidean geometry, focusing on isometries, matrix representations, homogeneous coordinates, and formal proofs of congruence for undergraduate students.
Defining Isometries as Metric-Preserving Functions
Matrix Representations of Linear Isometries
Affine Transformations and Homogeneous Coordinates