UNIVERSIDAD NACIONAL SAN AGUSTIN DE AREQUIPA

FACULTAD DE CIENCIAS NATURALES Y FORMALES

ESCUELA PROFESIONAL DE MATEMATICAS

INVESTIGACION FORMATIVA:
METODOS DE DEMOSTRACION APLICADOS A LA GEOMETRIA Y
TRIGONOMETRIA

CURSO: DEMOSTRACIONES EN MATEMATICA

ELABORADO POR:
1. Quisca Huamani David (8)
2. Lacastro Ancco Carlos (7)
3. Condori Valeriano Edith Veronica (6)
4. Alexandra Catao Pozo
5. Jara Sarmiento Daniel
DOCENTE: Dr. Bidder Sabino Calapuja Sambrano
AREQUIPA-PERU

03 de julio del 2017

1
 INDICE

INDICE..(2)
RESUMEN(3)
INTRODUCCION(4)
OBJETIVOS
Objetivos generales (5)
Objetivos especficos...(5)
MARCO TEORICO
DEFINICION TRIGONOETRIA.(6)
TEORIA NECESARIA DEL TEOREMA(7)
CAPITULO 1:
METODOS DE DEMOSTRACIONES APLICADOS A LA TRIGONOMETRIA
METODO EMPLEADOS.....(9)
CAPITULO 2: METODOLOGIA
1. METODO PROGRESIVO REGRESIVO(12)
2. METODO CONTRAPOSITIVO(19)
3. METODO POR CONTRADICCION(25)
4. METODO POR CONSTRUCCION..(30)
5. METODO POR SELECCION(36)
6. PARTICULARIZACION........(42)
7. METODO POR DISYUNCION DE CASOS.(46)
8. METODO DE LA DISYUNCION EXCLUSIVA..(52)
9. TECNICA DE UNICIDAD..(58)
10. METODO POR INDUCCIN(64)

RESULTADOS...(71)
CONCLUCIONES.....(72)
RECOMENDACIONES........(73)
REFERENCIAS BIBLIOGRAFICAS.(74)

2
 RESUMEN

En la siguiente trabajo de investigacin podremos dar a conocer las diferentes formas de

demostracin que se pueden aplicar a la trigonometra, as como el mtodo progresivo-
regresivo, por contradiccin, por construccin, por seleccin, por el absurdo y otros ms.

Cada mtodo constara de una breve introduccin en la cual veremos en que consta dicho
teorema y as para ms adelante pasar a la demostracin, de ah tambin podremos observar
la teora necesaria que nos ayudara a entender mejor la realizacin de los teoremas.

De ah se dar unos ejemplos en donde apreciaremos como se aplica los diferentes mtodos
de demostracin aplicados a la trigonometra.Y finalmente pasaremos a los problemas
resueltos en donde cada alumno desarrollara una demostracin de un teorema elegido por el
estudiante.

Y as el propsito de esta investigacin es dar a conocer los diferentes mtodos que existen
para realizar la demostracin de algn teorema en este caso aplicado a la trigonometra.

3
 INTRODUCCION

En el mundo de las matemticas es muy comn encontrarse con diferentes demostraciones,

las cuales consisten en comprobar la veracidad o falsedad de axiomas, postulados, y
teoremas, entre otros.

Mayormente en muchos libros al igual que profesores que al querer realizar o presentar
alguna demostracin sucede que omiten uno o ms pasos al momento de realizarlo, y esto
debido a que estos suponen que estn destinados netamente a un pblico matemtico, lo cual
cierra las puertas a aquellas personas que presenten algn tipo de inters por comprenderlas.

En general uno de los principales objetivos que se quiere dar en esta investigacin es la de
dar a comprender como se aplican los diferentes mtodos de demostracin aplicados a la
trigonometra y cul de ellos es el apropiado de acuerdo a la situacin que se nos presente.

A continuacin, se presentar un trabajo completo sobre las demostraciones que se aplican a

la trigonometra, como aplicarlos, paso a paso y que mtodo elegir para cada tipo de
demostracin que se nos presente.

4
 OBJETIVOS

Objetivos Generales:
1- Identificar las caractersticas, ventajas y desventajas que presentan los diferentes tipos
de mtodos de demostracin
2- Al concluir esta investigacin el lector habr entendido como realizar y en qu
momento utilizar los tipos de demostraciones que hay aplicndolo a la rama de la
trigonometra.
3- El lector habr adquirido habilidades para poder realizar una demostracin sin ningn
problema y usando los diferentes mtodos ya mencionados anteriormente.

Objetivos Especficos:
1- Reconocer que tipo de demostracin utilizar ante un problema.
2- Adquirir habilidades para poder realizar una demostracin.
3- Tener ms conocimientos sobre trigonometra.
4- Tener conocimiento de todos los mtodos de demostracin.
5- Adquirir habilidades para poder empezar a realizar otras demostraciones de otras
ramas de la matemtica.

5
 MARCO TEORICO

A continuacin, presentamos un breve concepto sobre cada mtodo de demostracin

TEORIA NECESARIA PARA EL TEOREMA

Definicin (Razones trigonomtricas en el tringulo rectangulo)

Es el valor que se obtiene al comparar por cociente las longitudes de dos lados de un tringulo
rectngulo con respecto a uno de sus ngulos agudos.

Donde:
r es la hipotenusa
y es el cateto opuesto
x es el cateto adyancente

Arco Capaz: El arco capaz es el lugar geomtrico de los puntos desde los que un
segmento AB se ve con el mismo ngulo; es decir, el lugar geomtrico de los vrtices de
los ngulos que tienen la misma amplitud y abarcan un mismo segmento.

. Potencia de un punto: La expresin potencia de un punto se refiere a un resultado

que relaciona las longitudes de segmentos de rectas que pasan por dicho punto y cortan a una
circunferencia fija.

Teorema de Pitgoras: El teorema de Pitgoras establece que en todo tringulo

rectngulo, el cuadrado de la longitud de la hipotenusa es igual a la suma de los cuadrados
de las respectivas longitudes de los catetos. Es la proposicin ms conocida entre las que
tienen nombre propio en la matemtica.

6
TEORIA NECESARIA PARA LOS TEOREMAS:
Definicin: Decimos que un conjunto es convexo, si dado cualquier par de puntos del
conjunto, el segmento que los une esta incluido en el conjunto.

El mtodo progresivo-regresivo da lugar a la pregunta de abstraccin Cmo puedo

demostrar que un conjunto ( S interseccin T ) es convexo?

Lo que podemos responder con la definicin 1 es lo que se debe mostrar.

Para toda x, y de S interseccin T , y para toda 0 t 1, tx (1 t ) y esta en S interseccin

T
Definicin: (espacios vectoriales)

Un espacio vectorial es un conjunto no vaco V , en el cual se puede definir una relacin de igualdad
entre sus elementos y dos operaciones; una interna, llamada de adicin y externa, llamada de
multiplicacin por un escalar.

Definicin (subespacios vectoriales)

Sea S , tal que S V ;V espacio vectorial y tal que:

(a) Dados A, B S A B S
(b) Dado r K , A S rA S

Definicin: (combinacin lineal)

Dados los vectores V1 ,V2 ,...,Vn de V se denominan combinacin lineal a la expresin donde
n

a v ; ai K .
i 1
i i

Definicin: (Ncleo)

El ncleo de una transformacin lineal T : V W , es un conjunto denotado por NU ,es un

subespacio de V , y definido como sigue:

NU (T ) X V / T ( X ) W donde W 0 .

Definicin: (Imagen)

La imagen de una transformacin lineal T : V W , es el conjunto denotado por Im , es un

subespacio de W y definido como sigue:

Im(T ) Y W / X V , T ( X ) Y

Definicin: (dependencia lineal)

7
 Dados los vectores V1 ,V2 ,...,Vn de V son linealmente dependientes si existen escalares no todos
n
nulos a1 , a2 ,..., an , tales que xv
i 1
i i ; 0 .

Definicin: (independencia lineal)

Dados los vectores V1 ,V2 ,...,Vn de V son linealmente independientes si dada la combinacin
n
lineal nula a v , entonces a1 a2 ... an 0 .
i 1
i i

Definicin: (dimensin)

Sea v1 , v2 ,..., vn una base del espacio vectorial V entonces dim(V ) es el nmero de elementos
de su base.

Definicin: (base de un espacio vectorial)

Sea B v1 , v2 ,..., vn de vectores en V ( K ) es base de V si:

n
1. x V : X xi vi
i 1

2. v , v ,..., v sea linealmente independiente

1 2 n

Definicin: (transformacin lineal)

Una transformacin lineal T : V W , T (V ) W es una aplicacin que cumple las siguientes

condiciones:

(a) T ( X Y ) T ( X ) T (Y )
(b) T (kY ) kT ( X )

CAPITULO 1
8
METODOS DE DEMOSTRACIONES APLICADOS A LA
MATEMATICA
1. Mtodo Progresivo- Regresivo:
El mtodo progresivo-regresivo es un mtodo de demostracin que en la mayora de las
ocasiones se presenta combinado con otros mtodos distintos, la caracterstica fundamental
de este mtodo es que se puede partir de la hiptesis y llegar directamente a la conclusin,
por esta razn se le llama progresivo, o bien, puede partir de la conclusin y llegar a la
hiptesis, por esta razn se le llama regresivo.

Tiene la forma: H T

2. Mtodo por contradiccin

Este mtodo se utiliza frecuentemente por muchos matemticos, debido a la facilidad con
la que permite realizar una demostracin. En ocasiones, hasta no es posible creer que as se
realice una demostracin puesto que podemos llegar a pensar que se hizo por arte de magia.
Sin embargo, gracias a lo que ya conoces de la lgica proposicional te podrs dar cuenta de
que matemticamente lo que has hecho es correcto.

Tiene la forma: H T H T contradiccin

3. Mtodo por contraposicin

En lgica, la contraposicin de una declaracin condicional se forma negando ambos
trminos e invirtiendo la direccin de la inferencia.

En matemticas, la demostracin por contraposicin es una regla de inferencia en la que se

infiere una sentencia condicional a partir de su contraposicin.

Sean P y Q proposiciones:
Lo opuesto de P Q es Q P .
La contraposicin de P Q es Q P

4. Metodo por construccion:

9
En este mtodo debe utilizarse cuando en la tesis o en el progresivo/regresivo aparece la
palabra existe o aparece, existencial (existe) en la siguiente forma.

(....) / (....)

5. Metodo por seleccin

Este metodo se utiliza en los casos en el que en la tesis se presenta un en el enunciado,
para ello se debe reescribir el enunciado de tal manera que sea facil de percibir a simple
analisis, asi nos permitira tomar o seleccionar un elemento de la tesis para poder demostrarlo.

Tiene la forma: H T ... , ...

6. Metodo por particularisacin:

Se puede aplicar este metodo que con el objetivo de aprovechar los cuantificadores que
aparacen en el enunciado A, donde esta presente el cuantificador , tal expresion la podemos
reconocer de la siguiente forma : H T ya que dicho enunciado de manera muy
directa.se hace ver que H implica T por el metodo progresivo regresivo. Se supone en
este caso que la proposicion H es verdadera, y que en este caso significa que se puede
suponer que existe tal objeto con cierta propiedad tal que algo sucede.

