3. LOS TEOREMAS EN MATEMÁTICA - PARTE 1

2.1 ¿Qué son los teoremas?

En matemática, un teorema es una proposición sobre la que se ha podido establecer lógicamente su validez a partir de otro conjunto de axiomas o teoremas. De forma “vaga” (ambigua) es un argumento que relaciona el valor de verdad de una afirmación a partir del valor de verdad de otras ya establecidas.

Su estructura semántica interna puede describirse de forma genérica a partir del esquema:

• hipótesis: son los supuestos que se plantean para los objetos matemáticos de los que trata el teorema;

• tesis: es la afirmación que se quiere demostrar;

• demostración: es la secuencia de pasos lógicos que permiten ir de las hipótesis a la tesis. Al final de una demostración suele escribirse algún símbolo que indica la finalización; en muchos textos se utiliza la sigla Q.E.D. que significa (quod erat demonstrandum, traducido como “queda entonces demostrado”).

Este esquema muchas veces no se deja explícito pero es el sustrato de la argumentación lógica.

.

2.2 Algunos teoremas sencillos

Veamos algunos teoremas de la geometría. Un teorema sencillo es el siguiente:

Demostración. Sea un triángulo ABC. Supongamos, sin pérdida de generalidad, que su base AB se opone al ángulo mayor C, de manera que la altura esté contenida dentro del triángulo.

Trácense las rectas paralelas a la altura que pasen por los vértices A y B. Trácese también la recta paralela al lado AB que pase por C. Sean P el punto del lado AB que es pie de la altura correspondiente; sean M y N las intersecciones entre las rectas trazadas como se ve en la figura.

Los triángulos ACP y ACM resultan iguales, por ser mitades del rectángulo AMCP, ya que AC es su diagonal. Los triángulos BCP y BCN resultan iguales, por ser mitades del rectángulo BNCP, ya que BC es su diagonal. Por lo tanto:

Área(AMNB) = Área(ACP) + Área(ACM) + Área(BCP) + Área(BCN) = 2(Área(ACP) + Área(BCP))

Como Área(ACB) = Área(ACP) + Área(BCP), se concluye que

Área(AMNB) = 2Área(ABC)

O equivalentemente: el área del triángulo ABC es la mitad de la del rectángulo AMNB. Q.E.D.

¿Cuál es la hipótesis de este teorema? ¿Cuál es la tesis? La tesis es lo que se afirma al final: es decir, que el área del triángulo es igual a la mitad de la del rectángulo de igual base y altura. Este teorema es un resultado tan general que no es necesaria ninguna hipótesis sobre el triángulo que se analiza (“sea un triángulo ABC”). Al pedir que AB sea el lado mayor, parecería haber una condición (una hipótesis) sobre el triángulo; pero no es así, ya que dado un triángulo ABC podemos cambiar los nombres de sus vértices de modo que AB sea el lado mayor.

Notemos también que el teorema hace uso de algunos resultados auxiliares (que se asumen como “verdades”): la altura respecto del lado mayor está contenida en el triángulo, la diagonal de un rectángulo lo divide en dos triángulos de igual área. Estos resultados podrían demostrarse aparte (son también teoremas) haciendo uso de los axiomas de la geometría.

2.3 Más teoremas

Para seguir profundizando en la idea de teorema, veremos ahora algunos teoremas en otros contextos. En primer lugar veamos un teorema que relaciona el seno y el coseno de ángulos complementarios.

Hipótesis. Sean $\alpha$ y $\beta$ dos ángulos complementarios, es decir, su suma es $\frac{\pi}{2}$ (usaremos radianes para medir ángulos, de modo que $90^{\circ}$ equivale a $\frac{\pi}{2}$).

Tesis. $\text{sen}(\alpha)=\text{cos}(\beta)$

Demostración. Si ninguno de los ángulos $\alpha$ y $\beta$ es nulo, podemos construir el siguiente triángulo:

ABC es un triángulo rectángulo: $\delta = \frac{\pi}{2}$

$\alpha + \beta = \frac{\pi}{2}$

En el triángulo rectángulo ABC, se sabe que $\alpha + \beta = \frac{\pi}{2}$.

Como $\text{sen}(\alpha)=\frac{\overline{AB}}{\overline{AC}}$ y $\text{cos}(\beta)=\frac{\overline{AB}}{\overline{AC}}$, luego: $\text{sen}(\alpha)=\text{cos}(\beta)$

Quedan por analizar los casos:

a) $\alpha=0$ y $\beta=\frac{\pi}{2}$

Como $\text{cos}(0)=1$ y $\text{sen}\left(\frac{\pi}{2}\right)=1$, se verifica la igualdad.

b) $\alpha=\frac{\pi}{2}$ y $\beta=0$.

Como $\text{cos}\left(\frac{\pi}{2}\right)=0$ y $\text{sen}(0)=0$, se verifica la igualdad. Q.E.D.

Otro interesante teorema, que se relaciona con la conocida regla de Ruffini, es el teorema del resto para polinomios.

Hipótesis. $P(x)$ es un polinomio de grado mayor o igual a 1 con coeficientes reales y $a \in \mathbb{R}$ en el polinomio $(x - a)$.

Tesis. $r = P(a)$

Demostración. Si realizamos la división entre los polinomios $P(x)$ y $(x - a)$ obtenemos un cociente $C(x)$ y un resto $R(x)$ tales que:

$P(x) = C(x) \cdot (x - a) + R(x)$

Como el grado del resto debe ser menor que el grado del divisor, se concluye que el resto tiene grado 0, pues el divisor tiene grado 1. Los polinomios de grado 0 son constantes, de modo que $R(x) = r$.

Si $(x - a) = 0$, se deduce que $x = a$. Entonces

$P(a) = C(a) \cdot 0 + r$

De aquí se deduce que

$P(a) = r$

Q.E.D.

Hemos presentado aquí los teoremas de modo que queden claras sus hipótesis y tesis. Sin embargo, no todos los libros son tan claros al momento de mencionar las hipótesis, o incluso al enunciar el teorema mismo. Por ejemplo, E. Gentile en su libro Notas de Álgebra, muestra esta demostración de la unicidad del elemento $0$ en los números reales $(\mathbb{R})$.

Notemos que aquí el autor menciona entre paréntesis en la demostración el uso de una hipótesis (que el $0^*$ es elemento neutro y $0^* + \text{a} = \text{a}$; análogamente para $0$).