Está en la página 1de 37

HERRAMIENTAS

Componente Especialidad
Acadmica: Matemtica
A
P
R
O
N
A
F
C
A
P


1































EQUIPO RESPONSABLE





Especialistas compiladores Carlos Andrade F.

Impresin: CISE-PUCP



Pontificia Universidad Catlica del Per
Facultad de Educacin
Centro de Investigaciones y Servicios Educativos
2009
Av. Universitaria 1801. San Miguel. Lima 32. Telfono 626-2000 anexo 4380/5714 Fax 626-
2891
Correos Electrnicos: cise@pucp.edu.pe , faceduca@pucp.edu.pe
Pg. Web: www.pucp.edu.pe

2
INTRODUCCIN

Les damos la ms cordial bienvenida al estudio de uno de los componentes del
Programa Nacional de Formacin y Capacitacin Permanente (PRONAFCAP), el
componente DCN aspectos especficos Matemtica.

El enfoque de la enseanza de la matemtica prioriza la resolucin de problemas
capacidad compleja que hay que desarrollar; el hacer matemticas requiere, a
menudo, de procesos de abstraccin y generalizacin; as los contenidos temticos
son la va a travs de los cuales se desarrollan capacidades de menor grado de
complejidad como las especficas que a su vez, coadyuvan al desarrollo de otras de
mayor grado de complejidad.

Los contenidos temticos son abordados a travs de 4 unidades:

La primera unidad Lgica, conjuntos y nmeros reales . Su propsito es que
ustedes docentes de la especialidad- participantes desarrollen un pensamiento
sistemtico, autntico y coherente; que pasen de las opiniones empricas al
pensamiento formal; por ello se tratar de las proposiciones y sus propiedades,
cuantificadores, como herramientas para la construccin de los conjuntos y sus
propiedades .Tambin se construye los sistemas numricos ,las ecuaciones, e
inecuaciones ,el inters simple y compuesto como herramientas para la resolucin de
problemas cotidianos.

La segunda unidad Funciones y programacin tiene como propsito mostrar que
las funciones tiene aplicaciones directas en diferentes campos como las ciencias y la
naturaleza y que permite representar, analizar y predecir situaciones de la realidad.
En esta parte se representara y resolver ecuaciones, funciones exponenciales y
logartmicas y su modelamiento en situaciones concretas. Finalmente se planteara y
resolver problemas mediante el uso de la programacin lineal.

La tercera unidad Geometra y medida . El propsito de esta unidad es coadyuvar
al desarrollo del pensamiento intuitivo, concreto y formal relacionando con
situaciones de la realidad .La geometra permite representar, hacer estimaciones,
establecer conjeturas, construir demostraciones y determinar ejemplos y
contraejemplos. En esta parte se inicia con los slidos geomtricos como los prismas
y cuerpos redondos, luego se trabajara la representacin de las rectas, y las cnicas
en un plano de coordenadas en la geometra analtica y finalmente las identidades y la
resolucin de problemas utilizando ley de senos y csenos en la trigonometra plana.

La cuarta unidad Estadstica y Probabilidades . El propsito de esta unidad es
mostrar las aplicaciones de la estadstica para el recojo a travs de encuestas, el
anlisis de la informacin utilizando medidas centralizacin y dispersin y finalmente la
preedicin utilizando las probabilidades de eventos simples y compuestos y los
mtodos para el muestreo
Durante el desarrollo y al final del curso se abordar el uso de estrategias
metodlogicas como los juegos matemticos, trabajo de grupos, y recursos didcticos
como la calculadora, policubos, algeoplano, etc.


3




INDICE DE TEMAS SELECCIONADOS




N de
Lectura
Descripcin Pg.
1 Lgica proposicional 5
2
Sistemas de numricos

12
3
Ecuaciones e inecuaciones en R

23
Unidad 1:
Lgica ,conjuntos y
nmeros reales

4
Recursividad

32






4
TEXTO 1
LGICA PROPOSICIONAL


La lgica

La lgica est presente en todo momento de
nuestra vida pues opera al interior de cada una
contribuyendo no slo en el ordenamiento de las
materias de estudio, sino tambin en el orden de
dependencia que reina entre sus proposiciones
.En las ciencias cumple un rol muy importante en
especial la matemtica a travs el mtodo
axiomtico.
En la vida cotidiana, puede orientarnos en
determinadas situaciones a optar por un proceder
ms coherente de acuerdo a la verdad. En la
actividad docente la lgica toma vital
importancia, ordena y organiza nuestro
pensamiento, influenciando esto en la claridad y
precisin de nuestro lenguaje, el mismo que debe
ser entendible de igual modo por todos.










1.1 LENGUAJE PROPOSICIONAL

En nuestra vida cotidiana realizamos actividades o formulamos expresiones lgicas
aun cuando no tenemos plena conciencia de ello. Esto ha venido ocurriendo desde
nuestro nacimiento pues muchas de estas actividades o expresiones se encuentran
implcitas en diversas actividades humanas.

Por ejemplo, formulamos expresiones como:
- Quin de ustedes conoce el teorema de Pitgoras?
- Disclpame, pero debes levantara la mano para dar tu opinin
- Silencio!
- No esta permitido llegar tarde a la institucin educativa.

A cada una de estas expresiones se denomina enunciado

Podemos notar que algunos de estos enunciados son verdaderos, otros son falsos y,
por ultimo, existen enunciados de los cuales no se puede decir si son verdaderos o
falsos.





p : Treinta es mltiplo de cinco.
q : 55 es divisible por 5.
r : El hexgono es un polgono de 6 lados .





Una proposicin es un enunciado que tiene la cualidad de ser verdadero o falso, pero nunca ambos a la vez.
Las proposiciones se pueden denotar con letras minsculas, generalmente se usa p, q, r, s, t, etc.
.

5
1.2 CLASES DE PROPOSICIONES

a. Proposicin simple

Ejemplos:
q: El tringulo tiene tres lados. r : Todo rectngulo es un cuadrado.

Observa que los ejemplos dados corresponden a proposiciones que tienen un sujeto y
un predicado; adems carecen de conjunciones gramaticales y del adverbio de
negacin (no).

La proposicin simple expresa una sola idea y no guarda relacin con ninguna otra
proposicin.


b. Proposicin compuesta

Ejemplos:
- El cuadrado tiene cuatro lados y dos diagonales.
p: El cuadrado tiene cuatro lados q: El cuadrado tiene dos diagonales.

- Si Ins vive en San Juan de Miraflores, entonces vive cerca de Villa el Salvador.
p: Ins vive en San Juan de Miraflores q: Ins vive cerca de Villa el Salvador.

- Adriana asiste a la fiesta si y slo si obtiene el permiso de sus padres.
p: Adriana asiste a la fiesta. q: Adriana obtiene el permiso de sus padres


Una proposicin compuesta es aquella proposicin formada por dos a ms
proposiciones simples, unidas por conjunciones gramaticales (conectivos), o
afectados por el adverbio de negacin (no).


