Un teorema es una proposición matemática cuya verdad se establece mediante una demostración rigurosa dentro de un sistema lógico dado. Para demostrar un teorema se parte de axiomas, definiciones y otros teoremas ya demostrados, aplicando reglas de inferencia válidas. Cuando una proposición sirve principalmente para ayudar en la demostración de otra, se la denomina lema. Habitualmente un teorema consta de dos partes: las hipótesis (las condiciones asumidas) y la(s) conclusión(es) (lo que se afirma bajo esas condiciones).

Definición, estructura y vocabulario relacionado

En la práctica matemática existen distintos enunciados y nombres según su función o fuerza:

  • Teorema: enunciado importante cuya demostración es significativa dentro de una teoría.
  • Proposición: enunciado de menor importancia o uso más localizado.
  • Lema: resultado auxiliar utilizado en la prueba de teoremas más profundos.
  • Corolario: consecuencia directa de un teorema ya demostrado.
  • Conjetura: enunciado plausible sin demostración conocida (o sin demostración aceptada).

También es habitual distinguir entre enunciados universales (p. ej., "para todo x, ..."), existenciales ("existe x tal que ...") y bicondicionales ("si y solo si"). Frente a un teorema está su conversa (intercambiar hipótesis y conclusión) y su contrarrecíproca (forma contrapuesta con negaciones) —a menudo estudiar estas variantes ayuda a entender la estructura lógica del resultado.

Tipos y ejemplos de demostraciones

Existen muchas técnicas de demostración; entre las más comunes se encuentran:

  • Demostración directa: se parte de las hipótesis y, mediante deducciones, se llega a la conclusión.
  • Contraposición: probar la contraria de la negativa de la conclusión para obtener la conclusión original.
  • Reducción al absurdo (contradicción): suponer la negación y deducir una contradicción con hipótesis o axiomas.
  • Inducción matemática: técnica clave para afirmaciones sobre enteros o estructuras discretas.
  • Constructiva vs no constructiva: las demostraciones constructivas exhiben un ejemplo explícito; las no constructivas prueban existencia sin dar una construcción.
  • Pruebas probabilísticas o de conteo: especialmente útiles en combinatoria y teoría de grafos.
  • Pruebas algorítmicas y computacionales: se reducen a cálculos o búsquedas verificables por ordenador.

La elección de técnica depende del área y del enunciado. Algunas demostraciones son cortas y elementales; otras son largas, técnicas y requieren herramientas de varias ramas de las matemáticas.

Pruebas formales, pruebas informales y asistentes de demostración

En matemáticas existe una distinción entre la prueba formal (cadena de fórmulas conforme a un sistema lógico y verificable minuto a minuto) y la prueba informal publicada en artículos y libros, que suele contener explicaciones y atajos comprensibles para los humanos. La verificación formal completa de pruebas largas es costosa, pero en las últimas décadas han crecido los proyectos que usan asistentes de prueba (Coq, Isabelle, Lean, etc.) para formalizar y verificar teoremas complejos.

Ejemplos notables de formalización/verificación asistida incluyen la verificación formal del proyecto Flyspeck de Thomas Hales, que cristalizó la demostración de la conjetura de Kepler, y el trabajo de Georges Gonthier que formalizó el teorema de los cuatro colores en el sistema Coq. Estas verificaciones han aumentado la confianza en demostraciones asistidas por ordenador y han establecido prácticas de comprobación rigurosa.

Demostraciones asistidas por ordenador y su aceptación

Algunos teoremas se demostraron mediante comprobaciones que requieren cálculos extensos por ordenador. Los casos clásicos citados en este contexto son el teorema de los cuatro colores y la conjetura de Kepler. La primera demostración por Appel y Haken (1976) combinó argumentos teóricos con una enumeración por computadora de configuraciones; la técnica fue controvertida porque parte de la verificación dependía de código y resultados algorítmicos difíciles de revisar manualmente. Con el tiempo, la comunidad matemática ha ido aceptando estas pruebas, especialmente cuando se acompañan de esfuerzos de verificación independiente o formalización. El matemático Doron Zeilberger llegó a afirmar que posiblemente la mayoría de los resultados no triviales conocidos se basan en cálculos; su comentario subraya la creciente presencia del cálculo simbólico y computacional en la demostración matemática.

Ejemplos famosos

Algunos teoremas y resultados ilustran bien las distintas facetas de la prueba matemática:

  • último teorema de Fermat, un enunciado muy simple de expresar pero cuya demostración moderna (por Andrew Wiles y Richard Taylor) usó teoría de números algebraica avanzada y herramientas de la teoría de formas modulares; es ejemplo de cómo un enunciado elemental puede requerir teorías profundas.
  • teorema de los cuatro colores,
  • conjetura de Kepler,
  • Pythagoras: teorema clásico y con multitud de demostraciones elementales y geométricas (ejemplo de teorema fácil de enunciar y con pruebas variadas).
  • Teorema fundamental del álgebra y teorema fundamental del cálculo: resultados centrales que conectan áreas distintas y sirven como ejemplos de teoremas con múltiples demostraciones diversas.

Profundidad, sencillez y elegancia

Un teorema puede ser fácil de enunciar y, sin embargo, profundo si su demostración revela conexiones inesperadas entre ramas matemáticas o si exige herramientas sofisticadas. Por otro lado, la sencillez en la demostración (una prueba corta, clara y conceptual) suele valorarse como signo de elegancia. La longitud o dificultad de una demostración no siempre mide la importancia matemática del resultado, pero sí afecta la comprensión y la capacidad de enseñar y utilizar ese resultado.

Conclusión: por qué importan los teoremas

Los teoremas constituyen el esqueleto del conocimiento matemático: sintetizan hechos verificables y sirven como puntos de partida para nuevas preguntas, aplicaciones y teorías. La diversidad de métodos de demostración —desde argumentos elementales hasta verificaciones asistidas por ordenador— refleja la riqueza de la disciplina y su continua evolución.