7. Mtodo de la disyuncin de casos:

Este mtodo se utiliza cuando la hiptesis H es equivalente a la disyuncin
H1 H 2 H3 ..... H n y adems contiene el cuantificador universal para todo () .es
decir, se utiliza cuando la proposicin por demostrar se de la forma:

H H1 H 2 H3 ..... H n T

8. Mtodo por disyuncin exclusiva

Este mtodo se utiliza para demostrar proposiciones que tienen la forma: H (Q R)

Esto es equivalente a probar que: ( H Q) R

Lo que tambin es equivalente a demostrar que: ( H R) Q

En ambos casos se puede utilizar el mtodo progresivo regresivo u otro mtodo.

9. Mtodo por existencia y unicidad:

10
Un resultado de unicidad es un enunciado si se usa el cuantificador existencial juntamente
con palabras que expresan la unicidad de cierto objeto.

Las dos maneras de probar un resultado de unicidad, una es usando el mtodo directo y la
otra es usando el mtodo indirecto.

Demostracin por el mtodo directo: se ha de suponer la existencia de dos objetos x

y y con las propiedades requeridas y que satisfacen la condicin dada. Por este
mtodo se prueba la igualdad de x y y esto asegura la unicidad.
Demostracin por el mtodo indirecto: se supone la existencia de dos objetos xy y
con las propiedades requeridas y que satisfacen la condicin dada, para que x y
, y con esta hiptesis de absurdo se debe deducir alguna contradiccin, de esta forma
x y , la unicidad est asegurada.

10. Mtodo por induccin

Es un mtodo cientfico que obtiene conclusiones generales a partir de premisas particulares.
En matemticas la induccin es un razonamiento que permite demostrar proposiciones que
dependen de una variable que toma una infinidad de valores enteros. En trminos simples, la
induccin matemtica consiste en el siguiente razonamiento:

El nmero entero a tiene la propiedad P .El hecho de que cualquier nmero entero n
tambin tenga la propiedad P implica que n 1 tambin la tiene. Entonces todos los
nmeros enteros a partir de a tienen la propiedad P .
Este mtodo se utiliza cuando la tesis T tiene la siguiente forma:

Para todo n N , algo sucede P ( n )

CAPITULO 2: METODOLOGIA
11
1. METODO PROGRESIVO-REGRESIVO:
1.1 Demostrar que los nmeros a, b, c , se tiene que :

a 2 b 2 c 2 ab bc ac

Se desea mostrar esta desigualdad

Solucin:

H: se sabe que a, b, c

T: que cumpla la condicin de a 2 b 2 c 2 ab bc ac

Desarrollo:

H1 : partimos de T y desarrollamos la desigualdad

H2 : a 2 b 2 c 2 ab bc ac

H3 : Multiplicando por 2 a toda la desigualdad

H4 2a 2 2b 2 2c 2 2ab 2bc 2ac

Pasando todo al lado izquierdo

H5 : 2a 2 2b 2 2c 2 2ab 2bc 2ac 0 agrupando

H6 : (a b)2 (b c)2 (a c)2 0

H7 : De H se que a, b, c , ya que todo nmero, ya sea positivo o negativo elevado

al cuadrado es mayor que 0
Desarrollando estos binomios:

H8 : a 2 2ab b 2 b 2 2bc c 2 a 2 2ac c 2 0

H9 2a 2 2b 2 2c 2 2ab 2bc 2ac 0

:

H10 2a 2 2b 2 2c 2 2ab 2bc 2ac

Por lo tanto se cumple la desigualdad

T a 2 b 2 c 2 ab bc ac

1.2 TEOREMA DEL COSENO

12
Si dado un tringulo ABC siendo , , los ngulos, a, b, c los lados respectivamente
opuestos a estos ngulos , entonces. Grficamente.

c2 a2 b2 2ab.cos

Rescribiendo el teorema:

H T

H : Si dado un tringulo ABC siendo , , los ngulos, a, b, c los lados respectivamente

opuestos a estos ngulos

T : c a b 2ab.cos
2 2 2

Demostracin: (Por el mtodo Progresivo)

H1 : Consideremos un circulo con centro en B y radio BL

H 2 : Si AC es tangente se tiene el teorema de Pitgoras .

H3 : Consideremos que AC no es tangente

H 4 : Luego , existe un punto K que corta con el circulo

H5 : Por definicin de la potencia del punto A con respecto a dicho circulo es

H 6 : ( AP)( AL) ( AC )( AK ) AC ( AC CK )

H 7 : ( AP)( AL) AC ( AC CK )

H8 : Por otro lado AL c a y BD c a , adems CK 2a cos

H 9 : Asi AC ( AC CK ) b(b 2a cos )

H10 : Ahora remplazando en H 7

13
H11 : ( AP)( AL) AC ( AC CK )

H12 : (c a)(c a) b(b 2a cos )

H13 : c 2 a 2 b 2 2ab cos

Por lo tanto

H14 : T : c 2 a 2 b 2 2ab cos

1.3.TEOREMA DE LA TANGENTE
Sea un tringulo cualquiera ABC con lados a, b, c y ngulos , , respectivamente
opuestos a los ngulos A, B, C , entonces:

tan( )
ab 2

a b tan( )
2

Rescribiendo el teorema, de la forma: H T

Si un tringulo cualquiera ABC con lados a, b, c y ngulos , , respectivamente

tan( )
ab 2
opuestos a los ngulos A, B, C entonces
a b tan( )
2

Demostracin: (Por el mtodo Progresivo )

a b
H1 : (por teorema del seno)
senA senB

a senA
H2 :
b senB

a c
H3 : (Por propiedad de las proporciones)
b d

H 4 : ad bc

ab cd
H5 :
a b c d

a b senA senB
H6 :
a b senA senB
14
 A B A B
2sen( ) cos( )
ab 2 2
H7 :
a b 2 cos( A B ) sen( A B )
2 2

A B
tan( ) sen
ab
H8 : 2 (Con tan )
a b tan( A B ) cos
2

H 9 : sea A B C 180o

H10 : De H 8 : A B a b A B
tan( ) tan( )
2 ab 2

H11 : Podemos saber el valor de A B

(Porque conocemos su tangente)
2

H12 : Ahora para calcular el valor de A y B , aadimos que A B C

90o
2 2

A B A B
A
2 2
A B A B
B
2 2

H13 : Pensar que tal como ha sido enunciado el teorema se pueden poner adems las siguientes

AC BC
tan( ) tan( )
ac 2 b c 2
T:
a c tan( A C ) b c tan( B C )
2 2

1.4 TEOREMA DEL SENO

Si un tringulo ABC , las medidas de sus lados opuestos a sus ngulos A, B y C son
respectivamente a, b, c , entonces:

a b c

sena senb senc

Rescribiendo el teorema:

H T

H: Si un tringulo ABC , las medidas de sus lados opuestos a sus ngulos A, B y C son
respectivamente a, b, c .

15
 a b c
T:
sena senb senc

Demostracin:

Se tiene un tringulo ABC , cuyas medidas de sus lados opuestos a sus ngulos A, B y C
son respectivamente a, b, c
a b c

sena senb senc

Prueba:

H1: Dado el triangulo ABC

H2: Denotaremos por O su circuncentro y dibujamos su circunferencia circunscrita.

H3: Enseguida prolongamos el segmento BO de tal modo que corte la circunferencia

H4: As obtendremos un dimetro BP .

H5: Ahora supongamos que el tringulo BPC es recto puesto que BP es el dimetro.

H6: Por definicin de Arco capaz A y P son ngulos iguales.

H7: Por definicin trigonomtrica, se tiene senA senP

BC
H8: Esto es senP
BP

a
H9: Como BP es el dimetro senP , BC a .
2R

a
H10: As 2 R siendo R el radio.
senA

H11: De manera similar, repitiendo el procedimiento con un dimetro que pase por A y otro
que pasa por C se tiene que

a b c
2R
sena senb senc

16
H12 : por lo tanto podemos decir que son iguales

a b c

sena senb senc

c2
1.5 El triangulo rectngulo ABC con lados a , b e hipotenusa c tiene un rea de
4
,entonces el triangulo ABC es issceles.

Hiptesis (H): El triangulo rectngulo ABC con lados a , b e hipotenusa c

c2
Tesis (T): Tiene un rea de
4
Tenemos la forma

H T

c2
H 1 : Por hiptesis sabemos que el rea del triangulo ABC es
4

H 2 : Sabemos que el rea de un triangulo es AREA ( BASE )( ALTURA)

2

ab c 2
Y as lo igualamos con el rea que ya tenemos que es
2 4

H 3 : Ahora sabemos que que el teorema de Pitgoras es el siguiente aplicado a nuestro

triangulo es

a 2 b2 c2

ab (a 2 b2 )
H 4 : Ahora sustituiremos H2 en H1
2 4

H 5 : Y por algebra tenemos que

4ab
a 2 b2
2
2ab a 2 b 2
a 2 2ab b 2 0

H 6 : Y ahora factorizando H5 tenemos (a b) 0

2

T 2 : Sacamos la raz cuadrada a ambos lados y tenemos a b 0

T 1 : De aqu tenemos que a b

17
T : Y as llegamos a la conclusin de que el triangulo ABC es issceles.

1.6 3.10. demuestre que si a y c son enteros impares, entonces ab bc es par para todo
entero b.

DEMOSTRACION: (progresivo-regresivo)

H : a y c son enteros impares

T : ab bc es par b

H1 : a es impar

H 2 : a 2 x 1 , donde x

H 3 : c es impar

H 4 : c 2 y 1 , donde y

H 5 : ab bc (2 x 1)b b(2 y 1)

H 6 : ab bc b(2 x 1 2 y 1)

H 7 : ab bc 2b( x y 1)

H8 T1 : ab bc 2bm , donde m ( x y 1)

T : ab bc es par b .

1.7 si a y b tienen el mismo signo y a b entonces a 1 b 1

H : a b tienen el mismo signo

T : a 1 b 1

H1 : a y b tiene el mismo signo

H 2 : a 1 y b 1 tienen el mismo signo}

H 3 : a 1 , b1 0

Por otro lado

H4 : a b

H 5 : a. a 1.b 1 b a 1.b 1

18
H 6 : a.a 1 b.b1 a 1
1

H 7 : T : b 1 a 1

1.8 Pruebe que si x es un nmero impar, entonces 9 x 5 es par

Demostracin:

H: x es un nmero impar;
T: 9 x 5 es par
Prueba:

H1 : x , Adems x 2a 1 es impar
H 2 : De 9 x 5 , evaluando para x
H 3 : reemplazando en H 2
9 x 5 = 9(2 a 1) 5
H 4 : haciendo operaciones algebraicas nos resulta
= 18a 9 5
= 18a 14
H 5 : Factorizando 2(9 a 7) , (9 a 7)
H 6 : Se puede tomar (9 a 7) =M
H 7 : resultando 2M que es un nmero par

2. METODO CONTRAPOSITIVO
2.1 Si el nmero (de Mersenne) M n 2n 1 es primo, entonces necesariamente n debe ser
primo.