Los conectivos utilizados para unir proposiciones o cambiar su valor de verdad estn
expresados en la siguiente tabla:


CONECTIVO OPERACIN ASOCIADA SIMBOLOGA SIGNIFICADO
~ Negacin ~p No p
. Conjuncin p . q p y q
v Disyuncin p v q p o q
Disyuncin exclusiva p q
o p o q (es
excluyente)
Implicacin p q si p, entonces q

Doble implicacin
p

q
p si y slo si q

1.3 OPERACIONES PROPOSICIONALES


La negacin

6
Cumple la funcin de negar una afirmacin o afirmar una negacin. Pero al negar
una negacin, hemos afirmado una negacin.
p
~p
~ (~p)
V
F
V
F
V
F
p : El nmero cuatro es par. (Verdadero)
~p : El nmero cuatro no es par. (Falso)




Si tenemos dos o ms proposiciones simples cuyos valores de verdad se conocen, es
posible determinar el valor de verdad de la proposicin compuesta resultante.


Conjuncin
p: un cuadrado es un rectngulo
q: un cuadrado es un rombo

Entonces: p . q: un cuadrado es un rectngulo y es un rombo.


Se pueden utilizar otros trminos: pero, adems, aunque, sin
embargo, a la vez, no obstante, sino, mas an, cuando, tambin,
igualmente, tanto ... como ..., a pesar de, a menos que
p q p . q
V V V
V F F
F V F
F F F

Disyuncin Inclusiva
p q p v q
V V V
V F V
F V V
F F F
p: 12 es menor que 12
q: 12 es igual a 12

Entonces: p v q : 12 es menor que 12 o es igual a 12 .




Disyuncin Exclusiva
Cuando nos referimos a uno o a otro, pero no a ambos.
p: A es un ngulo obtuso
p q p q
V V F
V F V
F V V
F F F
q: A es un ngulo agudo
Entonces: p q : A es un ngulo obtuso o agudo




Implicacin
En toda proposicin condicional, la proposicin p se denomina antecedente y la
proposicin q, consecuente de la condicional. Otras denominaciones son p es
condicin suficiente para q, o q es condicin necesaria para p. Se pueden utilizar
otras expresiones como: siempre, porque, en vista que, puesto que, ya que, s, cuando,
cada vez que,



7

p q p q
V V
V F
F V
F F
V
F
V
V
Este modelo lgico es muy usado en la formulacin de los
enunciados de teoremas, etc.




Doble Implicacin
"n es par si, y slo si, n
2
es par" es equivalente
a demostrar dos condicionales: "si n es par,
entonces n
2
es par" y "si n
2
es par, entonces n es par".
p q [(p q) . (q p)].
Se pueden utilizar otras expresiones: cuando y solo cuando, entonces y solamente
entonces, etc. .


1.4 Equivalencias lgicas importantes
Usando las tablas de valores de verdad se puede demostrar la equivalencia lgica de
las siguientes proposiciones:
1) Conmutativa : p v q q v p; p . q q . p
2) Asociativa : p . (q . r) (p . q) . r
p v (q v r) (p v q) v r
3) Distributiva : p . (q v r) (p . q) v (p . r)
p v (q . r) (p v q) . (p v r)
4) Condicional : p q ~pv q
5) Doble Negacin : ~(~p) p
6) Leyes de De Morgan : ~(p . q) ~ p v ~q
~(p v q) ~p .~q
7) Leyes de absorcin : p v ( p . q ) p
p . ( p v q ) p

8) Principio de contraposicin : p q ~q ~p




Problemas resueltos

1. Sean las proposiciones p, q, r, cuyos valores de verdad es V, F y F. hallar el valor
de verdad de las siguiente proposicion compuesta ( p . -q ) ( q . r )

Solucin:
En este caso lo que hacemos es reemplazar los valore de verdad de cada proposicion
p q p q
V V
V F
F V
F F
V
F
F
V








8
2. Si el esquema ( ( p v -q ) ( r q ) ) es falsa .hallara el valor de verdad del
siguiente esquema , si la proposicion p es p : 2 es divisor de 5
( p v q ) . ( r v -q )

Solucin
La proposicin p: 2 es divisor de 5 ,es falsa

As mismo: Si ( ( p v -q ) ( r q ) ) es falsa , el valor del antecedente es
necesariamente Versadero. y el consecuente Falso
Entonces: ( p v -q ) es verdadero y ( r q ) es falso

Si ( p v -q ) es verdadero y p es falso ,entonces-q es verdadero,
es decir q es falso
Si ( r q ) es falso ,entonces r es verdadero y q es falso

Por lo tanto los valores de p,q,r es falso, falso y verdadero respectivamente.



3. Encuentra el equivalente lgico a (~p ~q) v r utilizando solamente los
conectivos ~ y .
Solucin:

Utilizando las equivalencias y reemplazando obtenemos

(~p ~q) v r = ( -(-p) v -q ) v r condicional
= ( p v q ) v r doble negacin
= ( p v q v r ) asociando
= -( -p . q . -r ) Morgan



4. Si se define % de la siguiente manera p % q =p v q hallar (p % p ) % p

Solucin:

Utilizando la operacin definida y reemplazando y simplificando obtenemos

(p % p ) % p = (p v p ) % p resolvemos primero el parntesis

= (p v p ) v - p resolvemos la segunda operacin

= p v (-p v p ) Asociando

= p v p

= T (TAUTOLIGIA)

= V (verdadero)






9
PRACTICANDO LO APRENDIDO


Actividad grupal
Analiza los siguientes problemas propuestos e indica a que
capacidades apunta cada ejercicio (Fundamenta tu respuesta) y
resuelve en grupo los siguientes propuestos.







1. Traduce a lenguaje simblico las siguientes proposiciones:
a) Si (3 - 5)
2
= 4 entonces -2 < 1
b) -2
3
= 8 o 2
3
= 8
c) (x5)
2
= 25 si y slo si x=10 o x =0
d) cos x = 0 si x =90
e) Si x e y son nmeros reales positivos entonces x
2
+ y
2
= 9 es una funcin

2. Determina el valor de verdad de las proposiciones del ejercicio anterior
3. Indica que dato es suficiente para resolver el conjunto de enunciados .En un edificio
de 4 pisos, Ana vive un piso mas arriba que Luis; Pedro, arriba de Luis; y Sandra,
debajo de pedro. Determina en que piso vive cada persona.
Datos:
I. Ana y Luis son amigos II. Sandra vive debajo de Luis
4. Si p y r son proposiciones verdaderas y q es falsa, determina el valor de verdad de
a) [ ( p q ) v r ] q





Actividad individual
Analiza y resuelve los siguientes ejercicios propuestos.
(Fundamenta tu respuesta)

1. Si la negacin de | (p . q) . p | | (p r) v (s r) | es verdadera, halla
el valor de verdad de: (p q) . (r s)

