UNIVERSIDAD NACIONAL SAN AGUSTÍN DE AREQUIPA

FACULTAD DE CIENCIAS NATURALES Y FORMALES

ESCUELA PROFESIONAL DE MATEMÁTICAS

INVESTIGACIÓN FORMATIVA:
METODOS DE DEMOSTRACION APLICADOS A LA TRIGONOMETRIA
CURSO: DEMOSTRACION

INTEGRANTES:
•VLADIMIR PAYE CALSINA
•DANIEL CCALTA CHECCORI

DOCENTE:
• BIDDER SABINO CALAPUJA SAMBRANO
AREQUIPA-PERU
Introducción

A continuación mostraremos una serie de problemas, y además usando los

apuntes del curso de demostración, en los cuales se buscara identificar
que problemas corresponden a cada tipo.
METODO DE PROGRESIVO

En el método de demostración directa se tiene como hipótesis verdaderas las proposiciones

procediendo a la deducción de que la conclusión Q es verdadera a través de un proceso
lógico deductivo, es decir como una cadena de implicaciones lógicas. El esquema de
demostración en el método directo es de la forma:

Si H1 y H 2 y  y H n entonces en forma simbólica

H1  H 2  H n 
T
 EJEMPLO 1
Seno de suma de ángulos
Si en la circunferencia trigonométrica ubicamos dos ángulos  y 
como se muestra en la figura, entonces el Sen(   )  Sen C os   C os Sen 

Demostración
H : Ubicamos los ángulos  y  en la circunferencia trigonométrica
H : Se traza FD entonces FD  Sen(   )
1
,
H : Se traza
2 DH  OB entonces el triángulo OHD se cumple que DH  Sen  y OH  Cos 
H : Se traza HG  OC
3 y HE  FD formando los triángulos OGH y DEH
H : Del triángulo OGH se deduce GH  Cos  Sen
4

H : Del triángulo DEH Se deduce ED  Sen  Cos 

5

H : Como: FD  FE  ED GH  FE
6

T :
Sen(   )  Sen C os   C os Sen 
EJEMPLO
SI x es un impar, entonces 9x  5 es par

DEMOSTRACION
H1 : x es par
H2 : x  k, k  tal que x  2k 1
H 3 : H 2 Reemplazando en 9 x  5  9(2k  1)  5
 18k  9  5
 18k  14
 2(9k  7)

H 4 : r  9k  7,9k  7 
T  9x  5  2r es par
EJEMPLO
Si a y c son impares, entonces ab  bc es par para cada entero b
DEMOSTRACION

H1  a es impar

H 2  K , K  tal que a  2k  1
H 3  c es impar
𝐻4 = ∃𝑙, 𝑙 ∈ ℤ tal que c  2l  1

H5 : ab  bc  (2k  1)b  (2l  1)b

 2kb  b  2bl  b
 2kb  2bl  2b
 2(kb  lb  b)
H 6 : r  kb  lb  b, kb  lb  b 
T1  H5 : ab  bc  2r, r 
T : ab  bc es par
 METODO CONTRAPOSITIVO
INTRODUCCION
La demostración por contraposición es una regla de inferencia utilizada en demostraciones.
Esta regla se infiere una sentencia condicional a partir de su contraposición. En otras palabras,
la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A."

EJEMPLO 1
Para cualquier número entero, si 3n  2 es impar entonces n es impar
DEMOSTRACION
Si n es par entonces 3n  2 es par
H1 : n es par
H 2 :  Un entero K tal que n  2K
H3 : H 2 Reemplazando en  3n  2
 3 2K   2
 2  3K  1
H 4 : l  3K 1 es un entero
T :3n  2  2l
EJEMPLO
si x, y, z  , x no divide a yz , x  0 entonces x no divide a y e z
si x divide y e z
DEMOSTRACION
H 1:sup ongamos x | y
H 2 : y  xa , a 
H 3 :sup ongamos x | z
H 4 : z  xb , b 
H 5 : de H 1 y H 2 yz  xaxb
yz  x( xab)
H 4  T asi x | yz , x  0
Si x no divide a yz , x  0 entonces x no divide a y e z
EJEMPLO
si x  , 7 x  5 es impar, entonces x es par
si x es impar, entonces x  , 7 x  5 es par
DEMOSTRAR
H1: x es impar
H 2 : x  2a  1, a 
H 3 : de 7 x  5  7(2a  1)  5
 14a  12
7 x  5  2(7 a  6)
H 4  T 1: 7 x  5 es par
T : 7 x no es impar

 7 x  5 es impar , entonces x es par

METODO POR CONTRADICCION
INTRODUCCION
El método por contradicción es aquel en el cual se tiene el siguiente esquema

H T

Para este método en especial se procede negando la tesis según el

siguiente esquema
H  T  contradiccion
Es decir se toma la hipótesis inicial y la negación de la tesis como hipótesis,
a través de las cuales llegaremos a una contradicción.

