Algunas demostraciones de matemticas

1. Demostrar que no hay ningn nmero racional cuyo cuadrado sea 17.
Demostracin. Mtodo de demostracin reduccin al absurdo.
Supongamos que existe un nmero racional cuyo cuadrado sea 17.
Sea x un nmero racional, por definicin de nmero racional, son todos aquellos de la

forma donde p y q son nmeros enteros y q 0.

Entonces x es de la forma =

0
2

Ahora bien 2 = 17 = 17

Como tengo una fraccin elevada al cuadrado aplico la propiedad =

2

Tenemos = 17

2
2

= 17

2 = 17 2 , entonces 2 = 17 2 = 17 esto quiere decir que p es un

nmero irracional (este smbolo significa en matemticas que es una contradiccin).

Es una contradiccin ya que dijimos que p y q eran nmeros enteros parte de la definicin
de nmero racional y llegamos a que p es un nmero irracional, por lo tanto la conclusin,
es que no existe ningn nmero racional que elevado al cuadrado sea 17.
Q. E. D.

(significa queda demostrado).

>0

1
2

<0

2. Demostrar que para cada nmero real x 0 tenemos que

Demostracin. Mtodo de demostracin por contraejemplo.
Sea x = - 2 un nmero distinto de cero y nmero real entonces

al demostrar por contraejemplo lo que hice es buscar un nmero que cumpla que sea
nmero real y distinto de cero, el - 2 es nmero real y distinto de cero sin embargo

1
2

no es mayor que cero y por lo tanto no se cumple para cada nmero real distinto de cero.
Q.E.D.
3. Si x y y son nmeros reales entonces | | = || ||

Demostracin. Mtodo de casos.

Primero el valor absoluto est definido por casos, y por lo tanto | | depende de
cualquiera de las dos siguientes desigualdades 0 < 0 .

Para probar el primero 0 indica que tenemos que demostrar otros dos casos
nuevamente x y > 0 o x y = 0 Cules son estas posibilidades? Sern x y > 0 significa
ambas x >0 y y>0 o x< 0 y y < 0 .
Ahora bien en el segundo caso: x y = 0 esto significa que x = 0 o y = 0 .

Y finalmente la posibilidad x y < 0 significar que uno de los dos, x o y es negativo y el

otro es positivo.
Esto significa que nosotros tenemos cuatro casos a considerar: las dos positivas, las dos
negativas, por lo menos uno de los dos es cero, y uno de los dos nmeros es negativo el
mientras que otro nmero es positivo.
Demostracin primer caso.
Supongamos que x > 0 y y > 0 , entonces x y > 0 y nosotros tenemos que: | | = 0.

Tambin tenemos que como x > 0 entonces || =

Y como y > 0 entonces || = . Por lo tanto | | = = | | || es decir por

transitividad tenemos que: | | = || || y hemos demostrado el resultado en este
caso. Q. E. D.

Escriba aqu la ecuacin.

Demostracin segundo caso: Escriba aqu la ecuacin.

Supongamos que x < 0 y y < 0 entonces x y > 0 y tenemos que | | = .

Como x < 0 entonces || = - x

y como y < 0 entonces || = - y.

Por lo tanto tenemos: | | = = ( )( ) = || || y por transitividad nos queda

| | = |||| y tambin queda demostrado para el segundo caso. Q.E.D.

Demostracin tercer caso

Supongamos que x = 0 o y = 0 , entonces x y = 0 entonces tenemos que:
| | = 0.

Y tambin tenemos: || = 0 o || = 0 por lo tanto:

| | = 0 = || || por lo que queda demostrado el resultado para el tercer caso ya que

por transitividad nos queda:
| | = ||||

Q. E. D.

Demostracin cuarto caso:

Supongamos que uno de los nmeros es positive y el otro nmero es negativo.
Entonces asumimos que x < 0 y y > 0 entonces x y < 0 y nosotros tenemos que:
| | = - ( x y) .

como x < 0 entonces || = - x

y como y > 0 entonces || = y por lo tanto tenemos:

| | = ( ) = ||||

Estimados alumnos:

y por transitividad tenemos | | = ||||

Q. E. D.

Hice un pequeo parntesis en las evaluaciones de las actividades ya que observo que
desde hace das no han entrado al foro de discusin de discusin de la Unidad 2 y
menos han entregado la actividad 2 de la Unidad 2.
Estos demostraciones son ejemplos para que ustedes comiencen a demostrar su
actividad 2 de la Unidad 2, aqu les puse un ejemplo de cada uno de los tres casos de
demostracin que sern aplicados a su actividad 2 el da de maana les demostrar
otros dos ejemplos de los otros mtodos de demostracin que deben utilizar para
resolver su actividad 2.

Como observarn el mtodo por casos como su nombre lo dice hay que considerar
todos los posibles casos es decir las posibles combinaciones y hacer la demostracin
para cada una de ellas y nicamente as podr quedar totalmente demostrado.

Para el mtodo de reduccin al absurdo, supones que no se cumple o que si se cumple

depende que te pidan y trabajas la demostracin con justificacin de pasos algebraicos
hasta que llegas a un absurdo o a una contradiccin y la contradiccin surge por estar
diciendo que no se cumple por lo tanto la conclusin es que si se cumple, o tambin la
contradiccin puede venir de que supusiste que si se cumple y la verdad no se cumple,
pero tienes que llegar a un absurdo a algo que no puede ser pues en la hiptesis dices
que si es y llegas a que no es.

Y por ltimo el contraejemplo, es cuando te dicen que una propiedad se cumple para
cada uno de los nmeros reales, o de los nmeros enteros o de los nmeros racionales y
si tu encuentras un nmero que sea real y no cumple la condicin eso es un
contraejemplo y ya queda demostrado que no se cumple para todos.