2. Qu condiciones debe satisfacer p y q para que la siguiente proposicin:
[ ( q p ) q ] ( p q ) Sea falsa
3. Encuentra el equivalente lgico de (~p ~q) v r utilizando solamente los
conectivos ~ y .
4. Simplifica las siguientes proposiciones usando equivalencias lgicas:(q r) v r

5. Se define la siguiente operacin P $ Q = - P V Q Halla y simplifica ( p $ q ) $ q



10

Seguimos practicando
6. Si p y r son proposiciones verdaderas y q es falsa, determina el valor de
verdad de a) [ ( p q ) v r ] q
b) [ ( r v q ) ( r v p) ] r

7. Sean p, q, r, tres proposiciones tales que r es falsa; p q , q r son
verdaderas, deduce el valor de verdad de p.

8. Dado la proposicin ( p v q ) r , la expresin lgicamente equivalente es
a) p ( q r ) b) ( p q ) r c) ( p q ) r d) p ( q v r )

9 .Encuentra el equivalente lgico de (~p v q) ~r utilizando solamente los
conectivos ~ y .
10. Encuentre el equivalente lgico de las siguientes proposiciones utilizando
solamente los conectivos ~ y v
a) p (~p q)
b) (p . q) (q ~r)
11. Simplifica las siguientes proposiciones usando lgebra lgica:
a) p [q (p v q)]
b) p [(q p) (p v q)]

12. Se define la siguiente operacin P $ Q = - P V Q Halla [ (- p $ q ) $ p] $ q
13. Si la negacin de | (p . q) . p | | (p r) v (s r) | es verdadera,
halla el valor de verdad de:

a) (q v p) ~ | (r p) v ~ (r q) |
b) (p v q) (q . ~r)

14 Qu condiciones debe satisfacer p y q para que la siguiente proposicin:
a) [ ( p q ) r ] v [ q r ] Sea falsa
b) { ~p ( p v q ) } [ p q ] Sea verdadera








11
TEXTO 2
SISTEMAS DE NMEROS REALES



Imagen fractal generada mediante
un programa ultra fractal, a travs de
una frmula generada en una
sucesin de los nmeros complejos.
Texto Jos Martnez A. (universidad de
Granada)



La siguiente idea ser convertir a R en un sistema de nmeros; para lo que habr
necesidad de definir una relacin de igualdad y las operaciones internas de adicin y
multiplicacin para expresiones decimales infinitas peridicas y no peridicas, lo cual
es bastante complicado.
Existen varias maneras de definir formalmente el conjunto R: por encajes de intervalos
(Weierstrass), por cortaduras (Dedekind), por sucesiones fundamentales (Cantor)

y
axiomticamente (Hilbert).

Conjunto de los nmeros naturales.

En el conjunto de los Nmeros Naturales la diferencia no siempre existen El conjunto
de los nmeros naturales, que se denota por N tambin por Z
+
, corrientemente
se presenta asi:
N = {1, 2, 3, 4, 5, ...}
Este conjunto permite fundamentar las sucesivas ampliaciones que se hacen, de los
sistemas numricos, y lleva principalmente a la consideracin de los nmeros
reales.
Conjunto de los nmeros enteros.

En el conjunto de los nmeros enteros, se pueden resolver ecuaciones que no
tienen solucin en N , como sucede por ejemplo con la ecuacin x + 3 = 1, cuya
solucin es x = -2
El conjunto de los nmeros enteros, que se denota por Z , corrientemente se
presenta asi:
Z = {..., -3, -2, -1, 0, 1, 2, 3,...}
En el conjunto de los nmeros enteros, se pueden resolver ecuaciones que no
tienen solucin en N , como sucede por ejemplo con la ecuacin x + 3 = 1, cuya
solucin es x = -2. Puede notarse que N cZ.

El cociente de dos nmeros enteros no siempre existe, por ejemplo 2/3 no es un
nmero entero, En trminos algebraicos no es posible resolver la ecuacin. 3x = 2.

12
Conjunto de los nmeros racionales.

La introduccin de los nmeros racionales responde al problema de resolver
la ecuacin: ax = b con a, be R, a = 0. es decir el cociente de dos
nmeros enteros no siempre existe, por ejemplo 2/3 no es un nmero
entero, En trminos algebraicos no es posible resolver la ecuacin. 3x = 2.

El conjunto de los nmeros racionales, que se denota por Q , se define de la
siguiente manera:
Q = m/n ; m,n son enteros y n diferente de cero
sta slo tiene solucin en Z , en el caso particular en que a es un divisor de b.
Note que todo entero n puede escribirse como el nmero racional n/1 y, en
consecuencia, se puede concluir que: Z c Q.
En lo sucesivo, cuando se haga referencia a los nmeros racionales, a/b, c/d, ...,
se entender que a, b, c, d, ..., son nmeros enteros y que los denominadores son
diferentes de cero. El algoritmo de la divisin de Euclides es un procedimiento para
obtener a partir del cociente de dos enteros, una expresin decimal.

Conjunto de los nmeros irracionales.

En muchos temas de la geometra se plantea en general, problemas para cuya
solucin el conjunto Q de los nmeros racionales resulta insuficiente. Asi, por
ejemplo, al considerar el problema de determinar el nmero x que mide la longitud
de la diagonal de un cuadrado cuyo lado sea la unidad, el teorema de Pitgoras
permite establecer que x, satisface la ecuacin: x
2
= 2.
Puede demostrarse fcilmente, que no existe X eQ que verifique esta ltima
ecuacin. En general, una ecuacin de la forma x
n
= a, con a eQ y n eN, carecer
(excepto casos particulares) de solucin. Se hace por lo tanto necesario, describir
otro conjunto, en el cual, ecuaciones como las anteriores tenga solucin.
El conjunto de los nmeros irracionales, que se denota por Q
*
, est constituido por
los nmeros reales que no admiten la representacin racional.
Ejemplos de esta clase de nmeros son: el nmero e (base del logaritmo natural), t
, , etc.
En este conjunto, se pueden resolver ecuaciones que no tienen solucin en Q ,
como sucede, por ejemplo, con la ecuacin x
2
2 = 0, cuyas soluciones son:
x = , que no son nmeros racionales.
Ejemplos de esta clase de nmeros son: el nmero ureo , t , , e (base del
logaritmo natural), etc.


13
El nmero ureo o de oro (tambin llamado nmero dorado, seccin urea, razn
urea, razn dorada, media urea, proporcin urea y divina proporcin)
representado por la letra griega (fi) (en honor al escultor griego Fidias), es el nmero
irracional:

Se trata de un nmero algebraico que posee muchas propiedades interesantes y que
fue descubierto en la antigedad, no como unidad sino como relacin o proporcin

Concha de nautilus

Edificaciones como el
Partenn

Espiral a partir de los
rectngulos

Tarjetas de
crdito


Sistema de los nmeros reales