DEMOSTRACION:

H : M n 2n 1
es primo.

T : n es primo

NEGACION:
T : n no es primo
~ H : 2 n 1 no es primo
~T H
H : n no es primo
H1 : n ab
, donde ab 1
H 2 : 2n 1 2a 1
b

19
 H 3 : 2a 1 2a 2a ... 2a 1 a 2 1
b b 1 b2

H 4 T : 2a 1
b

No es primo

2.2Sean n, k , una condicin necesaria para que n k sea par, es que n sea par.
Reescribiendo: Sean ny k nmeros naturales . Si n es par, entonces n k es impar

H : n k es par.
T : n es par

~ H : n k es impar.
~ T : n es impar.

H : n k es impar
H1 : n 2l 1 para l
k 1
k k
H 2 : n k 2l 1 2l 2l
k 1
... 1
k k

0 1
k

H3 : 2l 1 2 l k kl
k 1

... 1

r l kl
k 1
H 4 : 2l 1 2r 1 , donde
k k
...

H 5 T : n k es impar.

2.3 FUNCIONES TRIGONOMETRICAS DE ANGULOS

COMPUESTOS:
Teorema: Si cos es racional, entonces cos3 es racional.

H : cos es racional

T : cos3 es racional
DEMOSTRACION: (mtodo contrapositivo)

~ H : cos es irracional

~ T : cos3 es irracional

H1 : cos3 es irracional

H 2 : cos3 cos(2 ) (por operaciones algebraicas)

H3 : cos(3 ) cos(2 ) cos sen(2 ) sen (por identidad trigonometrica)

H 4 : cos(3 ) (cos 2 sen 2 ) cos (2 sen cos ) sen (por angulo doble)
20
 H 5 : cos(3 ) cos3 sen 2 cos 2sen 2 cos (operando)

H 6 : cos(3 ) cos 3 sen cos

3 2
(operando)

cos(3 )
H7 : cos (operando)
cos 3 sen
2 2

Ya que el producto de
1 dos nmeros irracionales
H 8 : cos(3 ) 2
cos
cos 3 sen
2 es un nmero irracional

H8 T : cos es irracional (por hiptesis)

2.4 Si a 0 y a , 0 , entonces a 0 .
DEMOSTRACION: (mtodo contrapositivo)

H : a 0 y a , 0 .
T :a 0
NEGACION:

~ H : a 0 0 0 / a 0
~T :a 0

1. ~T :a 0
2. a0 a0

2.5 Si p y q son nmeros reales positivos tal que pq no es igual a ( p q ) , entonces

2
p no es igual a q .

Hiptesis (H): Si p y q son nmeros reales positivos tal que pq no es igual a ( p q )

2

Tesis (T): p no es igual a q .

T 1 : Primeramente, negaremos la tesis

pq

Tendremos que llegar a que a la negacin de la hiptesis que es

( p q)
pq
2

T 2 : Ahora de pq tendremos

21
 pp
( p)2
p

Tomando T 1

T 3 : Ahora tomamos la expresin p q

2

p p

2
2p

2
p

Tomando T 1

H 1 : Y es as como llegamos a la negacin de la hiptesis y esto por suponer que la tesis era
falsa

Y as concluimos la demostracin.

2.6
3.18. Sea x . Demuestre que 5x 11 es par si y solo si x es impar.

DEMOSTRACION: (metodo de la contrapositiva)

H : x es impar H : x es par

T : 5x 11 es par T : 5x 11 es impar

Es de la forma H T T H

Demostraremos ( T H ) : Demostraremos ( T H ) :

H1 : 5x 11 es impar T1 : x es par

H 2 : 5 x 11 2n 1, n T2 : x 2 ,

2n 12
H3 : x T3 : 5 x 11 5(2 ) 11
5

n6
H 4 : x 2( ) T4 : 5x 11 10 11 1 1
5

n6
H5 : x 2m, donde m T5 : 5 x 11 2(5 6) 1
5
22
T : x es par. T6 : 5 x 11 2 1, donde 5 6

H : 5x 11 es impar

2.7 Probar que si x 2 2 es par, entonces x es par

H : x es impar

T : x 2 2 es impar

T1 : x es impar

T2 : x 2k 1, k

T3 : x 2 2 (2k 1) 2 2 (4k 2 4k 1) 2 2(2k 2 2k ) 3 2q 3; q (2k 2 2k )

T4 : x 2 2q 3, q

T5 : H x 2 es impar

T: H

T H

2.8 Sea n k un numero par ( n, k ) entonces n es par.

Solucin:

H : se sabe que n k es par

T : n es par
Usando el mtodo contra positivo:
Dice que T H
Luego me resultara lo siguiente, n es impar, implica que n k es impar
Prueba:

H1 : Como n es impar, tenemos:

H2 : n 2l 1 , l
nk (2l 1)k
H 3 : Por el mtodo de newton se tiene que:
k k k k
(2l 1) k ( ) 2l ( ) 2l ... ( ) 2l ( ) 1
k k 1 k
H4 :
0 0 k 1 k
= 2l k 2l ... k 2l 1 factorizando el 2
k k 1 1
H5 :

23
 (2k 1 l k ... 2k 2 l k 1 ... lk)
H6 : =2 1
S
H7 : S Luego 2S 1 es impar
H8 : Por lo tanto decimos que { n k es impar.} Y llegamos a la negacin de la hiptesis
siendo H y es lo que se quera mostrar. Al negar

3. METODO POR CONTRADICCION

3.1 Mtodo de contradiccin:

3
Demostrar que es irracional.
2

Solucin: se demostrar por el mtodo de contradiccin que esta divisin no es un nmero

irracional.

3
Supongamos que no es racional
2

3 p
Con p, q , q 0
2 q

3 p2
Despejando
2 q2

3q 2 2 p 2 De esta manera se llega a una conclusin:

2
En 2 p los factores de 2 aparecen en un nmero impar de veces
2
En 3q los factores de 2 aparecen en un nmero par de veces.

Por lo tanto esta igualdad nos lleva a una contradiccin , ya que 3q 2 p estos nmeros
2 2

son divisibles entre s , y diferentes por el hecho de que son pares eh impares lo que no se
prueba para cuando se trata de decir que son racionales ya que este hecho ser satisfecho
cuando el mximo comn divisor de ambos sea uno.

cos 2 ysen
Lo cual es una contradiccin por suponer que la suma de sen sen22alcos
cos 1 2 1
cuadrado es
diferente de 1.

3.2 SECANTE AL CUADRADO

Si se sabe que sec ( ) 1 tan ( ) es el teorema de secante al cuadrado, demostrar con el

2 2

mtodo del absurdo, entonces tendremos un contradiccin.

24
Demostracin: (Por el mtodo de reduccin al absurdo)

H1 : Supondremos que

H 2 : sec2 ( ) 1 tan 2 ( )

Tenemos por definicin de la tangente y la secante que

sen( )
H3 : tan( )
cos( )

1
H 4 : sec( )
cos( )

Ahora desarrollamos la parte derecha de la igualdad

H 6 : sec( ) 1 tan 2 ( )

sen( ) 2
H 7 : sec( ) 1 ( )
cos( )

sen2 ( )
H8 : sec( ) 1
cos2 ( )

cos2 ( ) sen2 ( )
H9 : sec( ) ......(1)
cos2 ( )

Por la identidad trigonomtrica fundamental que dice

H10 : cos2 ( ) sen2 ( ) 1 Tenemos lo siguiente en ....(1)

1
H11 : ......(2)
cos2 ( )

Y por definicin de la secante que dice que

1
H13 : sec( ) Remplazando en ....(2)
cos( )

Tenemos:

H14 : sec2 ( ) 1 tan 2 ( )

Lo cual es una contradiccin y esto sucedi al suponer que

25
H15 : sec2 ( ) 1 tan 2 ( )

3.3 Si r , entonces r 2 es irracional.

DEMOSTRACION: (por contradiccin)

H :r

T :r 2 es irracional

T :r 2

H1 : r 2

H2 : r 2 s , donde s

H3 : 2 (s r ) , donde ( s r )

p
H4 : 2 , donde p y q son primos entre si
q

p
H 5 : 2 ( )2 ,
q

H 6 : 2q 2 p 2 ,

H7 : 2 divide a p 2 as 2 divide a p

H8 : 2k p , donde k

H 9 : 2q 2 (2k ) 2

H10 : q 2 2k 2

H11 : 2 divide a q () ya que p y q son primos entre si

r 2 es un nmero irracional

3.4 TEOREMA DE LA IDENTIDAD TRIGONOMETRICA

FUNDAMENTAL
La suma de los cuadrados del sen y cos de cualquier Angulo " " es igual a 1

sen 2 cos 2 1

26
Demostracin: (Por el mtodo de reduccin al absurdo)

H 1 : Supondremos que la suma es diferente de 1 -: cos 2 sen 2 1

H 2 : Aplicando la definicin ( a ) 2 ( b ) 2
h h

H 3 : Resolviendo

a 2 b2

h2 h2
1 2
(a b 2 )....(1)
h2

H 4 :A partir de esto podemos aplicar el teorema de Pitgoras que nos dice que :

a 2 b2 h2

1 2
H 5 : As remplazando por h 2 a a 2 b 2 en (1) tenemos (h ).....(2)
h2

De aqu (2) es igual a 1.

T : Por lo tanto cos 2 sen2 1

Lo cual es una contradiccin por suponer que la suma de cos y sen al cuadrado es diferente
de 1.

3.5 Si a es un entero y a 2 es par, entonces a es par.

Hiptesis (H): Si a es un entero y a 2
es par

Tesis (T): a es par.

T 1 : Primeramente negaremos la tesis, y esto es a es impar
Y as a tendr la siguiente forma a 2k 1, k

27
T 2 : Ahora elevaremos al cuadrado ambos miembros y esto es a 2 (2k 1)2 4k 2 4k 1

T 3 : Ahora factorizando tendremos a 2(2k 2k ) 1

2 2

Ahora si remplazamos m 2k 2 2k , siendo m

Y as tendremos a 2 2m 1

T 4 : Tenemos que a 2 tiene la forma de un impar.

H 1 : Y as llegamos a una contradiccin y esto sucedi porque supusimos que a era impar.
Y as concluimos la demostracin.

3.6 5.20. Demuestre que 2 es un numero irracional

DEMOSTRACION: (por contradiccin)

H:x 2

T : x

T : x

H1 : 2

p
H2 : 2 , p, q ; q 0; MCD( p, q) 1
q

H3 : 2q p

H 4 : 2q 2 p 2

H 5 : 2 divide a p 2

H 6 : p 2 es par, as p es par

H 7 : p 2k

H 8 : (2k ) 2 q 2 (2)

H 9 : 2k 2 q 2

H10 : q 2 es par, as q es par () ya que MCD( p, q) 1

28
 2 es un numero irracional

3.7 Muestre una condicin necesaria para que a, b 0 es ( a 0 y b 0) o ( a 0 y

b 0) en forma condicional

H : a, b 0

T : ( a 0 y b 0) o ( a 0 y b 0)

H T

( a 0 y b 0) o ( a 0 y b 0)

