Métodos de demostración

2.1. Clasificacion de teoremas:

Para realizar demostraciones de propiedades y treoremas mátemáticos, es

necesario conocer diferentes métodos, para ello es necesario distinguir la

hipótesis de la tesis.

Ejemplo 2.1: sea la hipóteis “p: a = b” y la tesis “q: a 2 = b2”, tomando en

cuenta la clasificación de teoremas, podemos escribir la hipótesis y tesis de

la siguiente manera:

1°) Teorema directo: p  q , reemplazando los enunciados del ejemplo

2.1, se tiene si a=b  a2 = b2.

2°) Teorema recíproco: q  p , reemplazando los enunciados del

ejemplo 2.1, se tiene si a2 = b2  a=b.

3°) Teorema inverso: ~p  ~q , reemplazando los enunciados del

ejemplo 2.1, se tiene si a  b  a2  b2.

4°) Teorema contrarrecíproco: ~q  ~p, reemplazando los enunciados

del ejemplo 2.1, se tiene si a2  b2  a  b.

Nota:

a) Si un teorema y su recípro son ciertos, decimos que la afirmacion,

expresada en la hipótesis es equivalente a la expresada en la tesis.

b) Si un teorema t1 es cierto, su contrarrecíproco t2 tambien lo es.

1
En efecto; por ser cierto el teorema t1: a=b  a2 = b2 , su contrarrecíproco

t2: a2  b2  a  b, igualmente lo será, pues si fuse a= b se verificaría que a2

= b2 (por la tesis t1) lo cual está en contradiccón con al hipótesis t2.

Conclusion: dos teoremas contrarrecíprocos son ambos verdaderos o

ambos falsos, pero nunca uno verdadero y el otro falso.

2.2. Demostraciones:

Definición: Es el proceso que se sigue para contrastar la verdad o falsedad

de una determinada proposicion llamada conclusion, la cual deriva como

consecucnia lógica de otra u otras proposiciones llamadas premisas.

El método más utilizado es el método deductivo, sin embargo queremos

resaltar tres tipos de demostraciones:

a) Demostración por reducción al absurdo: Para poder demostrar un

teorema basta con demostrar su contrarrecíproco. En efecto si queremos

demostar que “si se verifica p, entonces se verifica q”, es decir, p  q,

debemos demostrar que “ si no se veifica q, entonces no se verifica p”, es

decir, ~q  ~p; si este último es cierto, sería contrario a la hipóteis de que

suceda p, por lo que caeríamos en una contradicco´n de partida; luego

forzosamente ha de ocurrir q, pues de otro modo llegaríamos a un

absurdo.

Ejemplo 2.2. Demostrar que dados dos conjuntos A y B, si A = Ø, el

producto cartesiano AxB es vacío.

2
Demostración:

Si Ax B  Ø, entonces AxB tendría al menos un elemento (a,b), siendo a ϵ

A y b ϵ B, de esta afirmamcion se deduce que A no es vació que contradice

a la hipótesis. Por lo tanto Ax B tiene que ser vacío.

b) Demostración por contraejemplo: se trata de encontrar algún ejemplo

para el cual el supuesto teorema o proposición no se cumpla. Si hallamos

un único caso en el que no se confirme la afirmacion estudiada, podemos

garantiza que el teorema no es cierto en general, al no serlo en particular.

Ejemplo 2.3. si “ a2 = b2  a=b” , para todo a,b ϵ Z.

Demostración: Probemos para a=5, si (5)2 = 25 = (-5)2 , entonces 5 =-5;

como podemos observar, la proposición es falsa en general.

c) Demostración por inducción o rrecurrencia: la inducción parte de lo

particular para llegar a lo general, mas que todso se aplica cuando

intervienen de alguna manera los numérois naturales; el procesimiento es

probar para n=1, suponer que es cierta para n= h y demostrar para n =

h+1 si se demuestra que es cierto, entonces el teorema cumple para todo
n (principio de inducción), caso contrario caeríamos en un absurdo.

Ejemplo 2.4. Para todo n ϵ N, demostar que: 2n >n.

Demostración: Como el enunciado dice para todo, no se excluye ningun

número natural, entonces probemos.

3
Para n = 1: debe cumplirse que 21 >1, efectivanente 21 = 2 >1, es cierto.

Para n = h: se admite que es cierto, es decir, 2h >h, es cierto.

Multiplicando por 2 a cada miembro de la desiguadad se

obtiene:

2.2h >2h

2h+1 >2h (*)

Para n = h+1: debe cumplirse que 2h+1 >h+1.

Sabemos que para todo h ϵ N, h  0, secumple que h  1, luego

sumando h a cada miembro de la desigualdad, se tiene:

h+h  h+1

2h  h+1, relacionando esta expresión con (*), se obtiene:

2h+1 >2h  h+1, esto significa que:

2h+1  h+1, lo cual es considerado el principio de inducción,

prueba que el teorema es cierto con cualquier número natural n

Trabajo investigativo N° 02