Se debe usar este método cuando al negar la tesis, y esta sirva como nueva
hipótesis, se debe de obtener una información extra, este sería un criterio
para elegir este método.
 EJEMPLO
si a, b  , entonces a 2  4b  2  0
DEMOSTRACION
a, b  , entonces a 2  4b  2  0
H1: Supongamos a 2  4b  2  0
H 2: Tenemos a  4b  2
2

a 2  2(2b  1)
H 3: a 2 es par
H 4 : de H 3 a es par
H 5: a  2 c, c 
H 6 : H 5 en H 1 a 2  4b  2  0
(2c) 2  4b  2  0
4c 2  4b  2
2c 2  2b  1
2b  2c 2  1
2c 2  1
b ( , b  y b )
2
 En conclusión a, b  , entonces a2  4b  2  0
Ejemplo:
si a, b  , a  2 entonces ano divide (b) o ( b  1)
DEMOSTRACION
a divide (b) o ( b  1)

H 1: Supongamos a | b y a | (b  1)
H 2 : de a | b, b  ac , c 
H 3 : de a | (b  1) , b  1  ar , r 
H 4 : H 2 en H 3 b  1  ar
ac  ar  1
ar  ac  1
a(r  c)  1
1
a 2
r c
H 5 : de hipotesis a  2 y a  2 contradiccion

 Concluimos si a, b  , a  2 entonces a no divide (b) o ( b  1)

 EJEMPLO
. Si a.b  0 donde a, b  , entonces a  0 ó b  0
DEMOSTRANDO
H1: Sea a0 y b0
H 2:  a 1 , a1 
1
H 3: a.a  1
1 1
H 4: a .(a.b)  a .0

H 5 : (a 1.a)b  0
H 6: 1.b  0
H 7: b  0
H8: b  0 y b  0 (Contradicción de suponer que a  0 y b  0 )

 a  0 o b  0
 Método por PARTICULARIZACION
Éste método se utiliza cuando el cuantificador existencial " " y para todo "" en la hipótesis H
Si en la hipótesis H aparece el cuantificador existe " " en la siguiente forma:
 objeto” con “cierta propiedad” / “algo sucede”, se procede

de la siguiente manera:
Se selecciona un objeto x con cierta propiedad y para el cual algo sucede. La existencia de
este objeto será usado de alguna manera en el proceso regresivo
de que en la tesis

EJEMPLO
Para cualquier rectángulo cuya área sea igual a ½ del cuadrado de su diagonal, sé
concluye que el rectángulo es un cuadrado.
DEMOSTRACIÓN:
diagonal, sé concluye que el rectángulo es un cuadrado.
METODO POR DISYUNCION DE CASOS

Este método se utiliza cuando la

hipótesis es equivalente a la disyunción
y además contiene el cuantificador
universal “para todo” es decir, se utiliza
cuando la proposición por demostrar es
de la forma.

H   H1  H2  H3  ...Hn   T
Para que se cumpla la implicación
original es cuando se cumplen todas
las implicaciones de forma individual.

( H1  T ), ( H 2  T ), ( H 3  T ),...., ( H n  T )
 EJEMPLOS:
 Si n , entonces n 2  3n  9es impar.
Prueba
 Caso 1: nes par
n  2a, a 
n 2  3n  9  (2a ) 2  3(2a )  9
 4a 2  6a  9
n  3n  9 2(2a  3a )  9
2 2

Donde nes un entero, entonces n 2  3n  9 es impar

 Caso 2: nes impar
n  2a  1 , a 
n 2  3n  9  (2a  1) 2  3(2a  1)  9
 4a 2  4a  1  6a  3  9
 4a 2  2a  7
n 2  3n  9 2(2a 2  3a)  9
Donde nes un entero, entonces n  3n  9 es impar
2

Concluimos Si n  , entonces n 2  3n  9 es impar.

 Si x, y  , x e y son de mismo paridad entonces x y es par.

 Caso 1: x e y son pares

x  2a , y  2b donde a, b 
x  y  2a  2b
x  y  2(a  b) , es par
 Caso 2:x e y son impares
x  2a  1, y  2b  1 donde a, b 
x  y  2(a  1)  2(b  1)
 2a  1  2b  1
 2a  2b
x  y  2(a  b) , es par
 Si x e y son de mismo paridad, entonces
es par. x  y
 METODO POR CONSTRUCCIÓN
,
INTRODUCCION

Este método debe utilizarse cuando en la tesis o en el proceso regresivo, aparece la palabra
existe, o el cuantificador existencial " "
En la siguiente forma:
El método por construcción es aquel en el cual se tiene el siguiente esquema H  T  ((...) / (...))
Es decir en el proceso progresivo se debe construir un objeto, el cual ya aceptamos su
existencia en el método regresivo
EJEMPLO

Si d |a y d |b entonces d | ( a  b)

H1: d | a
H 2: e  , tal que d  e  a
H 3: d | b
H 4: f  , tal que d  f  b