Si a 0 b 0 ab 0 , contradiccin pues ab 0

H1 : ab 0

H 2 : supongamos (a 0 b 0) (a 0 b 0)

H3 : (a 0 a 0 b 0) (b 0 (a 0 b 0))

H 4 : (a 0 a 0) (a 0 b 0) (b 0 a 0) (b 0 b 0)

(a 0 a 0) y (b 0 b 0) son vacios

H 6 : T : a 0 b 0 ab 0

T : b 0 a 0 ab 0

3.8 pruebe que no hay nmeros racionales negativos:

Prueba:
p
Sean p y q con q 0 adems p 0 , q
q
Sea p 2r y q 2 s 1 con r , s
p
Luego 0 , si se le suma -1 a toda la operacin resulta
q
p
1 1 Haciendo operaciones algebraicas y reemplazando a p y q
q
pq
Se obtiene 1
q
2r (2s 1) 2r 2s 1)
1 ; 1
2s 1 2s 1
2(r s) 1 2(r s) 1
1 ; 1 0
2s 1 2s 1
29
 2r
Ya que de esta operacin me resulta que 0 y por lo tanto si existen
2s 1
racionales.

4. METODO POR CONSTRUCCION:

4.1 Mtodo por seleccin :

Teorema :
Sea x , tal que A= { X i , i I } , entonces existe, una relacin en A, que es equivalente
Es decir:
A se define como A : {(x, y) X i , parai I}
Es decir que (x, y) R , tanto que x y y pertenecen al mismo subconjunto, se demostrara
que A es una relacin de equivalencia.
Solucin:
H: Si A= { X i , i I } ;
T: A es una relacin de equivalencia.
Prueba:
i) A es reflexiva
a A
Siendo { X i , i I } , resulta que A Xi
iI

De aqu que a Xi
iI

As que i I tal que a X i

Por lo tanto (a, a) R

ii) A es transitiva
Se toma a (a, b) A
Luego i I , tal que a X i , b X i
Por lo tanto (a, b) A
iii) A es transitiva
(a, b) A y (b, c) A
De (a, b) A , se dice que i I , tal que a X i , b X i
Luego (b, c) A
Se tendr que j I , tal que b X j y c X j
De aqu que b X i X j
Siendo { X i , i I } , resulta que i j , luego X i X j
Lo que conlleva a una contradiccin.
Asi se tendr que X i X j
30
 i I Tal que a X i y c X j , de aqu que (a, c) A
Por lo tanto R es una relacin de equivalencia.
Se tendr que j I , tal que b X j y c X j

De aqu que b X i X j

Siendo { X i , i I } una particin de A, resulta que i j , luego X i X j

Lo que conlleva a una contradiccin.

Asi se tendr que X i X j

i I Tal que a X i y c X j , de aqu que (a, c) R

Por lo tanto R es una relacin de equivalencia.

4.2 ANGULO TRIPLE DE SENO

Si se desea demostrar sen3u 3senu 4 sen3u , donde un v 2u .

Demostracin

Si se desea demostrar sen3u 3senu 4 sen3u , donde un v 2u entonces se tomara la

formula sen(u v) senu cos v senv cos u donde v 2u

H : sen(u v) senu cos v senv cos u

T : sen3u 3senu 4sen3u

H1 : sen(u 2u) senu cos 2v sen2v cos u

H 2 : sen3u senu (cos 2 u sen 2u ) (2senu cos u ) cos u

H 3 : sen3u senu cos 2 u sen3u 2senu cos 2 u

Como cos 2 u 1 sen2u , sustituyendo

H 4 : sen3u senu (1 sen 2u ) sen3u 2senu (1 sen 2u )

H 5 : T1 : sen3u senu sen3u sen3u 2senu 2sen3u

H 6 : T : sen3u 3senu 4sen3u

4.3 ANGULO TRIPLE DE TANGENTE

31
 tan u tan v
entonces tan 3u 3 tan u tan
3
Si tan(u v) u.
1 tan u. tan v 1 3 tan 2 u

Demostracin: (mtodo por construccin)

tan u tan v
H : tan(u v)
1 tan u. tan v

H1 : tomando v u

tan u tan u
H 2 : tan(u u )
1 tan u.tan u

2 tan u
H 3 : tan(2u )
1 tan 2 u

H 4 : tomando v 2u

tan u tan 2u
H 5 : tan(u 2u )
1 tan u.tan 2u

H 6 : Sustituyendo H 3

2 tan u
tan u
H 7 : tan 3u 1 tan 2 u
2 tan u
1 tan u.
1 tan 2 u

tan u tan 3 u 2 tan u

H8 : 1 tan 2 u
1 tan 2 u 2 tan 2 u
1 tan 2 u

3 tan u tan 3 u
H 9 T : tan 3u
1 3 tan 2 u

4.4.Si los vectores V1 ,V2 ,....Vn son linealmente dependientes (en n

) y si Vn 1 es cualquier
otro vector n
, entonces el conjunto V1 ,V2 ,.....,Vn ,Vn1 es linealmente dependiente.

Definicin: Sea S V1 ,V2 ,....Vn un subconjunto de vectores del espacio vectorial V

.Decimos que S es linealmente independiente si existen escalares 1 , 2 ,..., n todos ceros,

tales que 1V1 2V2 ...... nVn 0 caso contrario decimos que S es linealmente
dependiente .

32
Demostracin:

H 1 : V1 ,V2 ,....Vn son linealmente dependientes

H 2 : n escalares 1 , 2 ,..., n no todos ceros talque 1V1 2V2 ... nVn 0

T 3 : Tomamos 1 1 , 2 2 ,....., n n , n 1 0

T 2 : De modo que 1V1 2V2 ...... nVn 0Vn1 0

T 1 : (1 , 2 ,..., n , n1 ) no todos ceros , entonces 1V1 2V2 ...... nVn n1Vn1 0

T : El conjunto V1 ,V2 ,....Vn ,Vn1 son linealmente dependientes

4.5 Si a, b, c, d , e y f son nmeros reales con la propiedad de que (ad bc) 0, entonces
las dos ecuaciones lineales (ax by ) e y (cx dy ) f tienen solucin para xe y.
Hiptesis (H): a, b, c, d , e y f son nmeros reales con la propiedad de que (ad bc) 0,

Tesis (T): (ax by ) e y (cx dy ) f tienen solucin para xe y.

Se puede reescribir la tesis de la siguiente forma, y asi aparezca el cuantificador existe.
Existen nmeros reales x e y tales que (ax by ) e y (cx dy ) f
Ahora tenemos que generar o elaborar los nmeros reales xe y .

H 1 : De las ecuaciones (ax by ) e y (cx dy ) f

Tendremos que encontrar los valores xe y .

H2 : Ahora multiplicaremos la primera ecuacin por d , esto es

d (ax by ) de adx bdy
b(cx dy ) bf
H 3 : Ahora multiplicamos la segunda ecuacin por b , esto es
bcx bdy bf
adx dby de
H 4 : Ahora restamos H2-H1 esto es
bcx dby bf
Nos queda x(ad bc) (de bf )

(de bf )
Y as tenemos que x
(ad bc)

(af ce)
Al igual tendremos que y
(ad bc)

33
T : Y como en la hiptesis tenemos que (ad bc) 0 as encontramos los valores de xe
y

Y as concluimos la demostracin

4.6
Si a, b, c , para los cuales a | b y b | c entonces a | c .

Demostracin: (por construccin)

H : a, b, c , para los cuales a | b y b | c

T :a|c

H1 : a | b

H 2 : m / b am

H3 : b | c

H 4 : n / c bn

H 5 : H 2 en H 4 : c (am)n

H 6 : c ak , donde k m.n

H 7 : k / c ak

T :a|c

4.7 Si ( xn ) es una sucesin monotoma no creciente y no acotada inferiromente, entonces

lim xn

H : xn sucesin montona no creciente

T : lim xn

H1 : sea A 0 , arbitrario

H 2 : xn no es acotado inferiormente

H 3 : n0 tal que, xn0 A

H 4 : xn xn0

34
H 5 : Asi que, n n0 , xn xn A
0

Esto es

H 6 : A 0, n0 , tal que , n n0

Se tiene

H 7 : xn A

H8 : T : significa que lim xn

4.8 El conjunto de los nmeros reales no es enumerable

demostracin:

se dara un intervalo, cerrado , I [a, b] , con a b , y un numero real x0 ,

entonces existe un intervalo cerrado , J [c, d] , con c d

tal que x0 J y adems J I

dado cualquier subconjunto enumerable X {x1, x2 ....xn ....}

de aqu se puede deducir que podemos encontrar un numero real x X

tal que x1, I1, I 2 tambin se podr hacer notar para x2, I 2 y I 2 I1

y asi I1 I 2 ....I n y estos intervalos son cerrados , xi, I

(1 i n) , de aqu se puede obtener I n1 I con xn 1 .I n 1 de aqu se puede obtener la

secuencia decreciente 0 I1 I 2 ....I n de intervalos limitados y cerrados

Luego existir un numero real x que pertenece a todos I n

Como xn I , pues x no es ningno de los elementos de xn ,

Por lo tanto ningn conjunto enumerable X , puede contener todos los nmeros reales.

5.METODO POR SELECCIN

5.1 :Se tiene la desigualdad cos2 x xsenx 2 , x , tal que 0 x
2
Solucin:

H: Para cada 0 x
2

35
T: cos 2 x xsenx 2
Prueba:
Se procede primero a ver que en tal proposicin est presente el cuantificador universal
(para todo). De manera que esta propiedad se cumpla, Entonces para cada valor particular x0
que tambin se encontrara en tal intervalo.
Entonces hay un x0 arbitrario.

H1 : 0 x0
2
Como queremos llegar a cos 2 x xsenx 2 , por medio de operaciones elementales se tendr
que x0
H2 : 2 cos 2 x0 x0 senx0 0 Luego.
H3 : 1 1 cos 2 x0 x0 senx0 0
Aplicando Pitgoras, tendremos sen2 x cos 2 x 1 , despejando a sen 2 x0
H4 : sen 2 x0 = 1 cos 2 x0 reemplazando
H5 : 1 sen 2 x0 x0 senx0 >0
Luego completando cuadrados
H6 : 1 2senx0 sen 2 x0 2senx0 x0 senx0 0
H7 : ( senx0 1) 2 senx0 (2 x 0 ) 0
En este caso cualquiera de los 2 valores son mayores a 0, as que
H8 : ( senx0 1) 2 >0
H9 : senx0 (2 x 0 ) >0
H10 : Ya que la funcin trigonomtrica senx estn acotadas en [-1,1], resulta
H11 : De la tesis cos 2 x0 x0 senx0 2 (0 < 2)

Sabemos que 0 x0 2 , por la hiptesis.
2

H12 : Por lo tanto como se est buscando races en este intervalo [0, ]
2

H13 : Las races de la ecuacin cos 2 x xsenx 2 . Estarn en el intervalo [0, ]
2

5.2 FORMAS TRIGONOMETRICAS PARA NUMEROS COMPLEJOS

FORMA TRIGONOMETRICA:
b
z a bi r (cos isen ) , en donde r z a 2 b2 y tan .
a