Como ya lo hemos presentado los Sistemas de los Nmeros Naturales N, de los Nmeros
Enteros Z y de los Nmeros Racionales Q de manera que haciendo identificacin N c Z c
Q. Sin embargo no siempre es posible resolver ecuaciones aparentemente sencillas, como por
ejemplo x
2
= 2, que aparece naturalmente cuando se aplica el Teorema de Pitgoras a un
tringulo rectngulo cuyos catetos tienen como longitud 1, resulta que la longitud de la
hipotenusa es 2 que no es nmero racional .
Los ejemplos anteriores, inducen a considerar el conjunto de todas las expresiones
decimales infinitos no peridicos que, evidentemente, no son nmeros racionales a
las que se dar el nombre de nmeros irracionales. A este nuevo conjunto se le
denota por. Q
*
, Con los conjuntos Q e Q
*
construiremos un nuevo conjunto R =
Q Q
*
, al cual le llamamos conjunto de los nmeros reales.
Es decir:

R = QI ={exp. dec. infinitas peridicas}{exp. dec. Infinitas no peridicas}
O tambin R = QI= {nmeros racionales} {nmeros irracionales}

Definicin Axiomtica de R
El Sistema de los Nmeros Reales es un conjunto, denotado por R, provisto de dos
operaciones internas llamadas adicin y multiplicacin, y una relacin de orden.
La Adicin es una operacin interna en R, que asocia a cada par de nmeros reales
(a,b) e R R un nico nmero real llamado suma de a y b, y que se denota a + b.
Simblicamente:
+ : R R R, tal que (a,b) a+b
Los nmeros reales a y b reciben el nombre de sumandos.
La Multiplicacin es una operacin interna en R, que asocia a cada par de nmeros
reales (a,b) e R R un nico nmero entero llamado producto de a y b y denotado por
ab o simplemente a.b.

14
Simblicamente:
: R R R, tal que (a,b) ab
Los nmeros a y b reciben el nombre de factores.
La adicin y la multiplicacin satisfacen los siguientes axiomas:


AXIOMAS
ADICION MULTIPLICACION
Conmutatividad R1) a + b = b + a a,b e R R5) ab = ba a,b,c e R
Asociatividad
R2) (a+b) + c = a + (b+c)
a,b,c e R
R6) (ab)c = a(bc)
a,b,ce R
Elementos neutros
R3) Existe un nico nmero real
llamado cero, denotado por 0,
tal que:
a + 0 = a, ae R.
R7) Existe un nico nmero real
llamado uno, denotado por 1, 1=0,
tal que: a1= a, ae R.
Elementos
opuesto e inverso
R4) Para todo e R, existe un nico
nmero real denotado por -a,
llamado opuesto de a, tal que
a

0 ) a ( a = +
R8) Para todo ae R, = 0, existe un nico
nmero real denotado por
a
1
a

a
1
,
llamado inverso de a, tal que: a
= 1
1
a

