Facultad de Educación e Idiomas

Departamento de Enseñanza de las Ciencias

Carrera de Matemática

Componente: Integrador I

Contenido: Introducción a la demostración matemática.

Objetivo: Aplicar inferencias lógicas en la demostración de proposiciones

algebraicas, geométricas y funcionales.

INTRODUCCIÓN

Concepto de deducción

Tomando como guía las consideraciones de lógica matemática establecidas en el

componente Lógica y teoría de conjuntos, veamos en qué consiste el proceso de
demostración, basadas en los conceptos de verdad y falsedad: En un sentido general
intuitivo, y sin pretender dar una definición, podemos considerar la demostración
como una combinación o enlace de dos o más proposiciones para obtener nuevas
proposiciones cuya validez resulte de la validez de aquellas. Las proposiciones
nuevas se dicen demostradas, deducidas o inferidas de las anteriores.

Todas las proposiciones de una teoría matemática se clasifican en dos tipos: las
aceptadas sin demostración, que se toman como proposiciones de partida o axiomas,
y las deducidas, llamadas teoremas. Muchos de los teoremas se escriben en la forma
afirmando que, si se parte de cierta hipótesis , se puede demostrar otra
proposición llamada tesis; lo anterior indica que, para efectuar una demostración
es fundamental identificar correctamente la hipótesis y tesis de la proposición a
demostrar.

1
 Añadamos a lo anterior un teorema que constituye el fundamento de casi todos los
razonamientos matemáticos, pues permite obtener unas proposiciones partiendo de
otras admitidas o ya establecidas como verdaderas, el cual recibe el nombre de
Modus Ponendo Ponens:

Teorema. Si es verdadera, y se tiene la implicación entonces es

verdadera.

Demostración.

Haciendo referencia al párrafo anterior, no podemos partir sin identificar las

hipótesis y tesis de este teorema:

Hipótesis: es verdadera, y también es verdadera.

Tesis: es verdadera.

Ahora bien, de las hipótesis, recuerde que es verdadera significa que, no

ocurre que sea verdadera y sea falsa. Dado que, también en la hipótesis se ha
afirmado que es verdadera, el único valor de verdad posible para es, también,
verdadera.

Ejemplo de aplicación de Modus Ponendo Ponens

Si el número es una fracción decimal no periódica infinita, entonces no es un

número racional.

El número es una fracción decimal no periódica infinita.

Conclusión: no es un número racional.

ACTIVIDADES

A continuación se pondrá en práctica la habilidad demostrativa, derivando en cada

ejercicio un razonamiento que permita mostrar la veracidad de la proposición dada.

I. Un ejemplo de demostración

A continuación se brinda una demostración de la propiedad transitiva de la relación

divide en el conjunto de los números naturales. Efectúe lo siguiente:

2
 a) Establezca el tipo de proposición compuesta que debe demostrarse (¿es una
conjunción, disyunción, condicional, bicondicional, negación o es solo una
proposición simple?
b) Lea atentamente cada paso de la demostración.
c) En el salón de clase, explique a sus compañeros la demostración.

Previo a la demostración, se debe enunciar la definición de la relación divide:

DEFINICIÓN. Un natural divide a otro , y se denota | si existe un número tal

que se verifica

TEOREMA (Propiedad transitiva de la relación divide). Si divide a y este, a su

vez, divide a entonces divide a . En símbolos:

| | |

Demostración.

1. Por hipótesis, |
2. Por definición de la relación divide, existe un número natural, al cual llamaremos
que cumple que
3. Por hipótesis, |
4. Por definición de la relación divide, existe un número natural, al cual llamaremos
que cumple que
5. Sustituyendo la igualdad del punto 2. en el punto 4. tenemos ( )
6. Por la propiedad asociativa del producto de números naturales, la igualdad
anterior se puede escribir como ( )
7. El número hace que se verifique la definición de divisibilidad para y
luego concluimos que divide a .

II. Determinación de antecedente y consecuente.

Complete la siguiente tabla, determinando antecedente y consecuente en
cada implicación.

P: Proposición Antecedente (premisa) Consecuente (tesis)

R: Recíproco de la proposición
P: Si es un ángulo recto, es un ángulo recto. es congruente a uno de
entonces es congruente a uno sus ángulos suplementarios.
(1)
de sus ángulos suplementarios.

3
 R: Si es congruente a uno de
sus ángulos suplementarios, es
un ángulo recto.

P: Si el cuadrilátero es un
rombo, entonces sus diagonales
(2)
son perpendiculares entre sí.

R: Si las diagonales del

cuadrilátero son
perpendiculares entre sí,
entonces es un rombo.

P: Si dos triángulos coinciden en

uno de sus lados y en la altura
(3)
correspondiente, entonces
tienen áreas iguales.

