TOI 2

Actividad de Matematica:
Sobre las demostraciones en matematica (2)
En la siguiente actividad se propone probar una proposicion, referida a conjuntos de n umeros
reales. Probarla utilizando alguno de los metodos presentados.
Denicion 0.1
Un conjunto S R es acotado si existe M R : M > 0 tal que para todos los elementos
x S, se cumple |x| < M.
Ejercicio 1
Sean S, T R. Probar que si S T y S no esta acotado, entonces T no esta acotado.
TOI 2
Actividad de Matematica:
Sobre las demostraciones en matematica
Version 1
Introducci on
En las siguientes lneas trataremos de dar respuesta a las siguientes preguntas, que es de-
mostrar? como hacer para entender una demostracion? como aprender a hacer demostraciones
propias?
Para abordar el tema se mostraran diferentes tecnicas y modos de razonamiento que nos permitiran
entender las demostraciones y nos daran herramientas para que cada uno pueda realizar sus propias
demostraciones.
Una demostracion es un metodo para comunicar una verdad matematica a otra persona que
tambien habla el mismo idioma. Las demostraciones estan presentadas adecuadamente para quie-
nes ya conocen el lenguaje. Por tanto, para entender, hacer una demostracion o ambas cosas, se
debe aprender un idioma nuevo, un metodo nuevo de razonamiento.
A menudo, lo que hace que una demostracion sea tan difcil de entender es el hecho de que se omi-
ten partes del proceso de razonamiento, obligando a los estudiantes a tener que reconstruir dicho
proceso.
Comencemos considerando un ejemplo de proposicion, la cual queremos demostrar su veracidad:
Si tenemos un triangulo (XY Z) rectangulo tal que su hipotenusa tiene longitud z,
y su area es
z
2
4
, entonces el triangulo es isosceles.
x
z y
X
Z Y
En el enunciado se pueden identicar dos partes,
A =tenemos un triangulo (XY Z) rectangulo tal que su
hipotenusa tiene longitud z, y su area es
z
2
4
y por otro lado
B = el triangulo es isosceles.
El enunciado anterior se puede expresar sinteticamente de la forma Si A, entonces B, en
smbolos esto queda como A B. (La echa se lee como: entonces o implica).
Si nuestro objetivo es demostrar que este enunciado es cierto, debemos encontrar argumentos
convincentes para concluir que si el triangulo es rectangulo y de area
z
2
4
entonces es isosceles.
En matematica una de las principales actividades es la de encontrar alg un argumento para
justicar que A implica B. La armacion de la cual partimos (A) se llama hipotesis, y la armacion
que queremos concluir (B) se llama tesis. La demostracion matematica es la herramienta que
tenemos para concluir la tesis. Para ello abordaremos algunas tecnicas comunes que se utilizan
para cumplir nuestro objetivo.
El metodo progresivo-regresivo
El metodo progresivo-regresivo consiste en trabajar con la hipotesis y la tesis de forma
simultanea obteniendo armaciones equivalentes a ambas y de alguna forma llegar a vincularlas
logicamente. Si trabajamos con la hipotesis y vamos obteniendo armaciones equivalentes estamos
procediendo seg un el metodo progresivo, por otro lado, si trabajamos con la tesis y vamos
obteniendo armaciones equivalentes estamos procediendo seg un el metodo regresivo. En lenguaje
coloquial, la idea es ir descomponiendo la hipotesis y la tesis hasta llegar a una verdad evidente
que vincule a ambas, en otras palabras, la idea es ir dando saltos desde la hipotesis hacia la tesis
(metodo progresivo) y desde la tesis hacia la hipotesis (metodo regresivo).
Retomemos el ejemplo del triangulo e intentemos descifrar lo escrito anteriormente, si tenemos
un triangulo (XY Z) rectangulo, tal que su hipotenusa tiene longitud z, y su area es
z
2
4
, entonces
el triangulo es isosceles..
Para demostrar que A implica B asumimos que A es verdadero (hipotesis) y, de alguna forma, hay
que usar esa informacion para lograr la conclusion de que B es verdadero (tesis).
Comencemos a trabajar a partir de la hipotesis, es decir, trabajemos de forma progresiva:
Si x e y son las longitudes de los catetos y z la longitud de la hipotenusa, como (XY Z) es
rectangulo, aplicando el Teorema de Pitagoras obtenemos la siguiente relacion: x
2
+ y
2
= z
2
.
Recordar que el area del triangulo se calcula como (base)(altura)/2, y entonces el area es
xy
2
.
Por otro lado, parte de la hipotesis es que el area de este triangulo es
z
2
4
, por tanto
xy
2
=
z
2
4
.
Sustituyendo z
2
por x
2
+y
2
en la igualdad anterior obtenemos:
xy
2
=
x
2
+y
2
4
(1)
Hasta aqu hemos utilizado la hipotesis y hemos obtenido cierta informacion, tomemos ahora la
tesis y trabajemos con ella, es decir, realicemos el proceso regresivo. El proceso regresivo consiste
usar como gua la pregunta como o cuando se puede concluir la tesis?
En el ejemplo que estamos trabajando esto es , cuando se puede concluir que el triangulo
(XY Z) es isosceles?. En este caso una respuesta posible es apelar a una denicion: El triangulo
(XY Z) es isosceles si tiene dos lados iguales, por ejemplo x = y (ver la gura).
Aplicando este proceso se obtiene una nueva proposicion B
1
: x = y, que es equivalente con B, con
lo que, si se pudiera demostrar que B
1
es verdadera, entonces B sera verdadera.
Paso seguido nos podemos preguntar como o cuando se puede concluir que la proposicion B
1
es
verdadera? Aqu se puede plantear que x = y (x y) = 0, con lo que obtenemos una nueva
proposicion
B
2
: (x y) = 0 (2)
La seleccion de la respuesta es mas un arte que una ciencia dado que una pregunta puede
tener varias respuestas posibles. En circunstancias afortunadas habra solo una respuesta posible,
en otros casos, se tendra que proceder por ensayo y error, en ocasiones una respuesta correcta
sera una denicion, en otras un resultado anteriormente probado. Aqu es donde la intuicion,
ingenio, creatividad, experiencia, diagramas y gracas juegan un papel importante. Una gua
general es permitir que la informacion contenida en la hipotesis ayude a seleccionar la respuesta.
Retomando el ejemplo, hasta ahora, a partir de la hipotesis hemos obtenido la ecuacion (1)
y de la tesis hemos obtenido la ecuacion (2). Si logramos vincular ambas armaciones habremos
llegado a probar la proposicion.
Tomemos
xy
2
=
x
2
+y
2
4
; si multiplicamos ambos miembros por 4 obtenemos 2xy = x
2
+ y
2
,
ahora si sumamos a ambos miembros (2xy) obtenemos x
2
2xy + y
2
= 0, identicando el
termino de la izquierda como el cuadrado de un binomio obtenemos (x y)
2
= 0 y aplicando
raz cuadrada a ambos miembros tenemos nalmente (x y) = 0. Todas estas transformacio-
nes realizadas son equivalentes, por tanto hemos logrado vincular logicamente la hipotesis y la tesis.
En los libros y en los cursos de matematica unos de los principales desafos es el de leer y
comprender una demostracion condensada. Esto requiere que se determine que tecnica para hacer
demostraciones se esta utilizando (el metodo progresivo-regresivo no es el unico), se tendra que
descubrir el proceso del razonamiento implcito en la demostracion, y nalmente, se debera ser
capaz de vericar todos los pasos implicados.
A continuacion presentamos una tabla sintetica donde se muestra cada etapa del metodo
progresivo-regresivo en el ejemplo trabajado.
Proposicion Razon
A : El area de (XY Z) es
z
2
4
Hipotesis
A
1
:
xy
2
=
z
2
4

