En geometría , el teorema de equivalencia de compás es una afirmación importante en las construcciones con compás y regla . La herramienta defendida por Platón en estas construcciones es un compás divisor o plegable , es decir, un compás que "colapsa" cada vez que se levanta de una página, de modo que no puede usarse directamente para transferir distancias. El compás moderno con su apertura fijable puede usarse para transferir distancias directamente y, por lo tanto, parece ser un instrumento más poderoso. Sin embargo, el teorema de equivalencia de compás establece que cualquier construcción mediante un "brújula moderna" puede lograrse con un compás plegable. Esto se puede demostrar estableciendo que con un compás plegable, dado un círculo en el plano, es posible construir otro círculo de radio igual , centrado en cualquier punto dado en el plano. Este teorema es la Proposición II del Libro I de los Elementos de Euclides . La prueba de este teorema ha tenido una historia accidentada. [1]
La siguiente construcción y prueba de corrección son dadas por Euclides en sus Elementos . [2] Aunque parece haber varios casos en el tratamiento de Euclides, dependiendo de las elecciones hechas al interpretar instrucciones ambiguas, todas conducen a la misma conclusión, [1] y por eso, a continuación se dan opciones específicas.
Dados los puntos A , B y C , construya un círculo centrado en A con un radio de longitud BC (es decir, equivalente al círculo verde sólido, pero centrado en A ).
Es posible demostrar la equivalencia de compás sin el uso de la regla. Esto justifica el uso de movimientos de "compás fijo" (construir un círculo de un radio dado en una ubicación diferente) en las demostraciones del teorema de Mohr-Mascheroni , que establece que cualquier construcción posible con regla y compás se puede lograr solo con compás.
Dados los puntos A , B y C , construya un círculo centrado en A con radio BC , utilizando únicamente un compás plegable y sin regla.
Hay varias pruebas de la corrección de esta construcción y a menudo se deja como ejercicio para el lector. [3] [4] Aquí hay una moderna que utiliza transformaciones .