Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lgica Matemtica
La lgica es el estudio de los mtodos y principios que nos permiten distinguir el
razonamiento correcto del incorrecto, y de manera muy general podemos decir que la
lgica matemtica nace de aplicar a la lgica los mtodos de la matemtica; para tal
propsito comenzamos adoptando un simbolismo adecuado para representar los
argumentos verbales por formulas, en las que se pone en evidencia las estructuras
lgicas.
1.1. Proposiciones
Una proposicin es una oracin que cumple con las siguientes condiciones:
a. Es gramatical: Una oracin es gramatical cuando est correctamente formada con
respecto a las reglas propias del idioma y que adems tiene sentido, o sea expresa
algo comprensible.
Por ejemplo no son oraciones gramaticales las siguientes:
Eres estado grosero con Mara
Su terno es elegante mucho
En cambio si son oraciones gramaticales:
Hoy va a llover
Esta pelcula ha sido muy interesante
2
b. Es declarativa: Una oracin es declarativa cuando puesta en lugar de los puntos en
Es verdad que? producen una pregunta que a su vez es gramatical1.
Por ejemplo son oraciones declarativas las siguientes:
Los gatos son reptiles
Carmen es ms simptica que Lucia
En cambio no son oraciones declarativas:
Haz tu deber
Que dios me ayude
c. Es objetiva: Una oracin es objetiva cuando su valor de verdad es el mismo para
todos, es decir, su valor de verdad no depende de quien juzgue.
Por ejemplo no son oraciones objetivas las siguientes:
Tu abuelo es ms bueno que el mo
Loja es una linda ciudad
En cambio son oraciones objetivas:
Tu abuelo es ms viejo que el mo
Loja es una ciudad ms extensa que Ambato.
Ejemplos.
Son ejemplos de proposiciones las siguientes oraciones
Quito es la capital del ecuador
El nmero 5 es par y el nmero 8 es impar
El gallo es un mamfero
10 4
Nota. Una proposicin se llama simple o atmica cuando no contiene ninguna otra
proposicin; en caso contrario se dice compuesta.
Son proposiciones simples las siguientes:
Quito es la capital del ecuador
El gallo es un mamfero
1
Una oracin declarativa se diferencia de otras oraciones por tener un valor de verdad, esto es por ser lo
que expresan verdadero o falso.
3
10 4
Son proposiciones compuestas las siguientes:
El nmero 5 es par y el nmero 8 es impar
Si el nmero 24 es divisible por 3 y por 2, entonces es divisible por 6
El nmero 15 es par o es impar
Nota. A fin de conseguir los resultados de una manera general y al mismo tiempo ms
gil, emplearemos letras y smbolos que sean abreviaciones de proposiciones no
especificadas.
As,
diciendo
A, B, C,L o
que
tambin
A1 , A 2 , A 3 ,L son
B
V
F
V
F
B
V
V
F
F
V
V
F
C
V
F
V
F
V
F
V
4
F
Smbolo
5
Definicin. Se llama negacin de la proposicin A la proposicin A (se lee no A) que
sea:
Falsa si A es verdadera,
Verdadera si A es falsa
Esto lo representamos con el siguiente diagrama:
A
V
F
Llamado tabla de verdad de la negacin.
A
F
V
AB
V
F
F
F
6
Son ambas verdaderas y resulta falsa cuando al menos una de estas es falsa.
Definicin. Se llama disyuncin de las proposiciones A y B la proposicin A B (se
lee A o B) que sea:
Verdadera si A o B o ambas sean verdaderas
Falsa si A y B sean falsas
Esto lo representamos con el siguiente diagrama:
A B
V V
V F
F
V
F
F
Llamado tabla de verdad de la disyuncin.
AB
V
V
V
F
AB
V
F
V
V
7
Nota. Al smbolo no le corresponde ninguna palabra castellana. Las que ms se
aproximan son si L , entonces L e implica que tienen la funcin lingstica de afirmar
que se cumple un hecho a condicin que se cumpla otro hecho. Por ejemplo:
Si Lus est enfermo, entonces llamo al mdico
Que los precios suben implica que las ventas bajan
Generalmente, quien afirma: Si A, entonces B o A implica B, desconoce el valor de
verdad de A y de B, pero tiene motivos para creer que cuando A es verdadera tambin B
resulta verdadera, o sea que no puede darse que A es verdadera y B falsa. Eso es
equivalente a considerar que cuando A es verdadera, la conjuncin A B es falsa,
luego que su negacin A B es verdadera. Consideremos las dos estructuras de
A, B en donde A es verdadera y determinemos los valores de verdad de A B
A
A B
V
V
V
F
V
F
Estos valores son los mismos de la implicacin y eso corresponde exactamente a lo que
pasa cuando se hace una afirmacin condicional: se la acepta o se la rechaza segn que
se cumpla o no se cumpla el hecho expresado por el consecuente, una vez que se de por
cumplido el hecho expresado por el antecedente.
La implicacin que hemos definido es una extensin del uso comn de las afirmaciones
condicionales, en el sentido que su tabla de verdad brinda los valores de verdad de
A B respecto a todas las estructura de A, B:
A
A B
V
V
F
F
V
F
V
F
V
F
V
V
8
Definicin. Se llama equivalencia de las proposiciones A y B a la proposicin A B
(se lee A si y solo si B) que sea:
Verdadera si A y B tienen el mismo valor de verdad
Falsa si A y B tienen valores de verdad distintos
Esto lo representamos con el siguiente diagrama:
AB
A B
V V
V
V F
F
F
V
F
F
F
V
Llamado tabla de verdad de la equivalencia.
Nota. Al smbolo no corresponde ninguna palabra castellana. Las que ms se
aproximan son precisamente si, exactamente si y condicin necesaria y suficiente,
sta ltima expresin se utiliza a menudo en matemticas. Ellas tienen la funcin
lingstica de afirmar que se cumple un hecho a condicin que se cumpla otro hecho y
que ste efectivamente se cumple a condicin que se cumple el primero. Por ejemplo, la
proposicin:
Llamo al mdico precisamente si Lus est enfermo
Declara que yo llamo al mdico en el caso en que Lus est enfermo y que
efectivamente Lus est enfermo en el caso en que yo llame el mdico.
9
simples, entonces, como se indico anteriormente, hay 2n combinaciones de valores
posibles
2. Se enumeran cada una de las operaciones a efectuarse en orden creciente de
complejidad
3. Se efectan las operaciones considerando los valores de verdad obtenidos en los
pasos anteriores
4. La columna que queda bajo la proposicin compuesta que est siendo analizada
contiene los valores de verdad buscados.2
Ejemplos.
Hallar la tabla de verdad de las siguientes proposiciones:
p q p q
p
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
p q
pq
F
F
F
V
V
V
V
F
p q
p q p q
F
F
F
V
V
V
V
V
p q q r p r
p q
qr
p q q r
p r
p q q r p r
V
V
V
V
F
F
F
f
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
F
F
V
V
F
F
V
V
F
F
V
F
F
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
V
V
Normalmente para realizar las operaciones indicadas en la parte dos se debe tomar en cuenta los
parntesis y el orden jerrquico de los conectivos lgicos. Este orden jerrquico es el siguiente:
La negacin es el conectivo lgico con ms fuerza
La conjuncin y la disyuncin tiene el mismo nivel jerrquico
La implicacin y la equivalencia tiene el mismo nivel jerrquico y son los que menos fuerza tiene
Los parntesis son signos de agrupacin que nos indican que las operaciones contenidas en estos se
tienen que efectuar primero
Finalmente si se hallan conectivos lgicos del mismo nivel jerrquico y no existen parntesis se tiene
que efectuar las operaciones de izquierda a derecha.
10
p q q r p r
p q p
p p
1.4. Cuantificadores
Muchas veces interesan afirmaciones que dependen de una o ms variables. Por
ejemplo, la afirmacin n es un nmero par depende del valor que toma n. Para ciertos
valores de n esta resulta verdadera mientras que para otros resulta falsa.
Definicin. Se llama funcin proposicional en la variable x a toda oracin que contiene
x y tal que al reemplazar x por un valor particular lo que se consigue es una proposicin.
11
p x x es un nmero primo
p x x ms 7 es igual a 14
Nota. Las funciones proposicionales estn ligadas a dos tipos de proposiciones que se
encuentran frecuentemente:
La funcin proposicin p x es verdadera para todos los x de su rango de
variabilidad.
La funcin proposicin p x , es verdadera solamente para algunos x de su rango de
variabilidad.
Estos tipos de proposiciones se escriben con la ayuda de los llamados cuantificadores, el
cuantificador universal en el primer caso y el cuantificador existencial en el segundo.
Definicin. Se llama cuantificador universal ligado a la funcin proposicional p x a la
proposicin x p x (se lee para todo x p x ) que es verdadero si la funcin
proposicin p x es verdadera para todos los x de su rango de variabilidad
12
Nota. Al smbolo corresponde en castellano la frase para todo cuando sta tiene la
funcin lingstica de afirmar que se cumple el hecho expresado por la funcin
proposicional p x en todo el rango de variabilidad de x. Por ejemplo, la proposicin
x : x 2 0 es verdadera en todo el rango de variabilidad de x3.
Definicin. Se llama cuantificador existencial ligado a la funcin proposicional p x a
la proposicin x p x (se lee existe un x tal que p x ) que es verdadero si la funcin
proposicin p x es verdadera para algunos valores de x en su rango de variabilidad
Nota. Al smbolo corresponde en castellano la frase existe o hay un cuando sta
tiene la funcin lingstica de afirmar que se cumple el hecho expresado por la funcin
proposicional p x en una parte del rango de variabilidad de x. Por ejemplo, la
proposicin x : x 2 4 0 es verdadera para algunos valores de x en su rango de
variabilidad4.
Para terminar este captulo mencionamos que la negacin de proposiciones que
contengan cuantificadores, universal y existencial, se la tiene que realizar siguiendo el
siguiente esquema:
x : p x x : p x
x : p x x : p x
3
4
Captulo 2
Conjuntos
La mente humana posee una gran inclinacin a reunir o agrupar. En lugar de ver a cinco
estrellas juntas como cinco objetos separados, las personas tendemos a verlas como un
grupo o conjunto de estrellas reunidas. Vemos, pues, que la mente trata de encontrar
orden y patrones.
En matemtica, esta tendencia de agrupar se representa con la idea de conjunto. Un
conjunto es un grupo o coleccin de objetos 5. Los conjuntos aparecen en matemticas
en muchas formas; por ejemplo, cuando agrupamos todas las soluciones de un problema
dado, o tal vez todos los nmeros que tienen un significado en una situacin dada.
Las ideas bsicas de la teora de conjuntos fueron desarrolladas hacia 1875 por el
matemtico alemn Georg Cantor (1845 1918). Algunas de las cosas que el demostr
se contrapusieron a creencias matemticas aceptadas en su poca. La ideas polmicas
rara vez son bien aceptadas, y esto era especialmente as en la dcada de 1870. Las ideas
bsicas de Cantor se describirn con mayor detalle en este captulo.
14
los
elementos
del
conjunto,
por
ejemplo
el
conjunto
En las notaciones de extensin y comprensin, las llaves al principio y al final indican que estamos
pensando o nos referimos a un conjunto, otros smbolos de agrupamiento, tales como los parntesis o
corchetes, no se utilizan en la notacin de conjuntos. Adems cuando se expresa un conjunto por
extensin, las comas son esenciales, otros separadores como el punto y coma o los dos puntos, no se
utilizan en la notacin de conjuntos.
15
conjunto vaco y lo notaremos con el siguiente smbolo . Es importante tener en
cuenta que el conjunto vaco no est denotado por ya que dicho conjunto denota a
un conjunto que posee un elemento (ese elemento es el conjunto vaco).
Los conjuntos numricos que con mayor frecuencia se utilizan son los siguientes:
El conjunto de los nmeros naturales 0,1, 2,3, 4,5,L
Para que un conjunto sea til, debe estar bien definido. Esto quiere decir que dados un
conjunto particular y algn elemento particular, debe ser posible decidir si el elemento
pertenece o no al conjunto. Por ejemplo el conjunto E de las letras del alfabeto
ecuatoriano esta bien definido. Si alguien nos da la letra t, sabemos que t es un elemento
de E, si alguien nos da la letra griega (pi) sabemos que no es un elemento de E.
Sin embargo, dado el conjunto C de todas las personas delgadas y una persona en
particular Gino, no es posible decir si:
Gino es un elemento de C
o
Gino no es un elemento de C
El problema es la palabra delgado qu tan delgado es delgado?. Ya que no podemos
decidir si una persona determinada pertenece o no al conjunto C, el conjunto C no est
bien definido.
Nota. En lo que sigue se entender tcitamente la utilizacin de conjuntos bien
definidos.
7
8
El conjunto de los nmeros reales es fundamental importancia en la matemtica y ser tratado mcon
mayor detalle en el captulo siguiente.
16
Para indicar que un objeto particular pertenece a un conjunto se utiliza el smbolo de
pertenencia y contrariamente para indicar que un objeto particular no pertenece a un
conjunto se utiliza el smbolo de no pertenencia. As por ejemplo, si E es el conjunto
de las letras del alfabeto ecuatoriano, podemos escribir:
Diremos que dos conjuntos A y B son iguales si se satisface las siguientes condiciones:
1. Todo elemento de A es un elemento de B y
2. Todo elemento de B es u elemento de A
Si los conjuntos A y B son iguales escribiremos A B . Por ejemplo, si A 0,1, 2,3, 4
y B x: x es un nmero natural menor que 5 se tiene que A y B son iguales.
Para terminar esta parte introductoria indicamos que la idea de que un conjunto tiene
una cantidad limitada de elementos esta expresada en la nocin de conjunto finito. Es
decir, un conjunto finito es aquel que tiene una cantidad limitada de elementos. En
contraposicin a un conjunto finito estn los conjuntos infinitos que son justamente
aquellos conjuntos que no son finitos9.
Para los conjuntos finitos la nocin de cantidad de elementos esta expresada en la idea
de cardinalidad, el concepto exacto se halla en la siguiente definicin:
Definicin. Sea A un conjunto finito, se llama cardinalidad de A al nmero n A que
representa la cantidad de elementos que tiene A.
Ejemplos.
n 0
Si A 1, 2,3, 4 entonces n A 4
Para aquellas personas que deseen obtener un tratamiento ms exacto a la intuicin utilizada en esta
parte le recomendamos el texto INTRODUCCION AL ANALISIS DE UNA VARIABLE REAL de
WALTER RUDIN
17
Si A x: x es un nmero natural menor que 7 entonces n A 7
Si A x: x es un nmero natural mayor que 3 y menor que 7 entonces n A 3
18
Uc
c U .
10
19
Definicin. Sean A y B dos conjuntos, se dice que A es subconjunto de B si todo
elemento de A es tambin elemento de B. Si A es subconjunto de B escribimos A B .
U
B
A
Ejemplos.
1. Si A 1, 2,3, 4,5, 6 y B 4,5, 6 entonces B A
A
1
B
4
5
6
3
20
Nota. Dado un conjunto A nos preguntamos cuantos subconjuntos de A podemos extraer
de l. Por ejemplo, Si A 1, 2,3 entonces sus subconjuntos son: , 1 , 2 , 3 ,
0
subconjuntos 1 20
1
2 21
2
4 22
3
8 23
4
16 24
L
L
n
2n
21
De estas operaciones, la primera acta sobre un nico conjunto mientras las restantes
necesitan de al menos dos conjuntos para poder ser realizadas.
2.3.1. Complemento
La definicin de complemento ya se dio en la seccin 2.3, en esta parte la volvemos a
mencionar por tratarse de una operacin entre conjuntos.
Sea A un conjunto, se llama complemento de A al siguiente conjunto
A c x : x U x A . Con la ayuda de un diagrama de Venn al complemento de A se
lo puede visualizar como la regin sombreada de grfico siguiente:
U
Ejemplos.
Si tomamos el conjunto universo como U 1, 2,3, 4,5, 6, 7,8,9
c
c
Sea A 1,3,5 y B 2, 4 , entonces A 2, 4, 6, 7,8,9 y B 1,3,5, 6, 7,8,9
c
Si M 1,3, 6,8,9 y P 1, 2,3, 4,5, 6, 7,8,9 , entonces M 2, 4,5, 7 y P c
Uc
c U .
22
2.3.2. Interseccin
Sean A y B dos conjuntos, la interseccin de A con B se define como el siguiente
conjunto: A B x : x A x B . En el diagrama de Venn siguiente, la interseccin
de A con B es la parte sombreada.
Ejemplos.
Sean A 1,3,5 y B 1, 6, 7 , entonces A B 1
Si M 1,3, 6,8,9 y N 2, 4, 6,8 , entonces M N 6,8
Si P 3, 4,5 y Q 7,8,9 entonces P Q
23
Problema practico de la interseccin entre conjuntos.
Despus de comparar las promesas de campaa de dos candidatos para la asamblea, un
votante dio la lista con las promesas hechas por los candidatos. Cada promesa est
representada por una letra.
El honesto G. M.
Menor gasto, m
La erudita L. H.
Menor gasto, m
m, t,s
m, p, c ,
es decir
2.3.3. Unin
Sean A y B dos conjuntos, la unin de A con B se define como el siguiente conjunto:
A B x : x A x B . En el diagrama de Venn siguiente, la unin de A con B es
la parte sombreada.
24
Ejemplos.
Sean A 1,3,5 y B 1, 6, 7 , entonces A B 1,3,5, 6, 7
Si M 1,3, 6,8,9 y N 2, 4, 6,8 , entonces M N 1, 2,3, 4, 6,8,9
Si P 3, 4,5 y Q 7,8,9 entonces P Q 3, 4,5, 7,8,9
A B
A c Bc
A B
A c Bc
25
otro candidato, o lo que es lo mismo el conjunto m, t,s, p, c ; es decir, la unin de las
promesas hechas por los candidatos.
2.3.4. Diferencia
Sean A y B dos conjuntos, la diferencia de A con B se define como el siguiente
conjunto: A B x : x A x B . En el diagrama de Venn siguiente, la diferencia
de A con B es la parte sombreada.
Ejemplos.
Sean A 1,3,5 y B 1, 6, 7 , entonces A B 3,5
Si M 1,3, 6,8,9 y N 2, 4, 6,8 , entonces N M 2, 4
Si P 3, 4,5 y Q 7,8,9 entonces P Q 3, 4,5
26
Sean A y B dos conjuntos, la diferencia simtrica de A con B se define como el siguiente
conjunto: AVB A B B A . En el diagrama de Venn siguiente, la diferencia
simtrica de A con B es la parte sombreada.
Para determinar el nmero total de estudiantes encuestados, no podemos slo sumar los
ocho nmeros anteriores, ya que existen algunos superpuestos. Por ejemplo, en la figura
siguiente:
27
Inti Illimani
b
c
h
Quilapayun
e
d
g
f
Illapu
los 33 estudiantes que les gusta Inti illimani no deben ser colocados dentro de la regin
b, pero si deben ser distribuidos a los largo de las regiones b, c, d y e, de forma tal que
sea consistente con la informacin proporcionada. (de hecho la regin b contiene a los
estudiantes a quienes les gusta Inti Illimani pro no les gusta Illapu ni Quilapayun).
Como al principio no sabemos como distribuir los 33 estudiantes que les gusta Inti,
buscamos primero informacin ms manejable. El nmero ms pequeo en la lista, los 5
estudiantes a quienes les gusta los tres grupos, pueden ser colocados dentro de la regin
d (la interseccin de los tres conjuntos). Los 7 a quienes no les gusta ninguno de los tres
deben ir en la regin a. Por lo tanto, los 11 a quienes les gusta Inti e Illapu deben ir en la
regin d y e. Como la regin d ya contiene 5 estudiantes, debemos poner 11 5 6
dentro de la regin e. Como a 15 les gusta Inti y Quila (regin c y d), ponemos
15 5 10 dentro de la regin c. Ahora que las regiones c, d y e contienen 10, 5 y 6
estudiantes, respectivamente, la regin b recibe 33 10 5 6 12 . Con razonamientos
similares, son asignados de forma correcta los nmeros de todas las regiones como se
muestra en la siguiente figura:
28
a
7
12
Inti Illimani
b
15 c
5 d
h
Quilapayun
4
14
11
e
12
f
Illapu
Captulo 3
Nmeros reales
Los orgenes de la matemtica se remontan a los albores de la inteligencia humana. Los
estudiosos de las civilizaciones antiguas opinan que el hombre realiz clculos y
medidas y llego a concebir figuras geomtricas antes que fuera inventada la escritura,
esto explica por que aparecen ya los nmeros y las figuras geomtricas en los escritos
ms remotos que se conoce. Hay que remontarse a la civilizacin sumeria, que se
desarroll en la regin Mesopotmica alrededor del tercer milenio A. C., para encontrar
el documento matemtico ms antiguo; se trata de unas tablillas de arcilla con
inscripciones de carcter cuneiforme. A pocas tambin remotas, hacia 1800 A. C. se
remontan las primeras referencias matemticas de las civilizaciones egipcia y
babilnica. En todos estos documentos aparecen reglas elementales de clculo
algebraico y numrico y reglas para el clculo aproximado de longitudes, reas y
volmenes.
En los documentos que se conservan de estas civilizaciones se hace patente que la
necesidad de contar y de mantener el registro de cantidades de alimentos, animales y
otras cosas de uso cotidiano fue lo que dio origen a lo que actualmente es la matemtica.
As, se cree que los primeros nmeros que aparecieron fueron los nmeros naturales,
posteriormente surgieron las operaciones de adicin, sustraccin, multiplicacin y
divisin. Luego se hizo necesario dar significado a expresiones como
2 8
,
y se
5 3
introdujeron las fracciones, con las que al principio se siguieron prcticas extraas pues,
30
por ejemplo, los babilonios consideraron nicamente fracciones cuyos denominadores
eran igual a 60 y los egipcios insistan en que los numeradores deban ser 1 y escriban
1 1
8
en lugar de
. La notacin moderna fue introducida por Fibonacci en su obra
3 5
15
Liber Abace, publicada en 1202.
En el mundo griego se crea que los nmeros enteros y las fracciones, puesto que son
razones de nmeros enteros, constituan la base del universo y era todo cuanto existe.
Sin embargo, en la escuela pitagrica (hacia 1520 A. C.) se determin que existan otros
nmeros que no se podan expresar como la divisin entre dos nmeros enteros, estos
son los nmeros irracionales.
Es interesante notar que pasaron cientos de aos antes que los nmeros negativos fueran
introducidos en la matemtica, y aunque se utilizaban, no fue hasta el siglo XVII que se
consideraron a los nmeros negativos. Con todos estos conjuntos de nmeros se formo
lo que en la actualidad se conoce como los nmeros reales .
Pero con los nmeros reales surgieron ecuaciones tales como x 2 1 0 que no se
podan resolver utilizando solamente los nmeros reales. Con el objeto de resolver tales
problemas se introdujo hacia el ao 1512, el smbolo i, que por definicin tiene la
propiedad de que i 2 1 , y se crearon los nmeros complejos.
Estas ampliaciones del dominio numrico permiten generalizar el lenguaje matemtico,
hacer ms rpido la formulacin de problemas y no tener en cuenta la distincin de una
multitud de casos particulares, lo cual responde a una norma general en el desarrolla de
la ciencia.
Nota. En esta parte introductoria al captulo 3 se ha expuesto el desarrollo histrico de
los nmeros reales; sin embargo, para tener una idea ms clara de sus propiedades es
necesario presentar su teora en forma axiomtica; esto es, introducir operaciones en el
conjunto de nmeros reales y decir cuales son las propiedades que deben satisfacer tales
operaciones.
31
de los
nmeros reales que coge los nmeros a, b y los convierte en el nuevo nmero a b
talque se satisface las siguientes propiedades:
M1. a, b , a b , propiedad clausurativa
M2. a, b , a b=b a , propiedad conmutativa
M3. a, b, c , a b c= a b c a bc ,propiedad asociativa
M4. 1 tal que a , a 1 a , propiedad de existencia del elemento neutro
multiplicativo, 1 es el neutro multiplicativo
11
En lenguaje tcnico las propiedades se llaman axiomas y son estos los que definen la estructura que
debe tener los nmeros reales.
32
1
1
A5. a 0 , tal que a 1 , propiedad de existencia del elemento
a
a
inverso multiplicativo,
1
es el inverso multiplicativo de a
a
a
1
1
a , donde es el inverso multiplicativo de b.
b
b
b
Nota. Como se puede observar en las definiciones anteriores, la resta y la divisin son
operaciones definidas a partir de la adicin y el producto, de ah el nombre de
operaciones derivadas
33
La suma, resta, multiplicacin y divisin son consideradas las cuatro operaciones
fundamentales de los nmeros reales; estas cumplen con el siguiente listado de
propiedades:
1. a b a b ,
2. a b c ab ac
5. a a
6. a 0 0
3. a b a b
7.
9.
11.
13.
15.
17.
19.
21.
23.
25.
27.
a b ab a b
a
a
1
a a
b b
a
1 , cuando a 0
a
a c ac
b d bd
a a 1 1 a
bc b c b c
a
a
a
a
a
b c b c bc b c
bc
a b ab
c c
c
a c ad bc
b d
bd
a
b a d ad
c b c bc
d
a
b a 1 a
c b c bc
4. a b a b
8.
a b ab
a
a a
b
b b
0
12. 0 , cuando a 0
a
b
14. a b
a
ab a
b
b a
16.
c c
c
a a c
ac
18. , cuando c 0
b b c
bc
a b a b ab a b
ab
20.
c
c
c
c
c
a b a b
22.
c c
c
a c ad bc
24.
b d
bd
a
c ac
a
26. b
b b
c
10.
28. Si ab 0 , entonces a 0 b 0
ambas
Nota. Con este listado de 28 propiedades se puede construir toda la aritmtica de los
nmeros reales.
34
an
1
a n m m n
m
a
a
n m
1
a n
n
a
an
4. n 1
a
n
6. ab a n b n
2.
a mn
an
a
7. n
b
b
a
8.
b
b
a
2
2
Diferencia de dos cuadrados a b a b a b
3
3
2
2
Suma de dos cubos a b a b a ab b
3
3
2
2
Diferencia de dos cubos a b a b a ab b
12
Aqu consideramos potencias enteras, para las potencias negativas y fraccionarias se cumple las mismas
propiedades.
13
Este caso de factoreo tambin se puede enunciar como el cuadrado de un binomio
35
Cubo de un binomio a b a 3 3a 2 b 3ab 2 b3
3
La idea de raz n-sima de un nmero real est ligada al concepto de potencia n-sima
de la siguiente manera:
Definicin. Decimos que b es la raz n-sima de a si b n a . Si este es el caso,
escribimos b n a .
Nota. La expresin
radicando y
es el signo radical.
Ejemplos.
2 3 8 pues 23 8
3 2 9 pues 32 9
3 2 9 pues 3 9 14
2
9 en
9.
1.
4.
7.
14
a a
a na
b
b
a
n
2.
1
1
1
n
a
1
n
a a n
5.
m n
a mn a
3.
6. a
a n b n ab
m
n am
Este ejemplo y el anterior nos hace notar que la raz cuadrada de un nmero real positivo no es
unida, en efecto, 9 es 3 y 3
36
Nota. Para los radicales de ndice par se debe tener en cuenta que estos estn definidos
en solamente en el caso de que el radicando es positivo. As por ejemplo, la expresin
4 no tiene sentido en el conjunto de los nmeros reales.
Las expresiones del tipo
nueva clase de nmeros, a saber, los nmeros complejos. La parte bsica de un nmero
complejo es su parte imaginaria siendo esta igual a
1 . En forma ms precisa
5 5 1 5 i
15
Estas propiedades se les llama usualmente axiomas de orden de los nmeros reales.
37
Si a es un nmero real positivo, llamaremos a a un nmero real negativo. Al conjunto
de todos los nmeros reales negativos lo notaremos por .
Nota. Segn esta definicin el cero no es no positivo ni negativo, se tiene adems que
0 , siendo cada uno de estos conjuntos disjuntos entre s.
Los smbolos < (menor que) y > (mayor que) se definen como sigue:
a b si y solo si b a
a b si y solo si a b
a b si y solo si b a
o ab
a b si y solo si a b
o ab
ab
ab
ab
Nota. De las propiedades de orden de los nmeros reales se pueden derivar la siguiente
lista de propiedades:
1. a, b, c , si a b , entonces a c b c
2. a, b , si a b y c 0 , entonces ac bc
3. a, b , si a b y c 0 , entonces ac bc
4. a, b , si ab 0 , entonces a 0 b 0 o a 0 b 0
5. a, b , si ab 0 , entonces a 0 b 0 o a 0 b 0
38
6. a , si a 0 , entonces a 2 0
7. a , si a 0 , entonces
1
0
a
8. a , si a 0 , entonces
1
0
a
Nota. Todas estas propiedades se cumplen tambin para las desigualdades no estrictas.
La relacin de orden definida anteriormente nos permite graficar los nmeros reales en
una recta llamada recta real, la cual se muestra en la siguiente figura:
-4
-3
-2
-1
Nota. El conjunto de todos los nmeros comprendidos entre dos nmeros dados a y b se
denomina un intervalo. Estos nmeros a y b son los extremos del intervalo. Un intervalo
con extremos x a y x b , donde a b se representa por la desigualdad a x b y
se denota por a, b o por a, b . El intervalo a, b de denomina intervalo abierto y
est definido como el siguiente conjunto: a, b x : a x b .
Si los extremos de un intervalo pertenecen a este, el intervalo se representa por
a x b y se denota por a, b . El intervalo a, b se denomina intervalo cerrado y est
definido como el siguiente conjunto: a, b x : a x b .
Adems de los intervalos abiertos y cerrados existen los intervalos semiabierto por la
derecha y semiabierto por la izquierda; estos intervalos se definen de la siguiente
manera:
Intervalo semiabierto por la derecha a, b x : a x b
Intervalo semiabierto por la izquierda: a, b x : a x b
39
a, b
Intervalo cerrado
a, b
Intervalo abierto
a, b
a, b
3.3. Logaritmos
Sean x 0 , a a 1 , se llama logaritmo de x en base a al nmero b que satisface
la siguiente condicin: a b x . Si b es lo logaritmo de x en base a, escribimos
b log a x .
Ejemplos.
De la igualdad
25 32
103 1000
3 81
4
1
8
2
52 0.04
Se deduce que
5 log 2 32
3 log10 1000
4 log 3 81
3 log 1 8
2
2 log 5 0.04
Nota. Si bien es cierto que los logaritmos se definen para cualquier base positiva
diferente de uno, en la prctica solamente se utilizan logaritmos de dos bases, la base 10
y la base e 2.718282 . Estos logaritmos se llaman logaritmo vulgar y logaritmo natural
respectivamente. La nomenclatura utilizada para estos es la siguiente:
log10 x log x
40
log e x ln x
6. log a
1
7. log a log a n
n
n
8. log a m n long a m
9. log a m
log b m
log b a
Solucin.
21 log 3
x log x log 25
2
=
=
1
21 log 3 x 2 log 3 x 2 log 5 5
3
7 log 3 x 2 log 3 x 2 log 5 5
9 log 3 x 2
9 log 3 x log 3 9
log 3
x 9
Captulo 4
Ecuaciones
Las civilizaciones antiguas aprendieron que la habilidad para resolver ecuaciones es
esencial en las aplicaciones de la matemtica. El algebra se remonta a los babilonios del
ao 2000 A. C., quienes idearon mtodos para resolver ecuaciones cuadrticas. Los
egipcios tambin resolvieron problemas de algebra, pero estos no eran tan complejos
como los de los babilonios. Para que se dieran avances en el algebra, hubo que esperar
hasta alrededor del siglo VI, en la India, donde se crearon mtodos para dar solucin a
problemas relacionados con intereses, descuentos y participacin en copropiedad.
Muchos de los tratados sobre matemticas de los hindes y los griegos se conservaron
debido a que los musulmanes los tradujeron. Casi todas estas traducciones, realizadas en
su mayor parte entre el ao 750 y 1250, se llevaron a cabo en Bagdad. Los rabes
retomaron los trabajos de los griegos e hindes y lo ampliaron enormemente. Por
ejemplo, Muhammad ibn Ms al-Jwrizm escribi libros sobre algebra y sobre el
sistema de numeracin hind. Sus obras tuvieron una gran influencia en Europa
Occidental, y en la actualidad su nombre lo recordamos en la palabra algoritmo, tal vez
el ms famoso libro de al-Jwrizm fue Hisb al-yabrwal muqbalah, de cuyo ttulo se
deriva la palabra lgebra.
42
x 3 y8
.
z
43
ax b
1
1
ax b
a
a
b
1 x
a
b
x
a
Dada la ecuacin lineal ax b 0 , el proceso anterior nos muestra que su solucin tiene
b
b
la forma x , es decir, su conjunto solucin es .
a
a
Ejemplos
La ecuacin 3x 5 0 tiene solucin x
5
, su conjunto solucin es
3
5
3
44
2a
4a 2
Expresin original
Efectuamos el producto por el inverso multiplicativo de a
c
a ambos lados
a
b2
Sumamos
a ambos lados para completar el cuadrado
4a 2
Sumamos
b
b 2 4ac
2a
4a 2
b
b 2 4ac
2a
4a 2
b
b 2 4ac
2a
2a
2
b b 4ac
x
2a
x
Sumamos
b
a ambos lados
2a
Nota. Una ecuacin cuadrtica tiene dos soluciones, una con la raz positiva del radical
y otra con las raz negativa del radical, adems, las soluciones de una ecuacin
cuadrtica pueden ser complejas, dependiendo que cuanto es el valor de b 2 4ac 16.
16
b 2 4ac se llama discriminante de la ecuacin cuadrtica, si este es positivo la ecuacin tiene dos
soluciones reales diferentes, si este es cero, la ecuacin tiene soluciones repetidas y si este es menor que
cero la ecuacin tiene soluciones complejas.
45
Dada la ecuacin cuadrtica ax 2 bx c 0 , el proceso anterior nos muestra que su
solucin tiene la forma x
b b 2 4ac
, es decir, su conjunto solucin es
2a
b b 2 4ac
b b 2 4ac
,x
x
2a
2a
Ejemplos.
La ecuacin 2x 2 4x 2 0 , tiene solucin x 1 y x 1 , su conjunto solucin es
1
1
2
1
2
La ecuacin 3x 2 2x 1 0 , tiene solucin x
i y x
i , su
3 3
3 3
1
2 1
2
i,
i
3 3 3 3
conjunto solucin es
solucin es 2 6, 2 6
Nota. La ecuacin
x 1 2x 3
46
3x
1
27
Solucin.
Tenemos
x
1
3 3
3
De donde
x
3
2
2
Entonces x 3
47
Resolver 5x 1 5x 750
Solucin.
Puesto que 5x 1 5 5x , en el primer miembro se puede sacar factor comn 5x , por
lo que tenemos:
5x 5 1 750
5x 6 750
5x 125
5x 53
Entonces x 3
Encontrar el valor de x si
x x 1
1
2
43
Solucin.
Representamos ambos miembros de la ecuacin en potencias de 3:
1
1
x x 1 2
34
92
1
x x 1 2
32 2
x x 1
1
2
34
1
34
De donde
x x 1
x2 x
1 1
2 4
3
0
4
1 3
, . Sustituyendo estos valores en la ecuacin originales comprueba que
2 2
ambos satisfacen la misma.
Logaritmacin de ambos miembros de la ecuacin
Cuando no se puede representar los miembros de una ecuacin en una misma base, es
conveniente tomar logaritmos en los dos lados de la ecuacin para llegar a una ecuacin
simple.
48
Se debe tomar en cuenta que es mejor tomar logaritmos en una base convenientemente
escogida, pues as se simplifican los clculos.
Ejemplos.
Resolver 2.3 1.5
x
x 1
Solucin.
Si tomamos logaritmos en ambos miembros, obtenemos:
log 2.3 log 1.5
x
x 1
log 1.5
0.1761
0.95
0.1856
Resolver 4 x 1 2x 3 28 0
Solucin.
Tendremos
2 x 1
2 x 3 28 0
22 22x 2 x 3 28 0
Si realizamos la sustitucin 2 x z ; en tal caso 22x z 2 y la ecuacin toma la forma
z2
8z 28 0
4
Resolviendo la ecuacin cuadrtica obtenemos z1 4 y z 2 28 , de donde
2x 4 ; x 2
2 x 28 , x log 2 28
log 28
log 2
4.81
49
2 3x
3x 1 2
x6
2x 3
De este modo,
log
x6
log 4
2x 3
50
x6
4
2x 3
Resolviendo esta ecuacin, hallamos dos races x1 6 , x 2 14 . Es fcil cerificar
que las soluciones halladas son soluciones de la ecuacin original.
Resolver la ecuacin 4
log 2 log x
log x log 2 x 1
Solucin.
Transformemos el primer miembro de la ecuacin
4
log 2 log x
2log 2 log x
log 2 log x
log x
ecuacin
2 log 2 x log x 1 0
Si realizamos la sustitucin z log x , obtenemos la ecuacin cuadrtica
2z 2 z 1 0 , que tiene las soluciones z1
1
1
y z 2 1 ; es decir log x y
2
2
log x 1 .
La primera solucin no satisface la condicin log x 0 17. Por consiguiente, la
ecuacin dada es equivalente a log x 1 y tiene solucin nica x 10 .
17
En la ecuacin original aparece la expresin 4log log x lo cual indica que log x 0
2
Captulo 5
Sistemas de ecuaciones lineales
Muchas de las aplicaciones de la matemtica requieren la resolucin de una gran
cantidad de ecuaciones simultneas que tienen muchas variables. Tal conjunto de
ecuaciones se denomina sistema de ecuaciones. La definicin de una ecuacin lineal
dada en el captulo 4 seccin 4.1.1 se puede ampliar a ms variables. Cualquier
ecuacin de la forma a1x1 a 2 x 2 a 3 x 3 L a n x n b para nmeros reales a1 , a 2 ,L , a n
(no todos cero), y b, es una ecuacin lineal. Si todas las ecuaciones en un sistema son
lineales, el sistema es un sistema de ecuaciones lineales o sistema lineal.
7
es la solucin nica, en el segundo caso no
2
hay soluciones y en el tercer caso cualquier nmero es solucin. Estos tres ejemplos
abarcan casi todo el argumento en trminos generales.
52
La ecuacin ax b tampoco tiene soluciones (cuando a 0 y b 0 ), o exactamente
tiene una solucin (cuando a 0 ), o un nmero infinito de soluciones (cuando a 0 y
b 0 ).
4, 1 ,
1 4
, , son soluciones mientras que 1, 7 ,
2 3
1, 4 ,
4 1
, , no lo son.
3 2
Resolviendo x en funcin de y, vemos que las soluciones son todos los pares de
5 3y
, y asignando valores numricos
2
53
especificar, en lugar de usar una letra diferente para cada incgnita y para cada
coeficiente. Por ejemplo, escribimos 2x1 3x 2 5 n vez de 2x 3y 5 ; tenemos
3x1 x 2 5x 3 12 en lugar de 3x y 5z 12 ; y decimos a1x1 a 2 x 2 10 en vez de
ax by 10 .
Con esta notacin, una ecuacin lineal de n incgnitas es una ecuacin de la forma
a1x1 a 2 x 2 L a n x n b , donde a1 , a 2 , a 3 ,..., a n , b son nmeros conocidos. Aqu,
nuestra inquietud principal es la pregunta Qu valor numrico puede ser asignado a las
incgnitas x1 , x 2 , x 3 ,..., x n para que la ecuacin sea vlida? Una solucin es una
respuesta a esta pregunta: es una n upla de nmeros con la propiedad de que, cuando
el primer nmero es sustituido por x1 , el segundo por x 2 , , el n-simo por x n , la
ecuacin es vlida.
Ya hemos visto la clase de solucin cuando n 1 n 2 . Usando el mismo argumento
de los ejemplos anteriores, vemos que para cualquier n entero positivo, siempre
tendremos uno de los tres casos siguientes:
Caso 1. a1 a 2 a 3 ... a n 0 y b 0 . Entonces no hay solucin.
Caso 2. a1 a 2 a 3 ... a n b 0 . Entonces cualquier n-upla es solucin
Al menos una a i 0 . Entonces resolviendo para x i , tenemos
Caso 3.
xi
1
b a 2 x 2 L a n x n , De esta manera todas las soluciones se obtienen de la
ai
1
expresin
54
con frecuencia una ecuacin superflua. Reconocerla explcitamente es uno de nuestros
principales problemas.
Podemos examinar una ecuacin lineal con n incgnitas como una condicin impuesta a
una n upla . Las soluciones de la ecuacin son los n uplas que satisfacen esta
condicin. El caso 1 corresponde entonces a una condicin imposible y el caso 2
corresponde a no imponer condiciones de ninguna naturaleza. Si deseamos imponer
ms de una condicin, tendremos que considerar varias ecuaciones lineales simultneas.
55
para conservar la seal de la ecuacin y el segundo para conservar la de la incgnita.
Para la misma seal usamos una letra con un subndice para denotar los nmeros sobre
el lado derecho de las ecuaciones. Por ejemplo, un sistema de 2 ecuaciones y 3
incgnitas es escrito, as:
a11x1 a12 x 2 a 13 x 3 b1
a 21x1 a 22 x 2 a 23 x 3 b 2 ,
Un sistema de 4 ecuaciones y dos incgnitas es escrito as:
a11x1 a 12 x 2 b1
a 21x1 a 22 x 2 b 2
a 31x1 a 32 x 2 b3
a 41x1 a 42 x 2 b 4
Y, en general un sistema de m ecuaciones con n incgnitas es escrito as
a11x1 a12 x 2 L a1n x n b1
a 21x1 a 22 x 2 L a 2n x n b 2
M
a m1x1 a m2 x 2 L a mn x n b m
Para lograr un sistema particular como:
3x1 x 2 5x 3 12
x 2 x3 0
de la forma general establecida, tomamos solamente m 2 , n 3 , a11 3 , a12 1 ,
a13 5 , b1 12 , a 21 0 , a 22 1 , a 23 1 , b 2 0 .
La idea bsica para encontrar soluciones de un sistema de ecuaciones lineales
simplemente es: Encontrar las soluciones de una ecuacin; de estas, escoger cules son
tambin soluciones de la segunda; de estas escoger aquellas que son soluciones para la
tercera ecuacin; repetir este proceso hasta que todas las ecuaciones hayan sido
consideradas. En varios casos simples, esta idea puede ser aplicada directamente sin
ningn refinamiento. Por ejemplo, dado el sistema de ecuaciones
3x1 x 2 5x 3 12
x 2 x3 0
56
Primeramente notamos que las soluciones de la primera ecuacin son las ternas
12 x 2 5x 3
ordenadas de la forma
ecuacin, deben tener x 2 x 3 y en consecuencia las soluciones del sistema son las
ternas ordenadas de la forma:
12 4x 3
, x 3 , x 3
57
58
x1 x 2 x 3 0
5x 2 x 3 14
x 2 3x 3 22
luego intercambiamos la segunda y tercera ecuacin ( hacemos que x 2 tenga coeficiente
1 en la segunda ecuacin)
x1 x 2 x 3 0
x 2 3x 3 22
5x 2 x 3 14
Acelerando el proceso, aplicamos dos operaciones al mismo tiempo: Agregamos (-1)
veces la segunda ecuacin a la primera y sumamos 5 veces la segunda ecuacin a la
tercera (as, eliminamos x 2 de la primera y tercera ecuaciones):
4x 3 22
x1
x 2 3x 3 22
16x 3 96
1
Ahora, multiplicamos la ltima ecuacin por :
16
4x 3 22
x1
x 2 3x 3 22
x 3 6
sumamos 3 veces la ltima ecuacin a la segunda y agregamos (-4) veces la ltima
ecuacin a la primera:
2
x1
x2
4
x 3 6
59
1. la incgnita directriz aparece en escalones sucesivos en la lista de ecuaciones
2. la incgnita directriz en cada ecuacin aparece solamente en esa ecuacin (con
coeficiente no nulo),
3. la incgnita directriz en cada ecuacin tiene coeficiente 1.
El siguiente es un ejemplo claro de un sistema de la forma fila-escalonada
x1 3x 2 2x 3
12x 6
x4
x5
5x 8 7
4 x6
9x 6
2x 8 5
x 7 3x 8 0
7 3x 2 2x 5 12x 6 5x 8 , x 2 , x 3 ,3 4x 6 ,5 9x 6 2x 8 , x 6 , 3x 8 , x 8
asignando valores arbitrarios a x 2 , x 3 , x 6 , x 8 . Por ejemplo x 6 1 y x 2 x 3 x 8 0
vemos que 5, 0, 0, 1, 14,1, 0, 0 es una solucin particular del sistema.
Combinando las observaciones sobre operaciones elementales y sistemas de la forma
fila-escalonada, obtenemos el siguiente mtodo general para resolver un sistema de
ecuaciones lineales con n-incgnitas: Por aplicaciones sucesivas de las operaciones
60
elementales reducimos el sistema dado a uno de la forma fila escalonada y despus
leemos las soluciones.
Si el sistema equivalente de la forma fila escalonada no tiene ecuaciones inconsistentes
y el nmero de incgnitas directrices en el sistema es p entonces podemos resolver estas
p incgnitas en trminos del residuo n-p incgnitas.
posibilidades:
1. El sistema no tiene soluciones
2. El sistema tiene una solucin nica (cuando n p ),
3. El sistema tiene un nmero infinito de soluciones (cuando n p ) y estas pueden ser
descritas en trminos de n-p parmetros arbitrarios.
Es mejor indicar con ejemplos el hecho de que cualquier sistema de ecuaciones lineales
pueda reducirse a la forma fila-escalonada por aplicaciones sucesivas de operaciones
elementales. Antes de hacerlo, introducimos una manera esquemtica de representar un
sistema de ecuaciones lineales, como un conjunto de nmeros los cuales economizan
esfuerzo y espacio. Esta consiste en escribir solamente los nmeros que aparecen en las
ecuaciones, omitiendo los signos + y = como tambin las letras que denotan las
incgnitas. Usamos el orden en el cual aparecen los nmeros para conservar la seal de
qu nmero es el coeficiente de la incgnita. Para ms ilustracin, el sistema
3x1 2x 2 5x 3 3x 4 1
3x1
2x 3 7x 4 2
2x1 x 2 2x 3 2x 4 3
est representado por el conjunto
3 2 5 3 1
3 0 2 7 2
2 1 2 2 3
61
Las operaciones elementales en las ecuaciones del sistema se traducen en las siguientes
operaciones en las filas del conjunto:
I. Intercambiar dos filas
M. Multiplicar (todas las anotaciones) una fila por un nmero que no sea cero
A. Agregar (a manera de trminos) a una fila dada un mltiplo de otra fila.
Adems notamos que el sistema de forma fila-escalonada se representa por un conjunto
en el cual el primer trmino no nulo en cada fila es 1 y se presentar as sucesivamente
en los pasos escalonados; y cada trmino arriba y abajo es cero.
Ahora procederemos a reducir el sistema
3x1 2x 2 5x 3 3x 4 1
3x1
2x 3 7x 4 2
2x1 x 2 2x 3 2x 4 3
a la forma fila-escalonada trabajando con el arreglo asociado.
3 2 5 3 1
3 0 2 7 2
2 1 2 2 3
3 0 2 7 2 ,
2 1 2 2 3
Sumamos tres veces la primera fila a la segunda y 2 veces la primera fila a la tercera
(cero bajo el trmino directriz de la primera fila):
62
1 1 3 5 2
0 3 11 22 8 ,
0 1 4 12 7
4 12 7 ,
0 1
0 3 11 22 8
Sumamos la segunda fila a la primera y tres veces la segunda a la tercera (ceros arriba y
abajo del trmino directriz de la segunda fila):
1 0 1 7 5
0 1 4 12 7 ,
0 0 1 14 13
Sumamos 4 veces la tercera fila a la segunda y (-1) vez la tercera fila a la primera
(ceros arriba del trmino directriz de la tercera fila):
1 0 0 7 8
0 1 0 44 45 ,
0 0 1 14 13
x1
x2
44x 4 45
x 3 14x 4 13
63
1,1,1,1
encontramos la solucin 8, 45, 13, 0 . Ntese que en este caso el nmero p de las
incgnitas directrices es 3 y que las soluciones estn descritas en trminos de n p
parmetros, es decir, x 4 .
Como ejemplo final, mostremos que el sistema
2x1 2x 2 3x 3 4x 4 1
x1 2x 2 x 3 x 4 2
4x1 2x 2 x 3 2x 4 1
no tiene soluciones. Primeramente, lo representamos por el arreglo
2 2 3 4 1
1 2 1 1 2
4 2 1 2 1
2 2 3 4 1 ,
4 2 1 2 1
Luego sumamos (-2) veces la primera fila a la segunda y (-4) veces la primera fila a la
tercera:
1 2 1 1 2
0 6 5 6 3 ,
0 6 5 6 9
64
1
veces la segunda fila a la primera y
3
1
, tenemos
6
1 0 2/3 1 1
0 1 5 / 6 1 1/ 2 ,
0 0
0
0 6
65
Ahora, la ltima ecuacin es evidentemente superflua. Resolviendo para las incgnitas
directrices x1 , x 2 en trminos de x 3 y x 4 , vemos que las soluciones son todas las
tetradas de la forma
2
5
1
1 x 3 x 4 , x 3 x 4 , x 3 , x 4 .
3
6
2
Aqu, el nmero p de las incgnitas directrices es 2 y todas las soluciones estn descritas
en trminos de 4 p parmetros.
Nota. No se debe llegar a ser tan dogmtico sobre la tcnica desarrollada en este
captulo. Por supuesto, es importante comprender que hay una manera sistemtica de
reducir cualquier conjunto dado de nmeros a la forma fila-escalonada (el cual podra
an emplearse para programar un computador electrnico). Sin embargo, en cada caso
particular puede haber varios mtodos abreviados los cuales reducen drsticamente la
cantidad de trabajo. Adems, para contestar una pregunta de naturaleza ms cualitativa
usualmente slo tenemos que pasar por los primeros pasos del proceso de reduccin.
Cuando un sistema de ecuaciones lineales tiene ms de una solucin, cualquier frmula
que describa todas las posibles soluciones se denomina la solucin general del sistema.
En la prctica hay tantas frmulas que la solucin general puede tomar diferentes
formas, dependiendo del mtodo particular usando para encontrar las soluciones. An la
reduccin a la forma fila-escalonada puede ser efectuada de diferentes maneras. El
hecho sorprendente es que a cualquier sistema de ecuaciones lineales, corresponde
exactamente un sistema equivalente en la forma fila-escalonada digamos con, p
incgnitas directrices y la solucin general no puede tener menos de n p parmetros,
sin importar cmo se ha obtenido. As la reduccin a la forma fila-escalonada conduce
a la presentacin ms eficiente de la solucin general18.
18
Probar y conseguir una total apreciacin de estos hechos requiere las ideas del lgebra lineal
Captulo 6
Aplicaciones
Los cinco captulos precedentes se desarrollaron con la intencin de dar el soporte
terico necesario para comprender de forma ms adecuada la exposicin de este
captulo dedicado a la aplicacin de las matemticas bsicas a la administracin y
economa.
Las aplicaciones de la matemtica bsica a la administracin y economa sern
aprovechadas de una mejor manera si se comienza con una exposicin (quizs muy
rpida para ciertos gustos) de las funciones lineales y cuadrticas.
67
precio que se cobra, colocamos el precio primero y la demanda en segundo lugar. El par
ordenado es una abreviacin de la proposicin si el precio es 5 (dlares), entonces la
demanda es de 1000 (artculos). De manera anloga, los pares ordenados 3,5000 y
10, 250
68
La relacin H no es funcin, pues los ltimos dos pares ordenados tienen el mismo
valor de x, pero diferentes valores de y.
Nota. Las funciones que con ms frecuencia se utilizan son aquellas en las cuales la
relacin de x con y est expresada a travs de una ecuacin, si se considera a x como la
variable independiente, esta ecuacin se escribe como y f x .
A las funciones se las puede representar grficamente haciendo corresponder a cada
valor de x su correspondiente valor de y.
y
x, y
Grfico de
19
El caso en el que m es cero, corresponde al grfico de una recta horizontal. Para una recta vertical no
est definida su pendiente
69
m0
m0
b0
b0
La pendiente de una recta que pasa por los puntos x1 , y1 y x 2 , y 2 esta dado por la
expresin m
Vy y 2 y1 y1 y 2
.
Vx x 2 x1 x1 x 2
Ejemplos.
Hallar la pendiente y el valor de la ordenada en el origen de la recta y 4x 1 , trace
la grfica correspondiente.
Solucin.
La funcin es de l forma y mx b , por tanto m 4 y b 1 , la grafica es una
recta con pendiente 4 y el valor de la ordenada en el origen igual a 1 . Para trazar su
grfico es suficiente conocer un par de puntos que pertenezcan a la recta, para ello
damos valores a x y obtenemos su correspondiente valor de y:
x
0
1
Su grfico es:
y
-1
3
70
Las inscripciones para un centro de estudios se puede efectuar por correo hasta una
fecha prevista y a partir de ella se receptan inscripciones personalmente. Segn datos
de secretaria pueden procesar 40 estudiantes personalmente, por hora. Una vez
transcurridas 5 horas, se han inscrito un total de 350 estudiantes.
a. Exprese el nmero de estudiantes registrados como una funcin del tiempo.
b. Cuantos estudiantes se registraron previamente por correo?
Solucin
a. Usando x para denotar el nmero de horas para inscripciones, y para denotar el
nmero de estudiantes registrados. El valor de y aumenta en 40 cada vez que x
aumenta en 1.
As, y es una funcin lineal de x con pendiente 40. Adems cuando x 5
y 350 . Por la frmula de la pendiente se tiene que m
y y1 y 350
40 ,
x x1
x 5
71
b. El nmero de estudiantes que se registraron por correo previamente corresponde
al valor de y cuando x 0 , esto es 150 estudiantes.
constantes con a 0 .
Nota. El grfico de una funcin cuadrtica se conoce como parbola. El valor de a
determina si la parbola se abre hacia abajo o hacia arriba, esto se muestra en la
siguiente figura:
a 0
a0
Las parbolas son simtricas respecto a una recta. De manera intuitiva, esto significa
que si la grfica se doblara a lo largo de la recta de simetra, los dos lados coincidiran.
La recta de simetra para la parbola se llama eje de la parbola. El punto en el cual el
eje interseca a la parbola se llama vrtice de la parbola. El vrtice, por su parte, es el
punto ms bajo o ms alto de la parbola. El vrtice de la parbola tiene coordenadas
b 4ac b 2
V ,
.
4a
2a
Para trazar el grfico de una parbola se sigue los siguientes pasos:
Determinar si la parbola se abre hacia arriba o hacia abajo. Si a 0 la parbola se
abre hacia arriba, si a 0 la parbola se abre hacia abajo
Encuentre la interseccin con el eje y. Este clculo corresponde a f 0
72
Encuentre las intersecciones con el eje x. Si existen, estas intersecciones
corresponden al clculo de f x 0
b 4ac b 2
Encuentre el vrtice. Este se calcula con la expresin V ,
4a
2a
Complete la grfica.
Si se considera el caso en que el costo variable por unidad del artculo es constante, en
este caso, los costos variables totales son proporcionales a la cantidad de artculos
producidos. Si m denota el costo variable por unidad, entonces los costos variables
totales al producir x unidades de artculos son mx (en dlares). Si los costos fijos son
de b dlares, se desprende que el costo total y (en dlares) de producir x unidades esta
dado por:
costo total=costos totales variables + costos fijos
73
y c mx b
Obsrvese que m representa el costo variable por unidad y b representa la ordenada al
origen representando los costos fijos.
Ejemplo.
El costo variable de procesar un Kilo de granos de caf es $5 y los costos fijos son de
$30.
1. Determine la ecuacin de costo lineal y dibuje la grfica
2. determine el costo de procesar 10 Kilos de granos de caf en un da.
Solucin.
1. Si yc representa el costo total de procesar x Kilos de caf por da, se tiene:
y c mx b
m=costo variable por unidad=$5
b=costo fijo=$30
Por tanto: y c 5x 30
Grficamente:
x
0
1
Y
30
35
74
2. Sustituyendo x 1000 , se obtiene que y c 5 10 30 80 . El costo de procesar
1000 Kilogramos es 800000.
75
Representando grficamente se tiene que:
y c 15x 20
x y
0 20
1 35
y r 20x
x y
0 0
1 20
ganancia
prdida
76
disminuye, porque menos consumidores podrn adquirirlo, mientras que si el precio por
unidad disminuye, (es decir, el artculo se abarata) la demanda se incrementar. En otras
palabras, la pendiente m de la ecuacin de demanda es negativa. De modo que su
grafica tiene una inclinacin hacia la derecha como se muestra en la siguiente figura:
x 0
Puesto que el precio (p) por unidad y la cantidad (x) demandada son nmeros no
negativos, la grfica debe dibujarse solo en el primer cuadrante.
La cantidad de un artculo determinado que sus proveedores estn dispuestos a ofrecer
depende del precio al cual puedan venderlo.
Una relacin que especifique la cantidad de cualquier artculo que los fabricantes (o
vendedores) pueden poner en el mercado a varios precios se denomina ley de la oferta.
La grfica de la ley de oferta se denomina curva de oferta. En general, los proveedores
inundarn el mercado con una gran cantidad de artculos, si se puede ponerle un precio
alto, y con una cantidad ms pequea de artculos si el precio obtenido es ms bajo. En
otras palabras, la oferta aumenta al subir el precio. Una curva de oferta lineal tpica se
aprecia en el siguiente grfico:
p 1
77
El precio p 1 corresponde a un precio por debajo del cual los proveedores no ofrecen
el artculo.
Ejemplo. Un comerciante puede vender 20 rasuradoras elctricas al da al precio de $25
cada una, pero puede vender 30 si les fija un precio de $20 a cada rasuradora elctrica.
Determinar la ecuacin de la demanda, suponiendo que es lineal.
Solucin.
Considerando x como la abscisa y el precio p por unidad como la ordenada los dos
puntos sobre la curva de demanda tienen coordenadas.
x 20 , p 25 y x 30 , p 20 , de modo que los puntos son 20, 25 y 30, 20 .
Utilizando la ecuacin de la pendiente:
y 2 y1 20 25
5
0.5
x 2 x1 30 20
10
y y1 y 25
m
0.5
x x1 x 20
m
y 25 0.5 x 20
y 0.5x 35
p
35
34.5
78
oferta
Punto de equilibrio
demanda
79
Ejemplo. Determine el precio de equilibrio y la cantidad de equilibrio de las leyes de la
oferta y la demanda siguiente:
Demanda: p 25 2x
Oferta: p 3x 5
Solucin.
Igualando los valores de p y resolviendo la ecuacin resultante para x se tiene que x 4
, reemplazando este valor en cualquiera de las ecuaciones, de oferta o demanda, se tiene
que p 17 .
Representando grficamente se tiene que:
p 25 2x
x y
0 25
1 23
p 3x 5
x y
0 5
1 8
80
Bibliografa
Millar. Matemtica, razonamiento y aplicaciones. Editorial PEARSON. 1999
Tetra. Algebra lineal. Editorial HARLA. 1976
Gortaire. Matemticas superiores. PROCIENCIA EDITORES, 2003
Haeussler. Matemticas para administracin y economa. Editorial PEARSON. 2003
ndice general
1.
Lgica Matemtica..........................................................................................................1
1.1. Proposiciones..........................................................................................................1
1.2. Conectivos Lgicos................................................................................................4
1.3. Tablas de verdad de las proposiciones compuestas................................................8
1.3.1. Tautologas y contradicciones.......................................................................10
1.4. Cuantificadores.....................................................................................................10
2. Conjuntos...................................................................................................................13
2.1. Conceptos Bsicos................................................................................................14
2.2. Diagramas de Venn y subconjuntos......................................................................17
2.3. Algebra de conjuntos............................................................................................20
2.3.1. Complemento................................................................................................21
2.3.2. Interseccin....................................................................................................22
2.3.3. Unin.............................................................................................................23
2.3.4. Diferencia......................................................................................................25
2.4. Aplicaciones de la teora de conjuntos.................................................................26
3. Nmeros reales...........................................................................................................29
3.1. Operaciones en los nmeros reales.......................................................................31
3.1.1 Propiedades de la adicin...............................................................................31
3.1.2. Propiedades del producto..............................................................................31
3.1.3. Operaciones derivadas...................................................................................32
3.1.4. Potenciacin y radicacin..............................................................................34
3.2. Orden de los nmeros reales.................................................................................36
3.3. Logaritmos............................................................................................................39
4. Ecuaciones..................................................................................................................41
4.1. Ecuaciones lineales y cuadrticas.........................................................................42
4.1.1. Ecuaciones lineales........................................................................................42
4.1.2. Ecuaciones cuadrticas..................................................................................44
4.2. Ecuaciones exponenciales y logartmicas............................................................46
2
4.2.1. Ecuaciones exponenciales.............................................................................46
4.2.2. Ecuaciones logartmicas................................................................................49
5. Sistemas de ecuaciones lineales................................................................................51
5.1. Ecuaciones lineales...............................................................................................51
5.2. Sistemas de ecuaciones lineales...........................................................................54
5.3 Reduccin a la Forma Fila-Escalonada.................................................................56
6. Aplicaciones................................................................................................................66
6.1. Funciones lineales y cuadrticas..........................................................................66
6.1.1. Funciones lineales.........................................................................................68
6.1.2. Funciones cuadrtica.....................................................................................71
6.2. Aplicaciones a la administracin..........................................................................72
6.2.1. Modelos de Costo Lineal...............................................................................72
6.2.2. Anlisis del punto de equilibrio.....................................................................74
6.2.3. Oferta y demanda..........................................................................................75
6.2.4. Punto de equilibrio en el mercado.................................................................78
Bibliografa.....................................................................................................................80