Está en la página 1de 11

Capı́tulo 1

GEOMETRÍA

1.1. MÉTODOS DE DEMOSTRACIÓN

Existen diversos metodos de demostración como lo son la demostración di-


recta, indirecta, por contradición, etc, y cada uno de ellos se compone de unos
conceptos intuitivos no definidos, denominados axiomas o postulados, que se
suponen verdaderos y de unos teoremas que necesitan ser demostrados.

Definición 1. Una proposición es una palabra tomada del lenguaje corriente,


que significa: expresión con sentido completo, a estas expresiones se les
asigna un valor de verdad, que puede ser verdadero o falso.

Existen triángulos isósceles que no son equiláteros.

Es costumbre emplear las letras p, q, r, s como sı́mbolos para designar


proposiciónes

Un teorema es un enunciado de tipo

P ⇒Q

donde P y Q son enunciados o proposiciones verdaderas entonces el enun-


ciado P ⇒ Q es verdadero.

1
2 CAPÍTULO 1.

El enunciado P se llama hipotesis del teorema y el enunciado Q se llama


conclusión del teorema.

Existen diversos tipos de proposiciones, las llamadas, simples o tambien


abiertas y o cerradas, las compuestas o diatomicas, estas útimas se forman cuan-
do se unen proposiciones simples o compuestas con otras proposiciones simples
o compuestas por medio de los conectores o operadores logicos.

El valor de verdad de una proposicion depende de el valor de


verdad de cada proposición y del conector que las une. Si toda la tabla
de verdad del enunciado es verdadero se le llama una TAUTOLOGIA, en caso
contrario se le dice una CONTRADICCIÓN .

TAREA Del texto de Introduccion a la logica matematica de Galicia Ar-


rambide, solucionar TODOS los ejercicios de las paginas 21-22, 25-26,32-33,
37-38.
DEMOSTRACION DE UN TEOREMA
Una demostración de un teorema es una cadena finita de implicaciones que
tiene como termino inicial la hipotesis y como termino final la conclusión.

NOTA: Cuando un enunciado matemático no se ha demostrado, pero exis-


ten ciertas evidencias que inducen a creer que es verdadero, se dice que dicho
enunciado es una conjetura.

Algunas de las más famosas conjeturas a nivel mundial son la de Goldbach


, Riemman y la de Fermat que se encuantra en la dirección
http://www.youtube.com/watch?v=hpPUyZg9M8U,
unas ya han sido demostradas y otras que se encuentran en su proceso de
demostración, de igual forma en geometria se encuentran problemas famosos
como es de Gauss que se encuentra en la direccion electronica
http://www.youtube.com/watch?v=mLzAn6Bclhw&feature=related

DEMOSTRACIÓN DIRECTA:

Una demostración directa de la forma P ⇒ Q se efectua formando una serie


de enunciados verdaderos

P ∧t⇒U
U ⇒V
V ⇒W
...
Z⇒Q
3

Donde t es un teorema o un axioma de la demostración entonces se puede


concluir que

P ∧t⇒Q

es un enunciado verdadero.

Tambien una hipotesis puede ser de la forma P = (P1 ∧ P2 . . . Pn ) verdadera,


y Q es verdadera.

EJEMPLO 1: si n es un número impar entonces n2 es un número impar.

Demostración:

EJEMPLO 2: la ecuación cuadrática ax2 + bx + c = 0 tiene solución


−b ± b2 − 4ac
x=
2a

Demostración:

DEMOSTRACIÓN POR CONTRADICCIÓN:

También llamada demostración por reducción al absurdo o demostración


indirecta, y se define de la siguiente forma:

Si B es una proposición para demostrar que es verdadera, por reducción al


absurdo se supone que inicialmente que Bes falso, es decir (∼ B)es verdadero,
y se forma una cadena de enunciados de la forma

∼B∧t⇒U
U ⇒V
V ⇒W
...
Z ⇒∼ R
4 CAPÍTULO 1.

Donde t es un teorema o axioma de la teorı́a y ∼ R es un enunciado contra-


dictorio, es decir R y ∼ R son enunciados verdaderos.

Si el enunciado B es de la forma P ⇒ Q y queremos demostrar que B