TEOREMA:

36
Si las formas trigonometricas de dos numeros complejos z1 y z2 estan dadas por:
z1 r1 (cos 1 isen1 ) y z2 r2 (cos2 isen2 ) , entonces:
z1 z2 r1r2 [cos(1 2 ) isen(1 2 )]

REESCRIBIENDO:

H : numero complejo , z1 r1 (cos 1 isen1 ) y z2 r2 (cos2 isen2 )

T : z1 z2 r1r2 [cos(1 2 ) isen(1 2 )]

DEMOSTRACION: (METODO POR SELECCIN)

H : numero complejo z1 r1 (cos 1 isen1 )

H1 : z2 r2 (cos2 isen2 )
H 2 : multiplicamos H y H1 : z1 z2 r1 (cos1 isen1 ).r2 (cos2 isen2 )
H3 : z1 z2 r1r2 (cos1 cos2 sen1sen2 ) i(sen1 cos2 cos1sen2 )
H 4 : cos(u v) (cos u.cos v senu.senv)
H5 T1 : sen(u v) (senu.cos v cos u.senv)
T : z1 z2 r1r2 [cos(1 2 ) isen(1 2 )]

5.3 FORMULA DE HERN

El area A de cualquier triangulo con lados a , b y c esta dada por:

1
A s ( s a )( s b)( s c ); _ donde : s (a b c )
2

- Para realizar la demostracion se usara tanto el metodo de seleccin como el metodo

progresivo-regresivo
Reescribiendo:

- Si para todo triangulo que tenga como lados a , b y c entonces su area A es

1
A s ( s a )( s b)( s c ); _ donde : s (a b c )
2

DEMOSTRACION:

H : para todo triangulo que tiene como lados a , b y c

37
 T : su area A es A s( s a )(s b)(s c); _ donde : s 1 (a b c)
2

H : todo triangulo tiene como lados a , b y c

H1 : triangulo, Area A
1
bcsen (area de un triangulo)
2
1 2 2
H 2 : A2 b c sen 2 (elevando cuadrados)
22

1 2 2
H 3 : A2 b c (1 cos 2 ) (identidad: sen 2 cos 2 12 )
22
1
H 4 : A2 b 2 c 2 (1 cos )(1 cos ) (diferencia de cuadrados)
4
De la ley de cosenos:
1 2 2 b2 c 2 a 2 b2 c 2 a 2
H 5 : A b c [1 (
2
)][1 ( )]
4 2bc 2bc a 2 b 2 c 2 2bc.cos
1 2bc b2 c 2 a 2 2bc b 2 c 2 a 2 cos :
H 6 : A2 b2c 2 [ ][ ] Despejando
4 2bc 2bc
1
H 7 : A2
1
[(b c) 2 a 2 ] [a 2 (b c) 2 ] a 2 b2 c 2
cos
4 4 2bc
1 1 1 1
H 8 : A [(b c) a] [(b c) a ] [a (b c)] [a (b c)]
2

2 2 2 2
b c a b c a a b c a b c abc
H9 : A , con s
2 2 2 2 2
bca a bc abc
H10 T2 : s a y s b y sc
2 2 2
abc
T1 : s
2
T : A s(s a)(s b)(s b) , triangulo ABC .

5.4. Enunciado: Si m y b son nmeros reales y f es una funcin definida por

f ( x) mx b f ( x) mx b , entonces f es convexa.

Definicin 1: Una funcin f de una variable es convexa si para todo nmero real xey y
para todo 0 t 1, f (tx (1 t ) y ) tf ( x) (1 t ) f ( y ) .

Demostracin:

H1 : Sea x, y , t , con 0 t 1

H 2 : Por hiptesis f (tx (1 t ) y ) m(tx (1 t ) y ) b

H 3 : Haciendo clculos
38
 mtx my mty b
mtx bt my mty b bt
(mtx bt ) (my mty ) (b bt )
t (mx b) (my )(1 t ) b(1 t )
t (mx b) (1 t )(my b)
tf ( x) (1 t ) f ( y )

H 4 : Asi se cumple la desigualdad

T 1 : x, y, t con 0 t 1

f (tx (1 t ) y ) tf ( x) (1 t ) f ( y )

T : f es convexa

5.5 PROPIEDAD DE LOS NUMEROS REALES

Si S ( Nmeros reales x : ( x 3x 2) 0) , y
2

T ( Nmeros reales x :1 x 2) entonces S T

Hiptesis (H): S ( Nmeros reales x : ( x 3x 2) 0) , y

2

T ( Nmeros reales x :1 x 2)

Tesis (T): S T }

T 1 : Tenemos que S T , y esto significa que S est contenido en T , y T est contenido

en S

Ahora tomaremos un elemento x que este en S , y por consecuente debe estar en T .

T 2 : Ahora tomaremos un elemento x que este en T , esto significa que satisface la

propiedad de define a T , y esto es (1 x 2)

H 3 : x S , esto es x : ( x 3x 2) 0)
2

H 2 : Factorizando tenemos que

( x 2)( x 1) 0

L a nica manera en el cual el producto de los dos nmeros ( x 2) y ( x 1) pueda ser 0 ,

esque uno sea 0 y el otro sea 0

En otras palabras tenemos que

39
( x 2) 0 y ( x 1) 0 o

( x 2) 0 y ( x 1) 0

H 1 : La primera condicin no puede ocurrir, as que la segunda condicin es la que debe

suceder

( x 2) 0 y ( x 1) 0

Esto es

1 x 2

Y as concluimos que x T y queda concluida la demostracin

5.6
3.35.Demuestre que para todo entero no negativo n que 2n 6n es un par entero.
DEMOSTRACION:

H : n

T : 2n 6 n es par

1 caso: Suponemos que n es par :

H1 : n 2a , donde a

H 2 : 2n 6n 22 a 62 a

H 3 : 2n 6n 2a.2a 2a.3a.2a.3a

H 4 : 2n 6n 2a (2a 3a.6a )

T : 2n 6 n es par ( 2 a es un par)

2 caso: suponemos que n es impar :

H1 : n 2b 1 , donde b

H 2 : 2n 6n 22b 1 62b 1

H 3 : 2n 6n 22b.2 62b.6

H 3 : 2n 6n 2(22b 62b.3)

T : 2n 6 n es par

40
 1
5.7 Sea la sucesin I n : n , definida n , I n [0, ] , entonces I n {0}
n n

Sucesin encajada. Ya que I I n1 , n

H : n

T: I n {0}
n

H1 : n

H 2 : I n es cerrado y acotado

H 3 : Ademas inf 0, n inf , n 0

1 1
n n

Para esta sucesin I n se cumplen todas las hiptesis del principio de intervalos encajados,
ya que se concluye un nico punto comn.

H 4 : Asi que 0 I n , n

H 5 : T : Asi queda I n {0}

n

5.8 Un punto a es adherente a un conjunto x , entonces 0 , se tiene que

x (a , a )

prueba:

si a es adherente a x entonces a lim xn con xn X , n ,

luego dado un 0 (arbitrario), se tiene que xn (a , a )

n es suficientemente grande

Luego (a , a ) X

De manera reciproca , se tiene al i-semo termino.

1 1
n N , de qui que se puede encontrar xn X tal que xn (a , a )
n n

Ya que este intervalo define la secuencia de puntos xn X

1
Tales que xn a
n

41
Luego resulta lim xn a por lo tanto a adherente a X

6. METODO POR PARTICULARIZACION:

6.1 Se deseademostrara que: 0, x S , tal que a x 0 .
Demostracin: (mtodo por particularizacin)
Se elige la hiptesis y tesis: siendo

H: 0, x S

T: tal que a x 0 .

Prueba:
Empezamos la demostracin primero mostrando Por la caracterizacin del infimo nos resulta
que:

H1: por la caracterizacin del nfimo S , resulta que:

H2: 0, x S , tal que x a .

H3: como a inf S , ser a x .

H4: esto es a x a .

H5: tambin que a x a .

H6: de aqu, a x 0 .

H7: asi entonces 0, x S , con a x 0

6.2. IDENTIDAD TRIGONOMETRICA

Si se desea saber que para probar una identidad trigonomtrica de la forma h(x) r(x) .
Entonces basta con desarrollar ambos lados de la igualdad independientemente y llegar a
0 0
Qu valor toman xyy? sea:

h( x ) sen x cos y

1
r( x) = (sen( x y ) sen( x y ))
2

Reescribiendo:

1
H : sen x cos x (sen( x y ) sen( x y ))
2
42
T : desarrollar ambos lados de la igualdad independientemente y llegar a 0 0

Si se desea saber en forma particular, entonces para que valores se cumple la igualdad, x y
y

H1 : senxcosx 1 (sen(x y) sen(x y))

2

H 2 : senxcosx 1 (sen(x y) sen(x y)) 0

2

H3 : para que se cumpla la igualdad para x y y tomamos particularmente, x 0 y y 2

1
H 4 : obteniendo: sen 0 cos 2 (sen(0 2 ) sen(0 2 )) 0
2

H5 : dar 0 0

H 6 : dicha igualdad no ser posible si x 0 y y 2

H 6 T : por lo tanto la igualdad se cumplir para x 0 y y 2

6.3 dado el teorema anterior, para qu otros exponentes es vlido?, vale cos6 x sen6 x
?

H : x

T : cos6 6 sen6 x 0

Demostracin: (mtodo por particularizacin)

H : cos6 x sen6 x

H1 : cos6 x sen6 x 0

H 2 : (cos3 x sen 3 x)(cos3 x sen 3 x) 0 (diferencia de cuadrados)

H 3 : (cos3 x sen 3 x) (cosx senx)(cos2 x senxcosx sen 2 x) 0

H5 : las races son (cosx senx) 0 (cosx senx) 0

H 6 : cos x sen x cos x senx

H 7 : ser vlido para todo cos k x sen k x (en forma particular).

43
6.4 teorema: Si S , T son conjuntos convexos entonces S interseccin T es un conjunto
convexo

Demostracin:

H1 : As particularizando la proposicin para x, , y , , t , se tiene que t , x, (1 t , ) y, S

H 2 : Por hiptesis de que S es convexo tenemos x, y S y 0 t 1 , tx (1 t ) y S

H 3 : Tambin por la hiptesis T es convexo , es decir x, y S y 0 t 1 ,

tx (1 t ) y T

H 4 : Particularizando la proposicin para x, , y , , t , se tiene que t , x, (1 t , ) y, T

T2 : x, y S T y 0 t 1, tx (1 t ) y S T

T1 : S T es convexo

T : As para x, , y , S , y 0 t 1 se tiene que t , x, (1 t , ) y, S T

6.5. Mtodo por particularizacin

Si R es un subconjunto de un conjunto S de nmeros reales y u es un lmite superior de

S , entonces u es un lmite superior de R .

Hiptesis (H): R es un subconjunto de un conjunto S de nmeros reales y u es un lmite

superior de S .

Tesis (T): u es un lmite superior de R .

H 1 : Sea r un elemento de R

H 2 : Por hiptesis tenemos que R es un subconjunto de S , entonces r tambin ser un

elemento de S

Todos los elementos de S son u

T : Y por ser r un elemento de S tenemos que

