Documentos de Académico
Documentos de Profesional
Documentos de Cultura
matemáticas
Introducción 3
1.4. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
III
IV ÍNDICE GENERAL
2.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.1. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
VII
VIII ÍNDICE DE FIGURAS
3.35. Ilustración de los ángulos formados por una secante a dos rectas . . . . . 118
3.63. Ilustración de arcos de longitudes diferentes subtendidos por el mismo ángulo central155
4.9. Distancia entre dos puntos con igual abscisa o igual ordenada . . . . . . 180
5.6. Ilustración deducción recta tangente a la parábola en el punto (m, am2 ). . 233
6.2. El vector v traslada al punto R a la posición S, igualmente sucede en los demás casos.240
6.3. Ilustración del efecto del producto escalar dependiendo del signo de t. . . 243
6.4. Ilustración de la suma de vectores por el traslado de uno de ellos, al extremo final del otro.244
6.5. Suma de vectores como diagonal del paralelogramo determinado por estos. 244
6.8. Ilustración del signo del producto interno de dos vectores. . . . . . . . . . 252
6.9. Cambio a coordenadas de igual orientación, una traslación seguida de una rotación257
6.10. Cambio a coordenadas de orientación opuesta, una traslación seguida de una rotación y una reflex
ÍNDICE DE FIGURAS 1
6.12. Ilustración del significado geométrico de los vectores columna en una matriz ortogonal como base
El presente texto contiene las notas para el curso de introduccón a las matemáticas
presentado a los estudiantes de los programas de astronomı́a y fı́sica de la Universidad
de Antioquia durante el semestre 2019-2. Nada es original de mi parte, excepto quizás
la decisión arbitraria de los temas a incluir y el orden de presentación de los mismos.
Con el propósito de capacitar al estudiante para el análisis y la elaboración de argumentos
lógicos, en la parte inicial se introducen los conceptos básicos relacionados al cálculo de
predicados y la teorı́a intuitiva de conjuntos. Luego, con base en las destrezas de inter-
pretación y argumentación presentadas en la parte inicial, y a fin, tanto de ponerlas en
practica como de desarrollar la intuición geométrica del estudiante, se procede a presen-
tar las nociones fundamentales de la geometrı́a euclidiana. Con el propósito de que el
estudiante entienda y elaboré argumentos un poco más operativos, en los capı́tulos finales
procedemos al estudio de los aspectos fundamentales de la geometrı́a analı́tica, el álgebra
de vectores en el plano y sus transformaciones.
Quiero dejar registro de mis agradecimientos a todos los estudiantes participes del
curso quienes ayudaron en la edición de este manuscrito; asimismo, agradecer a la facul-
tad de ciencias exactas y naturales de la Universidad de Antioquia, por brindar el tiempo
necesario dentro de mi plan de trabajo para la elaboración del mismo.
3
4 INTRODUCCIÓN
Capı́tulo 1
Esta primera parte del curso, ha sido tomada de un manuscrito para el curso de In-
troducción al Cálculo redactado con el amigo, colega y gran matemático Diego Alejandro
Mejı́a.
Clase 1
El conjunto de los números naturales surge ante la necesidad de contar. Como con-
secuencia, los naturales sirven para designar el número de elementos de un conjunto finito
1
2 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
N = {1, 2, 3, 4, . . .}.
Los números naturales no son suficientes para modelar algunas situaciones del co-
tidiano. Por ejemplo en ocasiones se hace necesario expresar numéricamente cantidades
opuestas entre sı́, tal es el caso de la altura y la profundidad con relación a cierto punto; la
temperatura por encima o por debajo de un valor de equilibrio térmico. Surge la necesidad
de otro conjunto numérico en el cual estas situaciones tengan cabida. Los números enteros
que denotaremos por Z, es decir,
Notamos que cada número natural es un número entero, esto es, el conjunto de los
números naturales está incluido en el conjunto de los números enteros, lo cual se escribe
como:
N ⊆ Z.1
Q = { ab : a, b ∈ Z y b 6= 0}.
Una representación geométrica de los números reales es la recta real, que se ilustra
a seguir. Cada número real representa un punto único en dicha recta y viceversa, a cada
punto de la recta le corresponde uno y sólo un número real.
b b b b b b b
√ R
−2 − 12 0 1 1 2 5
2 2
1. Letras (Predicativas). Usamos las letras del alfabeto para respresentar afirmaciones a
4
Proviene del griego logos, que significa “palabra, pensamiento, argumento”.
1.2. EL CÁLCULO PROPOSICIONAL 5
P : 1 + 1 = 2.
Q : Está lloviendo.
R : Las vacas vuelan.
Los siguientes signos los llamaremos sı́mbolos lógicos, los cuales son operadores
que se aplican a afirmaciones para modificar su valor de verdad. Cada sı́mbolo lógico tiene
su propio significado y su tabla de verdad, la cual se define en relación a su significado.
P ¬P
V F
F V
P : 1+1=2
Q : Está lloviendo.
1
R: 4
∈Z
S : El ser humano es un mamı́fero.
1
entonces P ∨ R significa “1 + 1 = 2 ó 4
∈ Z”, la cual es una afirmación verdadera,
pues al menos 1 + 1 = 2 es verdad; Q ∨ S significa “está lloviendo o el ser humano
es un mamı́fero”, lo cual es verdad, ya que “el ser humano es un mamı́fero” es verdad,
sin importar qué valor de verdad tome Q. En caso en que no estuviese lloviendo en
este momento, Q ∨ R es una afirmación falsa, pues ninguna de las dos opciones Q ni
R son verdaderas. De forma esquemática, para dos afirmaciones arbitrarias P y Q,
presentamos la tabla de verdad de la disyunción como5
P Q P ∨ Q
V V V
V F V
F V V
F F F
5
En la lógica clásica la disyunción se toma inclusiva, es decir, que es verdadera incluso cuando P y Q
son verdaderas. Una disyunción exclusiva es verdad cuando sólo una de las dos opciones es verdadera. Más
adelante será evidente que la disyunción exclusiva está representada por la tabla de verdad de ¬(P ⇔ Q).
1.2. EL CÁLCULO PROPOSICIONAL 7
P Q P ∧ Q
V V V
V F F
F V F
F F F
P Q P ⇒Q
V V V
V F F
F V V
F F V
Por ejemplo,
P : 4 divide a 3
Q : 3 es par
R : Sócrates es hombre
S : Sócrates es mortal
Ejemplo 1.2.2. Sea P la afirmación “n es divisible por 6”y sea Q “n es divisible por
3”. Es claro que P ⇒ Q se lee “si n divisible por 6, entonces es divisible por 3 ”. Esta
es verdad. Ası́ que podemos afirmar que “es suficiente que n sea divisible por 6 para
1.2. EL CÁLCULO PROPOSICIONAL 9
que sea divisible por 3”, o también que “se necesita que n sea divisible por 3 para que
sea divisible por 6”.
P Q P ⇔Q
V V V
V F F
F V F
F F V
P : 6 es par
Q : 6 es divisible por 4
R : n es impar
S : n deja residuo 1 al dividirse por 2
de donde P ⇔ Q es falsa, pues P es cierta y Q es falsa, dando lugar a que ambas no
tienen el mismo significado. Por otra parte, R ⇔ S es verdadera, pues para los números
10 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
enteros significa lo mismo ser impar a dejar residuo 1 al dividirse por 2. Dependiendo
del valor de n, ambas afirmaciones R y S tendrán el mismo valor de verdad V ó F, lo
cual las hará equivalentes.
Clase 2
Combinando los elementos del lenguaje del Cálculo Proposicional, podemos cons-
truir afirmaciones más complejas a las cuales se les puede asociar una tabla de verdad.
P Q ¬P ¬P ∨ Q (¬P ∨ Q) ∧ P
V V F V V
V F F F F
F V V V F
F F V V F
P Q (¬P ∨ Q) ∧ P
V V V
V F F
F V F
F F F
12 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
P Q (¬P ∨ Q) ∧ P P ∧ Q ((¬P ∨ Q) ∧ P ) ⇔ (P ∧ Q)
V V V V V
V F F F V
F V F F V
F F F F V
Ejemplo 1.2.6. Del ejemplo anterior se sigue que la expresión (¬P ∨ Q) ∧ P ) no es tau-
tologı́a ni contradicción, por lo tanto es una contingencia.
P ¬P P ∨ ¬P P ⇒P P ⇔P P ∧ ¬P P ⇔ ¬P
V F V V V F F
F V V V V F F
P Q ¬Q P ⇒Q P ∧ ¬Q (P ⇒ Q) ∧ (P ∧ ¬Q)
V V F V F F
V F V F V F
F V F V F F
F F V V F F
Las tautologı́as son las afirmaciones más importantes en la lógica simbólica ya que,
como son verdaderas independientemente del valor de verdad de sus letras, se consideran
como leyes del razonamiento y, por lo tanto, son afirmaciones que describen la naturaleza
de los sı́mbolos lógicos y sus propiedades. Las contradicciones tienen una importancia
equivalente porque toda contradicción equivale a la negación de una tautologı́a.
(o) (P ∨ P) ⇔ P.
(p) (P ∧ P) ⇔ P.
Observación 1.2.9. En adelante, decimos que dos afirmaciones son equivalentes cuando
la equivalencia entre ambas sea una tautologı́a. Según el resultado anterior, P ∧ Q equi-
vale a Q ∧ P , ¬¬P equivale a P , etcétera. Por otra parte, como ∨ y ∧ son opedores
asociativos, no habrá confusión al escribir (P ∨ Q ∨ R) ni (P ∧ Q ∧ R) sin indicar cuál
sı́mbolo lógico aplica primero.
En la Proposición 1.2.11 es claro que todas las reglas de inferencia tienen la forma
(H1 ∧ H2 ∧ · · · ∧ Hn ) ⇒ C, es decir, un antecedente formado por conjunciones de varias
fórmulas y un consecuente. En estas implicación, H1 , . . . , Hn representan hipótesis que
permiten concluir C. Una forma esquemática en la cual podemos escribir que las hipótesis
H1 ∧ H2 ∧ · · · ∧ Hn implican a C es
H1
H2
·
Hipótesis
·
·
Hn
C Conclusión.
16 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
Por ejemplo, las primeras tres reglas de inferencia en 1.2.11 se representan, es-
quemáticamente, por
Estos esquemas son importantes para proponer una forma de escritura con la cual
se pueden verificar implicaciones sin utilizar tablas de verdad. Lo anterior se reduce en el
siguiente resultado.
En un primer curso basado en este texto, no se espera que el lector entienda di-
rectamente el enunciado anterior, sino que basta con que comprenda prácticamente su
aplicación mediante los siguientes ejemplos.
B : La máquina es barata.
E : La máquina consume mucha energı́a.
P : La máquina es productiva.
R : La máquina es roja.
Luego, la deducción se puede escribir, en forma esquemática, ası́
1. (B ∨ E) ⇒ ¬P Hipótesis
2. R ⇒ P Hipótesis
3. B Hipótesis
4. B ∨ E 3, adición
5. ¬P 1,4, modus ponens
6. ¬P ⇒ ¬R 2, contrarrecı́proco
7. ¬R 5,6, modus ponens.
S ⇒ (P ∨ Q)
S
¬P
Q
1. S ⇒ (P ∨ Q) Hipótesis
2. S Hipótesis
3. ¬P Hipótesis
4. P ∨ Q 1,2, modus ponens
5. Q 3,4, eliminación de falsa en ∨ .
En resumidas cuentas, para efectuar una deducción lógica como en los ejemplos
anteriores, tenemos en cuenta las siguientes instrucciones:
2. justificar, mediante reglas de inferencia, una nueva afirmación en base a las anteriores,
Aunque todos los razonamientos de los ejemplos anteriores pueden efectuarse me-
diante tablas de verdad, optamos a dejar de lado esta forma de razonamiento por dos
razones. La primera es que, a partir de la próxima sección, extenderemos el lenguaje de
la lógica con el fin de describir el lenguaje de las matemáticas, de modo que en este punto
las tablas de verdad dejan de funcionar como forma de razonamiento, aunque si se pre-
servan las técnicas de razonamiento planteadas en esta sección. La segunda razón es que,
cuando las afirmaciones contienen muchas letras, la tabla de verdad contiene demasiadas
filas, lo cual se vuelve tedioso de analizar a comparación del método por deducciones.
1.3. DEDUCCIONES LÓGICAS 19
Por ejemplo, si una afirmación tiene 3 letras, su tabla de verdad tiene 8 filas, con 4 letras
resulta una tabla de 16 filas, con 5 letras una tabla de 32 filas y, con 6 letras, una tabla de
64 filas.
20 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
Clase 3
1.4. Cuantificadores
P (x) : x2 ≤ 3
ya que se considera que la afirmación depende de x. Ésta notación permite también deter-
minar la fórmula que resulta al dar un valor a x. Por ejemplo, P (3) representa 32 ≤ 3, es
decir, dar el valor 3 a la variable x. También P (−1) representa (−1)2 ≤ 3 y P (y + 1) es
(y + 1)2 ≤ 3. Aquı́ es claro que P (3) es falsa, P (−1) es verdadera y P (y + 1) depende
del valor de y.
6
En la sección anterior nos permitimos este tipo de asignación con el fin de ilustrar los métodos del
Cálculo Proposicional.
1.4. CUANTIFICADORES 21
∀ el cuantificador universal.
∃ el cuantificador existencial.
Dada una afirmación P (x) que depende de la variable x, utilizamos los cuantificadores
para abreviar las siguientes afirmaciones
Ejemplo 1.4.2. Según el ejemplo previo a la definición, ∀n (Q(n) ⇒ P (n)) significa, te-
niendo en cuenta a n como número entero, que “todos número entero divisible por 6 es
divisible por 3”, lo cual es verdad en matemáticas. ∃n (P (n) ∧ ¬Q(n)) significa “existe un
entero divisible por 3 y no divisible por 6”, lo cual también es verdad. ∀x (R(x) ⇔ S(x))
22 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
significa, teniendo en cuenta la variable x como seres humanos, que “toda persona vive
en Medellı́n si y solo si conoce el pueblito paisa”, lo cual es falso ya que hay personas que
viven en Medellı́n y no conocen el pueblito paisa (algunos recién nacidos, por ejemplo) y
hay turistas que conocen el pueblito paisa y no viven en Medellı́n.
Observación 1.4.3. Cuando una fórmula tiene un cuantificador, la variable que aplica ese
cuantificador pierde significado material ya que se convierte solo en una referencia para
el cuantificador. Nótese del ejemplo anterior que ∀x (R(x) ⇔ S(x)) se lee “toda persona
vive en Medellı́n si y solo si conoce el pueblito paisa”, no necesariamente se escribió co-
mo “toda persona x vive en Medellı́n si y solo si conoce el pueblito paisa”, pues el x es
reduntande ya que se refiere a personas. Además, si cambiamos la variable x por z y es-
cribimos ∀z (R(z) ⇔ S(z)), esto se lee “toda persona vive en Medellı́n si y solo si conoce
el pueblito paisa”, es decir, significa exactamente lo mismo que ∀x (R(x) ⇔ S(x)), por lo
cual la variable x o z no tienen importancia en el significado material de la afirmación,
sino que sirve como referencia para indicar “todas las personas”.
Ejemplo 1.4.6. Denotemos por Z al conjunto de los números enteros, por U al conjunto
de los humanos y R el conjunto de los números reales. De los ejemplos anteriores, es más
adecuado escribir ∀n∈Z (Q(n) ⇒ P (n)) (todo número entero divisible por 6 es divisible
por 3), ∃n∈Z (P (n) ∧ ¬Q(n)) (existe un número entero divisible por 3 pero que no es di-
visible por 6), ∀x∈U (R(x) ⇔ S(x)) (toda persona vive en Medellı́n si y solo si conoce el
pueblito paisa) y ∀x∈R (x2 ≥ 0) (todo número real al cuadrado es mayor o igual que 0).
Definición 1.4.7 (Existencia única). Dada una afirmación P (x) y un conjunto U, denota-
mos por
∃!x P (x) existe un único objeto que cumple P (x).
∃!x∈U P (x) existe un único objeto en U que cumple P (x).
∃! se denomina el cuantificador de existencia única y ∃!x∈U es el cuantificador acotado
de existencia única.
En esta nueva notación también se puede determinar cuándo una afirmación es ver-
dadera, pero en estos casos no las llamamos tautologı́a puesto que en matemáticas no se
razona en base a las tablas de verdad. En este caso la noción de verdad tiene otro signifi-
cado que, incluso, está ligado a una teorı́a.
Directamente, todas las tautologı́as son teoremas del Cálculo de Predicados. De los
ejemplos anteriores, “todo número entero divisible por 6 es divisible por 3”, “existe un
número entero divisible por 3 que no es divisible por 6”, “todo número real elevado al
cuadrado es mayor o igual que 0”y ∃!z∈R ∀x∈R (x + z = x) son teoremas de las matemáti-
cas.
Proposición 1.4.10 (Negación cuantificadores). Los siguientes son teoremas del Cálculo
de Predicados.
(c) (¬∀x∈U P (x)) ⇔ ∃x∈U (¬P (x)) (negación del cuantificador univeral acotado).
(d) (¬∃x∈U P (x)) ⇔ ∀x∈U (¬P (x)) (negación del cuantificador existencial acotado).
Justificación (no formal). (a) ¬∀x P (x) significa que no todo objeto cumple P (x). Esto,
dicho de otra forma, significa que hay un objeto que no cumple P (x) lo cual es, exac-
tamente, ∃x (¬P (x)). Por lo tanto, ambas expresiones tienen el mismo significado, es
decir, son equivalentes.
(b) ¬∃x P (x) significa que no existe un objeto que cumple P (x), dicho de otra forma,
ningún objeto cumple P (x). Ésto da a entender que todos los objetos no cumplen
P (x), es decir ∀x (¬P (x)). Por lo tanto, ambas afirmaciones tienen el mismo signifi-
cado.
Observación 1.4.11. Nótese que ∃x P (x) equivale a ¬∀x ¬P (x). En efecto, ∀x ¬P (x)
equivale a ¬∃x P (x) y, por lo tanto, ¬∀x ¬P (x) equivale a ¬¬∃x P (x), lo cual equivale
a ∃x P (x). Lo anterior indica que el ∃ se puede definir en términos de ∀. Por lo tanto, todo
el Cálculo de Predicados se puede construir sólo con los sı́mbolos ¬, ∨ y ∀.
Podemos notar que las dos primeras afirmaciones significan lo mismo, al igual que las
dos últimas. Esto es un indicio de que el orden de los cuantificadores del mismo tipo no
importa en una afirmación. Sin embargo, la tercera afirmación no significa lo mismo que
la cuarta, y la quinta no significa lo mismo que la sexta, lo cual es evidencia de que el
orden si importa para cuantificadores de distinto tipo. El siguiente resultado ilustra estos
hechos.
(a) (∀x ∀y P (x, y)) ⇔ ∀y ∀x P (x, y) (conmutatividad de cuantificadores del mismo tipo).
(b) (∃x ∃y P (x, y)) ⇔ ∃y ∃x P (x, y) (conmutatividad de cuantificadores del mismo tipo).
Ejemplo 1.4.14. Veamos que ∀x∈R (x2 > 1) es falsa. Esto es claro porque (0,5)2 < 1.
Ası́, 0,5 es un contraejemplo de ∀x∈R (x2 > 1).
Ejemplo 1.4.15. Sea P (n) “n es par” y Q(n) “n es divisible por 4”. Veamos que la
afirmación ∀n∈Z (P (n) ⇒ Q(n)) es falsa. Para esto, basta hallar un contraejemplo, el cual
puede ser 2, 6, 10, 14, entre otros. En particular, P (2) ∧ ¬Q(2) es cierto, o lo que es lo
mismo, ¬(P (2) ⇒ Q(2)) (negación de la implicación).
Al encontrar un objeto en U que cumpla ¬P (x) se está probando que ∃x∈U ¬P (x)
es verdadera, lo cual equivale a ¬∀x∈U P (x). Por esta razón, basta hallar un contraejemplo
para verificar que ∀x∈U P (x) es falsa.
El objetivo principal de esta sección será mostrar los diferentes métodos para ge-
nerar demostraciones de afirmaciones en matemáticas. Antes de proceder, fijaremos la
notación y expondremos algunos teoremas matemáticos iniciales sin demostración, esto
con el fin de tener un punto de partida.
1.5. MÉTODOS DE DEMOSTRACIÓN 27
El residuo es lo que le falta al producto del conciente con el divisor para llegar al
dividendo. En este caso, a 5 · 214 (lo cual es 1070) le faltan 3 para llegar a 1073. Ésto se
expresa como 1073 = 5 · 214 + 3. De forma general, si a y b son enteros con b 6= 0, al
efectuar la división entre a con b resulta un cociente que llamaremos q y un residuo que
llamaremos r. De este forma, se tiene el esquema
dividendo a b divisor
residuo r q cociente
Por ejemplo, 5 ∤ 1073, pues al dividir 1073 entre 5 deja residuo 3, mientras que
7 | 343, pues al dividir 343 entre 7 deja residuo 0 y cociente 49, es decir, 343 = 7 · 49, por
lo cual ∃k∈Z (343 = 7k) (dicho k es 49).
Es de conocer que un número es par cuando es divisible por 2, es decir, que deja
residuo 0 al dividirse por 2. De este modo, un entero n es par si y solo si 2 | n, es decir,
7
la expresión sii abrevia “si y solo si”.
1.5. MÉTODOS DE DEMOSTRACIÓN 29
Definición 1.5.5 (Par,Impar). Un entero n es par sii ∃k∈Z (n = 2k). n es impar sii
∃k∈Z (n = 2k + 1).
Clase 4
Proposición 1.5.9 (Método directo-Variación 1). Para demostrar ∀x (P (x) ⇒ Q(x)) bas-
ta tomar a P (x) como hipótesis y concluir Q(x).
Proposición 1.5.10 (Método directo-Variación 2). Para demostrar ∀x∈U Q(x) basta tomar
a x ∈ U como hipótesis y concluir Q(x).
1.5. MÉTODOS DE DEMOSTRACIÓN 31
Como primer ejemplo, vamos a utilizar el método directo para probar que todos
los enteros dividen al cero8 . Al escribir esta afirmación en lenguaje matemático, resul-
ta ∀n∈Z (n | 0). La segunda variación del método directo da la pauta para probar esta
afirmación, a saber, tomar a n ∈ Z como hipótesis y concluir n | 0.
Ahora vamos a demostrar que el producto de dos números enteros impares tiene
que ser impar. En lenguaje matemático, ésto se expresa como
Según la primera variación del método directo, esto se prueba al tomar a y b impares,
como hipótesis, y concluir que ab es impar.
Como último ejemplo, vamos a probar que la suma de un entero impar con un par
resulta ser impar. En lenguaje matemático, ésto se enuncia como
Al recurrir de nuevo a la primera variación del método directo, nos damos cuenta que su
demostración consta de suponer como hipótesis m impar y n par, para concluir m + n
impar.
Teorema 1.5.14. La suma de un entero impar con uno par es un entero impar.
Es claro que los teoremas probados son hechos intuitivamente claros sobre núme-
ros enteros, por lo cual puede sorprender el porqué de ofrecer una técnica para justificar
su verdad. El hecho principial, especı́ficamente para estos teoremas, es que se trata de
1.5. MÉTODOS DE DEMOSTRACIÓN 33
justificar un enunciado que cumplen infinita cantidad de números. Por ejemplo, para el
último teorema, sabemos que hay infinitos números pares e infinitos impares. Por lo tan-
to, una demostración para el Teorema 1.5.14 no puede ser ası́: “por ejemplo, 5 + 4 = 9,
−9 + 8 = −1, 9 + 0 = 9, etc, entonces la experiencia nos indica que la suma de un impar
con un par es impar”. Esto no es válido por el “etcetera”, pues si de esa forma se quiere
ver que en todos los casos se cumple la afirmación, habrı́a que sumar todos los impares
con todos los pares y llegar a que todas esas sumas resultan un impar. El problema radica
en que hay que hacer infinitas sumas, lo cual es humanamente imposible. La experiencia
no es evidencia suficiente para probar un teorema, realmente hay que dar una justificación
fuerte y concisa como las que hemos expuesto. Por eso es que nuestra demostración toma
un m impar, un n par, y procede a verificar que su suma es impar, pues aquı́ m y n son
representantes variables de enteros, es decir, representan a cualquiera, lo cual verifica, en
un solo caso, todas las infinitas posibilidades.
Demostración. Sea a ∈ Z. Del Corolario 1.5.13 se tiene a impar ⇒ a2 impar. Luego, por
contrarrecı́proco, (¬(a2 impar)) ⇒ ¬(a impar), es decir a2 par ⇒ a par, lo cual prueba el
resultado.
a2 = (2k)2 = 4k 2 = 2(2k 2 ).
Definición 1.5.18 (Máximo común divisor). Dados dos enteros a y b, el máximo común
divisor de a y b, denotado por mcd(a, b), es el máximo entero no negativo que divide a a
y b. En lenguaje matemático,
d = mcd(a, b) ⇔ d ≥ 0 ∧ d | a ∧ d | b ∧ ∀c∈Z ((c | a ∧ c | b) ⇒ c ≤ d) .
Definición 1.5.19 (Primos relativos). Decimos que dos enteros a y b son primos relativos
si y solamente si, mcd(a, b) = 1, es decir, el único entero positivo en común que los divide
es el 1.
Por ejemplo mcd(16, 88) = 8, mcd(2, 11) = 1 y mcd(−7, 343) = 7. Aquı́ podemos
observar que 2 y 11 son primos relativos. Como ejemplo, probado con método directo,
tenemos lo siguiente.
a
∀q∈Q ∃!a∈Z ∃!b∈Z (q = ∧ b > 0 ∧ mcd(a, b) = 1).
b
Es cierto que hay infinitas formas de expresar un número racional. Por ejemplo, si
15 10 40 −500
q= 9
, éste también es igual a , ,
6 24 −300
, etc. Pero entre esas infinitas formas existen
36 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
5 −5
solo dos que no se pueden simplificar, a saber, 3
y −3
. Entre éstas, solo una tiene deno-
minador positivo, 53 , el fraccionario al cual se refiere el teorema anterior (nótese que 5 y
3 son primos relativos). Con este ejemplo ilustramos que el anterior teorema dice que un
fraccionario se puede simplificar de manera única con el denominador positivo. También
se sabe que, en un fraccionario simplificado, el numerador y denominador son primos
relativos.
√
Demostración. Supongamos, por lo contrario, que 2 es racional. Por el Teorema 1.5.21
√
existen únicos enteros a y b primos relativos, con b > 0, tal que 2 = ab . Al elevar al
a2
cuadrado, obtenemos 2 = b2
, de donde a2 = 2b2 . De lo anterior se sigue que a2 es un
número par y, por el Teorema 1.5.15, a es par. Luego, por definición, a = 2k para algún
k ∈ Z y, como a2 = 2b2 , al sustituir a obtenemos (2k)2 = 2b2 , es decir, 4k 2 = 2b2 y,
al dividir por 2 en la igualdad, obtenemos 2k 2 = b2 . Lo anterior permite concluir que b2
es par, por lo que b es par según el Teorema 1.5.15. Ası́, como a y b son pares, del Lema
1.5.20 se sigue que a y b no son primos relativos, cuando si lo son. Este absurdo es el que
√
permite concluir que 2 es irracional.
Los métodos de demostración se pueden combinar para elaborar una sola prueba.
Por ejemplo, para probar P ⇒ Q podemos proceder por método directo y tomar a P como
hipótesis. Luego, para concluir Q, podemos proceder por reducción al absurdo y suponer
¬Q para llegar a una contradicción. Como ejemplo de este esquema tenemos el siguiente
resultado.
Clase 5
En la hipótesis tenemos P ∨ Q, es decir, uno de los dos casos P ó Q son ciertos. Pero
tanto el primer caso como el segundo implican a R, por lo cual, independiente del caso,
R es cierta y es la conclusión de la inferencia.
Demostración. Supongamos que a es par ó b es par. Analicemos cada caso por separado.
1.5. MÉTODOS DE DEMOSTRACIÓN 39
a es par. Por definición, a = 2k para algún k ∈ Z. Luego, ab = 2kb lo cual indica que
ab es múltiplo de 2, es decir, par (aquı́ se probó a par ⇒ ab par).
b es par. Por definición, b = 2t para algún t ∈ Z. Luego, ab = 2ta lo cual indica que ab
es múltiplo de 2, es decir, par (aquı́ se probó b par ⇒ ab par).
Definición 1.5.28 (Número primo). Sea n un entero mayor que 1. Decimo que n es primo
si sus únicos divisores son 1 y n. De lo contrario, n es compuesto.
“⇐” Supongamos que existen enteros a y b mayores que 1 tal que n = ab. Primero
veamos que a 6= n por reducción al absurdo. En efecto, si a = n entonces n = nb
y, como n es mayor que 1, se sigue que 1 = b, lo cual es absurdo (pues b > 1). Por
lo tanto, a 6= n.
Por otra parte, como n = ab, se tiene que a | n y a no es 1 (porque es mayor) ni n.
Por lo tanto, n tiene un divisor diferente de 1 y n, es decir, es compuesto.
La inducción matemática es una técnica poderosa para probar propiedades sobre los
números naturales.
(II ) (Paso inductivo) Q(n) ⇒ Q(n + 1) para cualquier n ∈ N (si n cumple la afirma-
ción, entonces n + 1 también la cumple)
se concluye que ∀n∈N Q(n), es decir, que Q(n) es cierta para todos los naturales.
42 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
Justificación (no formal). Supongamos que se cumple (i) y (ii). Veamos que, dado n ∈
N, Q(n) es cierta. Como (ii) muestra una implicación que se cumple para todos los núme-
ros naturales, las siguientes implicaciones son ciertas
luego, por la transitividad de ⇒ , se sigue Q(1) ⇒ Q(n). Por (i) y modus ponens, Q(n)
es cierta.
Paso inductivo. Supongamos Q(n), es decir, n < 2n (la llamamos hipótesis inductiva),
y veamos Q(n + 1), es decir, n + 1 < 2n+1 . En efecto,
2n+1 = 2n · 2 > n · 2 = n + n ≥ n + 1.
El primer “mayor que” se justifica por la hipótesis inductiva. Ası́, obtenemos n+1 <
2n+1 .
De esta forma, hemos visto que (i) y (ii) del principio de inducción se cumplen para Q(n).
Por lo tanto, concluı́mos que Q(n), es decir, n < 2n , es cierto para todo n ∈ N.
A primera vista, es tedioso realizar la suma de los números del 1 al 100. Sin embar-
go, hay una forma rápida e ingeniosa de efectuarla. Primero, sumemos los números entre
los primeros y los últimos, ası́
Aquı́ hay un total de 50 sumas. Pero cada una de ellas da 101. Por lo tanto, la suma de los
100·101
números del 1 al 100 es 50 · 101 = 2
. Este resultado permite pensar en una conjetura
para hallar una fórmula que exprese la suma de los números desde 1 hasta n para cualquier
número natural n.
n(n + 1)
1+2+···+n = .
2
n(n + 1)
Q(n) : 1 + 2 + · · · + n = .
2
1(1+1)
Paso base. Q(1) es 1 = 2
(la suma de 1 hasta 1), lo cual es cierto.
Paso inductivo. Supongamos Q(n) (hipótesis inductiva) y probemos Q(n+ 1). Q(n+ 1)
expresa el resultado de sumar los números desde 1 hasta n + 1. Según la hipótesis
inductiva, ya sabemos el valor al sumar hasta n, por lo cual solo falta sumar n + 1.
1 + · · · + (n + 1) = (1 + · · · + n) + (n + 1)
n(n+1)
= + (n + 1)
2
hipótesis inductiva
= (n + 1) n2 + 1 factor común n + 1
= (n + 1) n+2
2
(n+1)((n+1)+1)
= 2
Clase 6
Axioma de Extensionalidad. Dos conjuntos son iguales si tienen los mismos elementos.
1.6. TEORÍA DE CONJUNTOS INTUITIVA 45
Estos dos axiomas sugieren las dos formas en que se pueden definir conjunto.
Notación por Extensión. Consiste en definir un conjunto mediante la lista de sus ele-
mentos, colocándolos entre llaves10. Por ejemplo, A = {1, 2, 3}, B = {a, b} para
definir los conjuntos A y B, respectivamente. Es claro que 1 ∈ A, 4 ∈
/ A, a ∈ B,
c∈
/ B, 1 ∈
/ B.
{x ∈ A / P (x)}
y representa el conjunto cuyos elementos son los objetos de A que cumplen P (x).
Por ejemplo, {n ∈ Z / ∃k∈Z (n = 2k)} representa el conjunto de los números pares,
{x ∈ R / −1 < x < 3} representa el conjunto de los números reales entre −1 y 3
(el cual se denota por (−1, 3)).
Ejemplo 1.6.1. El axioma de Extensionalidad justifica que las siguientes parejas de con-
juntos son iguales, pues tienen los mismos elementos, a saber, {1, 2, 3} = {3, 1, 2},
{a, b, b} = {a, b}, {1, 2, 3, 4, 5} = {n ∈ Z / 1 ≤ n ≤ 5}. Vemos que un conjunto fini-
to siempre puede expresarse por extensión y comprensión. Otro ejemplo es
{n ∈ Z / n par} =
6 {2, 4, 6},
10
Para definir este tipo de conjuntos finitos con llaves, se necesitan otros axiomas de la teorı́a de conjun-
tos, a saber, el axioma de Pares y el axioma de Unión.
46 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
pues 8 es elemento del primer conjunto y no del segundo, dando lugar a que ambos no
tienen los mismos elementos.
En teorı́a de conjuntos se puede demostrar que existe un único conjunto que no tiene
elementos, es decir, ∃!y ∀x (x ∈
/ y). Por ejemplo, {x ∈ A / x 6= x} es un conjunto que no
tiene elementos.
Definición 1.6.2 (Conjunto vacı́o). Denotamos por ∅ al único conjunto que no tiene ele-
mentos.
A
1
b
b b
2 3
B
A
A⊆B
x∈A
x ∈ B.
Nótese que
A*B ⇔ ¬(A ⊆ B)
⇔ ¬∀x (x ∈ A ⇒ x ∈ B)
⇔ ∃x ¬(x ∈ A ⇒ x ∈ B) negación de ∀
⇔ ∃x (x ∈ A ∧ x ∈
/ B) negación de ⇒ .
Por lo tanto, A * B ⇔ ∃x (x ∈ A ∧ x ∈
/ B), es decir, A no está contenido en B si y solo
si existe un elemento en A que no pertenece a B.
Ejemplo 1.6.4. {0, 1} * {1, 2}, pues 0 está en el primer conjunto, pero no en el segundo.
N ⊆ Z, pues todos los naturales son enteros. {n ∈ Z / 4 | n} ⊆ {n ∈ Z / 2 | n}, ya
que todos los múltiplos de 4 son pares, pero {n ∈ Z / 2 | n} * {n ∈ Z / 4 | n}, pues
números como 6, 10, −14 están en el primer conjunto pero no en el segundo.
C
B
A
El inciso (d) sugiere una estrategia para probar la igualdad de dos conjuntos, la cual
se conoce por doble contención:
Clase 7
A ∪ B = {x / x ∈ A ∨ x ∈ B} Unión de A con B.
A ∩ B = {x / x ∈ A ∧ x ∈ B} Intersección de A con B.
A − B = {x / x ∈ A ∧ x ∈
/ B} Complemento de B respecto a A.
En cada diagrama de Venn, cada conjunto está representado por el área sombreada.
x∈A∪B ⇔x∈A∨x∈B
x∈A∩B ⇔x∈A∧x∈B
x∈A−B ⇔x∈A∧x∈
/ B.
11
La intersección y el complemento se pueden definir gracias al axioma de Comprensión. Sin embargo,
para definir la unión se necesita otro axioma que se conoce como el axioma de Unión.
1.6. TEORÍA DE CONJUNTOS INTUITIVA 51
x∈
/ A∪B ⇔ ¬(x ∈ A ∪ B) notación
⇔ ¬(x ∈ A ∨ x ∈ B) definición de unión
⇔ (x ∈
/ A∧x∈
/ B) ley D’Morgan.
Se puede garantizar que
x∈
/ A∪B ⇔x∈
/ A∧x∈
/B
x∈
/ A∩B ⇔x∈
/ A∨x∈
/B
x∈
/ A−B ⇔x∈
/ A ∨ x ∈ B.
Cuando A ∩ B = ∅ decimos que A y B son disjuntos, pues esto significa que no tienen
elementos en común.
A∩B =∅
A B
x ∈ A. Como A ⊆ B se sigue x ∈ B.
Concluı́mos que x ∈ B.
(b) A − A = ∅, A ∪ ∅ = A, A ∩ ∅ = ∅, A − ∅ = A, ∅ − A = ∅.
(g) A − B = A − (A ∩ B).
Demostración (no del todo formal). De manera no formal, estas igualdades se pueden
justificar mediante diagramas de Venn. Ilustramos cómo funciona este tipo de argumento
en cada caso, además que, en algunos, haremos la demostración formal.
(c) Mediante un diagrama de Venn es fácil verificar dichas igualdades, pero veamos la
conmutatividad de A ∩ B de manera formal.
x∈A∩B ⇔ x ∈ A ∧ x ∈ B Def. de ∩
⇔x∈B ∧ x ∈ A Conmutatividad de ∧
⇔x∈B∩A Def. de ∩.
A ∪ (B ∪ C) = (A ∪ B) ∪ C A ∩ (B ∩ C) = (A ∩ B) ∩ C
A B A B
54 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
De manera formal:
x ∈ A ∪ (B ∪ C) ⇔x∈A∨x∈B∪C def. de ∪
⇔ x ∈ A ∨ (x ∈ B ∨ x ∈ C) def. de ∪
⇔ (x ∈ A ∨ x ∈ B) ∨ x ∈ C asociatividad de ∨
(e) El área sombreada de los diagramas de Venn a la derecha evidencia que A∩(B ∪C) =
(A ∩ B) ∪ (A ∩ C).
A B∪C A ∩ (B ∪ C)
A B A B A B
C C C
A∩B A∩C (A ∩ B) ∪ (A ∩ C)
A B A B A B
C C C
El área sombreada de los diagramas de Venn a la derecha evidencia que A∪(B ∩C) =
(A ∪ B) ∩ (A ∪ C).
1.6. TEORÍA DE CONJUNTOS INTUITIVA 55
A B∩C A ∪ (B ∩ C)
A B A B A B
C C C
A∪B A∪C (A ∪ B) ∩ (A ∪ C)
A B A B A B
C C C
x ∈ A ∩ (B ∪ C) ⇔x∈A∧x∈B∪C def. de ∩
⇔ x ∈ A ∧ (x ∈ B ∨ x ∈ C) def. de ∪
⇔ (x ∈ A ∧ x ∈ B) ∨ (x ∈ A ∧ x ∈ C) distributividad
⇔x∈A∩B ∨ x∈A∩C def. de ∩
⇔ x ∈ (A ∩ B) ∪ (A ∩ C) def. de ∪.
(f) El área sombreada de los diagramas de Venn a la derecha evidencia que C −(A∩B) =
(C − A) ∪ (C − B).
56 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
C A∩B C − (A ∩ B)
A B A B A B
C C C
C−A C−B (C − A) ∪ (C − B)
A B A B A B
C C C
C A∪B C − (A ∪ B)
A B A B A B
C C C
C−A C−B (C − A) ∩ (C − B)
A B A B A B
C C C
1.6. TEORÍA DE CONJUNTOS INTUITIVA 57
x ∈ C − (A ∩ B) ⇔x∈C ∧ x∈
/ A∩B def. de −
⇔x∈C ∧ ¬(x ∈ A ∩ B) notación
⇔x∈C ∧ ¬(x ∈ A ∧ x ∈ B) def. de ∩
⇔x∈C ∧ (x ∈
/ A∨x∈
/ B) ley D’Morgan
⇔ (x ∈ C ∧ x∈
/ A) ∨ (x ∈ C ∧ x∈
/ B) distributividad
⇔x ∈C −A∨x∈ C −B def. de −
⇔ x ∈ (C − A) ∪ (C − B) def. de ∪.
A A∩B A − (A ∩ B) = A − B
A B A B A B
A − (A ∩ B) = (A − A) ∪ (A − B) por (f)
= ∅ ∪ (A − B) por (b)
= (A − B) ∪ ∅ por (c)
=A−B por (b).
Ejemplo 1.6.15. Los resultados anteriores se pueden utilizar para demostrar afirmaciones
sobre conjuntos. Por ejemplo,
A ∩ (A ∪ B) = (A ∩ A) ∪ (A ∩ B) ley distributiva
= A ∪ (A ∩ B) ya que A ∩ A = A,
58 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
Cuando los conjuntos en los que se trabajan están contenidos en un espacio especı́fi-
co (como R ó Z), es muy común adoptar la siguiente notación.
P = {n ∈ Z / n par}
I = {n ∈ Z / n impar}
C = {n ∈ N / n compuesto}
A′ = {x ∈ R / x ≥ 1} ∪ {x ∈ R / x ≤ 0} .
(b) ∅′ = U, U ′ = ∅.
(c) (A′ )′ = A.
(d) (A ∪ B)′ = A′ ∩ B ′ .
(e) (A ∩ B)′ = A′ ∪ B ′ .
Demostración (no del todo formal). En algunos casos justificaremos enunciados con
diagramas de Venn, en otros, formalmente.
A B
(c) Un diagrama de Venn hace obvio este resultado, pero veamos una prueba formal.
(A′ )′ = U − A′ def. de ′
= U − (U − A) def. de ′
= (U − U) ∪ (U ∩ A) igualdad C − (A − B) = (C − A) ∪ (C ∩ B)
= ∅ ∪ (U ∩ A) Teorema 1.6.14
=U ∩A Teorema 1.6.14
=A pues A ⊆ U y Lema 1.6.13.
60 CAPÍTULO 1. LÓGICA SIMBÓLICA Y DEMOSTRACIONES
(A ∪ B)′ = U − (A ∪ B) def. de ′
= (U − A) ∩ (U − B) D’Morgan
= A′ ∩ B ′ def. de ′
(A ∩ B)′ = U − (A ∩ B) def. de ′
= (U − A) ∪ (U − B) D’Morgan
= A′ ∪ B ′ def. de ′
Clase 8
2.1. Introducción
Dos cantidades variables pueden estar relacionadas de forma que a cada valor dado
de una de ellas le corresponda un valor totalmente definido de la otra. Tomemos por
ejemplo la expresión
y = 5t, (2.1)
61
62 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
si t = 1, y = 5 · 1 = 5,
si t = 2, y = 5 · 2 = 10.
En este caso vemos que hay una dependencia de la magnitud del espacio recorrido en re-
lación al tiempo. La opción de permitir cualesquier valor numérico a t sugiere se le llame
variable en este caso númerica. Asimismo, y es una variable y notamos que sus valores
dependen de los valores de t. Por esta razón, la variable y se denomina variable depen-
diente. Esta dependencia entre las variables se llama dependencia funcional, y significa
que la variable y está (o es función) en función de la variable t.
2.2. Relaciones
Un par ordenado1 es una pareja de objetos de tipo (x, y). Por ejemplo (4, 5) es
un par ordenado de números reales, (α, β) es un par ordenado de letras griegas. Los
elementos que forman un par ordenado son llamados coordenadas o componentes. En
el caso del par ordenado (4, 5), el número 4 se llama la primera coordenada o la primera
componente y el número 5 se llama la segunda coordenada o la segunda componente.
xRy ⇐⇒ (x, y) ∈ R,
o sea, dos objetos están relacionados si la pareja formada por ellos pertenece a la relación.
Ejemplo 2.2.2.
A = {x : x es oficina en la U de A }; B = N
A B
x 194717
y 195674
195678
z
Obviamente esta no es la única relación posibe entre estos conjuntos, podemos defi-
nir la relación S la cual asocia a cada oficina el número del bloque al que pertenece.
Ası́, (x, 4) ∈ S quiere decir que la oficina x se encuentra ubicada en el bloque
número 4; además si la oficina y está en el bloque 5 y la oficina z en el bloque 22,
tenemos que (y, 5), (z, 22) también están en S.
64 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
Algunos miembros de R son (1, 2), (2, 3), (−1, 0). Sin embargo, la pareja (2, 4)
no está en R ya que el valor de su segunda componente no es igual al valor de la
primera componente más 1.
Del ejemplo anterior observamos que dada una relación entre conjuntos A y B,
no es necesario que todos los elementos de A estén relacionados con elementos de B.
Asimismo, un elemento de A puede estar relacionado con varios elementos de B.
Definición 2.2.5. La relación inversa de una relación R se denota por R−1 y se define
como siendo la colección de pares ordenados que se obtienen invirtiendo el orden de
todas las parejas de R. Más especı́ficamente,
R−1 = (y, x) : (x, y) ∈ R ;
por lo tanto,
∀x ∀y (y, x) ∈ R−1 ⇐⇒ (x, y) ∈ R .
Suponga que son dadas las relaciones R y S; si además hay elementos a, b, c para los
cuales (a, b) ∈ R y (b, c) ∈ S, por lo tanto, es posible pensar en relacionar los elementos
a y c empleando el elemento b como “puente”, de este modo se obtiene la pareja (a, c); y
por ende una nueva relación, más especı́ficamente se tiene la siguiente definición
S ◦ R = (x, z) : existe y con (x, y) ∈ R ∧ (y, z) ∈ S .
Gráficamente es lo siguiente
R S
x y z
S◦R
2.2. RELACIONES 67
R = (a, b), (b, a), (b, b), (f, e), (e, d) , S = (b, )(b, ⋆), (a, ◦), (d, △) ,
entonces
S ◦ R = (a, ), (a, ⋆), (b, ◦), (b, ), (b, ⋆), (e, △)
R ◦ S = ∅.
(R ◦ S)−1 = S −1 ◦ R−1 .
⇐⇒ (z, x) ∈ S −1 ◦ R−1 .
68 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
2.2.1. Funciones
De las definiciones podemos deducir que todas las funciones son relaciones, pero
no todas las relaciones son funciones.
Los diagramas
f f
A B A B
1 a 1 a
2 b 2 b
3 3
c c
4 4
2
Se exigen conjunto no vacı́os por comodidad, pero hay consideraciones más generales en los cuales A
puede ser el vacı́o o ambos.
2.2. RELACIONES 69
f (1), f (2) = {a, b}.
idA
A A
1 1
2 2
3 3
4 4
f
A A
1 a
2 b
3 c
4
f : N −→ N ∪ {0}
n 7−→ n−1
a) f (5) = 5 − 1 = 4;
b) f (4) = 4 − 1 = 3.
f : N −→ N
n 7−→ n + 1
a) f (1) = 1 + 1 = 2;
c) la imagen inversa del conjunto formado por los números naturales pares P , es
el conjunto de los números naturales impares, a saber
f −1 (P ) = {n ∈ N : f (n) = n + 1 = 2k} = {n ∈ N : n = 2k − 1} = I.
72 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
7. La función valor absoluto se define mediante la asignación del valor absoluto a cada
número real, es decir
f : R −→ R
x 7−→ |x|
dado que |x| ≥ 0 para cada número real x, entonces Ran(f ) = {0}∪R+3 . Además,
{2, −2} es el conjunto de preimágenes de 2; más general {x, −x} es el conjunto de
preimágenes de x > 0.
√
f (x) = x.
Como solo es posible considerar la raı́z cuadrada de reales mayores o iguales que
cero, el dominio de esta función es el conjunto [0, ∞); además, Ran(f ) = {0}∪R+ ,
a saber, si y ≥ 0, entonces la ecuación
√
y = f (x) = x
p
tiene solución x = y 2 ≥ 0, o sea, f (y 2) = y 2 = |y| = y. De este modo,
f : [0, ∞) −→ [0, ∞)
√
x 7−→ x
√
g(x) = x2 − 4,
observese que g es definida sólo para los valores de x tales que x2 − 4 ≥ 0, esto
equivale con decir que (x − 2)(x + 2) ≥ 0, resolviendo esta desigualdad usando los
3
el sı́mbolo R+ denota el conjunto de los números reales que son mayores que cero.
2.2. RELACIONES 73
métodos convencionales
x+2 − − − + + + + + + + + +
x−2 − − − − − − − − − + + +
+ −2 − 0 − 2 + R
Por tanto, el dominio de la función g es el conjunto (−∞, −2] ∪ [2, ∞). El valor
numérico de la función en x = 3 coincide con el de x = −3 en efecto
» √ √
g(−3) = (−3)2 − 4 = 5= 32 − 4 = g(3).
Más general, el valor numérico de todo número x ≥ 2 coincide con el de −x, pues
» √
g(−x) = (−x)2 − 4 = x2 − 1 = g(x).
9. La función f (x) = x1 ; es dada por una expresión que sólo tiene sentido si x 6= 0,
por lo tanto, el dominio de f es el conjunto R \ {0}; además, Ran(f ) = R \ {0}.
En efecto, un número y está en el rango de la función f , si se puede encontrar un
número real x tal que y = f (x), esto es
1
y= .
x
1
x= .
y
2. aplicamos la función g en x;
g
A B f C
D
x g(x) f g(x)
x′
g(x′ )
f ◦g
f g
A B B C
1 a a x
y
2 b b
3 c c z
4 d d
(g ◦ f )(1) = g f (1) = g(a) = x
(g ◦ f )(2) = g f (2) = g(b) = y
(g ◦ f )(3) = g f (3) = g(b) = y
(g ◦ f )(4) = g f (4) = g(d) = y.
(g ◦ f )(1) = g f (1) = g(a) = x
(g ◦ f )(4) = g f (4) = g(d) = x
= 2(x − 4)2 − (x − 4)
= 2x2 − 17x + 36
Mirando esta expresión polinomial podrı́a pensarse que Dom(f ◦ g) = R. Pero esto
no es cierto, pues Dom(g) = {x ∈ R : x > 4} y Dom(f ) = R. Luego
La noción de función inversa tiene por tras la siguiente idea. Si f es una función
definida en un conjunto A, la cual toma valores en un conjunto B, deseamos encontrar
condiciones bajo las cuales la relación inversa f −1 sea una función. En ese caso diremos
que f −1 es la función inversa de la función f . Gráficamente
f
A B
a b
f −1
2.2. RELACIONES 77
1.
f f −1
A B B A
1 a a 1
2 2
3 b b 3
2.
f f −1
A B B A
1 a a 1
b b
2 c c 2
3.
f f −1
A B B A
1 a a 1
2 b b 2
3 c c 3
78 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
f (x) = y ⇐⇒ f −1 (y) = x,
x y
f −1
n + 1 = f (n) = f (m) = m + 1 ⇐⇒ n = m.
f y se tiene
f (x) = y ⇐⇒ x = f −1 (y). (2.2)
Demostración. Para mostrar este resultado debemos verificar las dos implicaciones.
Con base a la identidad (2.2) una técnica para determinar la inversa de una función
uno a uno es la siguiente
Ejemplo 2.2.15.
3. Para la función
x−2
x+1
tenemos Dom(f ) = R \ {−1} (pues en el valor de −1 se tiene una dicisión por
cero), calculemos de ser posible su inversa. En primer lugar debemos estudiar la
inyectividad. Si a, b son tales que f (a) = f (b)
a−2 b−2
= =⇒ (a − 2)(b + 1) = (b − 2)(a + 1)
a+1 b+1
=⇒ ab − 2b + a − 2 = ab − 2a + b − 2
=⇒ a = b.
Esto prueba que la función f es inyectiva, calculemos su inversa. Sea y = f (x)
x−2
y = f (x) ⇐⇒ y =
x+1
⇐⇒ y(x + 1) = (x − 2)
⇐⇒ yx − x = −2 − y
⇐⇒ x(y − 1) = −y − 2
−y − 2
⇐⇒ x = .
y−1
82 CAPÍTULO 2. UNA NOTA SOBRE RELACIONES Y FUNCIONES
−x − 2
f −1 : R \ {1} → R \ {−1} : x 7−→ f −1 (x) = .
x−1
Clase 9
Clase 10
Postulamos la existencia de los términos primitivos de nuestra teorı́a que son: pun-
tos, rectas y planos no los vamos a definir. Establecemos un convenio para denotarlos y
para que tengan representaciones comunes a todos.
Los puntos se denotarán usando letras mayúsculas, A, B, C . . . . Las rectas con le-
tras minúsculas, a, b, c, . . . . Los planos los denotamos con letras griegas α, β, π, . . . .
Las relación entre los términos primitivos es de pertenencia: Los puntos están o no
en las rectas, las rectas están o no en los planos y por tanto los puntos están o no en los
83
84 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
Q l
• •
m
P
π
P ∈
/ l, Q ∈ l, m ∈ π.
Definición 3.1.1. Tres o más puntos se llaman colineales si están en una misma recta.
Asimismo, un conjunto de puntos que están en un mismo plano se llaman coplanares.
R
•
Q
•
P
• l
Atendiendo en lo anterior, vemos que los puntos P, Q, R son colineales ya que están
en la recta l. Notamos que hay una relación entre ellos, y es que Q está entre P y R.
3.1. ELEMENTOS GEOMÉTRICOS 85
Postulados:
(1) Por dos puntos distintos pasa una única recta a la cual pertenecen.
←→
El sı́mbolo P Q denotarán la única recta que pasa por los puntos P y Q. En conse-
←→ ←→
cuencia, las rectas P Q y QP denotan rectas que coinciden en el sentido de que contienen
exactamente los mismos puntos.
Definición 3.1.2. Dos rectas coplanares se dice que son rectas que se cortan si tienen un
único punto en común. Igualmente, se dice que son rectas paralelas si no se cortan.
• p
P
m n
En general, a cada punto de una recta l se le asigna un único número real, llama-
do su coordenada, tal que a puntos distintos se le asignan coordenadas distintas y cada
número real es la coordenada de un único punto de l. De este modo, un sistema de coor-
denadas en una recta l es una función cuyo dominio son los puntos de l y cuyo rango es
el conjunto R de los números reales.
l R
P • •p
Q• •q
R• •r
←→
En la recta P Q, el conjunto formado por P y Q, y todos los puntos entre P y Q
se llama el segmento determinado por P y Q y se denota por P Q. Los puntos P y Q se
llaman los extremos del segmento P Q; los demás puntos son llamados puntos interiores.
• •
P Q
m(P Q) = d(P, Q) = |p − q|
Observación 3.1.3. Hay que reconocer las diferencias entre los significados de P Q y
m(P Q). El primero se refiere a un objeto geométrico, y el segundo es un número real.
• • •
P Q R
Si O y P son puntos distintos en una recta l, el conjunto formado por todos los
puntos de l que están en el mismo lado de O que el punto P se llama la semirecta en la
−→
dirección de P con origen en O y se denota por OP .
• •
O P
• • •
Q O P
Definición 3.1.5. El conjunto formado por dos semirrectas que tienen el mismo origen,
incluyendo este punto, se llama ángulo. Las dos semirectas se llaman los lados del ángulo
y su origen común se llama vértice.
Q
•
α
• •
O P
(1) por tres letras mayúsculas, la letra del centro es el vértice y las otras dos representan
puntos en los lados del ángulo. En este caso ∠P OQ;
(2) por una sola letra mayúscula en el vértice (siempre que sea claro el ángulo en cues-
tión). En nuestro caso ∠O;
(3) por una sola letra del alfabeto griego en el interior del ángulo. En este caso ∠α.
Del mismo modo que un punto separa una recta en dos semirectas opuestas, una
recta l separa un plano π que le contiene en dos semiplanos π1 y π2 . La recta l no hace
3.1. ELEMENTOS GEOMÉTRICOS 89
π1
π2
parte de estos semiplanos. Cuando dos puntos del plano P y Q están en el mismo semi-
plano se dice que están del mismo lado con respecto de l, en este caso P Q ∩ l = ∅. Si P
y Q están en lados opuestos con respecto de l, entonces P Q ∩ l 6= ∅.
←→
Dado un ángulo ∠P OQ en un plano π, entonces la recta OP divide el plano en
←→
dos semiplanos, uno de lo cuales contienen al punto Q. Asimismo, la recta OQ divide el
plano en dos semiplanos, uno de lo cuales contienen al punto P . La intersección de esos
dos semiplanos es lo que conocemos como el interior del ángulo.
El número asigano con un ángulo se conoce como la medida del ángulo. La unidad
utilizada para la medida de los ángulos es el grado sexagesimal. Por ejemplo, un ángulo
generado por dos semirectas opuestas mide 180 grados y se escribe 180◦ . Ası́, el ángulo
obtenido al girar 1/180 de circunferencia (en sentido contrario a las manecillas del reloj
) tiene por medida 1◦ .
90 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
Ejemplo 3.1.6. La siguiente figura ilustra las medidas en grados de algunos ángulos.
90◦
180◦ 45◦ 30◦
Tipo Descripción
Definición 3.1.7. Dos ángulo se dicen son ángulos adyacentes cuando tienen el mismo
vértice, un lado en común, y los otros dos lados están contenidos en semiplanos opuestos
con respecto a la recta que contiene el lado común. El par de ángulos no adyacentes
formados cuando dos rectas se cortan son llamados ángulosopuestos por el vértice.
R
α
Q β
O P
Figura 3.11: Ilustración de los conceptos de ángulos adyacentes y opuestos por el vértice
R Q
O P
Definición 3.1.11. Dos ángulos son llamados complementarios si la suma de sus medidas
es de 90◦ . Igualmente, dos ángulos son llamados suplementarios si la suma de sus medidas
es de 180◦ .
92 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
R Q Q′
O P R′ O′ P′
←→ ←→
En la siguiente figura, P Q ⊥ OQ son perpendiculares
R O P
Los postulados son afirmaciones cuya veracidad que aceptamos sin demostración.
Postulado (1): Por dos puntos distintos pasa una única recta a la cual pertenecen.
Postulado (2): A toda recta pertenecen al menos dos puntos distintos; a todo plano
pertenecen al menos tres puntos no colineales; el espacio contiene al menos cuatro puntos
no coplanares.
Postulado (3): Por tres puntos distintos no colineales pasa un único plano al cual
pertenecen.
Postulado (4): Si un plano contiene dos puntos de un recta, entonces contiene todos
los puntos de ésta.
Clase 11
Demostración: Sean l y m dos rectas diferentes que se cortan. (Razonemos por reducción
al absurdo). Supongamos que las rectas se cortan en dos puntos distintos P y Q, por el
postulado (1) por los puntos P y Q pasa una recta única. Luego, l y m son la misma
recta, pues ambas pasan por P y Q. Esto es una contradicción, ya que l y m son rectas
diferentes.
l
Q
•
•
P
•
Q
m
π
Teorema 3.2.2. Si dos rectas diferentes se intersectan, existe un plano único que las
contiene.
Demostración: Sean l y m dos rectas diferentes que se cortan. Supongamos que las rec-
tas se cortan en el punto P , Teorema (3.2.1). Por el postulado (2), existe otro punto Q
3.3. TRIÁNGULOS Y SUS SEGMENTOS NOTABLES 95
Teorema 3.2.3. Si l es una recta y P un punto que no pertenece a l, existe un plano único
que contiene tanto a l recta como al punto P .
(1) Axioma de la construcción del segmento. Dado un segmento arbitrarioP Q y una se-
−→ −→
mirecta OS, entonces existe en OS un único punto R tal que P Q ∼
= OR.
P Q
O R S
πl de modo que ∠P OQ ∼
= ∠RO ′ S. En que πl es uno de los semiplanos en los cuales
l divide a π y O ′ R es una semirecta en l.
O′ S
P Q l
(b) Si OP ∼
= QR, entonces QR ∼
= OP ;
(c) Si OP ∼
= QR y QR ∼
= ST , entonces OP ∼
= ST .
(c) Si ∠P OQ ∼
= ∠RST y Si ∠RST ∼
= ∠UV W , entonces Si ∠P OQ ∼
= ∠UV W .
(a) P Q ∼
= P ′Q′ y QR ∼
= Q′ R′ , entonces P R ∼
= P ′ R′ ;
(b) P Q ∼
= P ′Q′ y P R ∼
= P ′R′ , entonces QR ∼
= Q′ R′ ;
3.3. TRIÁNGULOS Y SUS SEGMENTOS NOTABLES 97
P
Q
R
R′
Q′
P′
= ∠P ′O ′ R′ , entonces ∠ROQ ∼
= ∠P ′O ′ Q′ y ∠P OR ∼
(b) Si ∠P OQ ∼ = ∠R′ O ′ Q′ .
Q Q′
R R′
P P′
O O′
Definición 3.3.1. Sean A, B, C tres puntos distintos y no colineales. La unión de los seg-
mentos AB, BC, CA determina una figura que llamaremos el triángulo el cual denotare-
mos por △ABC. Lo puntos A, B, C se llaman los vértices del triángulo. Los segmentos
AB, BC, CA se llaman lados del triángulo. Los ángulos ∠ABC, ∠BCA, ∠CAB se lla-
man ángulos interiores o simplemente, ángulos del triángulo.
98 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
C
•
A• •B
El interior del triángulo △ABC es el conjunto de los puntos que están en el interior
de todos los ángulos del triángulo. El exterior del triángulo △ABC es el conjunto de los
puntos del plano que no están en el interior del triángulo ni en los lados de éste.
(a) Un triángulo es escaleno si no tiene dos lados que sean congruentes, es decir si todos
sus lados tienen medida diferentes;
|
|
|
|
A B D E O P
Figura 3.21: Ilustración de los tipos de triángulos según la magnitud de sus lados
α, β: ángulos agudos
O
a = P Q: cateto (adyacente al ángulo
β
α)
c
b
b = OP : cateto (opuesto al ángulo α)
α
Q P
a
c = OQ: hipotenusa
(a) se llama altura al segmento perpendicular trazado desde uno cualquiera de los vérti-
ces, a la recta que contiene el lado opuesto;
100 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
(b) se llama mediana, al segmento comprendido entre uno cualquiera de los vértices y el
punto medio del lado opuesto;
(c) se llama bisectriz, al segmento comprendido entre uno cualquiera de los vértices y el
lado opuesto; y que divide al ángulo en dos ángulos congruentes.
H
• Q
B
• M
•
O P
Clase 12
Definición 3.3.4. Decimos que △ABC y △A′ B ′ C ′ son triángulos congruentes, lo cual
denotamos por △ABC ∼
= △A′ B ′ C ′ si existe una correspondencia entre los vértices del
triángulo △ABC y los vértices del triángulo △A′ B ′ C ′ de modo los pares de lados co-
rrespondientes son congruentes y cada par de ángulos correspondientes son congruentes.
AB ∼
= A′ B ′ , AC ∼
= A′ C ′ , BC ∼
= B′C ′
= ∠B ′ C ′ A′ , ∠CAB ∼
= ∠A′ B ′ C ′ , ∠BCA ∼
∠ABC ∼ = ∠C ′ A′ B ′
C C′
| |
∼
= =
∼
| |
A B B′ A′
AB ∼
= A′ B ′ , AC ∼
= A′ C ′ , ∠CAB ∼
= ∠C ′ A′ B ′
C C′
= =
| |
A B B′ A′
Proposición 3.3.5. Si los dos catetos en un triángulo rectángulo son congruentes res-
pectivamente con los catetos de otro triángulo rectángulo, entonces los triángulos son
congruentes.
C C′
= =
| |
A B B′ A′
Teorema 3.3.6. (Congruencia A-L-A) Si los triángulos △ABC y △A′ B ′ C ′ presentan las
congruencias
AB ∼
= A′ B ′ , ∠BAC ∼
= ∠B ′ A′ C ′ , ∠ABC ∼
= ∠A′ B ′ C ′ ,
entonces △ABC ∼
= △A′ B ′ C ′ .
AB ∼
= A′ B ′ ( hipótesis), BC ∼
= B ′ P , ∠ABC ∼
= ∠A′ B ′ P ( hipótesis),
se sigue del postulado (L-A-L) que △ABC ∼ = △A′ B ′ P . De esta congruencia obtenemos
que AC ∼ = A′ P y ∠BAC ∼ = ∠B ′ A′ P , pero por la hipótesis ∠BAC ∼ = ∠B ′ A′ C ′ . De la
transitividad de la congruencia de ángulos resulta
∠B ′ A′ C ′ ∼
= ∠B ′ A′ P.
−−→ −−→
Finalmente, por el axioma de construcción del ángulo, las semirectas A′ C ′ y A′ P deben
−−→ −−→ −−→
coincidir, luego P = C ′ , ya que B ′ C ′ y A′ C ′ = A′ P se interseptan en un único punto.
Reemplazando P por C ′ resulta AC ∼
= A′ P ∼
= A′ C ′ .
104 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
P
C C′
| |
A B B′ A′
C
(1) CD biseca ∠ACB, -Hipótesis
(2) ∠ACD ∼
= ∠BCD -Propiedad de la bisectriz
(3) CD ⊥ AB -Hipótesis
(4) ∠ADC ∼
= ∠BDC - Ángulos rectos
A B (5) △ADC ∼
= △BDC - Congruencia A-L-A.
D
Teorema 3.3.11. En todo triángulo isósceles, los ángulos opuestos a los lados congruen-
tes son congruentes.
EB ∼
= DC, DB ∼
= EC, ∠BDC ∼
= ∠CEB,
luego △DBC ∼
= △EBC (L-A-L), de donde ∠DCB ∼ = ∠EBC. Por otro lado, dado
= ∠DCA, se sigue por diferencia de ángulos congruentes que ∠ABC ∼
que ∠EBA ∼ =
∠ACB que era lo que se querı́a demostrar.
Teorema 3.3.12. Si un triángulo tiene dos de sus ángulos congruentes, entonces, los lados
opuestos a ellos son congruentes y en consecuencia el triángulo es isósceles.
A = ∠ACB y ∠ABD ∼
Como ∠ABC ∼ = ∠ACE,
por diferencia de ángulos congruentes tenemos que
∠DBC ∼
= ∠ECB. Como BC es lado común
B C
para △DBC y △EBC, se concluye que
△DBC ∼
= △EBC, (L-A-L).
|
|
De esta congruencia
D E
BE ∼ = ∠CEB, ∠DCB ∼
= CD, ∠BDC ∼ = ∠EBC.
= ∠ACB y ∠DCB ∼
Como ∠ABC ∼ = ∠EBC, por adición de ángulos congruentes
∼ ∠ACD. Por lo tanto, en los triángulos △ABE y △ACD se tiene
se tiene ∠ABE =
= ∠ACD, BE ∼
∠ABE ∼ = CD, ∠AEB ∼
= ∠ADC,
Teorema 3.3.13. Un triángulo es isósceles si y solo si al menos dos de sus ángulos son
congruentes.
Corolario 3.3.14. Un triángulo es equilátero si y solo si sus ángulos interiores son con-
gruentes.
Clase 13
Realizamos el quiz # 2.
A B
Teorema 3.3.16. En un triángulo isósceles, la mediana comprendida entre los lados con-
gruentes es altura, bisectriz y está contenida en la mediatriz del lado asociado a la me-
diana.
3.3. TRIÁNGULOS Y SUS SEGMENTOS NOTABLES 109
B | | C
M
110 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
El caso anterior cubre el caso en el cual la mediana está sobre la mediatriz, Final-
mente, del mismo modo, si el segmento AM comprendido entre el ángulo en el vértice A
y el lado opuesto, es a la vez altura y bisectriz. Veamos que AB ∼
= AC.
A
B C
M
Teorema 3.3.19. (Congruencia L-L-L) Sı́ un triángulo tiene sus tres lados respectiva-
mente congruentes a los tres lados de otro triángulo entonces estos dos triángulos son
congruentes.
= C ′B′ ∼
OB ∼ = C ′ A′ ∼
= CB, OA ∼ = CA
3.3. TRIÁNGULOS Y SUS SEGMENTOS NOTABLES 111
Trazamos CO. Notemos que △ACO y △BCO son triángulos isósceles, por lo tanto
= ∠AOC y ∠BCO ∼
∠ACO ∼ = ∠BOC. Por la adición de ángulos congruentes resulta
∠AOB ∼
= ∠AOC + ∠BOC ∼
= ACO + ∠BCO ∼
= ∠ACB
AC ∼
= AO, ∠ACB ∼
= ∠AOB, CB ∼
= OB
por el criterio de congruencia (L-A-L) obtenemos que △ACB ∼ = △AOB. Pero △A′ C ′ B ′ ∼
=
△AOB, por la transitividad se sigue que △ACB ∼ = △A′ C ′ B ′
C C′
P
A B A′ B′
Clase 14
Las rectas paralelas ası́ como las rectas perpendiculares constituyen lugares comu-
nes del cotidiano. Una ilustración son las lı́neas que demarcan una cancha de futbol. Las
lı́neas paralelas aparecen en varias figuras geométricas. Estas lı́neas tienen propiedades
las cuales producen consecuencias en las figuras.
Definición 3.4.1. Dos rectas coplanares se dice que son rectas que se cortan si tienen un
único punto en común. Igualmente, se dice que son rectas paralelas si no se cortan. Esto
es, si l y m son rectas, entonces l y m son paralelas, cuando l = m, i.e., son la misma
recta, o si l es diferente a m y l ∩ m = ∅.
Asimismo, vemos que dos rectas coplanares, o se cortan o son paralelas. Si embar-
go, esto no sucede si las rectas no están en un mismo plano. En el espacio hay pares de
rectas que no se cortan y no son paralelas.
l m
Teorema 3.4.2. Sean π un plano dado y l una recta en π. Por cada punto P ∈ l pasa una
única recta que es perpendicular a la recta l.
Mostremos a seguir la unicidad. Supongamos que existe otra linea m de modo que
P ∈ m y m ⊥ l. Sea C un punto en m que está del mismo lado que el punto B con
respecto de l. De este modo tenemos que
B C
l P A
←→
Demostración: Sean Q y R dos puntos en l. Tracemos la recta P Q. En el semiplano
−→
determinado por l el cual no contiene a P existe una semirecta QS tal que ∠RQS ∼ =
−→
∠RQP . Tomemos un punto T ∈ QS de modo que QP ∼ = QT . Tracemos P T y sea K
el punto de corte de P T con l. Los triángulos △P QK y △T QK son congruentes por
(L-A-L). De esta congruencia se sigue ∠P KQ ∼ = ∠T KQ; dado que estos ángulos son
←→
suplementarios, necesariamente son rectos. Por lo tanto P T ⊥ l.
P
|
l Q K R
|
Finalmente resta mostrar la unicidad. Esto es, si m1 y m2 son dos rectas pasando
por P y ambas perpendiculares a l, necesariamente éstas coinciden. A saber, si m1 y
3.4. RECTAS PARALEAS Y PERPENDICULARES 115
Teorema 3.4.4. Si dos rectas coplanares son ambas perpendiculares a una otra recta,
entonces necesariamente son paralelas.
l1 P
Postulado (Playfair)
es paralela a la recta l.
Teorema 3.4.6. Dos rectas que son paralelas a una otra recta, son paralelas.
Demostración: Sean m y n dos rectas diferentes paralelas a una recta l veamos que m y
n son paralelas. Razonemos por el absurdo suponiendo que m y n no son paralelas. Por la
definción m y n se cortan en un punto P . Entonces m y n son rectas diferentes que pasan
por P y son paralelas a la misma recta l. Lo cual es imposible. Consecuentemente m k n.
Teorema 3.4.7. Si dos rectas coplanares son paralelas, y una recta es perpendicular a
una de éstas, entonces también es perpendicular a la otra.
Definición 3.4.8. Si l y m son dos rectas coplanares diferentes. Una recta transversal o
secante para l y m es una recta que las intercepta a ambas en puntos diferentes.
Si dos rectas cualesquiera son cortadas por una secante, se forma ocho ángulos, de
modo que cada punto de corte es el vértice de cuatro de éstos ángulos. Atendiendo en la
figura, los cuatro ángulos ∠α, ∠, λ, ∠δ, ∠ρ se llaman ángulos internos. Los otros cuatro
ángulos ∠β, ∠, γ, ∠θ, ∠ω se llaman ángulos externos.
118 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
l Q
θ
ω
δ ρ
l α λ
β γ
Figura 3.35: Ilustración de los ángulos formados por una secante a dos rectas
Los pares de ángulos interiores que tienen vértices diferentes y contienen puntos en
semiplanos diferentes respecto a la secante son llamados ángulos alternos internos, en la
figura ∠λ y ∠δ son alternos internos; asimismo, ∠ρ y ∠α lo son.
Los pares de ángulos exteriores que tienen vértices diferentes y contienen puntos en
semiplanos diferentes respecto a la secante son llamados ángulos alternos externos, en la
figura ∠γ y ∠θ son alternos externos; asimismo, ∠β y ∠ω lo son.
3.4. RECTAS PARALEAS Y PERPENDICULARES 119
Teorema 3.4.9. Si dos rectas intersectadas por una secante determinan con ella una
pareja de ángulos alternos internos congruentes, entonces dichas rectas son paralelas.
Demostración: Sean l y m dos rectas diferentes cortadas por una secante t en puntos
R y S respectivamente, de modo que se forman ángulos alternos internos congruentes
∠α ∼
= ∠β. Veamos que l k m. Razonemos por el absurdo. Supongamos que l 6k m. Por la
definición, l y m se cortan en un punto P . Consideremos el triángulo △RSP . Los ángulos
∠P RS y ∠RST son congruentes ye que éstos son suplementarios respectivamente a los
ángulos congruentes β y α.
Por otro lado, empleando el axioma de construcción del segmento, existe un punto
Q sobre l, el cual está ubicado en el semiplano opuesto al que contiene a P respecto a la
secante t de modo que RQ ∼
= SP . Trazando el segmento SQ, consideramos el triángulo
△RSQ. Notamos que los triángulos △RSP y △RSQ tienen a RS como lado común,
RQ ∼
= SP y ∠α ∼
= ∠β, por el postulado (L-A-L), estos triángulos resultan congruentes.
Corolario 3.4.10. Si dos rectas intersectadas por una secante determinan con ella una
120 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
t
l Q R
•
β
m α
•
T S
Teorema 3.4.11. Si dos rectas paralelas son intersectadas por una secante, entonces los
ángulos alternos internos son congruentes.
Demostración: Sean l y m dos rectas diferentes cortadas por una secante t en puntos R y
S respectivamente. Veamos que los ángulos alternos internos ∠α y ∠β son congruentes.
Razonemos por el absurdo suponiendo que tales ángulos no son congruentes. Por axioma
de construcción del ángulo, existe una recta n pasando por S y un punto P en n de modo
que ∠P SR ∼
= ∠α. Por el Teorema 3.4.9 se sigue que n y m son rectas paralelas. De
lo anterior, m y n son rectas diferentes que pasan por el punto P y son paralelas a la
misma recta l. Esto contradice el postulado de Playfair. Concluimos que ∠α y ∠β son
congruentes.
3.4. RECTAS PARALEAS Y PERPENDICULARES 121
t
P
m S
β
l α
R
Corolario 3.4.12. Si dos rectas paralelas son cortadas por una secante, entonces de-
terminan ángulos correspondientes congruentes. Asimismo, si dos rectas paralelas son
cortadas por una secante, entonces determinan ángulos alternos externos congruentes.
Clase 15
Teorema 3.4.13. (Suma de los ángulos interiores de un triángulo) La suma de los ángulos
interiores de todo triángulo es 180◦ .
Demostración:
l C
ω γ δ
α β
A B
←→
Consideremos el triángulo △ABC y sea l k AB la recta trazada por C. Como
←→ ←→
l k AB y AC es una secante, por el Teorema 3.4.11 tenemos
m(∠α) = m(∠ω).
←→ ←→
Asimismo, l k AB y BC es una secante, por el Teorema 3.4.11 tenemos
m(∠β) = m(∠δ).
De lo anterior,
Corolario 3.4.14. En todo triángulo rectángulo los ángulos agudos suman 90◦ .
Corolario 3.4.16. Si dos triángulos tienen dos pares, de ángulos respectivamente con-
gruentes entonces sus otros dos ángulos son respectivamente congruentes.
Corolario 3.4.17. Dos triángulos rectángulos con un par de ángulos agudos congruentes
y con hipotenusas también congruentes, necesariamente son congruentes.
Teorema 3.4.18. (Teorema del ángulo exterior) La medida de todo ángulo exterior de un
triángulo es igual a la suma de las medidas de los ángulos interiores no adyacentes a él.
Demostración:
A B D
C C′
=
A M B A′ B′
Teorema 3.4.19. (Congruencia L-A-A) Si dos triángulos △ABC y △A′ B ′ C ′ son ta-
les que ∠BAC ∼
= ∠B ′ A′ C ′ , ∠ABC ∼
= ∠A′ B ′ C ′ y AC ∼
= A′ C ′ entonces △ABC ∼
=
△A′ B ′ C ′ .
que AM ∼ = A′ B ′ . Por lo tanto, del criterio (L-A-L) tenemos que △AMC ∼ = △A′ B ′ C ′ .
De esta congruencia se sigue que ∠AMC ∼ = ∠A′ B ′ C ′ . Pero por hipótesis ∠ABC ∼ =
∠A′ B ′ C ′ , luego ∠AMC ∼
= ∠ABC. Por lo tanto en el triángulo △MBC el ángulo exte-
rior ∠AMC es congruente con el ángulo interior (no adyacente) ∠ABC = ∠MBC. Lo
cual entra en conflicto con el Teorema del ángulo exterior.
Un razonamiento similar para el caso en que m(AB) < m(A′ B ′ ) conduce de nuevo
a una contradicción.
Clase 16
3.5. Polı́gonos
Clase 17
P2 γ P3
β
P1 P4
α
P6 P5
Definición 3.5.1. Un polı́gono se llama convexo si para cada dos puntos interiores P y
Q, el segmento P Q está contenido en el interior del polı́gono. Un polı́gono que no es
convexo, se llama cóncavo.
P2′
P2 P3
Q′ P3′
P1 P4 P1′ P4′
P
P′ P5′
P6 P5
P6′
Los polı́gonos son clasificados de acuerdo al número de sus lados. Los triángulos
son los polı́gonos de tres lados. Los cuadriláteros son los polı́gonos de cuatro lados. Los
pentágonos son los polı́gonos de cinco lados.
128 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
3.5.1. Paralelogramos
Teorema 3.5.4. En todo paralelogramo, los lados opuestos son congruentes; asimismo,
los ángulos opuestos de un paralelogramo son congruentes.
Demostración: =
B C
|
|
=
A D
= ∠BCA y ∠DBA ∼
∠DAC ∼ = ∠BAC.
AB ∼
= CD, AD ∼
= BC, B̂ ∼
= D̂.
∠DAC ∼
= ∠BCA y ∠CBD ∼
= ∠ADB.
AP ∼
= P C, DP ∼
= P B.
A D
∠BCA ∼
= ∠DAC, ∠BAC ∼
= ∠DCA.
130 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
AD ∼
= BC.
AB ∼
= DC.
Luego ABCD es un cuadrilátero con los lados opuestos congruentes, entonces ABCD
es un paralelogramo.
3.5.2. Trapecios
B C
Trapecio isósceles:
= = (a) BC k AD, AB ∦ DC
A D (b) AN ∼
= DC
Teorema 3.5.9. (a) En un trapecio isósceles, los ángulos de la base son congruentes;
Demostración:
B C
= =
A D
E
Clase 18
B | C
= =
A | D
Por otro lado, trazando las diagonales BD y AC notamos que los triángulos rectángu-
los △ABD y △ACD presentan AB ∼= CD, Â ∼= D̂ y AD lado común, luego por (L-
A-L) concluimos que △ABD ∼
= △ACD, de esta congruencia obtenemos la congruencia
de las diagonales BD ∼
= AC.
134 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
B
|
|
A C
|
|
Teorema 3.5.14. (a) Las diagonales del rombo son bisectrices de los ángulos opuestos;
Teorema 3.5.15. (a) Si las diagonales de un paralelogramo son bisectrices de los ángu-
los opuestos , el paralelogramo es un rombo;
Luego para los cuadrados son válidos todos los resultados presentados para rectángu-
los y para rombos. En particular tenemos el siguiente resultado
Teorema 3.5.17. (a) Un paralelogramo es un cuadrado si y sólo si, las diagonales son
congruentes y bisecan los ángulos opuestos;
B | C
=
=
|
|
=
=
A | D
B C
F E
A D
B C
M N
A D
Teorema 3.5.20. El segmento que une los puntos medios de los lados no paralelos de un
trapecio es paralelo a los otros dos lados y su medida es la semisuma de las medidas de
las bases.
M N
A E D
CF ∼
= ED y NF ∼
= NE.
Definición 3.5.21. La base media de un triángulo es el segmento que posee como extre-
mos los puntos medios de dos lados.
M N
A C
Teorema 3.5.22. (Teorema de la paralela media) El segmento que une los puntos medios
de dos lados de un triángulo es paralelo al tercer lado y tiene por medida su mitad.
m B E
M N
A C
F
Comparando los triángulos △BEN y △CF N vemos que ∠NBE ∼ = ∠NCF por
ser alternos internos, NB ∼= NC (N es el punto medio de BC) y ∠BNE ∼
= ∠CNF por
ser opuestos por el vértice. Concluimos por el criterio (A-L-A) que △BEN ∼
= △CF N.
De esta congruencia obtenemos:
BE ∼
= CF y NF ∼
= NE.
Como BE ∼
= F C, entonces al sumar es claro que:
O de forma equivalente:
m(MN ) = 12 m(AC).
Al considerar un triángulo △ABC y trazar los segmentos que unen los puntos me-
dios de los lados, los cuales denotamos por M, N, P se determinan 4 triángulos que son
congruentes por (L-L-L), △AMP, △BMN, △MNP, △CNP .
∼ |
=
M N
∼ | ∼ |
=
A C
P
NC ∼
= NB ∼
= NA.
Esto significa que el punto medio de la hipotenusa es equidistante de los vértices del
triángulo.
∼ |
=
M N
∼ | ∼ |
=
A C
P
Teorema 3.5.24. Toda recta paralela a un lado de un triángulo trazada por el punto
medio de otro de los lados, biseca al tercer lado, es decir le corta en el punto medio de
éste.
Demostración: Razonamos por el absurdo. Si la recta m que pasa por el punto medio M
y es paralela al lado AC corta al lado BC en un punto Q que no es el punto medio de
←−→
BC. Sabemos que si N es el punto medio de BC, entonces MN es paralela al segmento
AC. Es decir, por M están pasando dos rectas distintas y paralelas al segmento AC lo
cual contradice el postulado de la paralela única. De este modo podemos concluir que Q
es precisamente el punto medio del segmento BC.
m B E
M N
A C
F
Clase 19
Una razón es el cociente entre dos cantidades. Si a, b son las cantidades, la razón
entre ellas se escribe como a : b o como ab ; y se lee a es a b.
Ejemplo 3.6.1. Si en un costal hay 24 peras y 18 manzanas, la razón entre estas cantidades
24
es 18
= 34 . En este caso, la relación es de 4 peras por cada 3 manzanas en el costal.
a
La proporción b
= dc , se lee a es b como c es a d. En este caso, a y d se llaman los
extremos de la proporción, b y c se llaman los medios de la proporción..
a c
= ⇒ a · d = b · c.
b d
3.6. TRIÁNGULOS SEMEJANTES 145
Ejemplo 3.6.4. Dos números son entre sı́ como 3 es a 19. Sı́ el menor es 12, determine el
mayor.
3 12
= .
19 x
228
Por la propiedad fundamental, 3x = (12)(19) = 228, luego x = 3
= 76.
a
1. Si b
= dc , entonces b
a
= d
c
y a
c
= db , a, b, c, d no nulos;
a
2. Si b
= dc , entonces a±b
b
= c±d
d
y a+b
a−b
= c+d
c−d
, para b, d no nulos y diferentes de a y c;
a
3. Si b
= dc , entonces a
b
= a+c
b+d
para b, d no nulos.
AM CN
MB
= ND
.
Lema 3.6.5. Si tres o mas rectas paralelas, determinan segmentos congruentes al ser
cortadas por una secante, entonces determinan segmentos congruentes al ser cortadas
con cualquier otra secante.
l A D
m B E
n C F
r s
Teorema 3.6.6. Toda lı́nea paralela a un lado de un triángulo y que corta a uno de los
otros dos lados determinando segmentos cuya razón es dada en términos de números
enteros, divide al otro lado en segmentos que tienen la misma razón.
←→ ←→
Demostración: Consideremos un trángulo △ABC y sea DE k BC.
←→
Por la hipótesis, DE determina segmentos proporcionales cuya razón es dada en
término de números enteros, digamos
AD m
DB
= n
3.6. TRIÁNGULOS SEMEJANTES 147
F G
D E
B C
Sea F ∈ AB de modo que el segmento AF es unitario, esto significa que AF está con-
tenido m veces en AD y n veces en DB. Subdividimos AD y DB en m y n segmentos
congruentes y trazamos por el extremo de cada uno, una recta paralela a DE. Se sigue del
Lema 3.6.5 que esas rectas dividen a AE en m segmentos congruentes; asimismo a EC
en n segmentos congruentes. Esto significa que
AD m AE
= = .
DB n EC
El enunciado del Teorema 3.6.6 asume que la recta paralela al cortar a uno de los
lados del triángulo determina segmentos cuya razón es dada en términos de números ente-
ros, esto significa que tales segmentos son conmesurables. La prueba del mismo resultado
cuando los segmentos son inconmesurables es difı́cil, ya que requiere de argumentos ba-
sados en lı́mites por esta razón no la incluimos aquı́.
Teorema 3.6.7. Toda recta paralela a uno de los lados de un triángulo y que corta los
otros dos, divide a estos lados en segmentos proporcionales.
148 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
A
Si DE k BC, entonces
AD AE
D E
DB
= EC
B C
(a) ∠A ∼
= ∠A′
′
A
= ∠B ′ ∼
(b) ∠B ∼ = ∠ADE
A
(c) ∠C ∼
= ∠C ′ ∼
= ∠AED
D E
AB AC BC
(d) A′ B ′
= A′ C ′
= B′ C ′
B C B ′ ′
C
AB AC BC
(e) AD
= AE
= DE
Verificar que dos triángulos son semejantes exige que tengan ángulos congruentes.
3.6. TRIÁNGULOS SEMEJANTES 149
Teorema 3.6.8. (Criterio semejanza de triángulos A-A-A) Si dos triángulos tienen sus
ángulos respectivamente congruentes, son semejantes.
= ∠B ′ , ∠C ∼
= ∠A′ , ∠B ∼
∠A ∼ = ∠C ′
A′
D E
B C B′ C′
∠ADE ∼
= ∠B ′ ∼
= ∠B, ∠AED ∼
= ∠C ′ ∼
= ∠C,
DB EC AD+DB AE+EC AB AC AB AC
AD
= AE
=⇒ AD
= AE
=⇒ AD
= AE
=⇒ A′ B ′
= A′ C ′
AB BC AC
A′ B ′
= B′ C ′
= A′ C ′
.
Lo cual muestra que los lados de los triángulos son proporcionales y esto garantiza que
los triángulos son semejantes.
Corolario 3.6.9. (Criterio semejanza de triángulos A-A) Si dos triángulos tienen dos
ángulos respectivamente congruentes, son semejantes.
150 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
Corolario 3.6.10. Toda recta que intersecta a dos lados de un triángulo y es paralela al
tercero, determina un triángulo semejante al primero.
Ejemplo 3.6.13. Consideremos un triángulo rectángulo ABC cuyo ángulo recto está en
el vértice A. Tracemos des A la altura AD con pie en la hipotenusa. De este modo se
forman dos triángulos rectángulos △ADC y △ADB como se ilustra en la Figura
BC AB AC
1. AC
= AD
= DC
D
BC AB AC
2. AB
= BD
= AD
A C
De lo anterior resulta AC 2 = BC · DC y AB 2 = BC · BD
Al sumar
AC 2 + AB 2 = BC · DC + BC · BD = BC(BD + DC) = BD 2 .
3.6. TRIÁNGULOS SEMEJANTES 151
a2 + b2 = c2
c
b
a
Figura 3.59: Ilustración teorema de Pitágoras
152 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
Clase 20
Realizamos el quiz # 3.
3.7. La circunferencia
C(O; r) := {X : O, X ∈ π ∧ OX = r}
l P
•
r
Q • • • X
O
Una recta en el plano π que tiene intersección con C(O; r) en dos puntos de llama
←→
secante. En la figura anterior, P Q es una recta secante. Asimismo, una recta en π se dice
tangente a C(O; r) si le intercepta en un solo punto, el cual es llamado punto de tangencia.
En la figura anterior, l es una recta tangente a C(O; r) y su punto de tangencia es P .
P
•
Y •
α
Q • • • X
O
por un arco y la cuerda que lo subtiende incluyendo ambos lı́mites. El sector circular es
el subconjunto del interior de la circunferencia limitado por un arco y el ángulo central
que lo intersecta incluyendo ambos lı́mites.
A • • • C
O
Teorema 3.7.2. Toda recta situada en el mismo plano de una circunferencia y tangente a
ella, es perpendicular al radio trazado al punto de tangencia.
Vamos a explicar la unidad para medir arcos. Un arco es subtendido por un ángulo
central. La medida angular de un arco es numéricamente igual a la medida del ángulo
central; esto es si P˘
XQ es el arco subtendido por la cuerda AB, entonces m(P˘
XQ) :=
m(∠AOB).
O B D
Figura 3.63: Ilustración de arcos de longitudes diferentes subtendidos por el mismo ángu-
lo central
156 CAPÍTULO 3. NOCIONES DE GEOMETRÍA EUCLIDIANA
˜ y BC
Postulado adición de arcos: Si la intersección de los arcos AB ˜ es el punto
˜ + m(BC)
B, entonces m(AB) ˜ = m(AC).
˜
Diremos que dos circunferencias son congruentes cuando tienen el mismo radio.
Asimismo, decimos que dos arcos son congruentes si estando contenidos en circunferen-
cias congruentes, tienen la misma medida angular.
Observaciones:
O B
(a) OA ∼
= OB ⇒ △OAB es isósceles.
Demostración: Si ∠AOB y ∠A′ O ′ B ′ son ángulos centrales congruentes sobre una mis-
ma circunferencia o en dos circunferencias congruentes. Entonces
m(∠AOB) = m(∠A′ O ′B ′ ).
˜ = m(A
Por lo tanto m(AB) ¯ ˜ ∼
′ B ′ ), en consecuencia AB ¯
=A′ B ′ . Esto prueba el primer
Teorema 3.7.4. Todo radio perpendicular a una cuerda, divide a la cuerda y al respectivo
arco en dos segmentos congruentes.
3.7. LA CIRCUNFERENCIA 157
Teorema 3.7.6. En una circunferencia C(O; r), la medida de un ángulo inscrito es igual
a la mitad de la medida del arco intersectado.
C B
C B
O
˜ De lo anterior,
Como ∠BOA es un ángulo central, m(∠BOA) = m(AB).
˜ = m(∠BOA).
2m(∠OCA) = m(AB)
Caso 2: Cuando el centro O está en el interior del ángulo. En este caso trazamos
el diámetro CP . Por el caso anterior sabemos que:
˘
entonces m(∠AOB) = 2m(∠P CA) + 2m(∠P CB) = 2m(∠ACB) = m(AP B).
3.7. LA CIRCUNFERENCIA 159
C P
O
Caso 3: Cuando el centro O está fuera del interior del ángulo. En este caso traza-
mos el diámetro CP . Por lo anterior sabemos que:
Clase 21
161
162 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
se llama la distancia entre los puntos A y B y es un número real que denotamos por
m(AB) = d(A, B). Convencionemos en escribir d(A, A) = 0, y si A 6= B, entonces
d(A, B) > 0. Además de eso se vale que
siempre que C sea un punto del segmento AB. Asimismo, es claro que d(A, B) = d(B, A).
X′ O X
• • •
−x′ 0 x
Para cada punto X ∈ AB, se verifica que d(A, X) ≤ d(A, B); por lo tanto la razón
t = d(A, X)/d(A, B) es un real comprendido entre 0 y 1. Cuando X = A, entonces t = 0
y cuando X = B, entonces t = 1.
Si para cada real t ∈ [0, 1], llamamos Xt el punto en el segmento de recta AB tal
que t = d(A, Xt )/d(A, B), veremos que la coordenada xt del punto Xt esta relacionada
con las coordenadas a y b de los puntos A y B por la igualdad:
xt − a
= t,
b−a
o sea, cualesquier punto en el segmento AB, admite coordenadas:
A Xt B
• • •
a xt b
• • •
0 t 1
Ejemplo 4.1.2. Para t = 21 , el punto X 1 es el punto medio del segmento AB; su coorde-
2
nada es:
x 1 = 12 a + 21 b = a+b
2
2
es decir, la coordenada del punto medio del segmento es dado por la media aritmética
entre las coordenadas de los puntos A y B.
1
Ejemplo 4.1.3. Para t = 3
obtenemos el punto Xt = X 1 cuya coordenada es:
3
x 1 = (1 − 13 ) a + 13 b = 32 a + 13 b
3
es el número que separa el intervalo [a, b] en dos subintervalos [a, x] y [x, b] con
x−a 1
= .
b−a 3
Indicamos por R2 el conjunto formado por los pares ordenados de números reales,
R2 = {(x, y) : x, y ∈ R}.
4.1. COORDENADAS EN LA RECTA Y EN EL PLANO 165
Observación 4.1.4. Los pares ordenados (4, 5) y (5, 4) son diferentes, pues la primera
coordenada de (4, 5) es 4 en cuanto que la primera coordenada de (5, 4) es 5. Por otro
lado, los conjuntos {4, 5} y {5, 4} son iguales. Luego, un par ordenado no es lo mismo
que un conjunto de dos elementos.
Si P no está sobre ninguno de los ejes, trazamos por P dos rectas l y m paralelas
←→ ←→ ←→
a OX y OY respectivamente.1 Si la recta m intercepta al eje OX en el punto x, y si la
←→
recta l intercepta al eje OY en el punto y, entonces las coordenadas del punto P son x y
y, esto es, (x, y) ∈ R2 es el par ordenado de números reales que corresponden a P .
1 ←→ ←→
estas rectas existen, pues P es un punto exterior a las rectas OX y OY .
166 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Y
P
y •
x′
x
X
• y′
P′
←→ ←→
Ası́, un sistema de coordenadas OX y OY en π permite asociar con cada punto
P ∈ π un par ordenado de números reales (x, y) llamados sus coordenadas.
Observación 4.1.5. El plano π, cuyos elementos son puntos, no es la misma cosa que el
conjunto R2 , cuyos elementos son parejas de reales. Pero, la correspondecia entre puntos
y los pares constituido por sus coordenadas, sugiere que con un abuso de notación escri-
bamos P = (x, y) lo que significa que P ∈ π tiene coordenadas (x, y). En la práctica
estos dos conceptos puntos y parejas de números se entrelazan.
←→ ←→
Los ejes coordenados OX y OY determinan los cuatro los cuadrantes.
4.1. COORDENADAS EN LA RECTA Y EN EL PLANO 167
-1
(−, −) (+, −)
-2
Y
∆
x
• •
Q P
x′
x
X
P′
• x′
Se sigue que si P = (x, y) al rotarlo por 90◦ resulta en el punto Q = (−y, x).
2
es decir contrario al de las agujas del reloj.
4.1. COORDENADAS EN LA RECTA Y EN EL PLANO 169
•
Q = (−y, x)
•
P = (x, y)
Clase 22
Clase 23
Ya vimos como girar por un ángulo de 90◦ el segmento OP entorno del punto O,
produce un segmento OQ de modo que, el punto Q = (−y, x) siempre que P = (x, y).3
Q
Qy = (0, d) • •
Mt
yt • •
P
Py = (0, b) • •
• •
xt
•
Px = (a, 0) Qx = (c, 0) X
ver 4.1. Del mismo modo, al proyectar sobre el eje Y , los puntos Py = (0, b) y Qy = (0, d)
generan el segmento Py Qy cuyos puntos tienen coordenadas:
describe las coordenadas de los puntos del segmento P Q, determinado por los puntos
P = (a, b) y Q = (c, d). La función:
t ∈ [0, 1] 7−→ Mt ∈ P Q
M = ( −1+3
2
, 3+2
2
) = (1, 52 ).
Y
Mt , t ≥ 0
Q
•
Mt
yt
P
•
Mt , t ≤ 0
xt X
| |
0 t 1
y(t) = b + t(d − b)
←→
donde t asume valores reales, se llaman las ecuaciones paramétricas de la recta P Q.
Éstas describen la trayectoria de los puntos en función del parámetro t, el cual puede ser
pensado como el tiempo. Para t = 0 tenemos (x(0), y(0)) = (a, b) = P . Para t = 1, vale
(x(1), y(1)) = (c, d) = Q.4
Atendiendo 4.4, los puntos de la recta determinada por P = (1, 3) y Q = (3, −2)
4
en adelante, escribimos (x, y) en lugar de (x(t), y(t))
4.2. SEGMENTOS DE RECTA EN EL PLANO 173
x = 1 + t(3 − 1) = 1 + 2t
y = 3 + t(−2 − 3) = 3 − 5t
←→
en que t ∈ R. Ası́, para t = 2, se obtiene el punto (1 + 4, 3 −10) = (5, 7) ∈ P Q. Notamos
que el origen (0, 0) no hace parte de la recta pues no existe un número real t que satisfaga
simultáneamente las dos ecuaciones:
1 + 2t = 0
3 − 5t = 0
Del mismo modo, el punto (1, −1) pues no existe un número real t que satisfaga si-
multáneamente las dos ecuaciones:
1 + 2t = 1
3 − 5t = −1
←→
Ejemplo 4.2.3. (Rectas pasando por el origen) Atendiendo 4.4, la recta OP determina-
da por el origen O = (0, 0) y el punto P = (c, d) tiene por ecuaciones paramétricas:
x = 0 + t(c − 0) = tc
y = 0 + t(d − 0) = td
−→
para t ∈ R. Ası́, para t ≥ 0, esta expresión nos da todos los puntos de la semi-recta OP ;
y cuando 0 ≤ t ≤ 1 los puntos del segmento de recta OP ; finalmente para t ≤ 0 resultan
−→
los puntos de la semi-recta OR opuesta a OP es decir, R es un punto tal que O está entre
R y P.
Ejemplo 4.2.4 (Intersección de dos rectas). Dados los puntos P = (1, 3), Q = (2, −1),
P ′ = (3, 3) y Q′ = (1, −2), entonces las coordenadas del punto de intersección de las
←→ ←−→
rectas P Q y P ′Q′ (o de los segmentos P Q y P ′ Q′ ) se puede encontrar de forma simple.
174 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
←→
Como vimos antes, los puntos de la recta P Q son de la forma:
←→
asimismo, los puntos de la recta P Q son de la forma:
Si un punto (x, y) está en ambas rectas, entonces se deben satisfacer de forma simultánea
las dos condiciones. Es decir, deben existir s, t ∈ R tales que:
(1) 1 + s = 3 − 2t (1) s + 2t = 2
⇐⇒
(2) 3 − 4s = 3 − 5t (2) − 4s + 5t = 0
Vamos a resolver este sistema de dos ecuaciones y con dos incógnitas. Multiplicando la
primera ecuación por 4 obtenemos una tercera ecuación: (3) 4s + 8t = 8. Al sumar las
ecuaciones (2) y (3) resulta:
8
(−4s + 5t) + (4s + 8t) = 8 =⇒ 13t = 8 =⇒ t = 13
.
8
16 16 10
s+2 13
= 2 =⇒ s + 13
= 2 =⇒ s = 2 − 13
= 13
←→ ←−→
Por lo tanto, las rectas P Q y P ′ Q′ se interceptan en el punto dado por los parámetros
10 8
s= 13
yt= 13
. Reemplazando en las ecuaciones paramétricas de las rectas obtenemos:
10 10
23 1
(x, y) = (1 + s, 3 − 4s) = 1 + 13
,3 −4· 13
= 13
, − 13
8 8
23 1
(x, y) = (3 − 2t, 3 − 5t) = 3 − 2 · 13
,3 −5· 13
= 13
, − 13
23 1
R= 13
, − 13 .
4.2. SEGMENTOS DE RECTA EN EL PLANO 175
Para esto determinamos las coordenadas del punto S = (x, y) de modo que RS sea
congruente y paralelo a P Q.
Y Q
•
P • • • S
R •
• • • • •
a e c x X
a+x
2
son las coordenadas del punto S de modo que RS es congruente y paralelo con P Q. En
que P = (a, b), Q = (c, d), R = (e, f ).
Por ejemplo, dados P = (2, 3) y Q = (−2, 0), el segmento P Q puede ser trasladado
a un segmento congruente y paralelo desde el punto R = (4, 0). Basta tomar:
Ejemplo 4.2.7 (Paralela a una recta pasando por un punto exterior a ésta). Los puntos
←→
de la recta P Q determinada por P = (a, b) y Q = (c, d) son parametrizados por la
prescripción:
(x, y) = (a + t(c − a), b + t(d − b)), t ∈ R. (4.6)
4.2. SEGMENTOS DE RECTA EN EL PLANO 177
←→
Si un punto R = (e, f ) no está en P Q, podemos determinar una parametrización para la
←→
recta l que para por R y es paralela a P Q. Para esto basta determinar las coordenadas de
otro punto en l. Sabemos que el punto de coordenadas:
S = (e + (c − a), f + (d − b))
es tal que el segmento RS es congruente y paralelo a P Q. Por lo tanto, la recta l que pasa
por R y es paralela al segmente P Q es precisamente la recta determinada por R y S cuyos
puntos obedecen la parametrización:
←→
Los puntos de la recta P Q determinada por P = (1, 3) y Q = (3, −2) son parame-
trizados por (x, y) = (2t + 1, −5t + 3), t ∈ R. Note que los puntos (0, 0) y (1, −1) no
←→
pertenecen a P Q, ver el Ejemplo 4.2.2. Atendiendo en lo observado, la recta l paralela a
←→
P Q y que pasa por O = (0, 0) obedece la parametrización:
←→
Del mismo modo, la recta r que es paralela a P Q y que pasa por R = (1, −1), obedece
la parametrización:
Ejemplo 4.2.9 (Perpendicular a una recta bajada desde un punto arbitrario). Consi-
deremos los puntos P = (a, b), Q = (c, d). Sea R = (e, f ) un punto arbitrario. El punto
de coordenadas T = (c−a, d−b) es tal que el segmento desde el origen OT es congruente
y paralelo con P Q.
R = (e, f )
Y •
Al rotar T = (c − a, d − b) por 90◦ , obtenemos
•
N = (e − (d − b), f + c − a)
N ′ = (−(d− b), c− a) de modo que ON ′ es per-
pendicular a OT . Al trasladar el segmento ON ′
Q = (c, d)
T = (c − a, d − b)
• de forma paralela sobre el punto R, se obtiene el
•
P = (a, b) punto N = (e − (d − b), f + (c − a)) de modo
•
que:
X ←→ ←−→′ ←→ ←→
RN k ON ⊥ OT k P Q
•
N ′ = (−(d − b), c − a)
←→
La recta pasando por R = (e, f ) y perpendicular a P Q admite la parametrización:
←→
Para los puntos P = (2, 5) y Q = (−3, −1), P Q es parametrizada por:
←→
/ P Q. Al rotar T = (−3 − 2, −1 − 5) = (−5, −6) por 90◦ otenemos
El punto R = (4, 0) ∈
←→
el punto N ′ = (−(−6), −5) = (6, −5) de modo que ON ′ es perpendicular a P Q. Para
←→
N = (4 + 6, 0 − 5) = (10, −5), la recta RN dada por la parametrización:
←→
es perpendicular a la recta P Q.
4.2. SEGMENTOS DE RECTA EN EL PLANO 179
a+c
x= 2
− t(d − b) (4.9)
b+d
y= 2
+ t(c − a)
x=0
y=t
que es precisamente el eje Y . Del mismo modo, la mediatriz del segmento determinado
por (0, −1) y (0, 1) es parametrizada por:
x=t
y=0
P = (a, y) Q = (c, y)
• •
P ′ = (x, b) • (0, b) • −
(a, 0) (c, 0)
• •
|b − d|
X
| |
|a − c|
Q′ = (x, d) • (0, d) • −
Figura 4.9: Distancia entre dos puntos con igual abscisa o igual ordenada
Y Q = (x′ , y ′ )
• −
d(Q, R)
P = (x, y)
y • • • −
R = (x′ , y)
| |
d(P, R)
•
x′ X
5
el punto R es dado por la intersección de la recta paralela al eje Y pasando por Q y la recta paralela
al eje X pasando por Q. Como los ejes son perpendiculares entre sı́, estas rectas son paralelas a rectas que
son perpendiculares, entonces ellas también son perpendiculares. Por esto △P QR es rectángulo.
182 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Ejemplo 4.3.1. Consideremos los puntos P = (−1, −3) y Q = (2, −7), la distancia entre
estos puntos es dada por
» » √
d(P, Q) = (−1 − 2)2 + (−3 − (−7))2 = (−3)2 + (4)2 = 9 + 16 = 5.
1 1 1
t= =p ⇒ t2 = 2 ,
d(O, P ) 2
x +y 2 x + y2
←→
entonces el punto P ′ = (tx, ty) está sobre la recta OP . Además,
» q
2 2
d(O, P ′) = (tx)2 + (ty)2 = xx2 +y
+y 2
= 1.
P = (x, y)
•
P′
• • Q
Q′
•
1
•
O X
−→
Dado un punto P 6= O, siempre existe un punto P ′ ∈ OP tal que d(O, P ′) = 1.
4.3. DISTANCIA ENTRE DOS PUNTOS 183
1
Si P = (7, 0), entonces para t = 7
el punto P ′ = ( 17 · 7, 17 · 0) = (1, 0) es tal que el
segmento OP ′ es unitario. Del mismo modo, si Q = (1, 2), entonces para:
Ä ä Ä ä
t= √ 1
12 +22
= √1
5
⇒ Q′ = √1 1, √1 2
5 5
= √1 , √2
5 5
.
←→
De este modo, el segmento OQ′ es unitario sobre la recta OQ.
P = (x, y)
•
• Q = (a, b)
•
O X
Dados los puntos P = (x, y) y Q = (a, b), por el Teorema de Pitágoras sabemos
que los segmentos OP y OQ son perpendiculares si, y solamente si,
la fórmula de la distancia entre dos puntos nos permite escribir esta igualdad como:
ax + by = 0. (4.10)
184 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Sean P = (x, y), Q = (a, b), P ′ = (x′ , y ′), y Q′ = (a′ , b′ ) puntos diferentes. Cuál
es la condición en términos de las coordenadas de estos puntos que asegura que
los segmentos P Q y P ′ Q′ sean perpendiculares?
Ejemplo 4.3.3. Sean P = (2, 2), Q = (0, 0), P ′ = (1, 0), Q′ = (5, −4), R = (2, 4), y
S = (2, −2). Los segmentos P Q y P ′ Q′ son perpendiculares. A saber:
(0 − 2)(5 − 1) + (0 − 2)(−4 − 0) = −8 + 8 = 0.
(0 − 2)(2 − 2) + (0 − 2)(−2 − 4) = 12 6= 0.
6
al construir la perpendicular a una recta por un punto exterior a esta.
4.4. ELEGIR UN SISTEMA DE COORDENADAS ADECUADO 185
Clase 24
√
Por lo visto antes, M = ( 2b , 2c ) y la longitud de la hipotenusa es: d(B, C) = b2 + c2 ,
186 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Ejemplo 4.4.2. Dado un triángulo △ABC, mostrar que sus tres alturas se cortan en un
mismo punto.
(0 − b)(0 − a) + (y − 0)(c − 0) = 0,
(0 − a)(0 − b) + (z − 0)(c − 0) = 0,
ab
z=y=− .
c
Por lo tanto, P = Q = (0, − abc ), es el punto en el cual se encuentran las tres alturas.
4.5. LAS ECUACIONES DE LA RECTA 187
La idea que llevó a la geometrı́a analı́tica fue: a cada punto en un plano le corres-
ponde un par ordenado de números y a cada par ordenado de números le corresponde
un punto en un plano, dando lugar a la idea de sistema de coordenadas en tal plano.
Hemos empleado la correspondencia anterior para relacionar aspectos geométricos con
el álgebra, al describir propiedades geométricas por medio de expresiones algebraicas
que involucran entre otros a las coordenadas de los puntos. Por ejemplo, si Q = (c, d),
la expresión cx + dy = 0 es válida por un punto P = (a, b), significa que sus coorde-
nadas satisfacen la igualdad ca + db = 0; geométricamente ésto se interpretó como la
perpendicularidad de dos segmentos desde el origen:
OP ⊥ OQ.
Asimismo, la elección de coordenadas permite algo crucial, y es que las ecuaciones al-
gebraicas corresponden con figuras geométricas. Eso significa que las lı́neas y ciertas
figuras geométricas se pueden expresar como ecuaciones y, a su vez, las ecuaciones se
pueden graficar como lı́neas o figuras geométricas. Por ejemplo, atendiendo 4.3 las ecua-
ciones:
x = a + t(c − a)
y = b + t(d − b)
(x, y) ∈ ∆ ⇐⇒ y = x.
188 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
(x, y) ∈ ∆′ ⇐⇒ y = −x.
Definición 4.5.2. Se dice que l es una recta vertical cuando es paralela al eje Y . Análo-
gamente, se dice que l es una recta horizontal cuando es paralela al eje X.
Y Y
• (x0 , y ′ )
(0, y0 ) (x, y0 )
• (x0 , y) • • y = y0
(x0 , 0)
•
X X
x = x0
Ejemplo 4.5.3 (Rectas verticales y horizontales). Si una recta vertical l corta al eje X
en el punto (x0 , 0), entonces todos los puntos de l son de la forma (x0 , y) con y ∈ R. Es
decir, todos sus puntos están caracterizados por la ecuación x = x0 . Lo cual significa que
un punto pertenece a l si, y solo si, su abscisa es x0 .
Si una recta horizontal r corta al eje Y en el punto (0, y0), entonces todos los puntos
de r son de la forma P = (x, y0 ) con x ∈ R. Es decir, todos sus puntos están caracteriza-
dos por la ecuación y = y0 . La Figura 4.13 ilustra esta situación. Lo cual significa que un
punto pertenece a r si, y solo si, su ordenada es y0 .
4.5. LAS ECUACIONES DE LA RECTA 189
Para expresar por medio de ecuaciones una recta conviene mencionar un criterio
de colinealidad de puntos dado por la desigualdad triangular: En todo triángulo la suma
de las longitudes de dos lados cualesquiera es siempre mayor o igual a la longitud del
lado restante. Se verifica la igualdad si y solo, si los tres vértices son colineales. Es decir,
dados tres punto P, Q, R en un plano, entonces:
además, se verifica la igualdad si, y solo si, los tres puntos son colineales. O sea,
Sea l una recta que no es vertical, la cual corta al eje Y en el punto B = (0, n).
Supongamos que el punto de abscisa 1 en l es A = (1, m + n). Los puntos A y B
determinan de forma única la recta l. En este caso, la ecuación de l es dada por la
expresión:
y = mx + n. (4.13)
Sean P1 = (x1 , mx1 + n), P2 = (x2 , mx2 + n), y P3 = (x3 , mx3 + n) tres puntos
diferentes en C. Supongamos sin perder generalidad que x1 < x2 < x3 .
» √
d(P1 , P2 ) = (x1 − x2 )2 + (mx1 − mx2 )2 = (x2 − x1 ) 1 + m2 .
√ √
Asimismo, d(P2 , P3 ) = (x3 − x2 ) 1 + m2 , d(P1 , P3 ) = (x3 − x1 ) 1 + m2 . Luego:
En resumen, dada una recta no vertical l, existen números reales m y n tales que:
P = (x, y) ∈ l ⇐⇒ y = mx + n.
(1) El valor n es la ordenada del punto de corte con el eje Y ; es decir, (0, n) ∈ l;
(0, n̄) • y = mx + n
(0, n)
• y=n
Es decir, la ecuación de la recta que pasa por el punto (x1 , y1) y tiene pendiente m es:
Por ejemplo, la ecuación de la recta que pasa por el punto (3, −4) y tiene pendiente −2
es dada por y − (−4) = −2(x − 3); es decir y + 4 = −2x + 6 =⇒ y = −2x + 2. La
ecuación de la recta dada en 4.15 es llamada ecuación de la recta punto pendiente.
y2 − y1
m= ,
x2 − x1
y2 − y1 y2 − y1
y − y1 = (x − x1 ) =⇒ y = y1 + (x − x1 ) (4.16)
x2 − x1 x2 − x1
o bien por:
y2 − y1 y2 − y1
y − y2 = (x − x2 ) =⇒ y = y2 + (x − x2 ). (4.17)
x2 − x1 x2 − x1
Por ejemplo, la ecuación de la recta que pasa por los puntos (−1, 2) y (2, −5) tiene pen-
diente:
−5 − 2 −7 7
m= = =−
2 − (−1) 3 3
empleando el punto (−1, 2), vemos que la ecuación de la recta es dada por:
7 7
y = 2 − (x − (−1)) = 2 − (x + 1).
3 3
Ejemplo 4.5.7 (Rectas por el origen). Una recta que pasa por el origen (x1 , y1 ) = (0, 0)
y con pendiente m tiene ecuación y = mx.
y = 2x
y=x Vemos que conforme se aumenta la pendien-
1
y= 2
x
te en las rectas, aumenta la inclinación de
y = −x
Ejemplo 4.5.8 (Colinealidad de puntos). Para verificar si los puntos P, Q, R son coli-
←→ ←→
neales o no lo son, basta verificar si las rectas P Q y QR tienen la misma pendiente. Por
ejemplo, si P = (2, 3), Q = (3, 4), R = (5, 5) no son colineales pues la pendiente para la
←→ ←→
recta P Q es: m = 4−3
3−2
= 11 = 1 mientras que para la recta QR es: m̄ = 5−45−3
= 12 . Pero
4.5. LAS ECUACIONES DE LA RECTA 193
←→ 8−4 4
si tomamos S = (7, 8), la pendiente de la recta QS es: 7−3
= 4
= 1 luego los puntos
P, Q, S son colineales.
b d
P = (a, b), Q = (c, d) son colineales ⇐⇒ = ⇐⇒ ad − bc = 07
a c
x = x1 + t(x2 − x1 )
y = y1 + t(y2 − y1 )
x − x1 y − y1 x − x1 y − y1 8
=t= . =⇒ = .
x2 − x1 y2 − y1 x2 − x1 y2 − y1
De forma equivalente,
y2 − y1
y = y1 + (x − x1 )
x2 − x1
que es precisamente, la ecuación de la recta determinada por P = (x1 , y1 ) y Q = (x2 , y2),
ver 4.16.
7
la condición ad − bc = 0 es más conveniente para expresar la colinealidad de los puntos O, P, Q que
la igualdad ab = dc porque nos libra de la preocupación de tener denominadores iguales a cero
8
esta igualdad se conoce como la ecuación continua de la recta determinada por los puntos P =
(x1 , y1 ) y Q = (x2 , y2 )
194 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Esto nos permite expresar condiciones en la pendiente para las rectas paralelas y
perpendiculares a una recta dada.
2x − 5 = 4x = 7 ⇐⇒ 2x = −12, ⇐⇒ x = −6
y = mx + n′
y = mx + n
n′
←→
Dados los puntos P = (2, 5), Q = (3, 2). La recta P Q tiene pendiente:
2−5
m= = −3.
3−2
←→
La recta que pasa por R = (−1, 3) y es paralela a P Q tiene pendiente −3 y su ecuación
196 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
es:
y = 3 − 3(x − (−1)) = −3x
←→ 1
Asimismo, la recta que pasa por R y es perpendicular a P Q tiene pendiente 3
y su ecua-
ción es:
1 1 10
y = 3 + (x − (−1)) = x +
3 3 3
4.5. LAS ECUACIONES DE LA RECTA 197
Clase 25
Se puede verificar sin dificultad que, dada cualquier recta l en un plano, existen
reales a, b, c tales que la ecuación ax + by = c representa a la recta l. Usando esta
forma, las rectas verticales, corresponden al caso b = 0, es decir, se representa de la
forma ax = c. Pues esta condición significa que x es constante a lo largo de la recta. 9
Asimismo, rectas horizontales corresponden al caso by = c. Pues esta condición significa
que y es constante a lo largo de la recta.
En general, dada una recta l, sea A = (a, b) 6= (0, 0) un punto sobre la recta per-
←→
pendicular a l bajada desde el origen. Es decir OA ⊥ l. Dados dos puntos cualesquiera
P = (x1 , y1 ), Q = (x2 , y2 ) ∈ l, entonces se verifica que P Q ⊥ OA. Se sigue de 4.11
que:
a(x1 − x2 ) + b(y1 − y2 ) = 0 ⇐⇒ ax1 + by1 = ax2 + by2 .
La igualdad anterior, nos dice que, sea cual sea el punto P = (x, y) ∈ l la expresión
ax + by siempre tiene el mismo valor. Si llamamos c este valor, hemos demostrado que
9
para rectas verticales se presenta un impedimento para la ecuación de la forma y = mx + b, y sus
equivalentes
198 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
ax0 + by0 = c.
ax1 + by1 = c.
a(x0 − x1 ) + b(y0 − y1 ) = 0.
Esto quiere decir que P Q ⊥ OA, o sea, el punto P está en la recta perpendicular a OA
bajada desde Q, mas esta recta perpendicular es precisamente l. Ası́, P ∈ l.
En conclusión:
Ejemplo 4.5.12. Determinar la ecuación de la recta l que pasa por el punto P = (2, 7)
y es perpendicular a la recta de ecuación y = 2x. Tomando el punto A = (1, 2) sobre
la recta y = 2x, sabemos que la ecuación buscada tiene la forma x + 2y = c. Como el
punto P = (2, 7) está sobre la recta l dada, entonces 2 + 2(7) = c, o sea, 16 = c. Luego
la ecuación es x + 2y = 16. Note que si el punto elegido sobre la recta y = 2x fuese
A′ = (3, 6), entonces la ecuación obtenida serı́a: 3x + 6y = c, con c = 3(2) + 6(7) = 48,
lo que nos darı́a 3x + 6y = 48. Notemos que:
representa la misma recta, pues esas ecuaciones son equivalentes, en el sentido que un
punto (x, y) verifica una de ellas si, y solo, si verifica la otra.
Ejemplo 4.5.13. Determinar la ecuación de la recta l que pasa por los puntos P = (5, −2)
y Q = (−3, 1). La ecuación buscada tiene la forma ax + by = c, donde A = (a, b) es tal
que OA ⊥ P Q, por lo tanto:
8
esto es −8a + 3b = 0. Tomando a = 1 obtenemos b = 3
y la ecuación buscada tiene la
forma:
x + 38 y = c.
x + 38 y = − 13 ⇐⇒ 3x + 8y = −1
representa a la recta que pasa por los puntos P = (5, −2) y Q = (−3, 1).
La recta ax + by = c tiene:
ax + by = c
•
A = (a, b)
• la pendiente es − ab ;
c
b
• b x ⇐⇒ ay − bx = 0
• intercepto ( ac , 0) con el eje X;
y= a
←→ ←→
OA ⊥ l, y OA′ ⊥ m. (4.18)
←→ ←→
Luego si l y m coinciden o, l k m, necesariamente OA = OA′ , esto es, O, A, A′ son coli-
neales. Se sigue del Ejemplo 4.5.8 que cuando este es el caso, ab′ − a′ b = 0. Finalmente,
a′
dado que (a, b) 6= (0, 0), entonces sea a 6= 0. Como ab′ − a′ b = 0, entonces b′ = a
b. Si
a′
hacemos k = a
, entonces b′ = kb y obviamente a′ = ka. Es claro que k no puede ser
cero, porque harı́a a′ = b′ = 0 lo cual contradice la convención de elegir (a′ , b′ ) en la
ecuación a′ x + b′ y = c. En resumen hemos mostrado parte del siguiente resultado:
(3) ab′ − a′ b = 0;
Demostración: Hemos visto que (1) ⇒ (2) ⇒ (3) ⇒ (4). Finalmente, supongamos que
eciste k 6= 0 de modo que a′ = ka y b′ = kb. Hay dos posibilidades: o bien c′ = kc
o c′ 6= kc. En el primer caso, al tomar (x, y) en l resulta que ax + by = c, luego como
k 6= 0 la ecuación obtenida multiplicando por k, (ka)x = (kb)y = kc también representa
la misma recta, es decir, a′ x + b′ y = c′ lo hace; por lo tanto l = m. En el segundo caso,
en que c′ 6= kc, para cada (x, y) ∈ l se tiene ax + by = c, luego multiplicando por k
resulta kax + kby = kc 6= c′ , o sea, a′ x + b′ y 6= c′ por lo tanto (x, y) no pertenece a m.Es
decir, ningún punto de l pertenece a m, en otras palabras l k m
4.5. LAS ECUACIONES DE LA RECTA 201
ax + by = c
ax + by = c
A = (a, b)
•
ası́ obtenidas son paralelas entre sı́, todas
ay − bx = 0
ax + by = 0
perpendiculares con OA para A = (a, b),
es decir, todas perpendiculares a la recta
•
X ay − bx = 0. Cuando c = 0, la recta
ax + by = 0 pasa por el origen.
ax + by = c
a′ x + b′ y = c′
tienen un único punto en común, si, y solamente si, no existe k 6= 0 tal que a′ = ka y
b′ = kb. Igualmente, las rectas ax + by = c y a′ x + b′ y = c′ se cortan en un punto si, y
solamente si, ab′ − ba′ 6= 0.
ax + by = c
a′ x + b′ y = c′
202 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Podemos entonces decir que el sistema anterior posee una única solución P = (e, f )
la abscisa e y la ordenada f del punto de intersección de las dos rectas si, y solo si,
ab′ − ba′ 6= 0, es indeterminado (tiene infinitas soluciones todos los puntos sobre las recta
l = m) si, y solo si, para algún k 6= 0 se tiene a′ = ka, b′ = kb, c′ = kc, e imposible o sin
solución si, y solo si, para algún k 6= 0 se tiene a′ = ka, b′ = kb pero c′ 6= kc.
ax + by = c′
ax + by = c
Las coordenadas de P y Q son obtenidas re-
A = (a, b)
• solviendo los sistemas:
ay − bx = 0
Q •
ax + by = c ax + by = c′
P •
bx − ay = 0 bx − ay = 0
•
X
|c′ − c|
d(l, m) := d(P, Q) = √ . (4.19)
a2 + b2
204 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
B = (0, b) • • C = (a, b)
bx − cy = 0.
luego BC ∼
= B ′ C ′ . Del criterio (L-L-L) tenemos △ABC ∼
= △OB ′C ′ . En consecuencia:
1
Área △(ABC) = Área △(OB ′C ′ ) = |(c2 − a2 )(b1 − a1 ) − (c1 − a1 )((b2 − a2 )|.
2
Ejemplo 4.5.22. Dados los puntos A = (2, 1), B = (3, 4), C = (7, 3) existe un único
punto D de modo que ABCD es un paralelogramo. A saber, para obtener D basta tras-
ladar de forma paralela el segmento BC desde A haciendo coincidir B con A. De 4.5
sabemos que basta sumar 7 − 3 = 4 la cada abscisa de A y 3 − 4 = −1 a su ordenada.
Ası́ D = (2 + 4, 1 − 1) = (6, 0). El área del paralelogramo ABCD es el doble del área
del triángulo △(ABC), esto es:
Clase 26
Realizamos el quiz 4
Luego,
»
(x, y) ∈ C(A; r) ⇐⇒ (x − a)2 + (y − b)2 = r ⇐⇒ (x − a)2 + (y − b)2 = r 2 (4.21)
P = (x, y)
•
r Ecuación de la circunferencia centrada en
b • •
A A = (a, b) y de radio r:
• (x − a)2 + (y − b)2 = r 2
a X
Ejemplo 4.6.1.
Determinamos la ecuación de la circunferen-
cia que tiene por diámetro al segmento OA,
Ä ä2
x− a + y2 = a2
2 4
siendo A = (a, 0). En este caso el centro es
O
•
Ä
•
a,0
ä
•
(a, 0) el punto medio de dicho segmento ( a2 , 0) y el
2
|a|
radio es 2
. Luego, la ecuación es:
a 2 a2
x− 2
+ y2 = 4
2+3 5 2+5 7
x= 2
− t(1 − 4) = 2
+ 3t x= 2
− t(3 − 4) = 2
+s
4+1 5 4+3 7
y= 2
+ t(3 − 2) = 2
+t y= 2
+ t(5 − 2) = 2
+ 3s
3t − s = 1
t − 3s = 1
Ejemplo 4.6.3. [Proyección estereográfica] Dados A = (0, 1), B = (m, 0). Determinar
los puntos de la recta determinada por A y B que están a una distancia 1 del origen.
←→
Es claro que los puntos buscados corresponden a la intersección de la recta AB con la
circunferencia unitaria. Las ecuaciones paramétricas de la recta son:
x = 0 + t(m − 0) = tm
y = 1 + t(0 − 1) = 1 − t
Un punto de la recta, está en la circunferencia, si verifica 1 = x2 + y 2 = (tm)2 + (1 − t)2 .
Esta ecuación significa:
2
t2 (m2 + 1) − 2t = 0 ⇐⇒ t = 0 ó t = .
m2 +1
En el primer caso, (x, y) = (0, −1) = A, que era esperado. El segundo valor de t nos da:
2m 2 m2 − 1
x= 2 , y =1− 2 = 2 .
m +1 m +1 m +1
x = tx0
y = 1 + t(y0 − 1)
←→
Un punto en AP sobre el eje X corresponde a la ordenada es cero, o sea: 1+t(y0 −1) = 0.
Esto significa que:
1 x0
t= , por tanto x = .
1 − y0 1 − y0
Lo anterior muestra que la prescripción:
Å ã
1 x
(x, y) ∈ S \ {A} 7−→ ,0 ∈ X
1−y
establece una correspondencia biunı́voca entre la esfera unitaria sin el polo norte A y el
eje X. Cuya inversa es dada por la prescripción:
Å ã
2x x2 − 1
(x, 0) ∈ X 7−→ 2
, 2 ∈ S1 \ {A}.
x +1 x +1
210 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Ejemplo 4.6.4 (Rectas tangentes a una circunferencia). Las rectas tangentes a una
circunferencia son caracterizadas de dos formas. O bien cortar a la circunferencia en un
punto único, o por ser perpendiculares al radio en los puntos de corte. Empleando la
segunda opción determinamos la ecuación de la recta tangente a una circunferencia.
←→
Sea P = (x0 , y0 ) ∈ C(0; r) tal que la recta AP es tangente a C(0; r). En que A =
←→ ←→
(a, 0) con |a| > r. Como AP ⊥ OP , el triángulo △(OAP ) es rectángulo y semejante
con △(BAP ), en que B = (x, 0) es la proyección del P sobre el eje X.
P = (x0 , y0 )
•
De la semejanza y Pitágoras se sigue:
A = (a, 0)
• • •
O B x0 d(O, B) d(O, P ) r
= = =√
• y0 d(B, P ) d(A, P ) a2 − r 2
P ′ = (x0 , −y0 )
x2 + y 2 = r 2
←→ ←→ ←→
Como AP ⊥ OP , entonces si m denota la pendiente de AP , del Ejemplo 4.5.11
←→
sabemos que m = − m1 = xy00 , en que m = xy00 es la pendiente de OP . Luego la ecuación
←→
para la tangente AP es:
r
y = − xy00 (x − a) = − √ (x − a),
a2 − r 2
←→
encuanto la ecuación de la tangente OP ′ es:
x0 r
y= y0
(x − a) = √ (x − a),
a2 − r 2
x2 + (y − b)2 = r 2 .
4.6. CIRCUNFERENCIAS EN EL PLANO 211
12 + (2 − b)2 = r 2 y 32 + (4 − b)2 = r 2 ,
de donde resulta:
x2 + y 2 + 8x + 6y = x2 + y 2 + 8x + 6y + 16 + 9 − 25 = (x + 4)2 + (y + 3)2 − 25 = 0.
3x2 + 3y 2 − 2x + 7y + 4 = 0 ←→ x2 + y 2 − 23 x + 37 y + 4
3
=0
o de forma equivalente:
Ä √ ä2
(x − 31 )2 + (y + 67 )2 = 5
36
= 6
5
.
√
Por lo tanto el centro de la circunferencia es el punto − 31 , 76 y el radio es 6
5
.
p
Sea P = (x, y) un punto tal que d(O, P ) = x2 + y 2 = r. Si α ∈ R denota la
medida en radianes del ángulo determinado por el segmento OP y el eje X, las funciones
trigonométricas10 para α se definen como sigue:
P (x, y)
• α
r
y y x y
sen(α) = , cos(α) = , tan(α) = , x 6= 0
x r r x
Por convención, para el signo de los ángulos se tiene que para α > 0: el ángulo se
debe a un giro en el sentido contrario al de las manecillas del reloj; asimismo, para α < 0
corresponde a un giro en el sentido de las manecillas del reloj.
Observación 4.6.10. El radián mide el ángulo presentado como central a una circunfe-
rencia y su medida es igual a la razón entre la longitud del arco que comprende de dicha
circunferencia y la longitud del radio, es decir, mide la cantidad de veces que la longitud
del radio cabe en dicho arco. Por ejemplo, el arco de C(O; r) mide 2πr, entonces el ángulo
correspondiente a un giro anti-horario sobre esta circunferencia tiene 2π radianes.
r
r
r
ángulo de 1 radian
10
las expresiones para la cotangente, la secante y la cosecante son las inversas de las expresiones dadas,
por esto, nos restringimos al estudio de las tres razones presentadas
214 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Observación 4.6.11. Los valores de las funciones trigonométricas no dependen del radio
de la circunferencia. Por comodidad es preferible ubicarse sobre la circunferencia unitaria.
En este caso:
(cos t, sen t) y
• α sen(α) = y, cos(α) = x, tan(α) =
cos t x
1
sen t
Luego una parametrización para S1 es:
Ejemplo 4.6.12. Los valores de las funciones trigonométricas para el ángulo α > 0 que
determina el punto P (2, −1) se obtienen como sigue:
» √
P (2, −1) =⇒ r = 22 + (−1)2 = 5
√
1 5
sen(α) = − √ = −
5 5
α √
2 2 5
cos(α) = √ =
5 5
•
(2, −1)
1
tan(α) = −
2
Ejemplo 4.6.13. (Coseno del ángulo entre dos segmentos en el origen) Dados P =
(x, y) = (cos(α), sen(α)) y Q = (a, b) = (cos(β), sen(β)) puntos de la esfera unitaria
S1 . El ángulo determinado por los segmentos OP y OQ mide θ = β − α radianes. De la
trigonometrı́a sabemos que:
1
•
Q = (a, b)
•
θ P = (x, y)
β •
α
• •
O 1 X
• Q = (a, b)
P = (x, y)
Al elegir reales positivos:
1
• •
• Q′ = (ta, tb)
1 √ 1
•
s= √
x2 +y 2
, t= a2 +b2
,
θ
P ′ = (sx, sy)
Ejemplo 4.6.14 (Coseno del ángulo entre dos segmentos arbitrarios). Dados segmen-
tos de recta P P ′ y QQ′ , con extremos distintos cuyas coordenadas son P = (x, y), P ′ =
(x′ , y ′), Q = (a, b), Q′ = (a′ , b′ ). El traslado paralelo de estos segmentos hasta hacer
coincidir los puntos P y Q con el origen, da lugar a puntos R = (x′ − x, y ′ − y) y
S = (a′ − a, b′ − b) de modo que OR y OS son congruentes y paralelos con P P ′ y QQ′
respectivamente. En consecuencia, el ángulo entre P P ′ y QQ′ , es el mismo que entre OR
y OS, por tanto si este ángulo es θ, entonces como ya vimos en 4.24:
Esta es la expresión para el coseno del ángulo determinado por los segmentos de recta
P P ′ y QQ′ , en que P = (x, y), P ′ = (x′ , y ′), Q = (a, b), Q′ = (a′ , b′ ).
Ejemplo 4.6.16. Si P = (7, 1) y Q = (1, y), calculemos el valor para y de modo que los
segmentos OP y OQ formen un ángulo de π4 . Atendiendo la expresión en 4.24 tenemos:
√
(7)(1)+(1)(y) 7+y
2
2
= cos( π4 ) = √ √ = √ √ =⇒ 5 = √7+y 2 ,
72 +12 12 +y 2 50 1+y 2 1+y
Luego para los puntos Q = (1, 43 ) y Q′ = (1, − 34 ) los segmentos OP y OQ (resp, OQ′)
forman un ángulo de π4 .
Ejemplo 4.6.17. Si P = (1, 5), P ′ = (1, −3), Q = (3, 2), Q′ = (−4, − 83 ) el coseno del
ángulo θ determinado por los segmentos orientados P P ′ y QQ′ es:
(1 − 1)(−4 − 3) + (−3 − 5)(− 38 − 2) 112
3
cos(θ) = p » = »
8
2 2 2
(1 − 1) + (−3 − 5) (−4 − 3) + (− 3 − 2) 2 8 49 + (− 14
3
)2
112 28
= p = √
8 49 · 9 + (14)2 14 13
2
=√
13
Por otro lado, considerando los segmentos orientados P P ′ y Q′ Q obtenemos:
En este caso, θ′ = π − θ.
Finlamente podemos describir el coseno del ángulo determinado por dos rectas.
Ejemplo 4.6.18 (Ángulo entre dos rectas). Si dos rectas l y m se cortan, sabemos que
forman cuatro ángulos, dos de los cuales o bien son opuestos por el vértice y portanto
congruentes, o bien son suplementarios. En consecuencia sus cosenos, coinciden, o bien
difieren por un signo. Esto es, si α es cualquiera de los cuatro ángulos formados por dos
rectas que se cortan, el valor absoluto | cos(α)| está bien definido.
218 CAPÍTULO 4. NOCIONES DE GEOMETRÍA ANALÍTICA
Y
l
α Las rectas l y m representadas por:
ax + by = c, a′ x + b′ y = c′
A
•
A′
•
m ←→ ←→′
OA y OA
en que A = (a, b) y A′ = (a′ , b′ ). Por lo tanto, los cuatro ángulos formados por las rectas
←→ ←→
dadas, son congruentes con los cuatro ángulos formados por las rcetas OA y OA′ . Ası́, si
α es alguno de esos ángulos por lo antes visto en 4.24 tenemos:
(aa′ + bb′ )
| cos(α)| = √ √ . (4.26)
a2 + b2 a′2 + b′2
Esta es la expresión para el coseno del ángulo determinado por las rectas representadas
por ax + by = y a′ x + b′ y = c′ . Nuevamente vemos que las rectas ası́ representadas son
perpendiculares, si, y solo si, aa′ + bb′ = 0. Notamos también que si las rectas dadas
inicialmente son paralelas o coinciden, la expresión anterior nos da | cos(α)| = 1.
Para determinar los ángulos formados por las rectas descritas por las ecuaciones
2x + 3y = 5 y 5x + y = −3 aplicando lo anterior, 4.26 obtenemos:
(2 · 5 + 3 · 1 13 13 1
| cos(α)| = √ √ =√ √ = √ =√ .
22 + 32 52 + 12 13 26 13 2 2
π 3π
Por lo tanto, las rectas dadas forman dos ángulos, uno de 4
y el otro de 4
.
4.7. UNA NOTA SOBRE COORDENADAS POLARES 219
La idea es la siguiente como sistema de referencia se toma: (a) un punto O del plano,
−→
al que se llama origen o polo; y (b) una recta dirigida (o rayo, segmento OL) que pasa por
O, llamada eje polar (equivalente al eje X del sistema cartesiano). Con este sistema de
referencia y una unidad de medida métrica d (para poder asignar distancias entre cada par
de puntos del plano), todo punto P del plano corresponde a un par ordenado (r, θ) donde
r = d(O, P ) es la distancia de P al origen, y θ es el ángulo formado entre el eje polar
−→ −→
OL y la recta dirigida OP que va desde O a P . El valor θ crece en sentido anti-horario y
decrece en sentido horario. La distancia r, (r ≥ 0) se conoce como la coordenada radial,
mientras que el ángulo es la coordenada angular o ángulo polar.
Dado un par de números reales (r, θ), con r > 0, se obtiene el punto correspondiente
P en el plano considerando la circunferencia de centro en el origen elegido O y sobre tal
circunferencia tomando un arco de θ radianes a partir del punto de intersección con el
−−→
semi-eje positivo OX.
θ
L
r
•
P = (r, θ)
P = (r cos(θ), r sen(θ))
Además, notemos que las coordenadas polares del origen O no están definidas.
Al considerar pares de números reales r y θ tales que r ∈ [0, ∞) y θ ∈ [0, 2π), entonces
sobre el plano menos una semi-recta la correspondencia anterior si es biunı́voca.
r = r0 C(O; r0 )
2π
θ0
θ = θ0
Notemos que:
(a) El conjunto constituido por parejas con ordenada constante, esto es, parejas de la
forma (r, θ0 ) corresponde al conjunto de puntos del plano que están sobre la semi-
−→
recta que forma que forma un ángulo θ0 con el eje polar OL. Ası́, la ecuación θ = π3
define una semi-recta (sin origen) que parte de O y forma un ángulo de 60◦ con el
semi-eje positivo OX.
4.7. UNA NOTA SOBRE COORDENADAS POLARES 221
(b) El conjunto constituido por parejas con abscisa constante, esto es, parejas de la forma
(r0 , θ) corresponde al conjunto de puntos del plano que están sobre la circunferencia
de centro en el origen y radio r0 . Ası́ la ecuación r = 3 define una circunferencia de
centro en el origen y radio 3.
x = r cos(θ),
y = r sin(θ).
θ = atan(y, x)
Secciones cónicas
Clase 27
5.1. La elipse
Una elipse de focos F y F ′ es el conjunto de los puntos P en el plano para los cuales
la suma de las distancias a F y F ′ es igual a una constante, la cual denotaremos por 2a.
Por lo tanto, P está en la elipse si, y solamente si,
223
224 CAPÍTULO 5. SECCIONES CÓNICAS
P
•
• •
F′ F
O de forma equivalente,
» »
(x − c) + y = 2a − (x + c)2 + y 2 .
2 2
B = (0, b)
•
a
b
A′ = (−a, 0) • • • • • A = (a, 0)
F′ O c F
•
B ′ = (0, −b)
Los puntos A = (a, 0), A′ = (−a, 0), B = (0, b), B ′ = (0, −b) están sobre la elipse
y se llaman vértices. Los segmentos AA′ y BB ′ son llamados los ejes de la elipse. El
eje AA′ que contiene los focos es llamado el eje mayor, y el eje BB” es llamado el eje
menor. Notemos que siendo a2 = b2 + c2 , necesariamente a ≥ b.
x2 y 2 (x′ )2 (y ′)2
x2 + y 2 = a2 ⇐⇒ + = 1 ⇐⇒ + 2 = 1.
a2 a2 a2 b
x2 y2 x2 y2
3x2 + 4y 2 = 6 ⇐⇒ + = 1 ⇐⇒ √ + p = 1.
2 3/2 ( 2)2 ( 3/2)2
5.2. LA HIPÉRBOLA 227
5.2. La hipérbola
Sean F y F ′ dos puntos en el plano y sea a un número real positivo. Una hipérbola
de focos F y F ′ es el conjunto de los puntos P en el plano para los cuales la diferencia de
las distancias a F y F ′ es en valor absoluto igual a 2a. Por lo tanto, P está en la elipse si,
y solamente si,
|d(P, F ′) − d(P, F )| = 2a.
Atendiendo el significado del valor absouto, concluimos que la hipérbola tiene dos ramos,
uno constituido por todos los puntos para los cuales la diferencia d(P, F ) − d(P, F ′) es
positiva, igual a 2a, y otro por los puntos para los cuales la diferencia d(P, F ) − d(P, F ′)
es negativa e igual a −2a.
Para deducir la ecuación de la hipérbole en su forma más simple, cuyos focos son
F y F ′ , consideramos un sistema de coordenadas en el cual el origen es el punto medio
del segmento F F ′ , es decir, F = (c, 0) y F ′ = (−c, 0), con c ≥ 0.
Por lo tanto, los dos ramos de la hipérbole son simétricas en relación al eje Y .
b2 x2 − a2 y 2 = a2 b2 .
x2 y 2
− 2 =1 (5.2)
a2 b
x2 y 2
− 2 = 1, (5.3)
a2 b
y = − ab x y= b
a
x
B = (0, b)
•
A′ = (−a, 0) A = (a, 0)
• • • • •
F ′ = (−c, 0) F = (c, 0)
•
B ′ = (0, −b)
x2 y2 x2 y2
3x2 − 4y 2 = 6 ⇐⇒ − = 1 ⇐⇒ √ − p = 1.
2 3/2 ( 2)2 ( 3/2)2
√ √
Los ejes son los segmentos AA′ y BB ′ determinados por A = ( 2, 0), A′ = (− 2, 0) y
Ä » ä Ä » ä
B = 0, 32 , B ′ = 0, − 32 . En este caso,
√ »
c2 = ( 2)2 + ( 32 )2 = 7
2
Ä» ä Ä » ä
7
Por lo tanto, los focos están en los puntos F = 2
,0 y F ′ = − 72 , 0 .
230 CAPÍTULO 5. SECCIONES CÓNICAS
5.3. La parábola
P′ • •P
F •
•
A
• • •
F0 P0 l
Y
P ′ = (−x, y) • • P = (x, y)
F = (0, ρ
2
)
X
•
A
• •
F0 = (0, − 2ρ ) P0 = (x, − ρ2 ) l
(y + ρ2 )2 = x2 + (y − 2ρ )2
Asi, notamos que a medida que ε se hace más pequeño, es decir, se acerca a cero, obte-
nemos la ecuación para una recta que se aproxima a la recta que es tangente a la parábola
y = ax2 en el punto P = (m, am2 ), ası́ el valor lı́mite, no da la ecuación para tal recta
tangente:
y = 2am(x − m) + am2 .
5.3. LA PARÁBOLA 233
Y
y = 2am(x − m) + am2
• P = (m, am2 )
Q = (n, an2 ) •
•
P ′ = (m − ε, a(m − ε)2 )
Figura 5.6: Ilustración deducción recta tangente a la parábola en el punto (m, am2 ).
Clase 28
235
236 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Q = (c, d)
•
R = (c − a, d − b)
•
P = (a, b)
•
• X
O
• R′ = (a − c, b − d)
←→
Vemos que el desplazamiento a lo largo de la dirección determinada por la recta P Q
puede efectuarse en dos sentidos, o bien en el sentido de P a Q o en el sentido opuesto,
de Q a P .
6.1. VECTORES EN EL PLANO 237
Definición 6.1.1. Diremos que dos segmentos de recta orientados y paralelos, (o colinea-
les) tienen el mismo sentido, cuando sus traslados paralelos sobre el origen determinan la
misma semi-recta. Caso contrario, diremos que los segmentos tienen sentidos opuestos.
Q′ •
Q
R′ • • P Q y P ′ Q′ tienen igual sentido. Pues los
R •
P′ • •
P traslados paralelos al origen OR y OR′ de-
−→ −−→
O
•
X
terminan la misma semi-recta OR = OR′.
Ejemplo 6.1.3. Si dos segmentos orientados son paralelos y congruentes, sus respecti-
vos traslados paralelos al origen son colineales y congruentes. En consecuencia, si los
segmentos iniciales tienen el mismo sentido, sus respectivos traslados paralelos están so-
bre la misma semi-recta y al ser congruentes necesariamente coinciden. Recı́procamente,
si los traslados paralelos al origen de dos segmentos paralelos, congruentes y orientados,
coinciden necesariamente los segmentos tiene el mismo sentido. Caso contrario los trasla-
dos paralelos estarı́an en semi-rectas opuestas. En resumen hemos verificado el siguiente:
Lema 6.1.4. Dos segmentos paralelos y congruentes tienen el mismo sentido si, y so-
lamente si, sus respectivos traslados paralelos al origen coinciden. Esto es, fijando un
sistema de coordenadas en el plano, si P = (a, b), Q = (c, d), P ′ = (a′ , b′ ), Q′ = (c′ , d′ ),
entonces para que los segmentos orientados y paralelos P Q y P ′ Q′ tengan el mismo
sentido es necesario y suficiente que
c − a = c′ − a′ , d − b = d′ − b′ .
238 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Definición 6.1.5. Dos segmentos de recta en un mismo plano se dice equipolentes cuando:
Note que ser equipolente es una relación de equivalencia entre los segmentos del
plano. Luego es posible reagrupar los segmentos del plano en paquetes1 que contengan
los respectivos segmentos con la propiedad de ser equipolentes, esto es, cada paquete está
constituido de segmentos que son congruentes, paralelos y con igual sentido. Por lo tanto,
los segmentos en cada paquete son indistinguibles respecto a su longitud, dirección y
sentido. Esto permite representar todos los elementos en un mismo paquete como un solo
elemento el cual representará a todo el paquete respecto a longitud, dirección y sentido,
estos representantes los llamaremos vectores. Ası́, cuando los segmentos orientados AB y
P Q son equipolentes, se dice que representan el mismo vector. En este caso escribiremos
−→ −→
v = AB = P Q.
C P
A E
sentantes del mismo vector:
−→ −−→ −→ −→
B F v = AB = CD = EF = P Q
1
en el lenguaje de la teorı́a de conjuntos estos paquetes se conocen como clases de equivalencia
6.1. VECTORES EN EL PLANO 239
v
−−→ −−→
Los vectores AD, BC son representantes del
B D
mismo vector:
v −−→ −−→
v = AD = BC
A
x = e + (c − a), y = f + (d − b).
son las coordenadas del punto S de modo que RS es equipolente con P Q, esto es, ambos
segmentos representan el mismo vector, pues son congruentes, paralelos y con el mismo
sentido.
−→
Vimos que dado un vector v = P Q y un punto R, existe un único punto S de modo
−→ −→ −→
que v = RS = P Q. Ası́, atendiendo que v = P Q se ha representado con una flecha en
el punto P apuntando al punto Q, lo observado significa que tal flecha se puede colocar
de forma libre sobre cualesquier punto del plano, obteniendo de este modo, flechas que
gráficamente son diferentes pero que representan el mismo vector.
240 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
B Q S
v v v
A P R F
D v
v
E
Tv : P ∈ Π 7−→ Tv (P ) := P + v ∈ Π.
Γ + v := {P + v : P ∈ Γ} = Tv (Γ)
−→
Supongamos fijo un sistema de coordenadas para Π. En el cual v = P Q en que
P = (a, b) y Q = (c, d). El traslado paralelo al origen desde P da lugar a un punto
6.1. VECTORES EN EL PLANO 241
−−→
P ′ = (c − a, d − b) de modo que v = OP ′, por esto llamaremos a los números v1 = c − a,
v2 = d − b las coordenadas del vector v en las coordenadas consideradas.
Luego si las coordenadas del vector v son (v1 , v2 ), entonces en estas coordenadas la
traslación Tv : Π → Π se representa como sigue:
Y′ =Y +v
XY Y ′ X ′ es un paralelogramo. La traslación
Y Tv : Π → Π preserva distancia.
X′ = X + v
Atendiendo la expresión para el coseno del ángulo determinado por dos segmentos
dada en 4.25, se verifica sin ninguna dificultad que la traslación Tv : Π → Π preserva el
ángulo determinado por segmentos. Ası́, al preservar longitudes y ángulos, la traslación
Tv preserva figuras congruentes y también preserva áreas.2
2
la verdad este hecho ya fue utilizado antes, más precisamente, cuando calculamos el área de un triángu-
lo en el caso general, trasladamos el triángulo a modo de hacer coincidir uno de sus vértices con el origen
242 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
−→
Convención 6.2.1. Admitiremos el vector nulo 0 = P P , determinado por un segmento
degenerado, en el cual el punto de inicio, ası́ como el punto final coinciden. En consecuen-
−→
cia, cualesquier dos puntos del plano son equipolentes; pues el vector nulo 0 = P P =
−→
QQ para cualquier par de puntos P y Q. Luego, en cualquier sistema, las coordenadas,
0 = (0, 0).
Definición 6.2.2. El producto escalar de un número real t por un vector v, es otro vector
que representaremos por tv, este es un vector que se mantienen sobre la recta que contiene
a v. Más precisamente, el producto tv se define como sigue:
−→ −−→ ←→
(b) Si t > 0 y v = P Q 6= 0, entonces tv = P Q′ donde Q′ es el punto sobre la recta P Q
para el cual los segmentos P Q y P Q′ tienen el mismo sentido, y además:
−→ −−→
(c) Si t < 0 y v = P Q 6= 0, entonces tv = P Q′ , donde Q′ es el único punto sobre la
←→
recta P Q para el cual los segmentos P Q y P Q′ tienen sentido opuesto, y además:
3
P 2
v
1
v 2
v −v
Figura 6.3: Ilustración del efecto del producto escalar dependiendo del signo de t.
Q w R
v v
v+w
Figura 6.4: Ilustración de la suma de vectores por el traslado de uno de ellos, al extremo
final del otro.
Q R
v v
v+w
P
w S
Figura 6.5: Suma de vectores como diagonal del paralelogramo determinado por estos.
−→
considerar el traslado paralelo del segmento OP a partir del punto Q, obtenemos v = QS
en que S = (a + c, b + d), ver la igualdad 4.2.5 en 4.5. Se sigue de la definición que:
−→
v + w = OS; en que S = (a + c, b + d),
es decir, si v = (a, b) y w = (c, d), entonces las coordenadas para v + w son (a + c, b + d).
−→
Ejemplo 6.2.5 (Inversos aditivo de un vector). Dado un vector v = P Q, su inverso
−→
aditivo es el vector −v := (−1)v = QP . Luego si en coordenadas v = (a, b), entonces
−v = (−a, −b). Asimismo del Ejemplo anterior se sigue que v + (−v) = −v + v = 0.
Describamos a seguir las propiedades para la suma de vectores. Esto es fácil sabien-
do que cada coordenada del vector v + w es la suma de las coordenadas correspondientes
de v y w, es fácil deducir las propiedades formales de la adición de vectores a partir de las
propiedades análogas para la adición de números reales. Tenemos ası́ que para cualesquier
vectores u, v, w:
(a) Conmutatividad: v + w = w + v;
(b) Asociatividad: u + (v + w) = (u + v) + w;
−w
v v v−w
v
Ejemplo 6.2.7. Atendiendo en la figura y con base en las definiciones se observan las
expresiones dadas.
−→ −−→
(a) AO = BC = v − w
C B
−−→ −→
(b) AD = 2AO = 2v − 2w
w
v
−−→ −−→
D • A (c) DO = −BC = w − v
O
−−→ −→ −−→
(d) CD = CA+ AD = −v+2v−2w = v−2w
E F
−→ −−→ −−→
(e) AE = AD+ DE = 2v−2w−w = 2v−3w
Y Q
v
−→
P Q = P + v ←→ v = P Q
o de forma equivalente,
−→ −→ −→ −→
O
• X OP + v = OP + P Q = OQ
Fijando un sistema de coordenadas en el plano tal que P = (a, b) y Q = (c, d). Del
←→
Ejemplo 4.2.2 sabemos que las ecuaciones paramétricas de la recta P Q son:
R
Y •
v
P
−→ −→ −→ −→
OR = OP + P R = OP + tv
• X
O
248 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Clase 29
−→ −→
Definición 6.3.1. Consideremos vectores no nulos v = P Q, w = RS. Diremos que v y
w son vectores colineales cuando los segmentos P Q y RS son paralelos o colineales.
Y Q •
v
P
−→ −→
w v = OQ − OP = λw
R
• X
O v, w colineales ⇐⇒ v = λw, λ ∈ R.
Como cualesquier punto sobre un recta asume el rol del vector nulo, entonces cual-
quier vector es colineal con el vector nulo.
6.3. COMBINACIÓN LINEAL DE VECTORES. BASES 249
Lema 6.3.2. Si en coordenadas v = (a, b) y w = (c, d), entonces v y w son colineales si,
y solamente si, ad − bc = 0.
z
w
v
u
Definición 6.3.5. Decimos que el vector w es una combinación lineal de los vectores u y
v si existen números reales s, t de modo que
w = su + tv.
Si consideramos coordenadas en el plano de modo que u = (a, b), v = (c, d). Dado
un vector arbitrario w = (x, y), determinar si w es una combinación lineal de los vectores
250 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
as + ct = x
bs + dt = y
Por lo observado en 4.5.17, el sistema anterior posee una única solución (s, t) para la cual
w = su + tv si, y solamente si, ad − bc 6= 0 si, y solamente si, los vectores u y v son
independientes. En resumen hemos demostrado el siguiente enunciado:
Ejemplo 6.3.7. Dadas coordenadas en un plano. Los vectores u = (2, 2) y v = (3, 3) son
dependiente, puesto que 23 u = v.
2s = 4
s + 5t = 7
ejercicio sobre independencia lineal de v y w equivale con que dos rectas con ecua-
ción vectorial P + tv y P + tw determinan forman ángulos cuyo coseno es diferente de
cero. En consecuencia estos ángulos estan entre 0 y π Ejercicio sobre prueba geométrica
del teorema de la base en el plano, pagina 94 libro
Ejemplo 6.4.1. Los vectores no nulos u y v son colineales y tienen el mismo sentido si, y
solamente si, el ángulo entre ellos es nulo; asimismo, los vectores u y v son colineales y
tienen sentidos opuestos, si, y solamente si, el ángulo entre ellos es llano. Por lo tanto, dos
vectores no nulos y perpendiculares u y v no pueden ser colineales, son necesariamente
independientes.
Definición 6.4.3. El producto interno de dos vectores no nulos u, v se define como siendo
el número real:
hu, vi = kukkvk cos(θ) (6.2)
Observación 6.4.4. Atendiendo el signo que asume la función coseno, notamos que:
v v
v
u u u
Figura 6.8: Ilustración del signo del producto interno de dos vectores.
−→ −→
Si fijamos un sistema de coordenadas y escribimos u = OP y v = OQ, en que
P = (a, b) y Q = (c, d), de la expresión dada en 4.24 para el coseno del ángulo θ entre
OP y OQ tenemos que:
ac + bd ac + bd
cos(θ) = √ √ =
a2 + b2 c2 + d2 kukkvk
6.4. PRODUCTO INTERNO 253
hu, vi = ac + bd,
Ejemplo 6.4.5. Consideremos los vectores u = (2, 1) y v = (0, 1). Es claro que:
√ √ √
kuk = 22 + 12 = 5, kvk = 02 + 12 = 1.
(a) w es múltiplo de u;
(b) v − w ⊥ u.
hv,ui
luego t = hu,ui
. Reemplazando este valor, obtenemos la expresión para la proyección
ortogonal del vector v sobre el vector (no nulo) u.
hv, ui
u
w = pru (v) = u.
w = tu hu, ui
hv, ui
z = v − pru (v) = v u
hu, ui
es perpendicular al vector u.
Ejemplo 6.4.7 (Base de vectores ortogonales). Si los vectores no nulos u y v son or-
togonales, entonces hu, vi = 0. Además al no poder estar sobre un misma recta necesa-
riamente estos vectores son independientes. En este caso, si w es cualquier vector en el
6.4. PRODUCTO INTERNO 255
de donde,
hw, ui hw, vi
s= , y t=
hu, ui hv, vi
En particular, si u y v además de ortogonales son unitarios, i.e., hu, ui = hv, vi = 1, en-
tonces s = hw, ui, y t = hw, vi. Por lo tanto, si u y v son vectores unitarios ortogonales,
para cada w en el plano de u y v se tiene:
Clase 30
Sean (h, k) las coordenadas del punto O ′ en el sistema OXY , y θ el ángulo entre e1
y f1 . Por lo tanto:
−−→
f1 = cos(θ)e1 + sen(θ)e2 , OO ′ = he1 + ke2 .
Luego,
−−→ −→ −−→
O ′ P = OP − OO ′ = (x − h)e1 + (y − k)e2 ,
= (x − h) cos(θ) + (y − k) sen(θ).
6.5. CAMBIO DE COORDENADAS 257
Si las bases tienen igual orientación, f2 se obtiene de f1 por una rotación de 90◦ en
el sentido anti-horario. Como f1 = (cos(θ), sen(θ)), entonces f2 = (− sen(θ), cos(θ)).
Por lo tanto:
−−→
y ′ = hO ′P , f2 i = h(x − h)e1 + (y − k)e2 , − sen(θ)e1 + cos(θ)e2 i
Y′
f2 X′
Y
f1
O′
e2
f2
θ f1
θ
O e1 X
Figura 6.9: Cambio a coordenadas de igual orientación, una traslación seguida de una
rotación
reflexión en torno del eje X ′ . En este caso, se dice que los sistemas OXY y O ′ X ′ Y ′ son
opuestamente orientados o que las bases {e1 , e2 } y {f1 , f2 } tienen orientaciones opues-
tas.
−−→
y ′ = hO ′P , f2 i = h(x − h)e1 + (y − k)e2 , sen(θ)e1 − cos(θ)e2 i
= (x − h) sen(θ) − (y − k) cos(θ).
Y′
X′
Y
f1
O′
e2
θ f1
f2
θ
O e1 X
f2
Figura 6.10: Cambio a coordenadas de orientación opuesta, una traslación seguida de una
rotación y una reflexión
6.5. CAMBIO DE COORDENADAS 259
y ′ = (x − h) sen(θ) − (y − k) cos(θ)
Las ecuaciones en 6.4 pueden ser invertidas de modo de obtener las coordenadas
(x, y) en términos de las coordenadas (x′ , y ′). Por ejemplo, si multiplicamos la primera
ecuación en 6.4 por sen(θ) (resp. por cos(θ)) y la segunda ecuación por cos(θ) (resp. por
− sen(θ)), sumando estas nuevas ecuaciones resulta:4 :
x − h = x′ cos(θ) − y ′ sen(θ)
y − k = x′ sen(θ) + y ′ cos(θ)
x − h = x′ cos(θ) + y ′ sen(θ)
y − k = x′ sen(θ) − y ′ cos(θ)
4
recuerda que cos2 (θ) + sen2 (θ) = 1.
260 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Estas fórmulas permiten obtener las coordenadas (x, y) del punto P respecto al
sistema OXY , en función de las coordenadas (x′ , y ′) del mismo punto en el sistema
O′X ′Y ′.
f1 = (cos(θ), sen(θ)) , −f2 = (sen(θ), − cos(θ)) constituyen una base ortogonal con
orientación opuesta a la base B.
e2
f2
θ f1
θ
O e1 X
−f2
Los cambios de coordenadas cuando se tiene la misma orientación son dados por:
1
Ejemplo 6.5.3. El gráfico de la función f : R+ → R+ , x 7→ x
es el conjunto:
constituyen una base ortogonal para el plano. Si (x′ , y ′) son las coordenadas de un punto,
a fin de determinar el conjunto Gra(f ) en términos de las nuevas coordenadas expresamos
las coordenadas anteriores (x, y) en términos de éstas.
√ √
x = x′ cos( π4 ) − y ′ sen( π4 ) = x′ 2
2
− y′ 2
2
√ √
y = x′ sen( π4 ) + y ′ cos( π4 ) = x′ 22 + y ′ 22
Note que si x > 0 ∧ y > 0, entonces x′ > 0. Por lo tanto son equivalentes
y ′ = (x′ )2 .
6.5. CAMBIO DE COORDENADAS 263
Se trata de una parábola de directriz y;′ = − 14 y cuyo foco está en F ′ = (0, 41 ). En las
coordenadas originales el gráfico de f (x) = x2 − 8x + 15 es una parábola con directriz
y = y ′ − 1 = − 45 y cuyo foco está en el punto de coordenadas F = (4, − 43 ).
Ejemplo 6.5.5. Sea E el conjunto de los puntos del plano que verifican la ecuación x2 −
π
xy + y 2 = 1. Una rotación de 4
introduce coordenadas (x′ , y ′) tales que:
√
x= 2
2
(x′ − y′)
√
y= 2
2
(x′ + y ′)
(x, y) ∈ E ⇐⇒ x2 − xy + y 2 = 1
√ √ √ √
⇐⇒ ( 2
2
(x′ − y ′))2 − 2
2
(x′ − y ′) 2
2
(x′ + y ′) + ( 2
2
(x′ + y ′))2 = 1
⇐⇒ 12 (x′ )2 + 23 (y ′)2 = 1.
a11 a12
en este caso, (a11 a12 ), (a21 a22 ) son las filas de A, y los pares verticales ,
a21 a22
son las columnas de A.
x
v = (x, y) ←→ v =
y
5
las definiciones y resultados comentados se verifican para matrices de tamaño n × n, en que n ∈ N.
6.6. UNA NOTA SOBRE MATRICES 265
Haciendo
Ñ é Ñ é Ñ é Ñ é
1 0 0 1 0 0 0 0
M11 = , M12 = , M21 = , M22 = ,
0 0 0 0 1 0 0 1
Es decir, cualquier matriz es una combinación lineal de las matrices M11 , M12 , M21 , M22 .
Ñ é Ñ é Ñ é
a b x ax + by
· = = (ax + by, cx + dy).
c d y cx + dy
2×2 2×1 2×1
Ñ é Ñ é Ñ é Ñ é Ñ é Ñ é
a b x w a b x a b w
· = · + ·
c d y z c d y c d z
Ñ é
ax + by aw + bz
=
cx + dy cw + dz
266 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Ñ é Ñ é Ñ é Ñ é
a11 a12 a11 a12 0 a12
· e2 = · =
a21 a22 a21 a22 1 a22
Ñ é
a11 a12
En consecuencia, si A = ,
a21 a22
hA · e1 , e1 i = a11 , hA · e1 , e2 i = a12 ,
hA · e2 , e1 i = a21 , hA · e2 , e2 i = a22 .
A · (B + C) = A · B + A · C,
(B + C) · A = B · A + C · A,
A · (u + v) = A · u + A · v,
(A + B) · u = A · u + B · u.
Definición 6.6.4. La matriz M tiene rango cero cuando es la matriz nula. La matriz M
tiene rango 1 cuando no es nula y los vectores columna (resp,fila) son colineales, es decir,
uno de ellos es combinación lineal del otro. Si
Ñ é
a b
M= ,
c d
M tiene rango 1 si, y solo si, ad − bc = 0. La matriz M tiene rango 2, si los vectores
columna (resp, fila) de M son linealmente independientes. Es decir M tiene rango es 2 si,
y solo si, ad − bc 6= 0.
Ñ é
2 8
Ejemplo 6.6.5. La matriz M = tiene rango 1 porque (2)(12) − (8)(3) = 0.
3 12
Ñ é
2 0
La matriz N = tiene rango 2 porque (2)(1) − (0)(3) = 2 6= 0.
3 1
Ñ é
a b
Observación 6.6.6. Dada la matriz M = , el número ad − bc se llama el de-
c c
terminate de M, y se denota por det(M). Luego una matriz no nula M tiene rango 1
si, y solo si, su determinante es cero; y M tiene rango 2 si y solo si, su determinante es
diferente de cero. Se verifica sin dificultad que si A, B son matrices 2 × 2, entonces
det(A · B) = det(A)det(B).
268 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Ñ é
2 8
Por ejemplo si M = , entonces det(M) = (2)(1) − (3)(8) = −22.
3 1
Ñ é
cos(θ) − sen(θ)
Ejemplo 6.6.7. Si M = , det(M) = cos2 (θ) + sen2 (θ) = 1.
sen(θ) cos(θ)
Ñ é Ñ é
a a a c
Ejemplo 6.6.10. Para la matriz A = , se tiene At = . Al calcular el
c d b d
producto de estas matrices resulta:
Ñ é Ñ é Ñ é Ñ é
2 2
a b a c a + b ac + bd hu, ui hu, vi
A · At = · = =
c d b d ac + bd c2 + d2 hv, ui hv, vi
en que u = (a, b) y v = (c, d) son los vectores fila de A. Para un ángulo θ se obtiene,
Ñ é Ñ é Ñ é
cos(θ) − sen(θ) cos(θ) sen(θ) 1 0
M · Mt = · = .
sen(θ) cos(θ) − sen(θ) cos(θ) 0 1
t
Proposición 6.6.12. La transposición de matrices : M2 (R) → M2 (R), A 7→ At cumple
las siguientes propiedades.
(a) Idt = Id
Definición 6.6.13. La matriz A es invertible si existe una matriz B tal que A·B = B ·A =
Id.
B = Id · B = (C · A) · B = C · (A · B) = C · Id = C.
(c) Si A ∈ GL(2, R), entonces A−1 ∈ GL(2, R); además (A−1 )−1 = A.
Demostración: Para ver (a) note que Id · Id = Id. Por otro lado, si A, B ∈ GL(2, R),
existen A−1 , B −1 tales que A · A−1 = A−1 · A = Id y B · B −1 = B −1 · B = Id, luego
De acuerdo en lo observado en 4.5.17, hay únicas soluciones (x, y) y (w, z) si, y solo si,
det(A) = ad − bc 6= 0. Es decir, la matriz inversa para A existe si y solo si, det(A) 6= 0.
6.6. UNA NOTA SOBRE MATRICES 271
(b) det(A) 6= 0;
es decir, det(A) = ±1, para cada A ∈ O(2, R). Luego O(2, R) puede ser dividido en
dos subconjuntos disyuntos, el conjunto de las matrices que poseen determinante positivo
1 y el conjunto de las matrices que poseen determinante negativo −1.
Ñ é
a b
Si A = ∈ O(2, R), de la igualdad, 6.10, su inversa es
c d
Ñ é Ñ é
a c d −b
At = =± ,
b d −c a
esfera unitaria S1 . Por lo tanto, existe un θ ∈ [0, 2π) de modo que f1 = (cos(θ), sen(θ)).
Asimismo, el vector en la segunda columna es f2 = (−sen(θ), cos(θ)) obtenido por una
rotación de 90◦ en el sentido anti-horario cuando det(A) = 1; o f2 = (sen(θ), −cos(θ))
cuando det(A) = −1. Por lo tanto, {f1 , f2 } constituyen una base ortogonal de vecto-
res para el plano; esta es la razón, para llamar los elementos en O(2, R) como matrices
ortogonales.
Note que si det(A) = 1, la base {f1 , f2 } tiene la misma orientación que {e1 , e2 },
caso contrario la base {f1 , f2 } tiene una orientación opuesta a ésta.
Y
S1
f2
Ñ é
θ e2
f1 = (cos(θ), sen(θ)) cos(θ) −sen(θ)
⇐⇒
θ sen(θ) cos(θ)
O e1 X
Figura 6.12: Ilustración del significado geométrico de los vectores columna en una matriz
ortogonal como base del plano.
274 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Clase 31
Fijemos coordenadas en el plano, de este modo los vectores son determinados por
sus coordenadas y las funciones del plano, son funciones de R2 en sı́ mismo.
v2
f2
θ f1
θ
O v1 X
w = av1 + bv2 el vector Rθ (w) cuyas coordenadas son las coordenadas de w en la base
{f1 , f2 }. En consecuencia, Rθ es invertible, y (Rθ )−1 = R−θ . En este caso,
Ejemplo 6.7.4. Fijando un recta por el origen l de ecuación y = mx. La reflexión en torno
a l es una transformación Sl : R2 → R2 la cual asocia a cada punto (x, y) su simétrico
(x′ , y ′) con respecto a la recta de reflexión l.
Ä ä
x+x′ y+y ′
El punto medio del segmento determinado por (x, y) y (x′ , y ′) es 2
, 2 y este
punto está sobre l; por lo tanto sus coordenadas verifican la ecuación para l, ası́
y + y′ x + x′
=m . (6.12)
2 2
Por otro lado, la recta determinada por (x, y) y (x′ , y ′) es perpendicular a l, luego su
pendiente es − m1 , ası́,
y′ − y 1
′
=− (6.13)
x −x m
276 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
(x, y) y = mx
Y
Sl (x, y) = (x′ , y ′ )
O X
1 − m2 2m
x′ = 2
x+ y
1+m 1 + m2
2m 1 − m2
y′ = x − y
1 + m2 1 + m2
Ä ä
1−m2 2m
es decir, cualquiera sea m, el punto de coordenadas 1+m ,
2 1+m2 ∈ C(0; 1), por lo tanto,
existe un ángulo θ ∈ [0, 2π) tal que:
1 − m2 2m
2
= cos(θ), = sen(θ).
1+m 1 + m2
De lo anterior, la reflexión respecto a cualquier recta l obedece la prescripción:
(x, y) y = mx
Y
Sl (x, y) = (x′ , y ′ )
θ
2
O X
Lt : R2 → R2 , v 7→ t · v
es lineal; además LA es inversible si y solo si, A es inversible y este caso (LA )−1 = LA−1 .
278 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
Tv : R2 7→ R2 , (x, y) 7→ (x + v1 , y + v2 ),
Y Y Y
Ä ä
θ
v2 y = tan x v2 f1
f2 2 f2
f1
θ
S←→
OX
→ = θ
v1 θ v1 v1
O X 2 X O X
Sl
−v2 −v2
Sl S←→ (v ) = Sl (v1 ) = f1 = Rθ (v1 ),
OX 1
Sl S←→ (v2 ) = Sl (−v2 ) = f2 = Rθ (v2 ).
OX
Demostración: Supongamos que T (x, y) = (ax + by, cx + dy) para cualesquier vector
(x, y) ∈ R2 . Sean u = (x, y), v = (x′ , y ′) y λ ∈ R. Luego λu + v = (λx + x′ , λy + y ′ ).
Atendiendo en la definición de T resulta
= λT (u) + T (v).
Fijemos una base ortogonal6 B = {u, v}. Del ejemplo 6.7.6, para A ∈ M2 (R), la
transformación LA (w) = A · w es un elemento en Lin(R2 ; R2 ). Veamos que esta es la
forma de cualesquier transformación lineal.
T (w) = T (hw, uiu + hw, viv) = hw, uiT (u) + hw, viT (v)
Esto es, fijada la base B = {u, v}, a la transformación lineal T le corresponde la matriz
Ñ é
↑ ↑
[T ]B := T (u) T (v)
↓ ↓
de modo que
T (v) = [T ]B · v, v ∈ R2 ;
y cuyas columna son las imágenes de los vectores de B por T . La matriz [T ]B se llama la
matriz de la transformación lineal T en la base B.
define una correspondencia uno a uno entre el conjunto de las transformaciones lineales
y las matrices reales de tamaño 2 × 2. El estudio de las propiedades esenciales de las
6
puede ser cualesquier base, la tomamos esta por comodidad
6.7. TRANSFORMACIONES LINEALES 281
2. Dado un ángulo θ,
Ñ é
cos(θ) − sen(θ)
[Rθ ]B = ∈ O(2; R),
sen(θ) cos(θ)
3. Dada una recta por el origen l la cual forma un ángulo de θ2 con el eje X, entonces
Ñ é
cos(θ) sen(θ)
[Sl ]B = ∈ O(2; R),
sen(θ) − cos(θ)
4. Dado un escalar t 6= 0 ∈ R
Ñ é
t 0
[Lt ]B = ,
0 t
6. Si T, S ∈ Lin(R2 ; R2 ) y λ ∈ R entonces
(c) [S ◦ T ]B = [S]B · [T ]B .
Es decir, la matriz de la suma de dos transformaciones lineales, es la suma de
las matrices de cada transformación. La matriz de la composición de dos trans-
formaciones lineales es el producto de las matrices de cada transformación.
(a) La matriz [T ]B tiene rango uno si, y solo si, la imagen de la transformación lineal T
es una recta por el origen. En este caso se suele decir que T tiene rango 1;
(b) La matriz [T ]B tiene rango dos y por tanto es invertible si, y solo si, T es invertible y
en este caso [T −1 ]B = [T ]−1
B . En este caso se suele decir que T tiene rango 2.
Ñ é
a b
Demostración. Si [T ]B = , entonces [T ]B tiene rango uno, si y solo si, una de
c d
sus columnas es combinación
Ñ lineal éde la otra, si y solo si, b = λa, d = λc, para algún
a λa
λ ∈ R si y solo si, [T ]B = si y solo si, para cada w = (x, y) ∈ R2 se tiene
c λc
T (w) = (ax + λay, cx + λcy) = (ta, tc), en que t = x + λy ∈ R si y solo si, para cada
w ∈ R2 , el vector T (w) pertenece a la recta por el origen determinada por el vector (a, c).
Por otro lado, [T ]B tiene rango dos, si y solo si, ad − bc 6= 0 si y solamente si, para
cualesquier (p, q) ∈ R2 el sistema de ecuaciones
ax + by = p
cx + dy = q
posee una solución única w = (x, y) si y solo si, para cada (p, q) ∈ R2 existe un único
w = (x, y) ∈ R2 tal que T (w) = (p, q) si y solo si, T es invertible. En este caso, si
S ∈ Lin(R2 ; R2 ) es es tal que [S]B = [T ]−1
B , entonces [S ◦ T ]B = [S]B · [T ]B = Id. Por lo
Denotemos por Iso(2) la colección de isometrı́as del plano. Es claro que toda iso-
metrı́a es invertible y su inversa es también una isometrı́a. Asimismo, la composición de
isometrı́as es de nuevo una isometrı́a. Es decir, Iso(2) es un grupo respecto a la composi-
ción de funciones. Esto es descrito en el siguiente resultado.
Las isometrı́as mantienen las distancias entre puntos, esto es, la distancia entre dos
puntos del plano sin transformar coincide con la distancia de étos ya transformados. En
consecuencia, las isometrı́as también conservan los ángulos entre los vectores y las áreas
de figuras planas. La transformación por una isometrı́a de una figura en el plano no al-
tera ni la forma ni el tamaño de la figura en cuestión; solamente involucra un cambio de
284 CAPÍTULO 6. NOCIONES DE ÁLGEBRA LINEAL
O X
Es importante conocer las transformaciones del plano que tienen este atributo de
transformar el plano sin deformarlo.
Veamos las condiciones para que una transformación lineal sea una isometrı́a. Esto
es vamos a describir las isometrı́as lineales del plano. Sea T ∈ Lin(R2 ; R2 ) ∩ Iso(2).
Como T es lineal y biyectiva, es invertible y de 6.7.11 concluimos que su inversa T −1 es
una isometrı́a lineal. Además, para u, v ∈ R2 , la condición d (T (u), T (v)) = d(u, v) se
reduce a las condiciones equivalentes,
At · A = Id ⇐⇒ A ∈ O(2; R).
Es decir, T es una isometrı́a lineal del plano, si, y solamente si, A = [T ]B es una
matriz ortogonal. Esto nos permite identificar el grupo de las matrices ortogonales O(2; R)
con las isometrı́as lineales del plano.
Ejemplo 6.8.5. Cualquier reflexión es una isometrı́a lineal del plano. Más general, una
reflexión deslizada, que consiste en aplicar sucesivamente una reflexión respecto a una
recta y una traslación en el sentido de esa misma recta es una isometrı́a del plano.
Clase 32
[2] Hemmerling E, Fundamental of College Geometry. Johm Wiley & Sons. New York,
(1970).
[4] Lima E.L, Geometrı́a analı́tica y álgebra linear. Colección matemática universita-
ria. Publicaciones IMPA (2005).
[6] Rich B, Geometrı́a. 2da edición. Serie Schaum, McGraw-Hill, México, (1991).
[7] Suppes P, & Hill S, Primer curso de lógica matemática. Editorial Reverté S.A.,
Barcelona (1994.)
287