es verdadero utilizando demostración por contradicción, podemos inicialmente
suponer que la hipotesis P es verdadera y la la conclusión Q es falsa , entonces
P ⇒ Q es falso si se llega a un enunciado contradictorio, entonces P ⇒ Q es
verdadero.

En este clase de demostraciones su logica implicita se fundamenta en las


REGLAS DE INFERENCIA LOGICA y en las tablas de verdad de la
logica proposicional.

REGLAS DE INFERENCIA

en una demostración, las proposiciones utilizandas en las reglas de inferencia


se llaman premisas, en donde se deducen la conclusión teniendo en cuenta las
siguientes reglas:

1) MUDUS PONENDO PONENS (PP)

P →Q
P
∴Q

EJEMPLO 1: En el siguiente ejercicio utilizar las reglas de inferencia para


demostrar la proposición pedida

Demostrar : M ∨ N

1.)¬j → M ∨ N
2.)F ∨ G → ¬j
3.)F ∨ G

2) MUDUS TOLLENDO TOLLENS (TT)


5

P →Q
¬Q
∴ ¬P

EJEMPLO 2:Demostrar la proposición pedida

Demostrar : F

1.)G → H
2.)¬G → ¬¬F
3.)¬H

3) MUDUS TOLLENDO PONENS (TP)

P ∨Q
¬P
∴Q

tambien se puede concluir P de la negación de Q por (TP)

EJEMPLO 3:Demostrar la proposición pedida

Demostrar : H

1.)¬S
2.)S ∨ (H ∨ G)
3.)¬G

4) DOBLE NEGACIÓN (DN)

P
∴ ¬¬P
6 CAPÍTULO 1.

¬¬P
∴P

5) SIMPLIFICACIÓN (S) Y ADJUNCIÓN (A)

P ∧Q
∴P

P ∧Q
∴Q

P
Q
∴P ∧Q

P
Q
∴Q∧P

6) LEY DEL SILOGISMO HIPOTÉTICO (HS)

P →Q
Q→R
∴P →R

7) LEY DE LA ADICIÓN (LA)


7

P
∴P ∨Q

Q
∴P ∨Q

8) LEY DE LA SIMPLIFICACIÓN DISYUNTIVA (DP)

P ∨P
∴P

9) LEY DEL SILOGISMO DISYUNTIVO (SD)

P ∨Q
P →R
Q→S
∴R∨S

P ∨Q
P →R
Q→S
∴S∨R

10) LEYES CONMUTATIVAS (LC)


P ∧Q
∴Q∧P

P ∨Q
∴Q∨P
8 CAPÍTULO 1.

11) LEY DE LA PROPOSICIÓN CONDICIONAL (LB)

P ↔Q
∴P →Q

P ↔Q
∴Q→P

P →Q
Q→P
∴P ↔Q

P ↔Q
∴ (P → Q) ∧ (Q → P )

12)LEY DE PREMISA AGREGADA (P): Una premisa se puede introducir


en cualquier punto de la deducción o de la demostración.

EJERCICIOS

1.Efectuar dos ejemplos de todas las leyes de inferencia lógica y consultar


y dar dos ejemplos de las leyes de Morgan. Texto: Introduccuión a la lógica
matematica de Patrick Suppes, realizar los ejercicios de la pag 75 a la 78, 82 a
la 85, y 103 a la 105.

2. Costruir las tablas de verdad para las variantes del condicional y dar dos
ejemplos de cada una de ellas, las variantes del condicional son la reciproca, la
contrareciproca, etc.

EJEMPLO 3: Por reducción al absurdo o por contradicción

Dadas dos rectas paralelas r1 y r2 cortadas por una secante S y un par de


ángulos α y β alternos internos congruentes, entonces las rectas son paralelas.

Demostración:
9

DEMOSTRACIÓN POR INDUCCIÖN MATEMÄTICA:

El principio de inducción matemática se fundamenta en la demostración


sistematica de una serie de pasos sobre el conjunto de los números naturales N

1.) Si el conjunto de los números naturales esta dado por N = {1, 2, 3, ....n},
Se verifica primero que P1 , P2 , ..., Pn , para todo n ∈ N es verdadero, es decir