r u
Y as queda concluida la demostracin.

6.6

44
3.56. Sean x, y . Demuestre que si a y b son pares enteros, entonces ax by es
par.

H : x, y ; a, b / a y b son pares

T : ax by es par

H1 : a es par

H 2 : a 2m , donde m

H 3 : b es par

H 4 : b 2n , donde n

H5 : ax by (2m) x (2n) y

H 6 : ax by 2(mx ny)

H 7 : ax by 2 , donde (mx ny )

T : ax by es par

6.7 Sea A, B , no vacios y acotados, con A B . Entonces se verifica

inf B inf A sup A

Demostraremos inf A sup A

H1 : x A,inf A x sup A

H 2 : inf A sup A

Ahora demostraremos inf B inf A

H 3 : x A,inf A x

H 4 : para x A , como A B , resulta x B

H 5 : de aqu se tiene inf B x, x A

inf B es una cota inferior para el conjunto de A , pero inf A es el mayo de las cotas
inferiores de A

H 6 : T : asi que inf B sup A

45
6.8 Toda secuencia montona limitada es convergente
demostracin :

sea la secuencia ( x1, x2 .... xn ...) no decreciente limitada .

luego se toma a sup{x n ;n 1, 2,...}

se puede afirmar que a lim xn

ya que dado cualquier 0 , como a a , de aqu que el numero a , no es una cota

superior del conjunto de los xn

para este caso existir un n 0 tal que a < xn 0

pero como la secuencia es montona , queda que n n 0 xn0 xn , y por lo tanto

a < xn , como xn a para todo n , vemos que n n 0 a xn a

Por lo tanto tenemos el hecho de que lim x0 a , y es adonde se quera llegar.

7. MTODO POR DISYUNCION DE CASOS

7.1PRINCIPIO DE INTERVALOS ENCAJADOS:

Prueba del principio de intervalos encajados, agregando la condicin adicional

0 inf{bn an : n }

Por caracterizacin sabemos que: 0, N , tal que bn an

H : 0, N , tal que bn an

T: 0 inf{bn an : n }

Demostracin:

H1 : como aN a b bN

H 2 : resulta que 0 b a bN aN

H3 : es decir para cada 0

46
H4 : 0 b a

H5 : b a 0, a b

Agregando la condicional adicional

H 6 : 0 inf{bn an : n }

H 7 : nmero real a tal que a I n , n

H8 : As que T : I n {a}
n 1

1
7.2 Sea x : n , demostraremos que 0 sup X
5
n

H : n , 1n 0
5

T : 0 sup X

Demostracin

1
H1 : n , 0
5n

H 2 : asi que 0 es cota superior de X

Ahora adimtamos que exista una cota superior de X menor que 0

H3 : sea d que es cota superior de X con d 0

Para d 0

H 4 : d 0 , por ser arquimediano

H5 : N , tal que 1
d
N

1 1
H6 : N
d
5 N

1
H7 : d
5N

47
 1
H 8 : x X , con x d
5N

Para x d

H 9 : se prueba que d no es cota superior de X

Asi, que no hay cotas superiores de X , menores que 0

H10 : T : 0 sup X

7.3 TEOREMA:
Sea k un nmero entero. Si un nmero es de la forma 3k 3k 1 3k 2 entonces el
producto de este nmero con dos de sus sucesores respectivos es mltiplo de 3.

Sea x el nmero tal que x

H1 : x 3k

H 2 : x 1 3k 1

H 3 : x 2 3k 2

T : El producto de x con dos de sus sucesores es mltiplo de 3.

1 caso: H1 T

Si x 3k , sus dos sucesores son x 1 3k 1 y x 2 3k 2 .

El producto de los tres seria: ( x)( x 1)( x 2) (3k )(3k 1)(3k 2)

( x)( x 1)( x 2) 3(k )(3k 1)(3k 2)

( x)( x 1)( x 2) 3m, donde m (k )(3k 1)(3k 2)

El producto es mltiplo de 3.

2 caso: H 2 T

Si x 1 3k 1 . Sus sucesores son x 2 3k 2 y x 3 3k 3 .

El producto de los tres seria:

( x 2)( x 3)( x 4) 3 (3k 2)(k 1)(3k 4)

( x 1)( x 2)( x 3) 3(3k 1)(3k 2)(k 1)

( x 1)( x 2)( x 3) 3n , donde n (3k 1)(3k 2)(k 1)

48
 El producto es mltiplo de 3.

3 caso: H 3 T

Si x 2 3k 2 . Sus sucesores son x 3 3k 3 y x 4 3k 4 .

E l producto de los tres seria:

( x 2)( x 3)( x 4) (3k 2)(3k 3)(3k 4)

( x 2)( x 3)( x 4) 3(3k 2)(k 1)(3k 4)

( x 2)( x 3)( x 4) 3 , donde (3k 2)(k 1)(3k 4)

El producto es mltiplo de 3.

7.4 DEFINICION DE NUMERO REALES

Si
( xn ) e ( yn ) , entonces probar ( xn yn )

De la definicin de sucesin de nmeros reales

Dado A 0 , arbitrario

H : ( xn ) , para
A0

H1 : n1

H 2 : n n1 , xn A

H 3 : ( yn )
, para 1 0

H 4 : n2

H5 : n n2 , yn 1

Elijamos
n0 mx {n1 , n2};(n0 n1, n0 n2 )

H 6 n n0 ; n0 n1 n0 n2
y

H 7 : n n1; n n2

H8 : De aqu, xn A y yn 1

49
H9 : n n0 , xn A y yn 1

H10 : n n0 , xn yn A.1 A

Es decir

H11 : A 0, n0 , tal que n n0

Se tiene

H12 : T : ( xn yn )

7.5 CADA NUMERO REAL

Si a 0 yb 0 a 0 yb 0 entonces tendremos que ab 0

Tenemos este enunciado de la forma

H1 H 2 T

Hiptesis ( H 1 ): a 0 yb 0

Hiptesis ( H 2 ): a 0 yb 0

Tesis (T): ab 0

Esto es

H1 T H 2 T
H1: Primero tomamos la primera expresin que es

H1 T

Esto significa que tenemos a 0 yb 0

H 1 : Y por leyes de signo sabemos que el producto de dos nmeros que tienen signo
diferente, el producto ser negativo.

T : Entonces concluimos que el producto ab 0

H 2 : Para la siguiente hiptesis por la ley de signos tendremos el mismo resultado y

llegaremos a la misma conclusin.

Y as queda concluida la demostracin

50
7.6
CAPITULO 4. Problema 14. Si n , entonces 5n 3n 7 es impar.

Demostracin: (disyuncin de casos)

Si n , tomamos que n es par o n es impar, entonces 5n 3n 7 es impar.

H1 : n es par

H 2 : n es impar

T : 5n 3n 7 es impar.

1 CASO: H1 T

H1 : n es par

H 2 : n 2 x , donde x

H3 : 5n 3n 7 5(2 x) 3(2 x) 7

H 4 : 5n 3n 7 10 x 6 x 6 1

H5 : 5n 3n 7 2(5x 3x 3) 1

H 6 : 5n 3n 7 2 y 1 , donde y (5 x 3x 3)

T : 5n 3n 7 es impar

2 CASO: H 2 T

H 2 : n es impar

H 2.1 : n 2a 1 , donde a

H 2.2 : 5n 3n 7 5(2a 1) 3(2a 1) 7

H 2.3 : 5n 3n 7 10a 5 6a 3 6 1

H 2.4 : 5n 3n 7 10a 6a 14 1

H 2.5 : 5n 3n 7 2(5a 3a 7) 1

H 2.6 : 5n 3n 7 2b 1 , donde b (5a 3a 7)

T : 5n 3n 7 es impar.

51
7.7 Probar para cada entero no negativo n que 2n 6n es un entero par

Sea n un entero no negativo, consideremos dos casos

Caso 1:

Si n 0 , Entonces: 20 60 2

Caso 2: es un entero positivo, entonces n 1 es un no negativo entero por lo tanto

2n 6n 2n (2.3)n

2n 2n.3n

(2n1 2n1 ).3n

Ya que (2n1 2n1 ).3n es un entero, incluso 2n 6n

8. METODO DE LA DISYUNCION EXCLUSIVA

8.1 : son aquellos teoremas cuya hiptesis es una sentencia disyuntiva (v)

(H1 H2 ) T

Sea k si un numero es de la forma 3k o 3k 1 o 3k 2 entonces el producto del numero

son los dos sucesores, es un mltiplo de 3 en forma general se puede tener la forma
(H1 H2 ... Hk ) T

Probando T usamos de la hiptesis H i

(H1 H2 ... Hk ) T (H1 T) (H2 T)......(Hk T)

Debemos probar el enunciado .

Solucin:
Si n 3k n(n 1)(n 2) es mltiplo de 3

Si n 3k n 3k 1 n 3k 2 n es mltiplo de 3
Si n 3k n(n 1)(n 2) = 3k(3 k 1)(3k 2) 3n

Si n 3k 1 (3k 1)(3k 1 1)(3k 1 2) (3k 1)(3k 2)(3k 3)

(3k 1)(3k 2)3(k 1)

= 3 (3k 1)(3k 2)(k 1)

Q
=3Q

52
si n 3k 2 (3k 2)(3k 2 1)(3k 2 2)

= (3k 2)(3k 3)(3k 4)

= 3 (3k 2)(k 1)(3k 4)

R
= 3R

8.2 Sea lim xn a y A abierto. Con a A , demostrar que n0 , tal que n n0 , se

cumple xn A

H : a A, 0

T : n n0 , xn A

Demostracin

H1 : A es abierto a A, 0

H 2 : A es abierto a , a A

H 3 : A es abierto lim xn a , para a , a n0

H 4 : A es abierto n n0 , xn a , a

H 5 : A es abierto a , a A

H 6 : T : n n0 , xn A

Donde n0 , A es abierto, concluimos con la tesis.

8.3 Si x, y son nmeros reales tales que x 2 y 2 entonces x y x y

DEMOSTRACION:

H : x, y son nmeros reales tales que x 2 y 2

T1 : x y

T2 : x y

53
CASO 1: H T1 CASO 2: H T2

H : x2 y 2 H : x2 y 2

H1 : x 2 y 2 0 H1 : x 2 y 2 0

H 2 : ( x y)( x y) 0 H 2 : ( x y)( x y) 0

H3 : ( x y) 0 H3 : ( x y) 0

T1 : x y T2 : x y

8.4 Mtodo de la disyuncin exclusiva

a, b ab 0 si y solo si a 0 b 0

Hiptesis: ( H ) : a, b ab 0

Tesis (C ) : a 0

Tesis ( D ) : b 0

Este enunciado tiene la forma:

H C D

H 1 . Primeramente supondremos que

a, b ab 0 y a 0

Negando la proposicin C

H 2 : Ahora nos queda que

ab 0

Pero sabemos que

a0

H 3 : De aqu concluimos que el producto ser igual a 0 si y solo si

b0

54
D : De aqu concluimos que

b0

a1, a 2, a3,.......an 0 si y solo si a1 0 a 2 0 a3 0,........ an 0