H 5: d  e  df  a  b
d (e  f )  a  b
H 6: r  e  f
H 7  T1: r  , tal que d  r  a  b
T : d | (a  b) (Queda demostrado
 METODO POR SELECCIÓN
INTRODUCCION
Este método debe utilizarse cuando en la tesis o en el proceso regresivo,
aparece la palabra para todo, o el cuantificador existencial " "
En la siguiente forma:
El método por construcción es aquel en el cual se tiene el siguiente esquema
H  T  ((...) / (...))

Debemos seleccionar un objeto x que tenga cierta cualidad del conjunto de partida
para así demostrar que este x también está en el conjunto de llegada, para lo cual
se deducirá que la propiedad mencionada se cumple x
8.-METODO POR DISYUNCION
EXCLUSIVA

 Algunas veces podemos utilizar equivalencias lógicas para demostrar

proposiciones de la forma H   Q  R por ejemplo

 H   Q  R 
  H 
 Q  R

 Empezamos a suponer H es verdadera y negar uno de ellos para llegar a la
verdad del otro
 Si n un entero par y m es un entero impar entonces
Prueba:
4 | mn o 4 no divide n

H 1: sup ongamos que n es par , m es impar y 4| n

H 2 : m es impar
H 3 : r  / m  2r  1
H4: 4| n
H 5 : p  / n  4 p
H 6 : de H 3 y H 5 mn  (2r  1)(4 p )
mn  4(2rp  p ), sea k  (2rp  p )
H 7  T 1: k  / mn  4k
T : 4 | mn
9.-TECNICA DE UNICIDAD.

 La técnica de demostración de unicidad está relacionada con la tesis. En este

caso no sólo se requiere demostrar la existencia de un objeto con cierta
propiedad tal que algo sucede, sino también que el objeto es único. Se sabe
que hay que utilizar esta técnica cuando la tesis contiene la palabra ‘único’
así como el cuantificador ‘existe’.
 Forma 1:
 Suponga que hay dos elementos diferentes que comparten cierta
propiedad común.
 Use esta propiedad y la información en H para demostrar que los dos
elementos son iguales entre sí.

Forma 2:
 Suponga que hay dos elementos diferentes que comparten cierta
propiedad común y para los cuales algo sucede.
 Llegue a una contradicción usando la información en A, la propiedad
común y lo que sucede para llegar a una contradicción.
Si r es un número real positivo entonces existe un único
número real x tal que x3  r.

H : r  R
T : xR x3  r

H1 :  x e y  R / 3* x * r  y 3* y * r  y además r es positivo.
H 2 : x3  y 3
H 3 : 0  x 3  y 3   x  y   x 2  xy  y 2  , dado que x  y
H 4 : x 2  xy  y 2  0
 y  ( y 2  4 y 2 )  y  3 y 2
H5 : x  
2 2
H 6 : x  R, y  0
T : r  y2  0 contradiciendo asi la hipótesis
  Si a, b, c, d , e, f  tal que ( ad  bc)  0 entonces existen números
reales únicos x e y tales que ax  by  e y cx  dy  f

H 1: Supongamos ( x1 , y1 ) y ( x2 , y2 )
a( x1 )  b( y1 )  e , c( x1 )  d ( y1 )  f
a( x2 )  b( y2 )  e , c( x2 )  d ( y2 )  f

H 2 : al restar
a( x1  x2 )  b( y1  y2 )  0 , c( x1  x2 )  d ( y1  y2 )  0
ad ( x1  x2 )  bd ( y1  y2 )  0 , cb( x1  x2 )  db( y1  y2 )  0
al restar ad ( x1  x2 )  bd ( y1  y2 )  cb( x1  x2 )  db( y1  y2 )  0
( x1  x2 )(ad  bc)  0
H 3: De hipótesis (ad  bc)  0 entonces x1  x2  0
x1  x2

H4: en ac( x1  x2 )  bc( y1  y2 )  0 , ac( x1  x2 )  bc( y1  y2 )  0

al restar ad ( y1  y2 )  ac( x1  x2 )  ac( x1  x2 )  bc( y1  y2 )  0
( y1  y2 )(ad  bc)  0

H 5 : De hipótesis (ad  bc)  0 entonces y1  y2  0

y1  y2

Concluimos de x1  x2 y y1  y2 entonces x, y son únicos reales.

METODO POR INDUCCION MATEMÁTICA

INTRODUCCION

El método por inducción nos sirve para logras demostrar ciertas

propiedades que envuelven a número naturales.
Se debe procedes demostrando primeramente la base de la
inducción, generalmente el caso obvio o trivial, que en general es
para n=1
Una vez demostrada la base de la inducción, se debe asumir que
la propiedad observada se cumple para n=k, y trataremos de
demostrar que esta también se cumple para el caso n=k+1
 n

si n  , se cumple que  (8i  5)  4n

i 1
2
n