La geometría euclidiana es un sistema matemático atribuido al matemático griego alejandrino Euclides , que describió en su libro de texto sobre geometría : los Elementos . El método de Euclides consiste en asumir un pequeño conjunto de axiomas intuitivamente atractivos y deducir muchas otras proposiciones ( teoremas ) a partir de estos. Aunque muchos de los resultados de Euclides habían sido establecidos por matemáticos anteriores, [1] Euclides fue el primero en mostrar cómo estas proposiciones podrían encajar en un sistema lógico y deductivo integral . [2] Los Elementos comienzan con geometría plana , todavía enseñada en la escuela secundaria (high school) como el primer sistema axiomático y los primeros ejemplos de demostraciones matemáticas . Se pasa a la geometría sólida de tres dimensiones . Gran parte de los Elementos establece los resultados de lo que ahora se llama álgebra y teoría de números , explicados en lenguaje geométrico. [1]
Durante más de dos mil años, el adjetivo "euclidiano" fue innecesario porque no se había concebido otro tipo de geometría. Los axiomas de Euclides parecían tan intuitivamente obvios (con la posible excepción del postulado de las paralelas ) que cualquier teorema demostrado a partir de ellos se consideraba verdadero en un sentido absoluto, a menudo metafísico. Hoy, sin embargo, se conocen muchas otras geometrías no euclidianas autoconsistentes , las primeras se descubrieron a principios del siglo XIX. Una implicación de la teoría de la relatividad general de Albert Einstein es que el espacio físico en sí mismo no es euclidiano, y el espacio euclidiano es una buena aproximación para él solo en distancias cortas (en relación con la fuerza del campo gravitacional ). [3]
La geometría euclidiana es un ejemplo de geometría sintética , ya que procede lógicamente de axiomas que describen propiedades básicas de objetos geométricos como puntos y líneas, a proposiciones sobre esos objetos, todo sin el uso de coordenadas para especificar esos objetos. Esto contrasta con la geometría analítica , que utiliza coordenadas para traducir proposiciones geométricas en fórmulas algebraicas.
Los Elementos es principalmente una sistematización de conocimientos previos de geometría. Rápidamente se reconoció su mejora con respecto a los tratamientos anteriores, con el resultado de que hubo poco interés en conservar los anteriores, y ahora están casi todos perdidos.
Los libros I–IV y VI analizan la geometría plana. Se prueban muchos resultados sobre figuras planas, por ejemplo, "En cualquier triángulo, dos ángulos tomados juntos de cualquier manera son menores que dos ángulos rectos". (Libro I proposición 17) y el teorema de Pitágoras "En los triángulos rectángulos, el cuadrado del lado que subtiende el ángulo recto es igual a los cuadrados de los lados que contienen el ángulo recto". (Libro I, proposición 47)
Los libros V y VII-X tratan de la teoría de números, y los números se tratan geométricamente como longitudes de segmentos de línea o áreas de regiones de superficie. Se introducen nociones como números primos y números racionales e irracionales . Se demuestra que hay infinitos números primos.