R: Si dos triángulos tienen áreas

iguales, estos coinciden en uno
de sus lados y en la altura
correspondiente.

III. Razonamiento geométrico.

1) Si es el suplemento de es el suplemento del s

tienen la misma amplitud, ¿qué se puede deducir acerca del y ?

Sugerencia: ilustre gráficamente la situación planteada.

- ¿Cuáles son los conceptos involucrados en esta situación?

- ¿Es una propiedad válida para cualesquiera dos parejas de ángulos suplementarios

que cumplen las condiciones establecidas?

- Determine hipótesis (datos) y tesis (conclusión obtenida) en esta propiedad.

- Enliste pasos que permitan mostrar la veracidad de la conclusión que obtuvo.

4
 2) Si y son complementarios y y son también

complementarios, ¿por qué los y tienen la misma amplitud?

- ¿Cuáles son los conceptos involucrados en esta situación?

- ¿Es una propiedad válida para cualesquiera dos parejas de ángulos

complementarios que cumplen las condiciones establecidas?

- Brinde una representación gráfica de esta propiedad, distinta a la mostrada.

- Determine hipótesis (datos) y tesis (conclusión obtenida) en esta propiedad.

- Enliste pasos que permitan mostrar la veracidad de la conclusión que obtuvo.

IV. Suma de números racionales.

DEFINICIÓN: Dados los números racionales siendo y

distintos de cero, se definen la suma y producto de dichos números como:

A continuación se demuestra la propiedad conmutativa de la suma de números

racionales:

TEOREMA: La suma de números racionales es conmutativa.

Demostración

Sean números racionales arbitrarios, entonces

5
 Pasos Justificación

Definición de suma de números racionales

Propiedad conmutativa del producto de nros. enteros

Propiedad conmutativa de la suma de nros. enteros

Definición de suma de números racionales

- ¿Cuál es la hipótesis y tesis de este teorema?

- Explique en el salón de clase la demostración anterior.
- Enuncie y demuestre las propiedades conmutativa y asociativa del producto
de números racionales.

V. Dada la premisa: Para toda se cumple que se debe

probar la tesis: Para toda se cumple que
Brinde las justificaciones faltantes en la siguiente tabla:

Dado que, para toda se cumple que esta igualdad sigue

siendo válida para toda así que

Pasos Justificación

Premisa

( )

Propiedad de potenciación: ( )

6
VI. Efectúe lo que se pide en cada inciso:
a) Probar que la solución dada al siguiente problema es incorrecta;
b) Decir porqué los es;
c) Indicar cuál es la solución del problema.

Problema: Decir para qué números naturales , es

Solución: Si entonces es decir ( ) lo cual se

verifica si y solo si

Así, vale para todos los números naturales tales que

EJERCICIOS

1. Demuestre las siguientes propiedades de la relación divide:

b) Si un número divide a un entero, divide al producto de este por cualquier
entero: | |
c) Si un número divide a otros dos, entonces divide a su suma o diferencia:
| | |( )
d) Si un número divide a un entero, entonces divide a su opuesto:
| |( )

2. D cir porqué s incorr ct l “ ostr ción” sigui nt qu os nú ros

cualesquiera y son iguales:

La igualdad

equivale a
.

Y, sumando miembro a miembro se obtiene la igualdad

Pero, esta se verifica para todo par de números, en virtud de la propiedad

conmutativa de la suma.

7
3. Propiedad asociativa de la suma de números racionales.

( ) ( )

Efectúe la demostración de dicha propiedad.

Sugerencia: Aplicando la definición de suma de números racionales y

propiedades de las operaciones de números enteros, determine el número
racional al que es igual ( ) de la misma forma proceda con ( )y
compare los resultados obtenidos.

4. Una ley distributiva.

En la teoría de conjuntos es muy conocida la propiedad

( ) ( ) ( )

para cualesquiera conjuntos Esta es la ley distributiva a izquierda de la

unión respecto a la intersección. A continuación se debe completar los espacios
en blanco, en la demostración de la igualdad anterior.

Demostración.

Para probar la identidad ( ) ( ) ( ) se debe probar:

a) Todo elemento de ( ) es un elemento de __________________.

b) Todo elemento de ( ) ( ) es un elemento de ( )

1. Supongamos que ( ) entonces o Si

entonces ( )y ( ) luego, Por
otra parte, si ( ) entonces y Por tanto,
( )y ( ) de donde, Luego, en todo
caso, ( ) ( ) es decir, ( ) ( ) ( )

2. Supongamos ( ) ( ) Entonces, ( ) y
Si entonces ( ) Si entonces y
luego y de nuevo se concluye ( ) Lo anterior
permite afirmar la inclusión ( ) ( )