Tenemos el enunciado de la forma

H T1 T 2 .....TN

Tomaremos la forma

( H T1 T 2 T 3....... T ( N 1)) TN

A1 : Tenemos entonces que a1, a 2, a3,.......an 0 , y tambin tenemos que

a1 0 a 2 0 a3 0....... a(n 1) 0

A2 : Al saber que

a1 0 a 2 0 a3 0....... a(n 1) 0

Por hiptesis tenemos que

a1, a 2, a3,.......an 0

Y la nica forma en que ese producto sea 0 es que an 0

TN : Donde llegamos a la conclusin de la demostracin.

8.5. Mtodo de la disyuncin exclusiva

a1, a 2, a3,.......an 0 si y solo si a1 0 a 2 0 a3 0,........ an 0

Tenemos el enunciado de la forma

H T1 T 2 .....TN

Tomaremos la forma ( H T1 T 2 T 3....... T ( N 1)) TN

A1 : Tenemos entonces que a1, a 2, a3,.......an 0 , y tambin tenemos que

a1 0 a 2 0 a3 0....... a(n 1) 0

A2 : Al saber que a1 0 a 2 0 a3 0....... a(n 1) 0

Por hiptesis tenemos que a1, a 2, a3,.......an 0

Y la nica forma en que ese producto sea 0 es que an 0

55
TN : Donde llegamos a la conclusin de la demostracin.

8.6
3.28. Sea x, y . Demuestre que si xy es impar entonces x y y son impares.

DEMOSTRACION: (disyuncin exclusiva)

H : xy es impar

T1 : x es impar

T2 : y es impar

CASO 1: H T1

H1 : xy 2a 1

1
H 2 : x 2a 1
y

8.7 Sea a, b . Probar que si a b y ab son de la misma igualdad, entonces a y b

son iguales

Asumir que a o b es impar, entonces a 2x 1 para algn entero x

Caso 1. b 2 y para algn entero y , asi ab a (2 y )

2ay

Ya que ay es un entero, incluso ab

a b (2 x 1) 2 y

2( x y ) 1

Ya que x y es un entero, a b es impar por lo tanto ab y a b son de igualdad opuesta

Caso 2. b es impar, entonces b 2 y 1 par algn entero y . asi

a b (2 x 1) (2 y 1)

2x 2 y 2

2( x y 1)

Ya que x y 1 es un entero, incluso a b , adems

56
 ab (2 x 1)(2 y 1)

4 xy 2 x 2 y 1

2(2 xy x y ) 1

Ya que 2xy x y es un entero, es impar. Por lo tanto ab y a b son de igualdad

opuesta

8.8 si x , y tales que x y 2 x y, x y

De aqu se puede tomar una igualdad de la forma

x4 y 4

Prueba:

La operacin se desarrolla usando productos notables .

Dando como resultado.

x4 y 4 0 , aplicando la diferencia de cuadrados se obtiene ( x 2 y 2 )( x 2 y 2 ) 0,

Adems tomando uno de los factores

( x2 y 2 ) = ( x y )( x y ) 0,

Por lo tanto en este caso x y ; x y

9. TECNICA DE LA UNICIDAD
9.1. Segun un teorema anterior, Existir una solucin para, x 1?

Demostracin: (tcnica de la unicidad)

H : x

57
 3 3 1
T : 1 2
se desea saber si existir una solucin
senx senx senx3

Prueba: se desea mostrar la existencia y la unicidad de esta operacin

Unicidad: se mostrara una nica ecuacin,

Se tiene lo siguiente para x1 y x2

senx12 3 3senx13 senx1 senx 2 2 3 3senx23 senx2

Se forma la desigualdad ,
senx12 senx14 senx 2 2 senx2 4

Haciendo operaciones se llegara a la conclusin de que para ambos casos las operaciones dan
un mismo resultado, en este caso tambin se podra decir que es un biseccin.
Luego se tiene la existencia, la existencia de una nica solucin para esta ecuacin.
Se tiene que: la desigualdad.

3senx 2 1
senx 3
2

senx

senx3 3senx 3senx 2 1

senx3 3senx 3senx 2 1 0

(senx 1)3 0

senx 1 0

En este caso se presenta una contradiccin ya que no es el caso porque 1 senx 1

Por lo tanto no existe la raz para cuando x 1 Y as se demuestra que existe una nica raz
en intervalo [-1,1]

9.2 Para cada x , existe un nico n , tal que n x n 1; m x m 1

H1 : asumimos que m n

H2 : m n x m 1

H 3 : tambin m n m 1

H4 : 0 n m 1

Se demuestra la propiedad

H5 : T : x , !n n x n 1

Cunple que existe un nico n que cunmple con la propiedad

58
9.3. TEOREMA:
Sea V un espacio vectorial finito dimensional con producto interior y sea una forma
lineal de V , entonces existe un nico vector B de V tal que ( x) x, B .

DEMOSTRACION: (existencia y unicidad)

Como V es un espacio vectorial con producto interior, existe una base ortonormal de
V ( x) x1 ( A1 ) x2 ( A2 ) ... xn ( An )
B b1 A1 b2 A2 ... bi Aii 1, 2,..., n X , B C
( x) X , C B 0, x V x1 A1 x2 A2 ... xn An , b1 A1 b2 A2 ... bn An , tal que,
( x) x1b1 x2b2 ... xnbn bi B ( A1 )A1 ( A2 )A2 ... ( An )An
C B 0, x 0
x V : x x1 A1 x2 A2 ... xn An , aplicando a x se tiene:
( x) x1 ( A1 ) x2 ( A2 ) ... xn ( An ) .

1 Probaremos la existencia:

Supongamos que existe un vector B V , luego B b1 A1 b2 A2 ... bn An

Calculamos , las coordenadas bi , i 1, 2,..., n de B ; con la condicin:

( x) X , B

( x) x1 A1 x2 A2 ... xn An , b1 A1 b2 A2 ... bn An

( x) x1b1 x2b2 ... xnbn

Si se quiere que ( x) X , B entonces bi ( Ai ) , por consiguiente, existe B y es de la

forma: B ( A1 )A1 ( A2 )A2 ... ( An )An .

2 Probaremos la unicidad:

Supongamos que existe un vector C , tal que:

( x) X , C , x V

( x) X , B , x V

Igualando: X ,C X , B

As X , C B 0, x V ( por propiedades)

C B 0, x 0
59
CB

As, se demuestra la unicidad.

9.4 Mtodo por Unicidad

Si sen y cos , son tales que al menos uno de ellos es diferente de cero ( 0)

Pruebe que existe un nmero complejo sen i cos tal que

(sen icos )(sen i cos ) 1

SOLUCION:

Empezamos reconociendo la hiptesis y la tesis

H : sen Y cos son tales que sen 0 y cos 0

T : (sen i cos ) de modo que (sen icos )(sen i cos ) 1

H1 : debemos construir (sen i cos ) tal que

(sen i cos ) = (sen icos )1

H2 : sen 0 y cos 0

H3 : (sen icos ) 0 i

H4 : (sen icos ) i

1
H5 : (sen i cos ) =
(sen icos )

(sen icos )
H6 : (sen i cos ) =
(sen 2 i 2cos 2 )

sen i cos
H7 : (sen i cos ) =
(sen i cos ) (sen i 2cos 2 )
2 2 2 2

sen i cos
H8 : sen = ; i cos =
(sen i 2cos 2 )
2
(sen i 2cos 2 )
2

H 9 : luego para mostrar la unicidad recurrimos a H1 donde (sen i cos ) y tendremos

otro valor dado por (sen icos )

H10 : de tal manera que (sen i cos ) = (sen icos )

60
H 11 : son tales que por la hiptesis tenemos

(sen icos )(sen i cos ) 1

(sen icos )(sen icos ) 1

H 12 : ya que la unicidad viene dada por

(sen icos )(sen i cos ) 1

H13 : (sen icos ) = (sen icos ) (1)

(sen icos ) = (sen icos ) (sen i cos )(sen icos )

(sen icos ) = (1) (sen icos )

(sen icos ) = (sen i cos )(sen icos ) (sen icos )

H 14 : por lo tanto

(sen icos ) = (sen i cos )

Y esto garantiza la existencia y la unicidad el problema.

9.5 Si p es un nmero real positivo entonces existe un nico nmero real a tal que a 3 p

Hiptesis ( H ): p es un nmero real positivo

Tesis ( T ): existe un nico nmero real a tal que a 3 p

H 1 : Supondremos que a b son dos nmeros reales diferentes tales que

a3 p y

b3 p

Tenemos la hiptesis de que p es un nmero real positivo y sabiendo tambin que a b

H 2 : Sabiendo que

a3 p y

b3 p

Tenemos que a b
3 3

61
H 3 : Entonces tenemos que

( a 3 b3 ) 0

H 4 : Luego esto es factorizando

(a b)(a 2 ab b 2 ) 0

(a b) 0
H 5 : De aqu tomamos la afirmacin de que
ab

T : Entonces llegamos a la unicidad, y as queda concluida la demostracin.

9.6. Teorema: Sea x , debe existir un n tal que n x n 1

H : x , N
T : n x n 1
Primero se prueba la existencia:
H: x y que existir un nico n
T: n x n 1
Demostracin:
Hemos de probar la existencia
H 9 : para x / r , s tales que r x s .
H 2 : sea t : s r 0
H3 : s r t
H 4 : as se tendr r x r t
H 5 : sea un p menor entero positivo, tal que r p x .
H 6 : r (p 1) x (por el principio del buen orden)
H 7 : r (p 1) x r p
H8 : se define n r p 1
H 9 : r p n 1 por lo tanto n z , tal que n x n 1
Y queda probada la unicidad de n
Se demostrara la unicidad,(por contradiccin) se admite entonces que m, n z verificando
la propiedad de m x m 1 , n x n 1
H10 : suponemos que m n ,
H11 : m n x m 1 ,
H12 : m n m 1
H13 : 0 n m 1
As que se ha podido demostrar que para cada x , existir un nico n ,
Con n x n 1
9.7 sea a 0 , pruebe que la ecuacin ax b 0 tiene una nica solucin

62
H :a 0

T : ! solucin para ax b 0

Existencia: aX 1 b 0

b
x tiene sentido ya que a 0
a

Unicidad: sean X1 , X 2 soluciones de ax b 0 , debemos probar que X 1 X 2

aX 1 b 0 y aX 2 b 0

aX1 b ; aX 2 b

aX1 aX 2

1 1
X1 (aX 1 ); (aX 2 ) X 2
a a

9.8 Unicidad del lmite: sean X , f : X , a X ' si lim f (x) L1 , lim(x) L 2 ,

x a x a

entonces: L1 L2
Solucin:
En este caso se desea un nico lmite de la funcin
Dado cualquier 0 existe 1 0, 2 0

Tales que para x X , 0 x a 1 , f (x) L1 y
2

0 x a 2 Y f (x) L 2
2
Luego sea {1 , 2 }
Como a X' se puede obtener x X , tal que 0 x a

Tal que L1 L 2 L1 f (x) f (x) L2
2 2
Y de esto nos resulta que L1 L2 para todo 0 , por lo tanto L1 L2
Y de esta manera se muestra la unicidad del lmite.