Distributividad
R9) ac ab ) c b ( a + = + a, b, c e R

CONSECUENCIAS IMPORTANTES DE LOS AXIOMAS
A continuacin se presenta sin demostracin las consecuencias mas importantes de
los axiomas. En algunas demostraciones de los teoremas del clculo, haremos
referencia a ellas.
C1 Ley cancelativa para la adicin (multiplicacin) x + y = x + z y = z
Si x = 0, entonces, xy = xz y = z

C2. Para todo a, b eR , la ecuacin: x + a = b, tiene una y solo una solucin en R.

C3. Para todo x eR , x . 0 = 0

C4. x . y = 0 x = 0 v y = 0.

C5. Para todo x eR , si x = 0, entonces x
-1
= 1/x = 0.

C6. Para todo x eR , -(-x) = x.

C7. Si x = 0, entonces, (x
-1
)
-1
= x.

C8. Para todo x, y eR, -(x+y) = (-x) + (-y).
C9. Si x = 0, y = 0, entonces: (xy)
-1
= x
-1
.y
-1
.


15
C10. Para todo x eR , -x = (-1)x.

C11. (-x) . (-y) = x.y.

C12. -(xy) = (-x)y = x(-y).

C13. x(y-z) = x.y x.z.

Axiomas de orden
Los axiomas o propiedades del sistema de los nmeros reales que se enuncian a
continuacin se expresan en trminos de un cierto subconjunto especial de R
(este subconjunto denotado por R
+
se identifica con el conjunto de los reales
positivos). En el caso particular que se estudiar, estas propiedades permiten
establecer que el sistema de los nmeros reales es un campo ordenado.
Existe un subconjunto R
+
de R tal que: Si a, b eR
+
, entonces a +b eR
+
a . b eR
+


Para cada a eR , una y solo una de las siguientes proposiciones es verdadera.
a eR
+
; a = 0 ; -a eR
+
.

Los elementos a eR , para los cuales a eR
+
, sern llamados: reales positivos.
Los elementos a eR , para los cuales -a eR
+
, sern llamados: reales negativos.

DESIGUALDADES
Usando solamente el subconjunto R
+
descrito en A.O.1., se deducen todas las
reglas usuales en el trabajo con desigualdades de nmeros reales.
Definiciones Sean x, y nmeros reales.
Los smbolos "<" y ">" (que se leen: "menor que" y "mayor que" respectivamente) se
definen por las afirmaciones:
x < y y x eR
+

x > y x y eR
+

Los smbolos " " y " " (que se leen: "menor o igual que" y "mayor o igual que"
respectivamente) se definen por las afirmaciones:
x y x < y v x = y x y x > y v x = y
Cada una de las expresiones: x < y, x > y, x y, x y es llamada una
desigualdad.
Se sigue de la definicin anterior que las desigualdades: x > y, y, y < x son
equivalentes. Igualmente las desigualdades: x y, y, y x son equivalentes.

La expresin: x < y < z, se usa para indicar las dos desigualdades simultneas:
x < y ^ y < z. Igualmente, la expresin: x > y > z, se usa para indicar las dos
desigualdades simultneas: x > y ^ y > z.

16
Claramente, a eR
+
a >0 a es negativo a <0
Las propiedades siguientes, que enunciamos sin demostracin son consecuencia
inmediata de la propiedad de orden y sern tiles en el trabajo con desigualdades.

CONSECUENCIAS PRINCIPALES DE LA PROPIEDAD DE ORDEN
01. Tricotoma.
Si x, y eR , entonces, una y solo una de las siguientes proposiciones es verdadera:
x >y ; x =y ; x <y.

02. Transitiva.

Para todo x, y, z eR , x <y ^y <z x <z. o x > y ^ y > z x > z.

03. Si x, y, z eR , entonces:

x < y x + z < y + z ^ x z < y z .
x y x +z y +z ^x z y z .

04. a > b > 0 ^ c d > 0 a.c > b.d.

06. a <b ^c >0 a.c <b.c. o a < b ^ c < 0 a.c > b.c.
Las dos propiedades anteriores, muchas veces se expresan diciendo que si ambos
miembros de una desigualdad se multiplican por una cantidad positiva, el sentido
de la desigualdad se conserva, mientras que si se multiplican por una cantidad
negativa, el sentido de la desigualdad cambia.

Intervalo en los nmeros reales
Los intervalos son los subconjuntos conexos de la recta numrica. Ms precisamente,
son las nicas partes I de R que verifican la propiedad siguiente:
si x e y pertenecen a I, x y, entonces para todo z tal que x z y, z pertenece a I. (P)
Se pueden clasificar los intervalos segn sus caractersticas topolgicas (intervalos
abiertos, cerrados y semi abiertos) o segn su caractersticas mtricas (su longitud:
nula, finita no nula, o infinita).
Se usan habitualmente dos notaciones: [a; b) o [a; b[ para representar el conjunto de
los x tal que a x < b. La regla del corchete invertido resulta ms intuitiva si uno se
imagina que el corchete es una mano que tira hacia fuera o empuja hacia dentro,
respectivamente, un extremo del intervalo. En el ejemplo anterior, a pertenece al
intervalo mientras que b no.

17
Es un conjunto de nmeros que se corresponden con los puntos de una recta o
segmento, el que se encuentra un ordenamiento interno entre ellos. Los intervalos es el
espacio que se da de un punto a otro en el cual se toman en cuenta todos lo puntos
intermedios
todos los casos posibles, con a b, y x perteneciente al intervalo, y l su
longitud:
(semicerrado,
, b] intervalo abierto en a, cerrado en b, de longitud finita l = b - a.
< b.
b.
la vez abierto y cerrado, de
11. {} = el conjunto vaco, intervalo a la vez abierto y cerrado. x no existe.
Valor absoluto
Definicin Sea x eR . El valor absoluto de x, denotado por:
Aqu estn
1. [a, b] intervalo cerrado de longitud finita l = b - a. a x b.
2. [a, b[ o [a, b) intervalo cerrado en a, abierto en b
semiabierto), de longitud finita l = b - a. a x < b.
3. ]a, b] o (a
a x b.
4. ]a, b[ o (a, b) intervalo abierto, de longitud finita l = b - a. a < x
5. ] - , b[ o ( - , b) intervalo abierto de longitud infinita. x < b.
6. ] - , b] o ( - , b] intervalo (semi)cerrado de longitud infinita. x
7. [a, + [ intervalo (semi)cerrado de longitud infinita. a x.
8. ] a, + [ o (a, + ) intervalo abierto de longitud infinita. a < x.
9. ] - , + [ o ( - , + ) o R, intervalo a
longitud infinita. x pertenece a R.
10. {a} intervalo cerrado de longitud nula. Es un conjunto unitario.

se define:



como la distancia del
punto x al origen

El valor absoluto de un nmero real x es
siempre positivo o cero y se interpreta
geomtricamente,
(fig. 12). Igualmente, se interpreta
como la distancia del punto x al punto y

18
en la recta real (fig. 13).



PROPIEDADES DEL VALOR ABSOLUTO

1.1 Para todo x eR , y

1.2

2.

3. , para todo x, y eR .

4.

5.

6.1 o 6.2

7. Siempre que

8. siempre que

9. siempre que a > 0

10.

11. , para todo x eR.

12. (desigualdad triangular). Para todo x, y eR ,
En que caso se verifica la igualdad

13. 14.







19

Problemas resueltos

Veremos algunas demostraciones importantes de esta unidad
1. Demostrando el 6.1 de valor absoluto

por la definicin

por la definicin

Concluimos que
2. Demostrar la propiedad de valor absoluto 13

La demostracin se resuelve descomponiendo en dos casos



tenemos entonces que:





3. Si a y b son dos nmeros racionales tales que 8a = 36 y 36b = 8.
Qu puedes afirmar acerca de los nmeros a y b?


Si multiplicamos ambas igualdades 8a = 36 por un numero 8
8(8a)=(36)8

Sustituimos 36b = 8. (36b)(8a)=(36)8

Obtenemos b. a = 1

Podemos afirmara que uno es el inverso del otro

4. Para resolver radicales dobles tenemos la siguiente formula


Veamos un ejemplo



20
PRACTICANDO LO APRENDIDO



Actividad grupal
Analiza los siguientes problemas propuestos e indica a que
capacidades apunta cada ejercicio (Fundamenta tu respuesta) y
resuelve en grupo los siguientes propuestos.








1) Dado los nmeros racionales
b
a
y
d
c
, con
d
c
b
a
< , demuestra
d
c
d b
c a
b
a
<
+
+
<


2) Prueba que
2 n 3
5 n 2
+
+
es irreducible, n 1. >


2) Sean b y h las longitudes de la base y de la altura, expresadas en centmetros, de
un tringulo y A es el rea del mismo (cm
2
). Si 12 10 < < b y 80 < 60< A .
Cules son los posibles valores de h?


4) La produccin estimada x de la refinera La Pampilla verifica
225000 4500000 s x , donde x es medida en barriles de petrleo. Determina:
a) La produccin mxima de la refinera.
b) La produccin mnima de la refinera.

5)Elige y demuestra una propiedad del valor absoluto








Actividad individual
Analiza y resuelve los siguientes ejercicios propuestos. Que
capacidades especificas se estara desarrollando con los
estudiantes (Fundamenta tu respuesta)


1) Si el largo de una regin rectangular disminuye en su quinta parte en qu fraccin
debe aumentar el ancho para que su rea no vare?

2) Si qu puedes afirmar acerca de la expresin | 2 , 5 e x | 3 x ?

3) Ubica en la recta real los nmeros reales utilizando regla y comps. 3 . . 2 y

4) Grafica en la recta numrica el conjunto de todos los nmeros que verifican:
2 3 s x




21

Seguimos practicando Seguimos practicando



1) Dado los nmeros racionales 1) Dado los nmeros racionales
b
a
y
d
c
, con
d
c
b
a
< , Demuestre la desigualdad
d
c
bd
bc ad
b
a
<
+
<
2




2) Si
13
11
) 1 a ( a
n
3
=
+
, hallar n.
3) Si 6 2 , 0
n
m
)
= y m+n = 95, hallar n.


4) Halla todos los nmeros reales x tales que x > 5 si, y slo si, x < 5.


5) Simplifica: 12 6 27 8 48 +

6) Grafica en la recta numrica el conjunto de todos los nmeros que verifican:
a) 4 3 > + x b) 3 5 < + x


7) Determina el conjunto de todos los puntos P de la recta numrica que distan a lo
ms en 3 unidades del punto Q cuya coordenada es 7.

8) En la selva peruana se est realizando una investigacin. Si el centro de
investigacin est en el punto de coordenada 125 km. y el alcance de la radio es
de 18 km. determina hasta donde se puede alejar una expedicin ro arriba o ro
debajo de manera que no pierda comunicacin con la base (supn que el ro es
recto)



