Area((XY Z)) =(base).(altura)/2

A
2
: x
2
+y
2
= z
2
Teorema de Pitagoras
A
3
:
xy
2
=
x
2
+y
2
4
Sustituir A
2
en A
1
A
4
: x
2
2xy +y
2
= 0 Operatoria
A
5
: (x y)
2
= 0 Factorizacion
B
1
: (x y) = 0 Raz cuadrada a A
5
B : El (XY Z) es isosceles Tesis
TOI 2
Actividad de Matematica:
Sobre las demostraciones en matematica
Version 2
Introducci on
En las siguientes lneas trataremos de dar respuesta a las siguientes preguntas, que es de-
mostrar? como hacer para entender una demostracion? como aprender a hacer demostraciones
propias?
Para abordar el tema se mostraran diferentes tecnicas y modos de razonamiento que nos permitiran
entender las demostraciones y nos daran herramientas para que cada uno pueda realizar sus propias
demostraciones.
Una demostracion es un metodo para comunicar una verdad matematica a otra persona que
tambien habla el mismo idioma. Las demostraciones estan presentadas adecuadamente para quie-
nes ya conocen el lenguaje. Por tanto, para entender, hacer una demostracion o ambas cosas, se
debe aprender un idioma nuevo, un metodo nuevo de razonamiento.
A menudo, lo que hace que una demostracion sea tan difcil de entender es el hecho de que se omi-
ten partes del proceso de razonamiento, obligando a los estudiantes a tener que reconstruir dicho
proceso.
Comencemos considerando un ejemplo de proposicion, la cual queremos demostrar su veracidad:
Si tenemos un triangulo (XY Z) rectangulo tal que su hipotenusa tiene longitud z,
y su area es
z
2
4
, entonces el triangulo es isosceles.
x
z y
X
Z Y
En el enunciado se pueden identicar dos partes,
A =tenemos un triangulo (XY Z) rectangulo tal que su
hipotenusa tiene longitud z, y su area es
z
2
4
y por otro lado
B = el triangulo es isosceles.
El enunciado anterior se puede expresar sinteticamente de la forma Si A, entonces B, en
smbolos esto queda como A B. (La echa se lee como: entonces o implica).
Si nuestro objetivo es demostrar que este enunciado es cierto, debemos encontrar argumentos
convincentes para concluir que si el triangulo es rectangulo y de area
z
2
4
entonces es isosceles.
En matematica una de las principales actividades es la de encontrar alg un argumento para
justicar que A implica B. La armacion de la cual partimos (A) se llama hipotesis, y la armacion
que queremos concluir (B) se llama tesis. La demostracion matematica es la herramienta que
tenemos para concluir la tesis. Para ello abordaremos algunas tecnicas comunes que se utilizan
para cumplir nuestro objetivo.
Un metodo bastante usado es el llamado metodo progresivo-regresivo. El mismo consiste en
trabajar con la hipotesis y la tesis de forma simultanea obteniendo proposiciones equivalentes a
ambas y de alguna forma llegar a vincularlas logicamente. Si trabajamos con la hipotesis y vamos
obteniendo armaciones equivalentes estamos procediendo seg un el metodo progresivo, por otro
lado, si trabajamos con la tesis y vamos obteniendo armaciones equivalentes estamos procediendo
seg un el metodo regresivo. En lenguaje coloquial, la idea es ir descomponiendo la hipotesis y la
tesis hasta llegar a una verdad evidente que vincule a ambas.
Los cuanticadores existe y para todo
A continuacion expondremos una tecnica para formular y contestar una pregunta que surge
cuando la tesis tiene unas formas especiales. Una de las formas especiales es cuando la tesis contiene
la palabra existe, en tanto la otra es cuando contiene las palabras para todo o para cada.
Estos dos grupos de palabras se denominan cuanticadores y cada uno de ellos dara lugar a una
tecnica para hacer demostraciones.
El metodo por construccion
Aqu trataremos el cuanticador existe y la tecnica de demostracion denominada metodo
por construccion.
La manera mas com un de como aparecen este tipo de proposiciones es
Existe un objeto con una cierta propiedad tal que algo sucede.
Las palabras entre comillas dependen de la proposicion particular y se debe aprender a leer,
identicar y escribir cada uno de sus tres elementos. Por ejemplo podemos considerar las siguientes
armaciones:
1. Existe un entero x : x > 2 tal que x
2
5x + 6 = 0.
2. Existen n umeros reales x e y, x > 0, y > 0 tales que 2x + 3y = 8 y 5x y = 3.
3. Existe un angulo tal que cos() = .
Durante el proceso regresivo, si alguna vez se encuentra una proposicion que tenga el cuanticador
existe, una forma en la cual se puede proceder para demostrar que la proposicion es verdadera
es mediante el metodo por construccion. La idea consiste en generar (adivinar, producir) el
objeto deseado. Desde luego que se debe demostrar que el objeto tiene la propiedad buscada y
tambien que el algo sucede. Lo que no es muy claro es como se genera realmente el objeto deseado.
El metodo por construccion no es la unica tecnica disponible para tratar con proposiciones que
contienen el cuanticador existe, pero es bastante usado.
TOI 2
Actividad de Matematica:
Sobre las demostraciones en matematica
Version 3
Introducci on
En las siguientes lneas trataremos de dar respuesta a las siguientes preguntas, que es de-
mostrar? como hacer para entender una demostracion? como aprender a hacer demostraciones
propias?
Para abordar el tema se mostraran diferentes tecnicas y modos de razonamiento que nos permitiran
entender las demostraciones y nos daran herramientas para que cada uno pueda realizar sus propias
demostraciones.
Una demostracion es un metodo para comunicar una verdad matematica a otra persona que
tambien habla el mismo idioma. Las demostraciones estan presentadas adecuadamente para quie-
nes ya conocen el lenguaje. Por tanto, para entender, hacer una demostracion o ambas cosas, se
debe aprender un idioma nuevo, un metodo nuevo de razonamiento.
A menudo, lo que hace que una demostracion sea tan difcil de entender es el hecho de que se omi-
ten partes del proceso de razonamiento, obligando a los estudiantes a tener que reconstruir dicho
proceso.
Comencemos considerando un ejemplo de proposicion, la cual queremos demostrar su veracidad:
Si tenemos un triangulo (XY Z) rectangulo tal que su hipotenusa tiene longitud z,
y su area es
z
2
4
, entonces el triangulo es isosceles.
x
z y
X
Z Y
En el enunciado se pueden identicar dos partes,
A =tenemos un triangulo (XY Z) rectangulo tal que su
hipotenusa tiene longitud z, y su area es
z
2
4
y por otro lado
B = el triangulo es isosceles.
El enunciado anterior se puede expresar sinteticamente de la forma Si A, entonces B, en
smbolos esto queda como A B. (La echa se lee como: entonces o implica).
Si nuestro objetivo es demostrar que este enunciado es cierto, debemos encontrar argumentos
convincentes para concluir que si el triangulo es rectangulo y de area
z
2
4
entonces es isosceles.
En matematica una de las principales actividades es la de encontrar alg un argumento para
justicar que A implica B. La armacion de la cual partimos (A) se llama hipotesis, y la armacion
que queremos concluir (B) se llama tesis. La demostracion matematica es la herramienta que
tenemos para concluir la tesis. Para ello abordaremos algunas tecnicas comunes que se utilizan
para cumplir nuestro objetivo.
Un metodo bastante usado es el llamado metodo progresivo-regresivo. El mismo consiste en
trabajar con la hipotesis y la tesis de forma simultanea obteniendo proposiciones equivalentes a
ambas y de alguna forma llegar a vincularlas logicamente. Si trabajamos con la hipotesis y vamos
obteniendo armaciones equivalentes estamos procediendo seg un el metodo progresivo, por otro
lado, si trabajamos con la tesis y vamos obteniendo armaciones equivalentes estamos procediendo
seg un el metodo regresivo. En lenguaje coloquial, la idea es ir descomponiendo la hipotesis y la
tesis hasta llegar a una verdad evidente que vincule a ambas.
Los cuanticadores existe y para todo
A continuacion expondremos una tecnica para formular y contestar una pregunta que surge
cuando la tesis tiene unas formas especiales. Una de las formas especiales es cuando la tesis contiene
la palabra existe, en tanto la otra es cuando contiene las palabras para todo o para cada.
Estos dos grupos de palabras se denominan cuanticadores y cada uno de ellos dara lugar a una
tecnica para hacer demostraciones.
El metodo por seleccion
Este metodo consiste en una tecnica para tratar con proposiciones que contienen el cuanticador
para todo.
En las proposiciones en las cuales aparece el cuanticador para todo o para cada, el enunciado
tendra la siguiente forma basica:
Para cada objeto con una cierta propiedad, algo sucede.
Las palabras entre comillas dependen del enunciado particular bajo consideracion, y se debe
aprender a leer, escribir e identicar los tres elementos.
Durante el proceso regresivo, si nos encontramos con una proposicion que tiene el cuanticador
para todo en la forma anteriormente mencionada, una manera en la cual se podra ser capaz de
demostrar que es verdadera es haciendo una lista de todos los objetos que poseen aquella cierta
propiedad. Entonces, para cada uno de ellos, se podra tratar de demostrar que algo sucede.
Cuando la lista es nita, esta podra ser una manera razonable de proceder; sin embargo, con
mucha frecuencia esto no sera practicamente posible debido a que la lista es muy larga o innita.
Aqu el metodo por seleccion permitira salvar esta dicultad.
Para entender la mecanica del metodo por seleccion, hay que ponerse en el papel de maquina
de hacer demostraciones y tener la capacidad de tomar cualquier objeto con cierta propiedad y
concluir que algo sucede. Supongamos que tenemos uno de esos objetos, pero no sabemos cual.
Todo lo que se sabe es que el objeto particular posee aquella cierta propiedad, y se debe usar
dicha propiedad para llegar a la conclusion de que algo sucede. Como el objeto es arbitrario, se
podra generalizar el resultado para todos los objetos. Esto se logra con mas facilidad trabajando
progresivamente a partir de aquella cierta propiedad y regresivamente a partir de lo que sucede.
Ejemplo 0.1
Si S = {x R : x
2
3x + 2 0} y T = {x R : 1 x 2}, entonces S = T.
En este caso debemos probar que los conjuntos S y T son iguales, como lo hacemos?. Debemos
probar que: S T y que T S. Apelando a la denicion de inclusion de conjuntos tenemos que
S T implica que para todo x S, se tiene que x T, por otro lado T S implica que para
todo x T, se tiene que x S.
Para ver que S T, sea x un elemento de S (el uso de la palabra sea indica frecuentemente
que el metodo por seleccion ha sido invocado). x cumple que (x
2
3x +2) 0, o que es lo mismo,
(x 2)(x 1) 0. Para que un producto de dos factores sea menor que cero, los mismos tienen
que tener diferente signo, por tanto se abren dos opciones excluyentes:
a) (x 2) 0 y (x 1) 0 o b) (x 2) 0 y (x 1) 0
El item a) no puede suceder dado que eso implicara que x 2 y x 1. Entonces debe suceder
b), es decir que x 2 y x 1, con lo que x T.
Para ver que T S, sea x T, entonces 1 x 2 lo que implica que 1 x 0 (x 1), y
por otro lado x 2 x2 0. Si multiplicamos ambas ecuaciones obtenemos (x1)(x2) 0,
es decir (x
2
3x + 2) 0 y x S.
TOI 2
Actividad de Matematica :
Sobre las demostraciones en matematica
Version 4
Introducci on
En las siguientes lneas trataremos de dar respuesta a las siguientes preguntas, que es de-
mostrar? como hacer para entender una demostracion? como aprender a hacer demostraciones
propias?
Para abordar el tema se mostraran diferentes tecnicas y modos de razonamiento que nos permitiran
entender las demostraciones y nos daran herramientas para que cada uno pueda realizar sus propias
demostraciones.
Una demostracion es un metodo para comunicar una verdad matematica a otra persona que
tambien habla el mismo idioma. Las demostraciones estan presentadas adecuadamente para quie-
nes ya conocen el lenguaje. Por tanto, para entender, hacer una demostracion o ambas cosas, se
debe aprender un idioma nuevo, un metodo nuevo de razonamiento.
A menudo, lo que hace que una demostracion sea tan difcil de entender es el hecho de que se omi-
ten partes del proceso de razonamiento, obligando a los estudiantes a tener que reconstruir dicho
proceso.
Comencemos considerando un ejemplo de proposicion, la cual queremos demostrar su veracidad:
Si tenemos un triangulo (XY Z) rectangulo tal que su hipotenusa tiene longitud z,
y su area es
z
2
4
, entonces el triangulo es isosceles.
x
z y
X
Z Y
En el enunciado se pueden identicar dos partes,
A =tenemos un triangulo (XY Z) rectangulo tal que su
hipotenusa tiene longitud z, y su area es
z
2
4
y por otro lado
B = el triangulo es isosceles.
El enunciado anterior se puede expresar sinteticamente de la forma Si A, entonces B, en
smbolos esto queda como A B. (La echa se lee como: entonces o implica).
Si nuestro objetivo es demostrar que este enunciado es cierto, debemos encontrar argumentos
convincentes para concluir que si el triangulo es rectangulo y de area
z
2
4
entonces es isosceles.
En matematica una de las principales actividades es la de encontrar alg un argumento para
justicar que A implica B. La armacion de la cual partimos (A) se llama hipotesis, y la armacion
que queremos concluir (B) se llama tesis. La demostracion matematica es la herramienta que
tenemos para concluir la tesis. Para ello abordaremos algunas tecnicas comunes que se utilizan
para cumplir nuestro objetivo.
Un metodo bastante usado es el llamado metodo progresivo-regresivo. El mismo consiste en
trabajar con la hipotesis y la tesis de forma simultanea obteniendo proposiciones equivalentes a
ambas y de alguna forma llegar a vincularlas logicamente. Si trabajamos con la hipotesis y vamos
obteniendo armaciones equivalentes estamos procediendo seg un el metodo progresivo, por otro
lado, si trabajamos con la tesis y vamos obteniendo armaciones equivalentes estamos procediendo
seg un el metodo regresivo. En lenguaje coloquial, la idea es ir descomponiendo la hipotesis y la
tesis hasta llegar a una verdad evidente que vincule a ambas.
El metodo por contradicci on
El metodo progresivo-regresivo es muy util pero puede suceder que por alguna razon no se
pueda completar exitosamente una demostracion.
Consideremos el siguiente enunciado:
Si n es un entero y n
2
es un n umero par, entonces n es un n umero par.
Intento de demostracion:
Como se puede demostrar que un entero n es par? Un entero es par si existe un entero k tal que
n = 2k.
Como n
2
es par, existe un entero m tal que n
2
= 2m, ahora, ya que el objetivo es generar un
entero k para el cual n = 2k, podramos pensar en aplicar la raz cuadrada a ambos miembros
de la ecuacion para llegar a que n =