10. METODO POR INDUCCION

10.1 Mtodo por induccin:
Pruebe que la suma de sucesin geomtrica es:

63
 1 a n1
1 a a 2 a3 ...a n ,a 1 , n
1 a
Prueba:

S n 1 , es el primer nmero natural, en este caso,

1 a11 1 a 2
1 a 1 a =1 a ,a 1
1 a 1 a

Luego para n k es decir que mi hiptesis de induccin es:

1 a k 1
1 a a a ...a
2 3 k

1 a
Ahora se tomara para un n k 1 :
k 1 1 a k 2
Resultando una nueva frmula: 1 a a a ...a
2 3

1 a
Si se le suma a k , por la hiptesis de induccin
1 a a 2 a 3 ... a k a k 1
1 a k 1
Resultando: a k 1 haciendo operaciones, resulta:
1 a
k 1
1 a k 1 (1 a)a
1 a
1 a k 2

1 a
Y es a lo que se quera llegar por lo tanto se cumple para cundo n k 1 y as la
demostracin queda completa.

10.2 Pruebe que n, 2n 2n1

Verifiquemos que P (1) es verdadero : P(1) : 21 211 2 4 verdadero

Suponemos que P (k ) es verdadero P (k ) : 2k 2k 1

Demostraremos que P (k 1) es verdadero P (k 1) : demostrando 2k 1 2( k 1)1 es verdadero

Por (1) : 2k (2) 2k 1 (2) = 2k 1 2( k 1)1

k 1 k 2
2k 2 2 2 verdadero

n , 2n 2n1

10.3 TEOREMA:
64
 n(n 1)(n 2)
Si n entonces 1 2 2 3 3 4 ... n( n 1)
3

Demostracin: (por el mtodo de induccin)

1(1 1)(1 2) 2(3)

1 Verificaremos que P n 1 es verdadero: P(1) :1 2
3 3
P (1) es verdadero ya que 2 2 .

2 Suponemos P n k es verdadero:
k (k 1)(k 2)
P k :1 2 2 3 3 4 ... k (k 1)
3

3 Debemos demostrar que P (k 1) es verdadero

Con P ( k )

H : x 2r () T : x
p
H 2 : r 2 3 , p, q ; q 0; r 2
q
H11 : 2q 2 2k 2
H10 : q 2

(k 1)(k 2)k 3(k 2)(k 1)

1 2 2 3 3 4 ... k ( k 1) (k 1)(( k 1) 1)
3

(k 1)
1 2 2 3 3 4 ... k ( k 1) ( k 1)(( k 1) 1) (k 2)k 3(k 2)
3

(k 1) 2
1 2 2 3 3 4 ... k ( k 1) ( k 1)(( k 1) 1) k 2k 3k 6
3

(k 1)(k 2)(k 3)
1 2 2 3 3 4 ... k (k 1) (k 1)(( k 1) 1)
3

(k 1)((k 1) 1)((k 1) 2)
1 2 2 3 3 4 ... k ( k 1) (k 1)(( k 1) 1)
3

10.4 Si logramos formarnos una idea del comportamiento de las funciones trigonomtricas
sen y cos en el intervalo 0, 2 , entonces la periodicidad nos va a permitir aplicar las
mismas nociones a cualquier intervalo 2k , 2(k 1) independientemente del valor de
k .

Demostracin:
65
Empezamos usando el mtodo progresivo

H 1 : Sabemos que cos 0
2

H2 : es el menor valor positivo donde cos( x) 0 .
2

H 3 : De aqu cos es positivo en el intervalo 0,
2

cos(0) 1

cos( ) 0
2

H 4 : Podemos decir entonces en este intervalo que el sen es creciente debido a que su
derivada es el cos .

H 5 : Luego, el sen es positivo en 0, .
2

sen2 ( x) cos 2 ( x) 1
H 6 : De la identidad
sen( ) 1
2

H 7 : Usando las formulas de sen (2 x ) y cos(2 x) con x obtenemos:
2

( sen ) sen(2. ) 2 sen( ).cos 0
2 2 2

(cos ) cos(2. ) cos 2 sen 2 1
2 2 2

H 8 : Volviendo a usar para x

( sen2 ) 2sen( ).cos( ) 0
(cos 2 ) cos 2 ( ) sen2 ( ) 1

H 9 : Ahora podemos demostrar por induccin en k que :

sen( x 2k ) sen( x)
cos( x 2k ) cos( x)

H10 : Cuando k 0

66
sen( x 2k ) sen( x 2(0) ) senx
cos( x 2k ) cos( x 2(0) ) cos x

T : Por otro lado , si las igualdades valen para un cierto k , podemos probarlos para k 1

Asi,

sen( x 2(k 1) ) sen( x 2k 2 )

sen( x 2k ).cos 2 cos( x 2k ).sen 2 )
sen( x).cos 2 cos( x).sen2
sen( x).1 cos( x).0
sen( x)

10.5.
Para todo n 0 se cumple: 0 2 4 .... 2n n(n 1) .Sea S (n) 0 2 4 ..... 2n

H 1 : Para n=0. Tenemos

S (0) 0(0 1) 0

L a propiedad es verdadera

H 2 : Para n=k, tenemos

0 2 4 .... 2k k (k 1)

H 3 : Ahora para n=k+1, tenemos

0 2 4 .... 2(k 1) (k 1)(k 2)

H 4 : Debemos probar que S (k ) k (k 1) S (k 1) (k 1)(k 2)

H 5 : Por hiptesis tenemos que

0 2 4 ..... 2k k (k 1)

H 6 : Sumamos el termino 2( k 1) a ambos miembros de la igualdad

0 2 4 .... 2k 2(k 1) k (k 1) 2(k 1)

Debemos analizar si en el miembro derecho la expresin k (k 1) 2(k 1) es la misma que

(k 1)(k 2)

0 2 4 ..... 2k 2( k 1) k ( k 1) 2( k 1)
0 2 4 ..... 2k 2( k 1) ( k 1)( k 2)

67
T : Extrayendo factor comn ( k 1)

Luego, la propiedad se cumple para todo n 0 .

Y as queda terminada la demostracin

10.6

n 2 (n 1)2
6.6. b) Use la induccin matemtica para demostrar que 13 23 33 ... n3
4
cumple para todo nmero entero positivo n .

Demostracin: (induccin)

12 (1 1) 2 1(4)
1 Verificaremos que P (n 1) es verdadero: P(1) : 13
4 4

P (1) es verdadero ya que 1 1 .

k 2 (k 1)2
2 Suponemos que P(k ) :13 23 33 ... k 3 es verdadero.
4

3 Demostraremos que P (k 1) es verdadero:

k 2 (k 1)2
Con P(k ) :13 23 33 ... k 3 (k 1)3 (k 1)3
4

k 2 (k 1)2 4(k 1)3

13 23 33 ... k 3 (k 1)3
4

(k 1)2 2
13 23 33 ... k 3 (k 1)3 k 4(k 1)
4

(k 1)2 2
1 2 3 ... k (k 1)
3 3 3 3 3
k 4k 4
4

(k 1)2 (k 2)2
1 2 3 ... k (k 1)
3 3 3 3 3

(k 1)2 ((k 1) 1) 2
13 23 33 ... k 3 (k 1)3
4

10.7 usando induccin matemtica pruebe que

n(n 1)(2n 1)
12 22 32 .... n 2 ,n
6

Para P (1) es valido

68
 1 (1 1)(2(1) 1)
12
6

Para P ( k ) es valido para algn k 1

k (k 1)(2k 1)
12 22 32 .... k 2
6

Para P (n 1) es valido

k 1(k 2)(2k 1) 1
12 22 32 .... k 2
6

k (k 1)(2k 1)
(k 1) 2
6

k (k 1)(2k 1) 6(k 1) 2

6

(k 1)[k (2k 1) 6(k 1)]

6

(k 1)[2k 2 7k 6]

6

(k 1)(k 2)(2k 3)

6

10.8 pruebe que

1 1 1 n
...
3.4 4.5 (n 2)(n 3) 3n 9

Prueba:

69
S n 1 , es el primer nmero natural, en este caso,
1 n

(n 2)(n 3) 3n 9
1 1

12 12
Para n =k , que viene a ser mi hiptesis de induccin
1 k

(k 2)(k 3) 3k 9
Para n = k+1
1 k

(k 3)(k 4) 3(k 1) 9
Luego haciendo las operaciones correspondientes nos resulta para cada nmero natural
Y por medio de la hiptesis de induccin

1 1 1 1 k
... Es adonde queremos llegar
3.4 4.5 (k 2)(k 3) (k 3)(k 4) 3(k 1) 9
k 1

3k 9 (k 3)(k 4)
1 k 1
( )( )
k 3 3 k 4
1 k (k 4) 3
( )( )
k 3 3(k 4)
1 (k 3)(k 1)
( )( )=
k 3 3(k 4)
k 1 k 1

3(k 4) 3k 12
k 1 k 1
y es a lo que se quera llegar
3k 3 9 3(k 1) 9
Por lo tanto tambin es vlido para cuando n=k+1

RESULTADOS
Se verifico con complacencia la eficacia de los metodos como son:
70
- El teorema de los senos, donde nos da una relacion de proporcion entre cada uno de
los lados de un triangulo y el seno de cada angulo.

- El teorema de pitagoras, el cual ha sido usado indiscutiblemente en casi todas las

operaciones matematicas, en cual nos muestra la relacion de a b c , siendo a y
2 2 2

b los catetos de un tringulo y c la hipotenusa del mismo.

- El teorema del coseno, para un angulo recto este teorema es equivalente al de

Pitagoras, por lo cual se realizo para distintos triangulos no rectangulos, llegando a la
demostraion requerida.

- Angulos inscritos en la circunferencia estan en relacion con los angulos centrales, el

cul nos permite calcular los angulos de un n-agono regular.

- Asi como tambien se verifica la eficacia de los metodos estudiados en este periodo
de estudios.

CONCLUSIONES
71
- En el siguiente trabajo de investigacin se trabaj con el tema de trigonometra
con teoremas, propiedades as como tambin definiciones.

- En el contenido del trabajo con 5 mtodos distintos del curso de demostraciones

en matemticas, que se encuentran ubicados en captulo 2.

- En cada mtodo con el que se trabaj contiene al menos 3 demostraciones del

tema respectivo de trigonometra, con sus respectivos ejemplos.

RECOMENDACIONES

72
Las siguientes recomendaciones para poder entender el trabajo de investigacin son:

- Tener una clara base sobre cada uno de los temas de trigonometra que se
encuentran demostradas en este trabajo.

- Tener una base slida sobre cada uno de los mtodos que se utilizaron en este
trabajo.

- Mantenga una actitud positiva hacia los temas de este trabajo, teniendo en cuenta
el contenido del trabajo.

REFERENCIAS BIBLIOGRAFICAS
73
- TRIGONOMETRIA, Swokowski cole 8va edicin

- Algebra y trigonometra con geometra analtica, Earl W. Swokowski 2da edicin

- Daniel solow --como entender y hacer demostraciones

- Dr.J.A Baldor-Introduccion a la trigonometra_2

74
75