Si bien la congruencia es un término indefinido en una geometría estrictamente formal, nuestros axiomas siempre tienen un concepto de longitud de un segmento lineal (el Postulado Gobernante) y medida ...Si bien la congruencia es un término indefinido en una geometría estrictamente formal, nuestros axiomas siempre tienen un concepto de longitud de un segmento lineal (el Postulado Gobernante) y medida de ángulo (el Postulado Transportador) y, con esos, la idea que queremos puede ser (¡y es!) definida como una correspondencia uno a uno que preserva la distancia entre dos puntos cualesquiera y la medida de dos ángulos correspondientes cualesquiera. [Nota: “Conservar distancia” hace que el “uno a u…