22
TEXTO 3
ECUACIONES E INECUACIONES LINEALES EN R




El gran innovador del lgebra fue
Diofanto de Alejandra. Sustitua el
lenguaje verbal con abreviaturas al
asignar una letra a la cantidad
desconocida. Esta notacin constituye un
conjunto de smbolos de conexin y
rdenes operativas con vida propia,
(lgebra sincopada); as inici el camino
para una verdadera escritura algebraica.

Otro matemtico que aport al estudio
de la teora de las ecuaciones es Joseph
Luis Lagrange (1736-1813). Su mayor
contribucin al lgebra est plasmada
en: Sobre la resolucin de las
ecuaciones numricas, memoria escrita
en 1767.

El padre y las matemticas
Un padre desea motivar a su hijo para que resuelva 16 problemas de matemtica, le
propone dar S/. 12,00 por cada problema bien resuelto, y S/. 5,00 perder por cada
problema errado. Despus de trabajar los 16 problemas el estudiante recibe S/. 73,00.
Si resolvi todos los problemas Cuntos problemas estuvieron bien resueltos?

Planteando el problema
Numero de problemas bien resueltos: x
Numero de problemas errados: y

Despus de analizarlo, relacionamos los datos y, formulamos las ecuaciones
respectivas:
x + y = 16
12 x 5 y = 73
Resolvemos el sistema de ecuaciones:

Conviene eliminar la y; por ello multiplicamos toda la 1 ecuacin por 5
5 (x + y) = 5 (16) 5x + 5y = 80
12x 5y = 73_
17x + 0 = 153
x = 9 (N de problemas bien resueltos).

Halla el numero de problemas errados :_________
Verifica si la solucin es correcta








23
1. Ecuaciones de primer grado con una variable

Definicin
Sean nmeros reales fijos, a = 0, y x un numero real variable. Se llama ecuacin
de primer grado con una variable x a toda expresin algebraica de la forma ax+b= c.
Aplicando las propiedades a los nmeros reales se prueba, que x = (c - b) / a, es
decir, la ecuacin tiene una solucin real.
c , b , a

Las propiedades de los nmeros reales nuevamente jugarn un papel importante en
la obtencin de las soluciones de las inecuaciones de este tipo; veamos el siguiente

Ejemplo 1
Resuelve 2x +10 =11
Solucin:

2x + 10 = 11 2x +10 + -10 = 11+ -10

2x = 1

x= 1/2
Luego, el conjunto solucin es: {xe R / x =
2
1
}

2 .Sistema de Ecuaciones

2,1 Sistemas de ecuaciones con dos variables

Un sistema de dos ecuaciones lineales con dos variables tiene la forma:
) (
k dy cx
h by ax
I A

= +
= +

Donde a, b, c, d, h y k son constantes reales cuya solucin se puede realizar de
diversas maneras:

Ejemplo 1
Resolver el sistema:

= +
=
-11 7y 5x
18 4y - 3x
Solucin:
Multiplicando la primera ecuacin por -5 y la segunda por 3 y sumando, se obtiene:

=
= +
93 21 15
90 20 15
y x
y x
y = -3

Seguidamente, reemplazando y =-3 en la primera ecuacin, se obtiene: x = 2
As la solucin del sistema es: x = 2, y = -3.




Teorema 1

24
Dado el sistema

= +
= +
k dy cx
h by ax
pueden ocurrir los siguientes casos:

a) Si ad - bc = 0, el sistema posee solucin y esta es nica.

b) Si ad - bc = 0, se presentan dos casos:
i) El sistema posee infinitas soluciones, lo que ocurre si
dh - bk = 0 y ak - ch = 0.

ii) El sistema no posee solucin, lo que ocurre si
dh - bk = 0 ak - ch = 0

Demostracin:

Si la 1
ra
ecuacin se multiplica por d y la 2
da
por (-b) y se suman, se obtiene
(ad - bc)x = dh - bk (-)

seguidamente multiplicando la 1
ra
ecuacin por (-c) y la 2
da
por a, se obtiene
(ad - bc)y = ak - ch (--)

con las relaciones (-),(--) se responden adecuadamente todos los enunciados de este
teorema.

Interpretacin Geomtrica
Geomtricamente una ecuacin lineal en dos variables representa una recta, de ah
que la solucin de un sistema de dos ecuaciones lineales con dos variables, es la
interseccin de dichas rectas.

Sistema consistente:


Una nica solucin representada por el punto de
interseccin.






Infinitas soluciones representada por una de las rectas








Sistema inconsistente:
El sistema no tiene solucin (las rectas no se intersecan)



2.2 Sistema de Ecuaciones con tres o mas variables: Mtodo de Gauss
Y L
1
L
2
(x
o;
y
o
)
x
o
X
X
Y L
1
L
2
L
1

Y


25
El mtodo de Gauss consiste en convertir un sistema "normal" de 3 ecuaciones con 3 incgnitas en uno
escalonado , en el que la 1 ecuacin tiene 3 incgnitas , la 2 tiene 2 incgnitas y la tercera 1 incgnita .
De esta forma ser fcil a partir de la ltima ecuacin y subiendo hacia arriba , calcular el valor de las 3
incgnitas .
Para transformar el sistema en uno que sea escalonado se combinarn las ecuaciones entre s (sumndolas
, restndolas , multiplicndolas por un nmero , etc.)
Ejemplo :

La 1 ecuacin siempre se deja igual , (procurando que esta sea la ms sencilla) y a la 2 y 3 ecuacin se
debe anular el trmino que lleva la x .

Una vez que hemos anulado los trminos en x debemos dejar fija la 1 y 2 ecuacin y anular el trmino
que lleva la y en la 3 ecuacin

De la ltima ecuacin obtenemos que z =-256/-128 =2, que sustituyendo en B resulta
- y +92 =13 y =5
y a su vez sustituyendo en A obtenemos que :
2x +35 72 =-1 x =-1
Por lo tanto la solucin del sistema es (-1, 5, 2)
Clasificacin de los sistemas:
Los sistemas de ecuaciones pueden ser de 3 tipos :
1. Sistema compatible determinado (S.C.D.) : una nica solucin
2. Sistema compatible indeterminado (S.C.I.) : infinitas soluciones
3. Sistema incompatible (S.I.) : no tiene solucin
En el ejemplo anterior hemos obtenido un S.C.D. pero cundo obtendremos los
otros dos tipos? .
- Cuando al realizar Gauss obtengamos 0 = K , siendo K un nmero distinto
de 0 , tendremos un S.I. ya que obtenemos un absurdo .

26
Veamos un ejemplo1 :


Dejamos fija la 1 ecuacin e intentamos anular la x de la 2 y 3

Quitamos la y de la 3 ecuacin:

Como se observa hemos obtenido un absurdo , ya que 0 no es igual a 12 , por lo
que el sistema no tiene solucin .
- Cuando al realizar Gauss obtengamos 0 = 0 , es decir se nos anule alguna
ecuacin , y el sistema resultante tenga ms incgnitas que ecuaciones
tendremos un S.C.I. en funcin de uno o dos parmetros (depende de las
ecuaciones que se anulen) .
Veamos otro ejemplo2

Dejamos como siempre la 1 ecuacin igual e intentamos quitar la incgnita x de la 2 y 3 ecuacin .

Si intentamos anular la y de la 3 ecuacin vemos que se nos anula la 3 ecuacin

Obtenemos por tanto un sistema con dos ecuaciones y 3 incgnitas
(hay ms incgnitas que ecuaciones) por lo que tendr infinitas soluciones . Una de ellas
sera por ejemplo dar a la z el valor z=0 y as obtendramos que y =-13 , x =19


27
3. Inecuaciones lineales en dos variables
Definicin
A toda expresin algebraica de las forma

0 + + s Ax By C
,
0 + + > Ax By C

0 + + < Ax By C
,
0 + + > Ax By C
,
las llamaremos inecuaciones lineales en dos variables en
2
IR
, donde A , B , C son
constantes reales.

3.1. Grfica de una inecuacin lineal
Las grficas de las inecuaciones lineales dadas en la definicin son semiplanos con
frontera una lnea recta.
EJEMPLOS :

1
R
=
2
( , ) { e x y IR
:
2 3
=
6 + s x y }
2
R
2
( , ) { e x y IR : 4 3 12 > } y x
3
R =
2
( , ) { e x y IR : = 0 > } x
4
R
2
( , ) { e x y IR : 0 > } y
Los conjuntos: son inecuaciones lineales en
1 2 3 4
, , R R R y R
2
IR .




















3.2. Mtodo prctico para graficar una inecuacin lineal de dos variables
Las inecuaciones lineales : 0 Ax By C + + s , 0 Ax By C + + < , y
; se grafican siguiendo dos pasos:
0 Ax By C + + >
0 Ax By C + + >

PASO 1: Para cualquiera de los cuatro casos, en primer lugar, se grfica la
frontera .Por tratarse de una lnea recta, bastar tabular con x = 0 y con
y = 0
0 Ax By C + + =

x y
0 ?
0

Sin embargo se puede elegir cualquier valor para x o para y
La grfica de

4 3 y x 12 , es :
La frontera de la regin
es la lnea recta, que
es la grfica de la ecua-
cin 4 3 12
La regin no inclu-
ye a la frontera.
R
y x
R
2
=
2
x
y
Semiplano
superior
Semiplano
inferior
>
4
R
2
3
La grfica de
La frontera de la regin
es la lnea recta, que
es la grfica de la ecua-
cin
0 (eje ).
R
x y
3
=
x
y
R
3
La grfica de
x
y
R
4
La grfica de
1 2 3 4

s 2 3 x y + 6 , es :
La frontera de la regin
es una lnea recta,
que es la grfica de la
ecuacin 2 3 6
La regin incluye a
la frontera.
R
x y
1
+ =
R
1
x 0 , es : > y 0 , es : >
La frontera de la regin
es la lnea recta, que
es la grfica de la ecua-
cin
0 (eje ).
R
y x
4
=
x
y
Semiplano
superior
Semiplano inferior
2
3
R
1

28

PASO 2: Eleccin de la regin encima de la recta o debajo de ella. La correcta
eleccin se hace despejando y en trminos de x en la desigualdad estricta dada
o , teniendo en cuenta el siguiente criterio : 0 Ax By C + + < 0 Ax By C + + >
- Si obtenemos ( 0
C A
B B
y x B < > ) , entonces sombrear
y
la regin que est debajo de la lnea recta.
x


y
x
- Si obtenemos: ( 0
C A
B B
y x B > > ) , entonces sombrear

la regin que est encima de la lnea recta.


Veamos un ejemplo
x y 5
2x y 2
+ >

<



Dibujamos ambas rectas por separado, para ello tabulamos buscando los interfectos.
Luego buscamos los semiplanos que cada recta produce en el plano, y por ltimo
buscamos las zonas de interseccin de ambos, o los puntos del plano que cumplen am-
bas desigualdades simultneamente.


Solucin
Est incluida
No est incluida
Grsfica










29
PRATICANDO LO APRENDIDO


Actividad grupal
Analiza los siguientes problemas propuestos e indica a que
capacidades apunta cada ejercicio (Fundamenta tu respuesta) y
resuelve en grupo los siguientes propuestos.







1. Un depsito se llena por un grifo en 5 horas y por otro en 2 horas. Cunto tardar en
llenarse abriendo los dos grifos a la vez?

2. Halla los valores de m, de manera que el sistema posea infinitas soluciones:

= +
= +
m 9y 2mx
1 my 2x
3. Resuelve el siguiente sistema de inecuaciones
x 0
y 0
y 2 x
y x 1
>

>

<

< +



4. Resuelve el siguiente sistema e indica si es compatible e incompatible


1
3
=
=
z
z










1. Un granjero cuenta con un determinado nmero de jaulas para sus conejos. Si
introduce 6 conejos en cada jaula quedan cuatro plazas libres en una jaula. Si introduce
5 conejos en cada jaula quedan dos conejos libres. Cuntos conejos y jaulas hay?

2. Resuelve por el mtodo de gauss

= + +
= +
= +
0 3
6 2 5
4 3 )
z y x
z y x
z y x


3. En una reunin hay 22 personas, entre hombres, mujeres y nios. El doble del nmero de
mujeres ms el triple del nmero de nios, es igual al doble del nmero de hombres.

a) Con estos datos, se puede saber el nmero de hombres que hay?
b) Si, adems, se sabe que el nmero de hombres es el doble del de mujeres, cuntos
hombres, mujeres y nios hay?

