Terminología matemática

Enunciados:
- •
  
  Teorema
- •
  
  Proposicion - resultado de un enunciado que propone algo (menor entidad que un teorema)
- •
  
  Lema - resultado cuya funcion es servir como herramienta auxiliar para probar otra cosa
- •
  
  Corolario - resultados que se obtienen como consecuencia de demostrar un teorema
- •
  
  Observacion - puntualizacion verdadera y suficientemente clara como para no necesitar demostracion
- •
  
  Conjeturas - resultado que se cree que es cierto pero no hay una demostración

Ejemplos:

Teorema .1 (Ultimo teorema de Fermat).

Sea $n\geq 3$ un numero natural. La ecuacion

x^{n}+y^{n}=z^{n}

no tiene soluciones (salvo las triviales) en los numeros enteros.

Fermat lo enuncia en 1637.
Es una conjetura hasta que Andrew Wiles lo demuestra en 1995.

Conjetura .1 (de Goldbach).

Sea $n>2$ un numero natural par. Entonces $n$ es suma de dos numeros primos.

Demostracion directa

Ejemplos:

Proposición .1.

Sea $n$ un numero natural impar. Entonces la division entera de $n^{2}$ entre $8$ tiene resto $1$ .

Demostración.

Como $n$ es impar, se puede expresar como $n=2m+1$ con $m\in\mathbb{N}$ . Asimismo, tenemos que

n^{2}=(2m+1)^{2}=4m^{2}+4m+1\Rightarrow n^{2}=4m(m+1)+1

Luego $m(m+1)$ es un numero par $\implies$ $m(m+1)=2\ell$ con $\ell\in\mathbb{N}$ .

n^{2}=4\cdot 2\ell+1=8\ell+1\Rightarrow\text{ El resto de $n^{2}$ entre 8 es 1.}

∎

Teorema .2 (de Pitagoras).

Sean $a$ la longitud de la hipotenusa de un triangulo rectangulo y $b$ y $c$ las longitudes de sus dos catetos. Entonces se cumple la igualdad

a^{2}=b^{2}+c^{2}

Demostración.

Se puede demostrar de forma geométrica:

Figura 1: Demostracion del teorema de Pitagoras

∎

Reduccion al absurdo

Ejemplos:

Teorema .3.

$\sqrt{2}$ es un numero irracional.

Demostración.

Lo demostraremos por reduccion al absurdo.

Supongamos que $\sqrt{2}$ es un numero racional. Entonces $\sqrt{2}$ se puede escribir como una fraccion irreducible: $\sqrt{2}=\frac{a}{b}$ donde $a,b\in\mathbb{Z}$ y $b\neq 0$ . Entonces

b\sqrt{2}=a\Rightarrow b^{2}2=a^{2}\Rightarrow a^{2}\text{ es par}\Rightarrow a% \text{ es par}\implies a=2c

Sustituyendo

b^{2}2=(2c)^{2}=4c^{2}\Rightarrow b^{2}=2c^{2}\Rightarrow b^{2}\text{ es par }% \Rightarrow\boxed{\text{b es par}}

Hay una contradiccion porque $a$ y $b$ no tenian factores en comun.

Luego lo supuesto tiene que ser falso y por tanto $\sqrt{2}$ no es racional. ∎