Diferencia entre teorema y axioma
Tema: ciencia.
Un axioma es una afirmación que se acepta como punto de partida de un sistema formal, sin necesidad de demostrarla; un teorema es una afirmación que se demuestra mediante un razonamiento lógico a partir de axiomas y de otros teoremas ya probados.
Sin axiomas no habría nada de dónde partir para demostrar un teorema, y sin teoremas los axiomas quedarían aislados, sin desarrollo ni consecuencias derivadas.
Tabla comparativa: teorema y axioma
| Axioma | Teorema | |
|---|---|---|
| Requiere demostración | No, se acepta como punto de partida. | Sí, se demuestra a partir de axiomas y otros teoremas. |
| Función en el sistema | Fundamento inicial sobre el que se construye todo lo demás. | Resultado derivado que amplía lo que se sabe dentro del sistema. |
| Cantidad habitual | Pocos, elegidos con cuidado para ser mínimos e independientes. | Muchos, uno por cada resultado nuevo que se demuestra. |
| Ejemplo | Por dos puntos distintos pasa una única recta. | El teorema de Pitágoras: en un triángulo rectángulo, la suma de los cuadrados de los catetos es igual al cuadrado de la hipotenusa. |
Qué es un axioma
Un axioma es una proposición que un sistema matemático o lógico acepta como verdadera desde el inicio, sin exigirle una demostración, porque funciona como fundamento sobre el que se construyen todas las demás afirmaciones del sistema. Los axiomas se eligen con cuidado para que sean pocos, lo más simples posible y, en teoría, independientes entre sí, de modo que ninguno pueda deducirse de los demás. Un ejemplo clásico es uno de los postulados de la geometría euclidiana: por dos puntos distintos pasa una única recta.
Que un axioma no se demuestre no significa que se elija al azar: los axiomas de un sistema se seleccionan porque parecen evidentes por sí mismos, porque describen bien el fenómeno que se quiere estudiar o porque generan un sistema coherente y útil. En geometría, por ejemplo, cambiar uno de los axiomas de Euclides sobre las rectas paralelas dio lugar a las geometrías no euclidianas, igual de válidas dentro de su propio sistema.
Qué es un teorema
Un teorema es una proposición que se demuestra formalmente a partir de los axiomas de un sistema y, con frecuencia, de otros teoremas ya demostrados dentro de ese mismo sistema. La demostración es una cadena de pasos lógicos que conecta las premisas aceptadas con la conclusión, de manera que cualquiera que acepte los axiomas y las reglas de deducción usadas tiene que aceptar también el teorema resultante. El teorema de Pitágoras es un ejemplo muy conocido: en cualquier triángulo rectángulo, el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos; en un triángulo de catetos 3 y 4, la hipotenusa mide 5, porque 3² + 4² = 9 + 16 = 25 = 5².
Una vez demostrado, un teorema puede usarse como herramienta para demostrar teoremas posteriores, del mismo modo que se usan los axiomas. Esta cadena de demostraciones, apoyada siempre en última instancia en los axiomas de partida, es lo que da su estructura a disciplinas como la geometría o el álgebra.
Ejemplos que muestran la diferencia
Que dos rectas paralelas no se cortan nunca es, en la geometría euclidiana, un postulado que se acepta sin demostración, no un teorema.
El teorema de Pitágoras necesita una demostración formal para aceptarse como verdadero dentro de la geometría euclidiana, a partir de sus axiomas.
En un examen, escribir «axioma» donde corresponde «teorema» es un error habitual: confunde el punto de partida aceptado con un resultado que sí exige prueba.
Cuándo usar cada término
- Usa axioma para una afirmación de partida, aceptada sin demostración dentro de un sistema formal.
- Usa teorema para una afirmación que ha sido demostrada mediante un razonamiento lógico a partir de axiomas u otros teoremas.
- Si te preguntan por qué algo es cierto y la respuesta es «porque se acepta así, no se demuestra», estás ante un axioma; si la respuesta requiere una cadena de pasos lógicos, es un teorema.
Preguntas frecuentes
¿Un axioma puede llegar a demostrarse en el futuro?
No dentro del propio sistema que lo adopta como axioma, porque su función es servir de punto de partida, no de resultado. Sí puede ocurrir que, en un sistema distinto, esa misma afirmación se demuestre como teorema a partir de otros axiomas diferentes.
¿Qué diferencia hay entre axioma y postulado?
En la práctica actual, los dos términos se usan casi como sinónimos: proposiciones aceptadas sin demostración. Históricamente, «postulado» se aplicaba sobre todo a afirmaciones propias de la geometría, como las de Euclides, mientras que «axioma» se reservaba para principios lógicos más generales, pero esa distinción ya no se mantiene de forma estricta.
¿Por qué son importantes los teoremas si ya existen los axiomas?
Porque los axiomas por sí solos dicen muy poco: su valor está en las consecuencias que se pueden deducir de ellos. Los teoremas son esas consecuencias, demostradas paso a paso, y son los que permiten resolver problemas concretos y ampliar el conocimiento dentro de un sistema formal.