¿Por qué Euclides pensó que era necesario incluir esto en sus axiomas?
Aquí hay un extracto de la introducción de Richard Fitzpatrick en su traducción de Elementos de Euclides.
“Las construcciones geométricas empleadas en los Elementos están restringidas a aquellas que pueden lograrse usando una regla recta y una brújula. Además, las pruebas empíricas por medio de la medición están estrictamente prohibidas: es decir, cualquier comparación de dos magnitudes se limita a decir que el las magnitudes son iguales, o que una es mayor que la otra “.
Tenga en cuenta que solo se permiten la regla recta y la brújula, no hay transportador, por ejemplo. Aceptando estas restricciones, Euclides continuó demostrando sus teoremas.
Ante esto, Euclides necesitaba definiciones y axiomas que le permitieran comparar ángulos sin medirlos explícitamente. Y así es como definió un ángulo recto:
“Cuando una línea recta sobre (otra) línea recta hace que los ángulos adyacentes (que son) sean iguales entre sí, cada uno de los ángulos iguales es un ángulo recto, y la línea recta anterior se llama perpendicular a esa sobre que significa “.
- Coordenada dada de un polígono y un punto. ¿Cómo calculo si el punto se encuentra dentro del polígono?
- Deje que [math] P_ {1}, P_ {2}, \ dots, P_ {2n} [/ math] sea una permutación de los vértices de un polígono regular. ¿Cómo probarías que la línea poligonal cerrada [matemática] P_ {1} P_ {2} \ puntos P_ {2n} [/ matemática] contiene un par de segmentos paralelos?
- Las ecuaciones y = 7x e y = -x dan dos lados iguales de un triángulo isósceles y su tercer lado pasa por (1, -10). ¿Cuál es la ecuación del tercer lado?
- ¿No sería mejor decir que una línea posee un ‘potencial’ infinito de puntos, en lugar de una cantidad infinita de puntos?
- Deje que ABCD sea un paralelogramo. Deje que F y G sean puntos en AB y CD, respectivamente, de modo que FG sea paralelo a AD. Deje que BD intersecte FG en E. Si el área del triángulo AEF es 1, y el área del trapecio BCGE es 5, entonces ¿cuál es el área del cuadrilátero ABCD?
Por la forma en que se construyen las figuras geométricas en sus teoremas, dedujo si el ángulo entre dos líneas es igual o mayor o menor que un ángulo recto y aquí es donde necesitaba este axioma.