P1 es verdadero, P2 es verdadero, Pn es verdadero.

Pk+1 es verdadero siempre Pk lo sea entonces Pn es verdadero para cualquier


n natural.

EJEMPLO 4:

Comprobar por inducción matematica que se cumplen los siguientes enunci-


ados:

n(n+1)
1 + 2 + 3 + ... + n = 2

Demostración:

Comprobemos que P1 es verdadera


1(1+1)
P1 = 2 = 1 =⇒ P1 es verdadera

2(2+1)
P2 = 2 = 3 =⇒ P2 es verdadera

3(3+1)
P3 = 2 = 6 =⇒ P3 es verdadera

Luego por principio de induccion Pk es verdadera entonces Pk+1 lo sera

k(k+1)
Si 1 + 2 + 3 + ... + k = 2 , sumando k + 1 a ambos lados

k(k+1)
1 + 2 + 3 + ... + k + (k + 1) = 2 + k+1

k2 +k+2k+2 k2 +3k+2
2 = 2

(k+1)(k+2) (k+1)[(k+1)+1]
2 = 2

Ejercicios:

Demostrar por inducción matemática los siguientes ejercicios:


10 CAPÍTULO 1.

1) 1 + 3 + 5... + 2n − 1 = n2
n(n+1)(2n+1)
2) 12 + 22 + 32 ... + n2 = 6

n2 (n+1)2
3) 13 + 23 + 33 ... + n3 = 4

RAZONAMIENTO DEDUCTIVO:

En cursos de fundamentos se estudian las propiedades de campo y de orden


de los números reales, este tipo de estudio matemático se llama razonamiento
deductivo.

En elconjunto R de los números reales hay dos operaciones binarias, deno-


tadas por + y · que se denominan adición y multiplicación respectivamente.
Estas operaciones satisfacen las siguientes propiedades:

(A1) a+b = b+a para toda a, b en R (propiedad conmuntativa de la adición)

(A2) (a + b) + c = a + (b + c) para toda a, b, c en R (propiedad asociativa de


la adicion);

(A3) existe un elemento 0 en R tal que 0 + a = a y a + 0 = a para toda a


en R (existencia del elemento cero);

(A4) para cada a en R existe un elemento −a en R tal que a + (−a) = 0 y


(−a) + a = 0 (existencia de elementos negativos)

(M1) a · b = b · a pata toda a, b en R (propiedad conmutativa de la multipli-


cacion);

(M2) (a · b) · c = a · (b · c) para toda a, b, c en R (propiedad asociativa de la


multiplicacion)

(M3) existe un elemento 1 en R diferente de 0 tal que 1 · a = a y a · 1 = a


para toda a en R (exitencia de un elemento unitario);

(M4) para toda a 6= enR existe un elemento 1/a en R tal que a · (1/a)) = 1
y (1/a) · a = 1 (existencia de reciprocos);

(D) a · (b + c) = (a · b) + (a · c) y (b + c) · a = (b · a) + (c · a) para toda a, b, c


en R (propiedad distributiva de la multiplicacion sobre la adicion).

Existe un subconjunto no vacio P de R, llamado el conjunto de los numeros


reales positivos, que satisface las siguientes propiedades:
11

i Si a, b pertenecen a P , entonces a + b pertenece a P .

ii Si a, b pertenecen a P , entonces ab pertenece a P .

iii Si a pertenece a R, entonces se cumple exactamente una de las siguientes


afirmaciones:

a ∈ P , a = 0, −a ∈ P .

Sean a, b, c, d elementos de R

a) Si a > b, entonces a + c > b + c.

b) Si a > b y c > d, entonces a + c > b + d.

c) Si a > b y c > 0, entonces ac > cb.

Si a > b y c < 0, entonces ca < cb.

d) Si a > 0, entonces 1/a > 0.

Si a < 0, entonces 1/a < 0.

NOTA:

Se recomienda continuar el estudio de este tema el el texto de GEOMETRÍA


ELEMENTAL de HEMMERLING, editorial limusa, México 1995, pagina 85-
115.

Ejercicios de Practica:

Solucionar los ejercicios de la pagina 87-88 del texto de geometrı́a elemental


de HEMMERLING.

También podría gustarte