2m, pero de que forma podemos escribir 2m para que

2k =

2m?
Parace ser que hemos llegado a un punto en que no podemos hacer mucho mas.
El metodo por contradiccion trata de dar otro enfoque al problema, en este se comienza
suponiendo que la hipotesis es verdadera, tal como en el metodo progresivo-regresivo. Sin embargo
para obtener la conclusion deseada de que la tesis es verdadera, se procede haciendose una pregunta
muy sencilla que dice: por que la tesis no puede ser falsa? Despues de todo, si debemos concluir
que la tesis es verdadera, entonces debe haber alguna razon por la cual la misma no pueda ser
falsa. El objetivo del metodo por contradiccion es descubrir esta razon.
As, en una demostracion por contradiccion se supone que la hipotesis es verdadera y que lo
contrario de la tesis es verdadero, y de alguna manera se debe usar esta informacion para obtener
una contradiccion a algo que se sabe de manera absoluta que es verdadera.
En este punto nos podemos hacer las siguientes preguntas:
1. Que contradiccion se debera buscar?
2. Como se usa la suposicion de que la hipotesis es verdadera y que la tesis es falsa para obtener
la contradiccion?
3. Cuando y por que se debera usar este metodo en lugar del metodo progresivo-regresivo?
La primer pregunta es la mas difcil de contestar, ya que no existen lneas de accion especcas.
Cada problema proporciona su propia contradiccion y, usualmente, se requiere creatividad,
perspicacia, persistencia y suerte para generar una contradiccion.
Respecto a la segunda pregunta, uno de los enfoques comunes para encontrar una contradiccion es
trabajar progresivamente a partir de la suposicion de que la hipotesis y el contrario de la tesis son
verdaderos.
Como regla general, se usa el metodo por contradiccion cuando el contrario de la tesis da alguna
informacion util.
El metodo por contradiccion permite un enfoque totalmente nuevo. En vez de mostrar que
existe un objeto con una cierta propiedad tal que algo sucede, por que no partir de la suposicion
de que dicho objeto no existe? Se debe utilizar esta informacion para lograr alguna clase de
contradiccion. Lo que no es muy claro es como y donde surge la contradiccion, pero tal vez esto
sea mucho mas facil que tener que construir el objeto.
Hay una diferencia sutil, pero signicativa entre una demostracion utilizando el metodo por
construccion y otra que utiliza el metodo por contradiccion. Si se tiene exito con el metodo por
construccion, se habra generado el objeto deseado, o como se puede crear el objeto. Por otro lado, si
se utiliza el metodo por contradiccion, se sabra que el objeto existe sin haber tenido que construirlo.
En sntesis, la contradiccion puede ser una tecnica muy util cuando la proposicion tesis contiene
la palabra no. Se trabajara progresivamente partiendo de la suposicion de que la hipotesis y el
contrario de la tesis son verdaderas para llegar a una contradiccion.
Retomemos el ejemplo anterior y abordemoslo con este nuevo enfoque:
Si n no es par, entonces es impar, con lo que se puede escribir como n = 2k + 1
para alg un k entero, si elevamos al cuadrado obtenemos n
2
= 4k
2
+ 4k + 1, es decir
n
2
= 2 (2k
2
+ 2k)

h
+1 y entonces n
2
es impar, lo cual es absurdo con la hipotesis ya que
n
2
era par.
Esto nos permite concluir que n es par.