`
+ +
x
y x
Actividad individual
Analiza y resuelve los siguientes ejercicios propuestos. Que
capacidades especificas se estara desarrollando con los
estudiantes (Fundamenta tu respuesta)


30
7. Un crucero tiene habitaciones dobles (2 camas) y sencillas (1 cama). En total tiene 47
habitaciones y 79 camas. Cuntas habitaciones tiene de cada tipo?




Seguimos practicando

1. Halla los valores de m a fin de que el sistema sea inconsistente

= + +
=
1 - m 1)y (m 6x -
2 - m 2y - mx

2. Resuelve los siguientes sistemas e indica si es compatible e incompatible

=
=
=
3 2
5
4
z
z
+
+
+
6 2
4
3
y x
y x
y x





3. Resuelve por el mtodo de gauss

= + + +
= + +
= + + +
1 8 2 7
1 2
3 2 )
t z y x
t y x
t z y x


4. Por un rotulador, un cuaderno y una carpeta se pagan 3,56 soles. Se sabe que el precio del
cuaderno es la mitad del precio del rotulador y que, el precio de la carpeta es igual al precio del
cuaderno ms el 20% del precio del rotulador. Calcula los precios que marcaba cada una de las
cosas, sabiendo que sobre esos precios se ha hecho el 10% de descuento.

5. Resuelve los siguientes sistemas de inecuaciones

a) b)

s
s +
9 y 3 x 3
3 y x

< +
> +
< +
0 12 y 4 x
0 3 y x 2
0 2 y 3 x



c)

> +
> +
>
0 2 y x 2
0 y x
y x











31

TEXTO 4
RECURSIVIDAD





Un fractal es un objeto semi geomtrico cuya
estructura bsica se repite a diferentes
escalas. El trmino fue propuesto por el
matemtico Benot Mandelbrot en 1975 y
deriva del Latn fractus, que significa
quebrado o fracturado. Los fractales pueden
ser generados por un proceso recursivo o
iterativo, capaz de producir estructuras auto-
similares a cualquier escala de observacin.
Los fractales son estructuras geomtricas
irregulares y de detalle infinito. Muchas
estructuras naturales son de tipo fractal.




Deduccin de formulas de recursividad

La recursividad forma parte del repertorio para resolver problemas en Matemtica y en
computacin y es de los mtodos ms poderosos y usados.

Los algoritmos recursivos ofrecen soluciones estructuradas, modulares y elegantemente
simples.

La recursividad es un concepto fundamental en matemticas. Una definicin recursiva dice
cmo obtener conceptos nuevos empleando el mismo concepto que intenta describir.

En toda situacin en la cual la respuesta pueda ser expresada como una secuencia de
movimientos, pasos o transformaciones gobernadas por un conjunto de reglas no ambiguas, la
frmula recursiva es un buen candidato para resolver el problema.

Los razonamientos recursivos se encuentran en la base misma de las matemticas porque son
necesarios para describir conceptos centrales como el de nmero:

Veamos un ejemplo en el caso del factorial de un nmero

Definicin de factorial:

factorial (n) = n! si n > 0
factorial (n) = n(n-1)((n-2) ... * 1 si n > 0

Adems el valor de 0! se define como Factorial (0) = 1

Su definicin recursiva es:

factorial (n) = 1 si n = 0
factorial (n) = n. factorial (n-1) si n > 0

As para calcular el factorial de 4:

Factorial (4) = 4 * factorial (3) = 4 * 6 = 24
Factorial (3) = 3 * factorial (2) = 3 *2 = 6
Factorial (2) = 2 * factorial (1) = 2 * 1 = 2
Factorial (1) = 1 * factorial (0) = 1 * 1 = 1

32

El poder de la recursividad es que los procedimientos o conceptos complejos pueden
expresarse de una forma simple.

Las frmulas recursivas pueden aplicarse a situaciones tales como prueba de teoremas,
solucin de problemas, algunos acertijos, etc.


Ejemplos:

1. Nmeros de Fibonacci

Los nmeros de Fibonacci se definen como:

F
N
= F
N-1
+ F
N-2
para N > 2
F
0
= F
1
= 1

que definen la secuencia:

1,1,2,3,5,8,13,21,34,55,89,144, .....

Por ejemplo, si quisiramos encontrar Fibonacci de 5, entonces:

Fibonacci (5) = Fibonacci (4) + Fibonacci (3) = 5 + 3 = 8
Fibonacci (4) = Fibonacci (3) + Fibonacci (2) = 3 + 2 = 5
Fibonacci (3) = Fibonacci (2) + Fibonacci (1) = 2 + 1 = 3
Fibonacci (2) = Fibonacci (1) + Fibonacci (0) = 1 + 1 = 2


2. Considere la siguiente ecuacin recurrente:

a
n
= a
n-1
+ 2
n

a
0
= 1


Los valores de los trminos de una sucesin pueden darse de manera explcita mediante
frmulas como:

S
n
= n
4
- 3n
3
- 2n


3. Definicin recursiva para elevar un nmero a una potencia: Un nmero elevado a la
potencia cero produce la unidad; la potencia de un nmero se obtiene multiplicndolo por s
mismo elevando a la potencia menos uno. Por ejemplo:

3
2
= 3*(3
1
) = 3*(3*3
0
) = 3*(3*1)= 3*(3) = 9



4. Nmero de Combinaciones

Recursivamente, podemos definir el nmero de combinaciones de m objetos tomados de n,
denotado (n,m) para n> 1 y 0 < m < n por:

(n,m) = 1 si m = 0 m = n n = 1
(n,m) = (n-1, m) + (n-1,m-1) en otro caso





33
Deduccin de formulas de recursividad
Las sucesiones numricas se pueden definir recursivamente:
Por ejemplo (s
n
)n N la sucesin definida por: S1 =: 1 y Sn+1 = 2Sn + 1
Entonces los 4 primeros trminos de esta sucesin sern: 1, 3, 7, 15
En realidad, podemos afirmar que toda definicin recursiva al fin y al cabo
lo que siempre define es una sucesin en un determinado conjunto X, es
decir una funcin f del dominio N y codominio X;
as por ejemplo las potencias de una base fija a se pueden obtener con la
funcin
f: N R definida por f(1) =: a y f(n) =: f(n - 1)a para n 2.

Diferencias finitas.
Dado la sucesin: 6, 15, 28, 45, 66 ...., se pide calcular el termino 100, y
el termino n-simo.
Una de las formas de desarrollar es encontrando diferencias sucesivas hasta
llegar a una constante (finito),
Veamos nuevamente un ejemplo de diferencias de primer orden sera:
9, 13, 17, 21;
Y las diferencias de segundo orden sera 4, 4, 4, 4 con lo que se llega a la
constante (finito) y por tener diferencias hasta el segundo orden se afirma
que responde a una funcin de segundo grado de la forma
f(x) = ax
2
+ bx + c, luego se forma un sistema de tres ecuaciones con
tres variables tal que
f(1)= 6, f(2)= 15, f(3) =28, y al resolver resulta que f(n)= 2n
2
+ 3n + 1,
permitiendo calcular el termino 100, es decir f(100).














34
PRACTICANDO LO APRENDIDO






Actividad grupal
Analiza los siguientes problemas propuestos y resuelve en grupo
los siguientes propuestos.


1. Comprueba recursivamente hallando los valores de las combinaciones :
5! y 7!
2. Se define Sn recursivamente as: S
1
= 2, Sn+1 = Sn + n + 1. de la
sucesin Sn = (n
2
+ n + 2)/2
Comprobar que resulta el mismo resultado para S
5

3. Se define Sn recursivamente as: S
1
= 1, Sn+1 = xSn + 1 de la sucesin


Sn = 1 + x + x
2
+ x
3
+ ... + x
n
Comprobar que resulta el mismo resultado para S
6


4. Dado la sucesin 6, 15, 36,75, 138, 231, determina el trmino general y
t(n), y halla el trmino 50: t(50)
5. Calcula recursivamente combinaciones de (6,5)
6. Halla el termino 8 de Fibonacci recursivamente



























35


























































36

37