0% encontró este documento útil (0 votos)
5 vistas40 páginas

Cap 7 2024 U

Cargado por

Facha Posting
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
5 vistas40 páginas

Cap 7 2024 U

Cargado por

Facha Posting
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 40

Capı́tulo 7

Rectas y Planos

7.1. Introducción
Un Espacio Afı́n es una estructura geométrica que da sentido a los conceptos clásicos de la
geometrı́a euclidiana. Esta estructura se construye sobre un espacio vectorial.
Usualmente a los elementos de un espacio afı́n se les llama puntos, y a los vectores del espacio
vectorial asociado direcciones. La idea básica de la geometrı́a afı́n es que cualquier vector se puede
apoyar sobre un punto, que funciona como origen del mismo, determinando automáticamente un
punto final o extremo, y simétricamente dos puntos ordenados definen un único vector de forma
que algunas reglas básicas de aditividad se satisfacen.
En el Capı́tulo 4 estudiamos conjuntos que poseen estructura de espacio vectorial real, y
llamamos vectores a sus elementos. Sin embargo rectas y planos se conciben como conjuntos de
puntos.
Se requiere extender la extructura de espacio vectorial incluyendo la idea de Espacio Afin
y punto como fin de tratar problemas elementales de geometrı́a analı́tica, mediante un enfoque
integrado con el Álgebra Lineal. Aunque la noción de espacio afı́n y punto es muy general, se
dirige hacia la comprensión de los conjuntos de puntos del plano y del espacio y su relación con
los espacios vectoriales IR2 y IR3 .

En este contexto, rectas y planos son subespacios afines cuya dimensión se puede justificar.

7.2. Espacio afı́n asociado con un espacio vectorial

Sea el conjunto no vacı́o C ⊂ IR2

C = {(x, y) / 2x − 6y = 12} ⊂ IR2


Los pares (6, 0), (9, 1) ∈ C son soluciones particulares de la ecuación lineal no homogénea

2x − 6y = 12

179
180 7. Rectas y Planos

La diferencia de las dos soluciones particulares es una solución del conjunto S, conjunto de
soluciones de la ecuación lineal homogénea asociada con 2x − 6y = 12.

(9 − 6, 1 − 0) = (3, 1) ∈ S con S = {(x, y) /2x − 6y = 0} ◁ IR2 .

Las soluciones particulares de C son pares de IR2 . Sin embargo el conjunto C ⊂ IR2 no es un
subespacio vectorial de IR2 , no es en si mismo un espacio vectorial con la suma y el producto por
un número definidos en IR2 . Las operaciones definidas en IR2 no lo son en C. Es decir, no existen
en C.

Como consecuencia nos cabe afirmar que los pares (6, 0), (9, 1) ∈ C sean vectores. Su diferencia
da por resultado (3, 1) ∈ S. Dado que S es un subespacio vectorial de IR2 , es en sı́ mismo un
espacio vectorial y (3, 1) ∈ S es un vector.

Los conjuntos C ⊂ IR2 y S ◁ IR2 se pueden vincular mediante una función f que a cada par
de soluciones particulares de C, le asocia mediante su diferencia un vector ū ∈ S.

f ((6, 0), (9, 1)) = (9 − 6, 1 − 0),


= (3, 1)
= v̄ ∈ S

De igual manera se vinculan a través de f los conjuntos U y S.

U = {(x, y)/2x − 6y = 18} ⊂ IR2

S = {(x, y)/2x − 6y = 0} ◁ IR2

La función f aplicada a los pares (9, 0), (15, 2) ∈ U da por resultado un vector v̄ ∈ S.

f ((9, 0), (15, 2)) = (15 − 9, 2 − 0),


= (6, 2)
= v̄ ∈ S

Interesa que la función f relacione S ◁ IR2 con sólo uno de los subconjuntos de IR2 con los
que se puede asociar.

Si se desea vincular S ◁ IR2 solamente con C ⊂ IR2 , se elige un par (x1 , y1 ) ∈ C y un vector
v̄ ∈ S. Se puede demostrar que existe un único par (x2 , y2 ) ∈ C que verifica la condición

f ((x1 , y1 ), (x2 , y2 )) = v̄
Álgebra y Geometrı́a Analı́tica 181

Ejemplo 7.2.1 Dados (6, 0) ∈ C y v̄ = (6, 2) ∈ S se encuentra (x2 , y2 ) ∈ C tal que verifica la
condición f ((6, 0), (x2 , y2 )) = (6, 2) y es único.

f ((6, 0), (x2 , y2 )) = (x2 − 6, y2 − 0)


= (6, 2) x2 − 6 = 6 x2 = 12
= v̄ ∈ S y2 − 0 = 2 y2 = 2

(12, 2) ∈ C, es una solución particular para la ecuación 2x − 6y = 12 y es el único par que


verifica la condición pedida.

Sean ahora (6, 0), (9, 1), (12, 2) ∈ C, calculemos:

f ((6, 0), (9, 1)) + f ((9, 1), (12, 2)) = (9 − 6, 1 − 0) + (12 − 9, 2 − 1),
= (3, 1) + (3, 1)
= (6, 2)
Por otro lado, también se verifica:

f ((6, 0), (12, 2)) = (12 − 6, 2 − 0),


= (6, 2)

Entonces

f ((6, 0), (9, 1)) + f ((9, 1), (12, 2)) = f ((6, 0), (12, 2))

Se constata fácilmente que la función f verifica en general la condición

f ((x1 , y1 ), (x2 , y2 ))+f ((x2 , y2 ), (x3 , y3 )) = f ((x1 , y1 ), (x3 , y3 )) para (x1 , y1 ), (x2 , y2 ), (x3 , y3 ) ∈ C.

Luego, se dice que el conjunto no vacı́o C ⊂ IR2 con la función f ((x1 , y1 ), (x2 , y2 )) = ū es un
espacio afı́n sobre el espacio vectorial S ◁ IR2 .

Los elementos del espacio afı́n se llaman puntos y se notan mediante letras mayúsculas. Ası́
dados A = (x1 , y1 ), B = (x2 , y2 ) ∈ C se escribe:

f (A, B) = (x2 − x1 , y2 − y1 )
−→
= AB

La figura 7.1 representa gráficamente la relación entre los puntos A = (x1 , y1 ), B = (x2 , y2 ) ∈ C
−→
y el vector AB.
182 7. Rectas y Planos

....
...
..
...
...
...
...
B = (x2 , y2 )
...
...

...
...
...
A = (x1 , y1 ) ...
...
• ...
...
...
...
...
...
...
...
...
 −→

1
...
...
   AB ...
...
..
.............................................................................................................................................................................................................................................................

...
..
....
...
...
....
.

Figura 7.1: Puntos y vector

Dados los pares A = (x1 , y1 ), B = (x2 , y2 ), D = (x3 , y3 ) ∈ C se tiene:


f ((x1 , y1 ), (x2 , y2 )) + f ((x2 , y2 ), (x3 , y3 )) = f ((x1 , y1 ), (x3 , y3 )),
f (A, B) + f (B, D) = f (A, D)
−→ −−→ −−→
AB+BD = AD
Presentamos ahora la definición formal de espacio afı́n.

Definición 7.2.1 Sea S un espacio vectorial. Se llama espacio afı́n sobre S, a todo conjunto C
no vacı́o con una función f que cumpla con las siguientes condiciones.
1. Cualesquiera sean A ∈ C y ū ∈ S, existe un único B ∈ C tal que f (A, B) = ū.

2. Para todos los A, B, D ∈ C se verifica: f (A, B) + f (B, D) = f (A, D).

3. Los elementos de C con la función f se llaman puntos.

Es posible extender la vinculación encontrada entre C ⊂ IR2 y S ◁ IR2 , relacionando todos los
pares de IR2 espacio afı́n con los vectores de IR2 espacio vectorial a través de la función f .

Ejemplo 7.2.2 IR2 = {(x, y) / x, y ∈ IR}, conjunto de pares del plano con la función f es un
espacio afı́n sobre el espacio vectorial IR2 . Se llama IR2 espacio afı́n.

Para los puntos no alineados A = (1, 3), B = (3, 5), D = (4, 4) ∈ IR2 espacio afı́n.
Se verifica:

−→ −−→
AB+BD = (2, 2) + (1, −1)),
= (3, 1)
−−→
= AD

Dicha propiedad es una expresión simbólica de la conocida regla del paralelogramo para sumar
vectores y se esquematiza en la figura 7.2.
Álgebra y Geometrı́a Analı́tica 183
..
...
.. B
...
...
...

...
...
...
...
...
D
...
...

...
...
...
A ...
...
• ...
...
...
f (A, B) ...
...
...
...
...
...
−→  ...
...
...
...
...
AB ...
...
...
...
...
...
−−→  1 f (A, D) ...
...
... ....
...
AD ...
... ...
........
.

 ... ...
... ...
...
................................................................................................................................................................................................................................................................
 .. .
@ −−→ ...
... ...
...
...

@BD ... ...


... .
. ...
.
... ...
... ...
R f (B, D)
@ ...
...
..
....
....
..
...
...

Figura 7.2: Espacio afı́n - f (A, B) + f (B, D) = f (A, D)

Ejemplo 7.2.3 IR3 = {(x, y, z) / x, y, z ∈ IR} conjunto de ternas del espacio con la función f es
un espacio afı́n sobre el espacio vectorial IR3 . Se llama IR3 espacio afı́n.

En este caso si A = (x1 , x2 , x3 ), B = (y1 , y2 , y3 ) son puntos en IR3 espacio afı́n, se define:

f (A, B) = (x2 − x1 , y2 − y1 , y3 − x3 ),
= (v1 , v2 , v3 )
−→
= AB
= v̄ ∈ V

En este capı́tulo se estudian rectas y planos en IR2 y IR3 espacio afı́n. No obstante se requiere
presentar IRn espacio afı́n dado que figura en enunciados de validez general.

Ejemplo 7.2.4 IRn = {(x1 , x2 , · · · , xn ) / x1 , x2 , · · · , xn ∈ IR} conjunto de n - uplas del espacio


con la función f es un espacio afı́n sobre el espacio vectorial IRn . Se llama IRn espacio afı́n.

7.2.1. Dimensión afı́n


Un espacio afı́n no es en sı́ mismo un espacio vectorial. Por tanto no tiene un conjunto que
lo genere y no tiene base alguna. Se le atribuye la dimensión del espacio vectorial con el que se
asocia a través de la función f .

Definición 7.2.2 Sea S un espacio afı́n sobre el espacio vectorial V. La dimensión afı́n de S, se
nota dim(S) y es igual a la dimensión del espacio vectorial V, dim(V).

dim(S) = dim(V)

Ejemplo 7.2.5
184 7. Rectas y Planos

1. Si S = IR2 espacio afı́n sobre el espacio vectorial IR2 entonces

dim(S) = dim(IR2 ) = 2

2. Si S = IR3 espacio afı́n sobre el espacio vectorial IR3 entonces

dim(S) = dim(IR3 ) = 3

Ejemplo 7.2.6 En IR2 espacio afı́n el conjunto T = {(x, y)/2x − 6y = 12} ⊂ IR2 no vacı́o, es un
espacio afı́n asociado con S = {(x, y)/2x − 6y = 0} ◁ IR2 . Interesa establecer dim(T ) dimensión
afı́n de T . Se necesita encontrar una base para S, subespacio vectorial de IR2 y determinar dim(S).
Esta dimensión se asigna al espacio afı́n T .

S= {(x, y) / 2x − 6y = 0} ◁ IR2
= {(x, y) / x = 3y, y ∈ IR}
= {(x, y) / (x, y) = y(3, 1), y ∈ IR}
= SG[{(3, 1)}]
= SG[α]
α = {(3, 1)} genera S y es un conjunto con un sólo vector no nulo, linealmente independiente.
Por lo tanto α = {(3, 1)} es una base para S. De donde se obtiene:

dim(S) = |α|
= 1
= dim(T )
Se sabe que la dimensión de IR2 espacio vectorial es igual a 2. En consecuencia la dimensión
afı́n de IR2 espacio afı́n es igual a 2. Análogamente la dimensión afı́n de IR3 espacio afı́n es igual
a 3. Se nota dim(IR2 ) = 2 y dim(IR3 ) = 3 respectivamente.

Ejemplo 7.2.7 En IR3 espacio afı́n, el conjunto no vacı́o U = {(−2, 5, 1)} que contiene un sólo
punto se puede asociar con el subespacio vectorial V = {(0, 0, 0)}. Luego:

dim(V) = 0
= dim(U)

Nota 7.2.1 La dimensión afı́n de un punto cualquiera en IR2 o en IR3 es cero.

7.2.2. Sistema de coordenadas en un espacio afı́n


Definición 7.2.3 En un espacio afı́n T sobre el espacio vectorial S de dimensión afı́n n, una
(n + 1)-upla ordenada (O, P1 , P2 , , Pn ) de puntos de T , se llama sistema de coordenadas, si
−−→ −−→ −−→
β = {OP1 , OP2 , · · · , OPn } es una base para S. El punto O es el origen del sistema de coordenadas.

Ejemplo 7.2.8
Álgebra y Geometrı́a Analı́tica 185
....
z .........
....
...
..
...
...
...
...
...
...
...
P3 ...
...
6 ...
...
...
-2
P ...
..
O .. .
...
.
..
.
...
.
.................................................................................................................................................
y
..
.....
P1 .....
.....
.....
..
......
....
.....
.....
.....
.
..
......
.
.....
....
x .....
.....
.....

Figura 7.3: Sistema de coordenadas determinado por la base canónica de IR3

1. Sean O = (0, 0, 0), P1 = (1, 0, 0), P2 = (0, 1, 0) y P3 = (0, 0, 1) en IR3 espacio afı́n.
−−→ −−→ −−→
{OP1 , OP2 , OP3 } es la base canónica de IR3 espacio vectorial, luego (O, P1 , P2 , P3 ) es un
sistema de coordenadas para IR3 espacio afı́n.

2. En IR3 espacio afı́n, sean los puntos O, P1 , P2 , P3 .


   
1 1 1 1
O = (0, 0, 0), P1 = √ , − √ , 0 , P2 = √ , √ , 0 , P3′ = (0, 0, 1)
′ ′
2 2 2 2
Luego,
−−→ −−→ −−→
α = {OP1′ , OP2′ , OP3′ } es una base ortonormal para IR3 .

Entonces (O, P1′ , P2′ , P3′ ) es un nuevo sistema de coordenadas para IR3 .
..
..
z .........
....
...
..
...
...
...
...
...
...
P3′ ...
...
...
6 ...
...
...
...

P O .. ..
.
.
......................................................................................................................................

..
1 @
.
...... .
....... .. .
.. ..
.
..
.
...
...
.
. ..
....... ....... .......

.....
.....
y
....... ..
)
 .....
R P2
.......... .....
.......... ..... .....
...
...
............
. ...
...... @ .....
.....
.
...
...
......... ...
.... .....
.....
..... ..
..... .....
..
....
. .....
..
..... .....
.....
.
...... .....
......
. .....
.....
....
x
....
...
.
...
.. .....
.....
...

Figura 7.4: Sistema de coordenadas determinado por la base α

7.2.3. Vector de posición de un punto


En IR2 espacio afin con el sistema de coordenadas determinado por la base canónica, sean
O = (0, 0) un punto llamado origen y P = (x, y) un punto cualquiera, cuando se aplica la función
186 7. Rectas y Planos

f , se obtiene:

f (O, P ) = (x − 0, y − 0)
= (x, y)
−→
= OP
= p̄

Una vez fijado el origen O = (0, 0) la función f (O, P ) sólo depende del punto P = (x, y). Por
−→
esta razón el vector OP se renombra p̄.

Recı́procamente se elige un punto O = (0, 0) llamado origen y un vector p̄ = (x, y), entonces
existe un único punto P = (x, y) que verifica la condición f (O, P ) = p̄.

El vector p̄ = (x, y) se llama vector posición del punto P y se representa en la figura 7.5.

....
...
..
...
...
...
...
...
...
•P = (x, y)
... 
...
...
...
...
...
...
...
...
... p̄
...
...
...
...
...
...
...
...
.
.....................................................................................................................................................................................
....
O = (0, 0) ..
....
...
...
....

Figura 7.5: Vector posición

De este modo cada punto de IR2 se vincula con su correspondiente vector de posición y cada
vector de IR2 es vector de posición de un único punto, pudiéndose definir una función biyectiva
entre puntos y vectores.

Sean A = (x1 , y1 ), B = (x2 , y2 ) puntos en IR2 espacio afı́n, ā = (x1 , y1 ), b̄ = (x2 , y2 ) sus
vectores posición. Se calcula:

f (A, B)= (x2 − x1 , y2 − y1 )


= (x2 , y2 ) − (x1 , y1 )
= b̄ − ā
−→
= AB
Álgebra y Geometrı́a Analı́tica 187
....
...
.. •A
... 
...
... 
...
...
*• B
ā ...
... ..
  ... ..
.
... ...
  b̄ ... ..
... ..
.. ..

........................................................................................................................................................................................

O @ − → ... .
... ..
..
AB ...
...
..
..
 @ ... ..
... ..
−ā  R
@ ...
... .
... .
.....
..
... ........
 ......
.......
.. ...... ....
 .... ....
....
 ..... ...
...

Figura 7.6: Puntos y vectores posiciones

7.2.4. Coordenadas de un punto


En cualquier espacio afı́n T sobre el espacio vectorial S con un sistema de coordenadas deter-
minado por una base β de S, las coordenadas de p̄ ∈ S con respecto a la base β, se atribuyen al
punto P ∈ T .

Ejemplo 7.2.9 En IR2 espacio afı́n, con el sistema de coordenadas (O, P1 , P2 ) determinado por
la base canónica C = {(1, 0); (0, 1)} de IR2 , si ā = (4, 2) es el vector de posición del punto A,
entonces A = (4, 2) dado que (ā) = (4, 2)

Cuando por ejemplo se elige trabajar en IR2 espacio afı́n, con el sistema de coordenadas
(O, P1′ , P2′ ) determinado por la base α = {(1, −1); (1, 2)} de IR2 , se comprueba que (ā)α = (2, 2).

En efecto: 2(1, −1) + 2(1, 2) = (4, 2) = ā.


Luego en el sistema de coordenadas (O, P1′ , P2′ ) se tiene A = (2, 2).

7.2.5. Subespacio afı́n asociado con un subespacio vectorial


En IR2 espacio afı́n con el sistema de coordenadas determinado por la base C de IR2 , llamaremos
subespacio afı́n a todo conjunto no vacı́o de puntos de IR2 que se vincule mediante la función f
con un subespacio vectorial de IR2 .

Por ejemplo el subespacio afı́n T = {(x, y) / 2x − 6y = 12} ̸= ∅ se asocia con el subespacio


vectorial S = {(x, y) / 2x − 6y = 0} mediante f .
En adelante se nota S = P(T ).

En IRn los teoremas 7.2.1 y 7.2.2 conducen a encontrar rápidamente el subespacio vectorial
asociado con un subespacio afı́n dado.

Teorema 7.2.1 En Mn×1 espacio afı́n, Q = {Xn×1 / Ap×n Xn×1 = Hp×1 } ⊂ Mn×1 conjunto de
soluciones del sistema de ecuaciones lineales no homógeneo
188 7. Rectas y Planos

Ap×n Xn×1 = Hp×1 (7.1)

es un subespacio afı́n asociado con

P(T ) = {Xn×1 / Ap×n Xn×1 = ∅p×1 } ◁ Mn×1 (7.2)

conjunto de soluciones del sistema homogeneo asociado, siempre que Q =


̸ ∅.

Ap×1 Xn×1 = ∅p×1 (7.3)

Teorema 7.2.2 En IRn espacio afı́n, el conjunto


  

  a11 x1 + a12 x2 +
 . . . + a1n xn = b1 

   a21 x1 + a22 x2 + . . . + a2n xn = b2

T = (x1 , x2 , . . . , xn ) ⊂ IRn

 
 ... ... ... ... ... ... ... ... ... 

am1 x1 + am2 x2 + . . . + amn xn = bn
  

es un subespacio afı́n asociado con el subespacio vectorial


  

  a11 x1 + a12 x2 +
 . . . + a1n xn = 0 

   a21 x1 + a22 x2 + . . . + a2n xn = 0

P(T ) = (x1 , x2 , . . . , xn ) ◁ IRn

 
 ... ... ... ... ... ... ... ... ... 

am1 x1 + am2 x2 + . . . + amn xn = 0
  

siempre que T ̸= ∅

Ejemplo 7.2.10 En IR3 espacio afı́n, el conjunto no vacı́o L es un subespacio afı́n asociado con
el subespacio vectorial P(L).
  
x − y + 3z = −3
L = (x, y, z) / ⊂ IR3 (7.4)
2y − 4z = 12

  
x − y + 3z = 0
P(L) = (x, y, z) / ◁ IR3 (7.5)
2y − 4z = 0

Se puede comprobar que α = {(−1, 2, 1)} genera P(L), tiene solo un vector no nulo, es lineal-
mente independiente. Por tanto α es una base para P(L).
Encontramos una base para P(L)
Álgebra y Geometrı́a Analı́tica 189
  
x − y + 3z = 0
P(L) = (x, y, z) / ◁ IR3
2y − 4z = 0

= {(x, y, z) / x = −z, y = 2z, z ∈ IR}

= {(x, y, z) / (x, y, z) = (−z, 2z, z), z ∈ IR}

= {(x, y, z) / (x, y, z) = z(−1, 2, 1), z ∈ IR}

P(L) = SG[{(−1, 2, 1)}]

P(L) = SG[{α}]
Luego

dim(P(L))= |α|
= 1
= dim(L)
Por otro lado,
  
x − y + 3z = −3
L= (x, y, z) / ⊂ IR3
2y − 4z = 12
= {(x, y, z) / x = 3 − z, y = 6 + 2z, z ∈ IR}
= {(x, y, z) / (x, y, z) = (3 − z, 6 + 2z, z), z ∈ IR}
Cuando z = 0 se obtiene A = (3, 6, 0) ∈ L, mientras que P = (3 − z, 6 + 2z, z), para todo
z ∈ IR representa un punto arbitrario en L.
−→
Ahora se prueba que el conjunto de todos los vectores AP es igual a P(L) ◁ IR∋ .

−→
{AP / P ∈ L} = {p̄ − ā / P ∈ L}
= {(x, y, z) / (x, y, z) = (3 − z, 6 + 2z, z) − (3, 6, 0), z ∈ IR}
= {(x, y, z) / (x, y, z) = (−z, 2z, z), z ∈ IR}
= {(x, y, z) / (x, y, z) = z(−1, 2, 1), z ∈ IR}
= SG[{(−1, 2, 1)}]
= P(L) ◁ IR3

Definición 7.2.4 Sea S un espacio afı́n sobre V. De dice que un subconjunto no vacio L de S
−→
es subespacio afı́n de S cuando para un punto A ∈ L, el conjunto P(L) = {AP / P ∈ L} es un
subespacio vectorial de V.
190 7. Rectas y Planos

7.3. Rectas
7.3.1. Rectas en IR3
En IR3 espacio afı́n, con el sistema de coordenadas determinado por la base canónica C, sea U
la recta que contiene al punto A y está dirigida por el vector no nulo v̄ representada en la figura
7.7 y sea P un punto arbitrario en U.
−→
La función f asocia a cada par de puntos (A, P ) el vector AP , combinación lineal del vector
no nulo v̄ que dirige la recta U. Ası́ la recta U como el conjunto de puntos de IR3 para los cuales
−→
los vectores AP verifican dicha condición.
−→
U = {P ∈ IR3 / AP = tv̄, t ∈ IR} (7.6)
−→
Por otra parte AP = p̄ − ā, diferencia de los vectores de posición de los puntos P, A, respecti-
vamente.

U = {P ∈ IR3 / p̄ − ā = tv̄, t ∈ IR} (7.7)


Luego U se puede expresar como:

U = {P ∈ IR3 / p̄ = ā + tv̄, t ∈ IR} (7.8)


El vector de posición de un punto cualquiera de la recta U se obtiene mediante la suma del
vector de posición de un punto A que pertenece a la recta y una combinación lineal de un vector
v̄ que la dirige, tal como se muestra en la figura 7.7
...
.... ...
z ......... ...
...
...
...
... ...
...
...
... •A
...
...
...
...
IR3
... ...
...  ...
...  ...
...
... ...
... ...
.
.  ...
... .
.
. ...
P(U) ...
...
...
... ā 
.
.
.
....
.
.
...
...
...
...
... .
.
. ...
... .
. ...
... . ...
...  .... ...
... .
. ...
... .
.
. ...
...  .
. ...
... . . ...
... ... ...
... .. ...
... ...
 ...
.....
.........................................................................................................................................................................................
.
P .
. . ...
... ....
O .......
. .
..
A PPP p̄
..... .....
...
...
...
...
y
..... ... ...
.
... ... ...
...
.
.. A PP . ...
..... ... ...
.. PP
.
...
.
......
v̄ q•P
P ....
....
...
..
.. .....
..
.. A ...
..
....
. . .
. ...
.
..
.... A ...
. .
. ...
. ...
..... .. ...
....
. ... . ...
.
.....
.
.
.
....
.
.
x A
AUA
....
.
...
... ..
.
.
. ...
...
...
...
... ..
A
...
...
... ..
.
.
.. U ...
...
...
...
... .. ...
...
−→A ...
... .
.
.
.
. ...
...
.
AP A= tv̄ ...
...
...
... .
..
..
.

... .
... ...
A
... .
AAU ... ..
....
...
.

Figura 7.7: Recta que contiene al punto A y está dirigida por el vector v̄
Álgebra y Geometrı́a Analı́tica 191

La siguiente expresión es la forma vectorial de la ecuación de la recta U que contiene al punto


A y está dirigida por el vector v̄

p̄ = ā + tv̄, t ∈ IR

−→
Se analiza ahora P(U), todo el conjunto de vectores AP para un A ∈ U y P un punto cualquiera
en U.
−→
P(U) = {AP / P ∈ U}
−→
= {AP = t · v̄ / t ∈ IR}
= SG[{v̄}] ◁ IR3

Dado que P(U) es un subespacio vectorial de IR3 , U es un subespacio afı́n asociado con P(U).

α = {v̄} genera P(U) y v̄ ̸= 0̄ es linealmente independiente.

Por lo tanto α = {v̄} es base para P(U).

Luego, dim(P(U)) = 1 = dim(U).

La recta U es un subespacio afı́n de dimensión afı́n igual a 1.

En general, se puede probar que toda recta U ⊂ S con S espacio afı́n sobre un espacio vectorial
V, es un subespacio afı́n de dimensión afı́n igual a 1.

7.3.2. Ecuaciones que definen rectas en IR3

Recta determinada por un punto y un vector no nulo que lo dirige

En IR3 espacio afı́n, con el sistema de coordenadas determinado por la base canónica de IR3 , sea
U la recta que contiene al punto A = (x1 , y1 , z1 ) ∈ U y está dirigida por el vector v̄ = (v1 , v2 , v3 ) ∈
IR3 . El vector de posición p̄ de cualquier punto P = (x, y, z) ∈ U se calcula mediante la forma
vectorial de su ecuación.

p̄ = ā + t · v̄, t ∈ IR Ecuación Vectorial de la recta

La recta se expresa como conjunto de puntos que verifican la ecuación la ecuación anterir como
sigue.
192 7. Rectas y Planos

U = {P ∈ IR3 / p̄ = ā + t · v̄, t ∈ IR}

..
...
..
...
.......
....... U
.......
....... ....
...
.
....... .
.........
.
.... ..............
... .......
.......
...
...
...
•A = (x1 , y1 , z1 )
.......
.......
.......
.......
.......
 ... .......
... .......
.......
 ... .......
.......
... .......
ā  1•P = (x, y, z)
... .......
.......
... .. .............
 ... ..
 p̄ ...
... ..
..
.......
.......
.......
...
  ... ..
... ..
... ..
  .
.....................................................................................................................................................

..... ..
.....
HH
.
........ .
..
.....
....
.....
.....
v̄ H
j
H
HH ..
..
.

..... ..
...
. .
.
....
j
H
.....
.....
.....
.....
tv̄
..
..
.
.....
.....
....
.....

Figura 7.8: Recta que contiene al punto A y está dirigida por un vector

La ecuación vectorial de la recta U en términos de coordenadas se obtiene:

(x, y, z) = (x1 , y1 , z1 ) + t(v1 , v2 , v3 ), con t ∈ IR

Ecuación Vectorial de la recta en términos de coordenadas

U = {(x, y, z)/ (x, y, z) = (x1 , y1 , z1 ) + t(v1 , v2 , v3 ), t ∈ IR}

Igualando coordenada a coordenada se encuentra un sistema de ecuaciones cartesiano-


paramétricas que define U.

 x = x1 + t · v1
y = y1 + t · v2 con t ∈ IR Ecuaciones Cartesiano - paramétricas de la recta
z = z1 + t · v3

  
  x = x1 + t · v 1 
U = (x, y, z) / y = y 1 + t · v2 con t ∈ IR
z = z1 + t · v3
  

Y en el caso en que v̄i ̸= 0 para todo i ∈ {1, 2, 3}, el parámetro t del sistema verifica las
siguientes condiciones:
x − x1 y − y1 z − z1
t= = =
v1 v2 v3
Álgebra y Geometrı́a Analı́tica 193

Ası́ tenemos

x − x1 y − y1 z − z1
= = Ecuaciones simétricas de la recta
v1 v2 v3

Luego la recta U se puede expresar mediante las ecuaciones simétricas que la definen.
 
x − x1 y − y1 z − z1
U = (x, y, z) / = =
v1 v2 v3

Recta determinadas por dos puntos


En IR3 espacio afı́n con el sistema de coordenadas fijado por la base C, sea L la recta determi-
nada por dos puntos A = (x1 , y1 , z1 ), B = (x2 , y2 , z2 ) ∈ IR3 , con A =
̸ B.
−→
Sean ā, b̄ los vectores de posición de los puntos A, B respectivamente. Se encuentra AB = b̄−ā
un vector que dirige (o determina) la recta L.
.... ...
...
z ......... ...
...
...
...
... ...
...
...
... •A
...
...
...
...
IR3
... ...
...  ...
... ...
...
 ...
... ...
. ...
.  ...
... ..
. ...
... .
.
. ...
...
...
...
...
ā  ....
.
.
..
...
...
...
...
... .
.
... .
. ...
.... ...
*•B
... ...
b̄ 
...  ... ...
... .
. .. ....
... .
.
. . ...
... ..  . ...
 ... .. .. ...
... ... .. ...
  ... .. .. ...
...... .
...........................................................................................................................................................................................
.
P
 .
... .... . ...

O A PPPP p̄ .....
.....
.
...
.. ...
... ..
..
.. ...
...
...
y
......... ...
.. ... ...
...
. ... . ...
.. ...
.
−→ A . .
.
.....
A PP ... . ...
. .
......
. q•P
PP ...
. .. ....

.
.
...
.
.
.. .
...
.
....
.
AB A ...
....
.
... .
.
.
.
.
.
.
.
.
...
.. .....
...
.. ... . . ...
.
.....
. .... . .
. .. ...
.
..... .. ...
.
.....
.
......
. x A
AUA
... .
.....
...
.
.
..
.. ...
...
...
... .
. ...
A
...
...
...
..
.
.
..
L ...
...
...
... ...
... .. ...
−→A ...
...
... .
.
.
.. ...
...
AP A ...
...
... ....
.
.
... .
A ... ..
... ..
... ..
AAU ....
...
..

Figura 7.9: Recta L determinada por A,B

−→ −→
Si P = (x, y, z) es un punto arbitrario de la recta L, resulta AP = t · AB, t ∈ IR.
−→ −→
A partir de AP = p̄ − ā = t · AB se encuentra

−→
p̄ = ā + t · AB, t ∈ IR
194 7. Rectas y Planos

llamada forma vectorial de la ecuación de la recta L que contiene al punto A y está


−→
dirigida por el vector AB

Luego se expresa la recta L como conjunto de puntos que verifican la ecuación.


−→
L = {P ∈ IR3 / p̄ = ā + t · AB, t ∈ IR}

A partir de aquı́ se obtienen todas las expresiones de la recta L vistas anteriormente.

Ejercicio 7.3.1

a) Sea T la recta determinada por los puntos B = (−1, 3, 2) y C = (2, 2, 3).


Exprese T mediante todas las formas posibles de su ecuación.

−−→
Se encuentra un vector BC que dirija T y se expresa la recta, mediante una forma vectorial
de su ecuación.

−−→
BC = c̄ − b̄
= (2, 2, 3) − (−1, 3, 2) ,
= (3, −1, 1)

T = {(x, y, z) / (x, y, z) = (−1, 3, 2) + k · (3, −1, 1), k ∈ IR}

A continuación se expresa T a través de un sistema de ecuaciones cartesiano-paramétricas


y de sus ecuaciones simétricas.
  
  x = −1 + 3k 
T = (x, y, z) / y= 3 − k , k ∈ IR
z= 2 + k
  

 
x+1 y−3 z−2
T = (x, y, z) / = =
3 −1 1

La última ecuación se puede presentar del siguiente modo:


 
x+1
T = (x, y, z) / = −y + 3 = z − 2
3

b) ¿El punto Q = (2, 5, 6) pertenece a T ?


Para responder se reemplazan las coordenadas del punto Q = (2, 5, 6) en las ecuaciones
simétricas que definen T y se determina si dichas ecuaciones se verifican o no.
Álgebra y Geometrı́a Analı́tica 195

2+1 5−3 6−2


= 1, = −2, =4
3 −1 1

1 ̸= −2 ̸= 4
Las ecuaciones simétricas no se verifican. Por tanto Q = (2, 5, 6) ̸∈ T
Ejercicio 7.3.2 La forma vectorial de la ecuación de la recta S determinada por el punto A =
(−5, 2, 3) y el vector v̄ = (1, −1, 2) es la siguiente:
(x, y, z) = (−5, 2, 3) + t(1, −1, 2), t ∈ IR
para t = 0 se obtiene A ∈ S,
para t = 1, resulta (−5, 2, 3) + (1, −1, 2) = (−4, 1, 5) y el punto B = (−4, 1, 5) ∈ S.
Empleando las ecuaciones simétricas, puede expresarse la recta S como sigue:
 
y−2 z−3
S = (x, y, z) / x + 5 = =
−1 2
o también
  
2x − z = −13
S = (x, y, z) /
2y + z = 7

Observemos que S es el conjunto de soluciones de un sistema lineal común, que más adelante
se usará para encontrar posiciones relativas.

7.3.3. Ecuaciones que definen rectas en IR2

En IR2 espacio afı́n, con el sistema de coordenadas determinado por la base canónica C para
IR2 , sea T la recta que contiene al punto A = (x1 , y1 ) y está dirigida por v̄ = (v1 , v2 ) se expresa
en por una forma vectorial de su ecuación.

T = {(x, y) / (x, y) = (x1 , y1 ) + k(v1 , v2 ), k ∈ IR}

Luego el correspondiente sistema de ecuaciones cartesiano paramétricas que define a T es:



x = x1 + k · v 1
y = y1 + k · v2
Siempre que v1 ̸= 0 y v2 ̸= 0 se encuentran las ecuaciones simétricas y a partir de ellas, una
forma explı́cita de su ecuación.
x − x1 y − y1
=
v1 v2
196 7. Rectas y Planos

v2
y − y1 = (x − x1 )
v1
v2 v2
y= x − x1 + y 1
v1 v1
 
v2 v2
y= x + y1 − x 1
v1 v1

Finalmente se obtiene una forma explı́cita de la ecuación de la recta en el plano, con

v2 v2
a= pendiente de la recta y b = y1 − · x1 , ordenada al origen de T .
v1 v1
Ası́ tenemos:

y =a·x+b Ecuación explı́cita de la recta

Luego una forma implı́cita de la ecuación de la recta T es:

a·x−y+b=0 Ecuación implı́cita de la recta

Ejercicio 7.3.3 Proporcione un punto y un vector que dirija la recta D = {(x, y) / x − y = 3}.
Exprese D mediante una forma vectorial de su ecuación.

D = {(x, y) / x = 3 + y, y = y}. A = (5, 2), B = (4, 1) ∈ D.


−→
Se calcula un vector AB que dirige D
−→
AB = b̄ − ā
= (4, 1) − (5, 2)
= (−1, −1)
−→
AB = (−1, −1) dirige D.

D = {(x, y) / (x, y) = (5, 2) + t · (−1, −1), t ∈ IR} expresa la recta D mediante una forma
vectorial de su ecuación.

Ejercicio 7.3.1 Compruebe que la recta H determinada por dos puntos distintos A = (x1 , y1 ) y
B = (x2 , y2 ) se puede expresar en cada una de las siguientes formas:
  
x = x1 + t(x2 − x1 )
H = (x, y) / , t ∈ IR
y = y1 + t(y2 − y1 )
 
x − x1 y − y1
Cuando x1 ̸= x2 e y1 ̸= y2 , H = (x, y) / = .
x2 − x1 y2 − y1
Álgebra y Geometrı́a Analı́tica 197

7.4. Planos en IR3

En IR3 con el sistema de coordenadas determinado por la base canónica, sea π el plano de-
terminado por los puntos A = (x1 , y1 , z1 ) y está determinado por los vectores ū y v̄, linealmente
independientes y sea P un punto cualquiera del plano π.
−→
A cada par de puntos (A, P ) la función f le asocia el vector AP , combinación lineal de los
vectores ū, v̄, que determinan el plano π.
−→
Luego el plano π es el conjunto de puntos de IR3 para los cuales los vectores AP verifican
−→
π = {P ∈ IR3 / AP = tū + kv̄, t, k ∈ IR}

−→
Teniendo en cuenta que AP = p̄ − ā, diferencia entre los vectores de posición de los puntos
P, A respectivamente, se obtiene

π = {P ∈ IR3 / p̄ − ā = tū + kv̄, t, k ∈ IR}

A partir de esta última expresión se encuentra el vector p̄ de posición del punto P .

π = {P ∈ IR3 / p̄ = ā + tū + kv̄, t, k ∈ IR}

El vector de posición de un punto cualquiera del plano π se obtiene mediante la suma del vector
de posición de un punto A que pertenece al plano y una combinación lineal de los vectores ū y v̄
que lo determina, tal como se muestra en la figura 7.10
.........................................................................................................................................................................................................
..... ..
..... .....

.....
..
.
.....
..... α ......
.....
.....
.....
..
. .
..
.... ...
..... .....
..... .....
..... .....
..... .....
.....
• A
...
. ..
..
.... ...
..... .......... .....
..... .......... .....
..... .......... .....
.....
.......... .....
.
...  .......... ........
.

•P
.... .......... ...
.....
 .......... .....
..... ... .....
..... .....
..... .....
..
..
 ..
.......
... >
 ..
.....
.....
.....
.....  p̄ .....
.....
.....
..........................................................................................................................................................................................
 ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ......
...

ā  ...
...
...

...
...
...
.

...
...
.
....
..

*
 ....
...
P(α) ...
.......
 ... ..
... ... ...
...
  ū  ...
...
......
• −→ ...
...
... ...
....
.

...
...
...
...
0 @ XXAP = tū + kv̄

X
X ...
...
...
...
...
...
...
... ...
...
...
...

.. . .... .... .
..
.. XXX ...
... ... ...
...
.... ... ...

.. ...
.
... v̄@@ X
z
X ...
...
. .... . .
. ... ...
....
.. ...
...
...

... .....
. ...
R
... ...
.... ...
... ...
..... ...
... ...
............ ...
..... .....
....... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .....

Figura 7.10: Plano en IR3 que contiene al punto A y está determinado por dos vectores

La siguiente expresión es la forma vectorial de la ecuación del plano π que contiene al punto
A ∈ P y está determinado por ū, v̄, linealmente independientes.
198 7. Rectas y Planos

p̄ = ā + t · ū + k · v̄, t ∈ IR Ecuación Vectorial del plano


−→
Analizando P(π), conjunto de vectores AP para un punto A ∈ π y P punto arbitrario de π
tenemos
−→
P(π) = {AP / P ∈ π}
= {p̄ − ā = t · ū + k · v̄ / t, k ∈ IR}
= SG[{ū, v̄}]  IR3

Como P(π) es un subespacio vectorial de IR3 , el plano π es un subespacio afı́n asociado con
P(π).

β = {ū, v̄} generan P(π) y los vectores del conjunto β son linealmente independientes. Por lo
tanto β es una base para P(π).

Luego dim(P(π)) = 2 = dim(π).

7.4.1. Plano determinado por tres puntos no alineados


En IR3 con el sistema de coordenadas determinado por la base canónica, sea π el plano de-
terminado por los puntos A = (x1 , y1 , z1 ), B = (x2 , y2 , z2 ), C = (x3 , y3 , z3 ) ∈ IR3 , no alineados.
Sean ā = (x1 , y1 , z1 ), b̄ = (x2 , y2 , z3 ), c̄ = (x3 , y3 , z3 ) ∈ IR3 los respectivos vectores de posición. Se
−→ −→
encuentran los vectores AB = b̄ − ā, AC = c̄ − ā que lo determinan.
.......................................................................................................................................................................................................
..... ..
..... .....

.
.
.
.....
.
.....
..... •C π .
......
.....
.....
.....
.
. .
....
.... .....
..... .....
..... .....
..... .....
........
. ...
......

.....
.....
....
..... •A .....
.....
.....
.....
...

...
...... ........
.
...
•P
.... .....
..... .....
..... .....
..... .....
.....
.....
.....
.
....
..
.
•B p̄ 
>
.....
.....
.
...
.
......
.

..... .....
.....
..........................................................................................................................................................................................
.... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ......

... ...
.... ...
...
 . ...
...
... ...

−
*
.
...
...
P(π) ...
...
.
.. ...

...
...
...
...
→ ...
...
... ...
...
...

...
.. AC 
 ..
. .
..

0•X
... ...
... 
 ... ... ...
... ... ... ...
... ... ... ..
... @XXXX ... ... ...

...
...
...
.. .
−→ @ −→XXX ....
...
...
....
...
... ...
...
...
.
. .

. ...
.
... AB @R AP z
X ...
...
... .
. .
.....
.....
......
..
. ... .. ...
.
.... ... ..... ...
... ... .... ...
.... ... ..... ...
...
. ............ ..
.
. .
........ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ......

Figura 7.11: Plano en IR3 determinado por A, B, C

Si P = (x, y, z) es un punto arbitrario del plano π, resulta


−→ −→ −→
AP = t · AB + k · AC, t, k ∈ IR
Álgebra y Geometrı́a Analı́tica 199

A partir de que
−→ −→ −→
AP = p̄ − ā = t · AB + k · AC
Se encuentra la llamada forma vectorial de la ecuación del plano π que contiene al punto A y
−→ −→
está determinado por los vectores AB, AC.
−→ −→
p̄ = ā + t · AB + k · AC t, k ∈ IR Ecuación Vectorial del plano

El vector de posición de un punto cualquiera del plano π se obtiene como suma del vector de
posición de un punto que pertenece a π y una combinación lineal de los vectores que lo determinan.
Luego el plano π se expresa

−→ −→
π = {P ∈ IR3 / p̄ = ā + t · AB + k · AC, t, k ∈ IR}

7.4.2. Plano determinado por un punto y un vector ortogonal


−→
Sea ahora n̄ = (a, b, c) un vector ortogonal a todo vector AP = p̄ − ā, con P = (x, y, z) un
punto cualquiera del plano:

π = {P ∈ IR3 / p̄ = ā + t · ū + k · v̄, t, k ∈ IR},


π contiene al punto A = (x1 , y1 , z1 ) y está determinado por los vectores ū = (u1 , u2 , u3 ),
v̄ = (v1 , v2 , v3 ), linealmente independientes.
−→
AP = p̄ − ā
= (x, y, z) − (x1 , y1 , z1 )
= (x − x1 , y − y1 , z − z1 )
−→
(n̄, AP ) = 0  
  x − x1
= a b c ·  y − y1 
z − z1
= a(x − x1 ) + b(y − y1 ) + c(z − z1 )

Luego
−→
(n̄, AP ) = a(x − x1 ) + b(y − y1 ) + c(z − z1 ) = 0
Ası́ tenemos

a(x − x1 ) + b(y − y1 ) + c(z − z1 ) = 0 Ecuación Normal del plano


200 7. Rectas y Planos

Trabajando la ecuación se obtiene ax + by + cz = ax1 + by1 + cz1 .

Finalmente, llamando d = ax1 + by1 + cz1 resulta la forma general o implı́cita de la


ecuación que define al plano π.

ax + by + cz + d = 0 Ecuación General o Implı́cita del plano

... .....
.......................
... ..................
.. .................. ...
..
.
..................... .
...
...
... ..................
.................
..................
..........
. ....
....
...
π ...
...
....

.. ..................... ...

...
.
..
. ......................
....
•P ...
.......

... ... ...


... ...

...
......
.
...
•A ..
...
.....

... ...
... ..
....
. .
....
....
. ..
......................
.....
...
.. ..................
..................
... ..................
... ..................
..... . ...... ........ .
. .....................
.. .................. ....
... .................
................... ... ... ....
... ... ... ... ... ...
... ... ... ... ... ..
BM ... ... ... ... ... ... ...... ..
.
n̄BB ...
... . ... . .. ... ... . .. ... ... ... ...
... ... ... ..
. ...
.

... ... ... ......


...... ... ... ... ... .. P (π) ..
..
.

. ..
.. B ...
.
.
1

−→ . ..
..

..
..
.
B
 .... AP ..
.
..........................................................................................................................................................................................
.. .....
. .. .......
. . ..
. .... .
.. ..... .....
.. ..... ... ... ... ...
.. ..... ... ... ... ...
. .. ..
....... ... ... ..
. ... ... ... ...
... ... ... .. .
. .....
.. .... ... ... ... ...
.. ..... ... ... ... ...
.. ..... ... ... ... ...
. ..... ... ............... ... ...
.. .
.....
.....
.....
.....
.....

Figura 7.12: Plano en IR3

El plano π se puede expresar en cualquiera de las siguientes formas.


n
3 −→ o
π = P ∈ IR / AP = tv̄ + sū, t, s ∈ IR para el plano que contiene al punto A y está deter-
minado por los vectores ū y v̄, linealmente independientes.

π = {(x, y, z) / a(x − x1 ) + b(y − y1 ) + c(z − z1 ) = 0} para el plano que contiene al punto A


y para el que se verifica la siguiente condición: w̄ = (a, b, c) es ortogonal a P (π).

Ejercicio 7.4.1 Dados A = (1, −3, 2), B = (−1, 0, 1) y C = (2, 1, −1)

a) Verifique que no pertenecen a la misma recta.


−→ −→
Se calcula AB, AC y se decide si ellos son linealmente independientes o no. En caso afir-
mativo, los puntos dados A, B, C, no son colineales y determinan un plano.
−→ −→
AB = b̄ − ā AC = c̄ − ā
= (−1, 0, 1) − (1, −3, 2) = (2, 1, −1) − (1, −3, 2)
= (−2, 3, −1) = (1, 4, −3)
−→
Si se aplica la definición correspondiente, se puede comprobar que los vectores AB = (−2, 3, −1)
−→
y AC = (1, 4, −3) son linealmente independientes. Por tanto los puntos A, B,C no son co-
lineales.
Álgebra y Geometrı́a Analı́tica 201

b) Encuentre el plano α determinado por A, B, y C.


α = {(x, y, z)/ (x, y, z) = (1, −3, 2) + t(−2, 3, −1) + s(1, 4, −3), t, s ∈ IR}
c) Exprese en la forma normal y en la forma general, la ecuación que define α.
Para lograrlo es necesario encontrar un vector n̄ = (a, b, c) que verifique las siguientes con-
diciones:
−→
(n̄, AB) = 0  
  −2
= a b c · 3 
−1
= −2a + 3b − c
−→
(n̄, AC) = 0  
  1
= a b c · 4 
−3
= a + 4b − 3c

Ambas condiciones se verifican simultáneamente. Luego se construye y se resuelve el sistema


lineal

−2a +3b− c = 0
(7.9)
a +4b− 3c = 0
 
1 4 −3
A∗e s = es una forma escalonada de la matriz ampliada correspondiente al
0 11 −7
sistema.
Luego el sistema equivalente es

a+ 4b− 3c = 0
(7.10)
11b− 7c = 0
   
5 7
El conjunto CS = (a, b, c) / (a, b, c) = c · , , 1 , c ∈ IR tiene un número infinito
11 11
de soluciones, de las cuales se elige una, por ejemplo: w̄ = (5, 7, 11) .
Ası́ se obtiene un vector ortogonal a P (α). Por simplicidad se admite en nuestro curso,
expresar que n̄ es ortogonal a α. Luego

−→
α = {P ∈ IR3 / (n̄, AP ) = 0}
= {(x, y, z) / 5(x − 1) + 7(y + 3) + 11(z − 2) = 0}
= {(x, y, z) / 5x + 7y + 11z = 6}
202 7. Rectas y Planos

d) Encuentre P(α).
P(α) = {(x, y, z) / 5x + 7y + 11z = 0}
= SG{(−2, 3, −1), (1, 4, −3)}

Ejercicio 7.4.2 Encuentre la forma vectorial de la ecuación del plano γ que contiene al punto
A = (0, 1, −5) y tiene a n̄ = (2, −4, 0) por vector ortogonal.

γ = {(x, y, z) / 2x − 4(y − 1) = 0, z ∈ IR}


= {(x, y, z) / x = 2y − 2, y = y, z = z}
= {(x, y, z) / (x, y, z) = (−2 + 2y, y, z), y, z ∈ IR}
= {(x, y, z) / (x, y, z) = (−2, 0, 0) + y(2, 1, 0) + z(0, 0, 1), y, z ∈ IR}
P(γ) = SG[{(2, 1, 0), (0, 0, 1)}].

Los vectores v̄ = (2, 1, 0) y ū = (0, 0, 1) determinan el plano γ que contiene al punto A =


(0, 1, −5) y B = (−2, 0, 0) es otro punto del plano γ.

7.5. Posiciones relativas entre dos subespacios afines


7.5.1. Posiciones relativas entre dos rectas L y T
En IR3 espacio afı́n, sean L = {P ∈ IR3 / p̄ = ā + t · u, t ∈ IR} la recta que contiene al punto
A y está dirigida por ū y T = {P ∈ IR3 / p̄ = b̄ + t · v, t ∈ IR} la recta que contiene al punto
B y está dirigida por v̄. Se pueden dar las siguientes situaciones:

I) La intersección de L con T es no vacı́a: L ∩ T ̸= ∅.

a) Si {ū, v̄} es un conjunto de vectores linealmente dependientes, entonces ū = kv̄.


L ∩ T es una recta. L y T son rectas coincidentes.

z
L=T

v̄ y
O
x

Figura 7.13: Rectas coincidentes


Álgebra y Geometrı́a Analı́tica 203

b) Si {ū, v̄} es un conjunto de vectores linealmente independientes, entonces L ∩ T


es un conjunto con un solo punto. Las rectas L y T se cortan en un punto.

v̄ T
y
O

x

Figura 7.14: Rectas que se cortan en un punto

II) La intersección de L con T es vacı́a: L ∩ T = ∅. Las rectas no se cortan.

a) Si {ū, v̄} es un conjunto de vectores linealmente dependientes, entonces ū = kv̄.


L y T son rectas paralelas. . . .... .. ... ... ... ......
... ...... ... ...
.. ... ... ... ... ..
... ... ...... ..
z ...
...
... ... ... ... ... ... ... ...
... ...... ...
... ... ... .. . ... ..
.
. .
..
..
. ... ..
... ... .......... ..
..... ........ ..
. .... ........ ..
... . ...
........... ..
..
..
.. .
....
. ........
........
........
....
L ..
..
..
. ........ ..
... ...
. ........... ..
..
.. ........ ... ... ... ...
..
... ... .........
.. ........ ...... ... ... ...... ... ...
.. ........ ... ... ... ... ... ... ... ...
.
. ........ .
.. .......... ... ... ... ...... ... ... ... ...... ..
..
. .. ...
. .
. ... ... ... ... . .. ..
.
. ... ... ... ... ... ..
.
...
. . .. .. .. .. .
. ... ... ...... ... ... ... . .
.. ... ... ... ... ... ... ... ... ..
.. ... ... ... ... ...... ... ... ... ..
... ... ... ... ... ... ... ...... . ..
..
..
.... ............... ...
... .
.. ... ........ ..
........
..
..
..
.. ...
..............
........
........ T ...
..
..
.... .
.. ........ ..
.. ........ .....
.. ........ ... ... ... ...
........ ... ... ... ...
..
..
.. ...
. ......... . ... ... ...
........ ... ... ..
.. ........ ... ... ... ...
.. ... ... ... ...
.. ... ........ ...
ū
.. ... ... ... ... ...
1

.. ... ... ... ... ... ... ... ...
... ...

..
1
 ...


..
.
 ...
. v̄
....................................................................................................................................................................................

..........
.
.
.......
y
.....
.....
.....
...
......
.....
.....
.....
.....
.
..
.....
.
.....
.....
.....
..... x
....

Figura 7.15: Rectas Paralelas

b) Si {ū, v̄} es un conjunto de vectores linealmente independientes, entonces las


rectas L y T son rectas alabeadas.
204 7. Rectas y Planos

z ... ... ... ...


... .......
... ... ... ... ...
.. ... ... ... ... ..
... .
.. . ..
.... ... ... ... ... ..
... . .. ... ... ... ... ... ... . ..
... .. . .
..... ... ... ... ... ..
... ... ... ....... ..
.. ... ............ ..
.. ..
.. ... .......
....... ..
.. ... ....... ..
.. ... .......
....... ..
.. ... ....... ..
.. ..
..
.. ...
.. L
.......
........
.......
....... ... .....
..
... ....
.. . ... ... ... ... ... ... ... ... ...
.. ... ... ... ... ... ... ... ... ..
..
..
... ... ... ... ... ... ... .
.. ... ... ... ... ... ... ..
. . ... ... ... ... ... ... ... ..... .
... .
.. ...... ... ... ... ..
. ... ... ... ... ... ... .
.....
........... ...
. ..
. . . ... ... .
... ... ... .. . ... .. ....
..
..
.... ... ... ...
... ... ... ...
..
...... ... ......
....... ... ... ... ... ..
...
..........
..........
..........
T
..........
..
.
..
.

.. . .
... ............. ...
.. . .... .. ..
.. ..... .......... ..
.. ..........
.......... ..
.
.. .......... ..
. .. .. ...
...
........... . .
. ....... .
.. .......... .....
.. ... ... ... ...
.. ... ... ... ...
... ... ... ... ... ... ... ...
...
..
. . ... ... ...
. ... ... ... ..
.. ...... .........
.. ... ... ... ...
. ........ ... ... ... ... ... ..
.
.
..
....
 v̄
1

 ...
...
.. ..................................................................................................................................................................................
....

.
......
..
.
.
...
.. HH y
.
..... j
H
.....
.
.....
.
.....
..... ū
.
....
.....
.....
.....
...
......
..
....
....
..... x
.....

Figura 7.16: Rectas alabeadas

 
y z−3
Ejemplo 7.5.1 Sean L = (x, y, z) / x + 1 = = , la recta que contiene al punto
2 −1
A = (−1, 0, 3) y está determinada por el vector v̄ = (1, 2, −1) y
  
  x=2−t 
T = (x, y, z) / y = 1 + 3t t ∈ IR , la recta que contiene al punto B = (2, 1, 1) y está
z=1
  
determinada por el vector ū = (−1, 3, 0).

Como {(1, 2, −1); (−1, 3, 0)} es un conjunto de vectores linealmente independientes, entonces
si L ∩ T ̸= ∅, será L ∩ T = {P0 }.

y z−3
De las ecuaciones simétricas que definen a L, x + 1 = = se obtienen los siguientes
2 −1
sistemas lineales equivalentes.

z−3


 x + 1 =
−1
  
−x − z = −2 x+z = 2

(I) (II) (III)

 y z−3 −y − 2z = −6 y + 2z = 6

 =
2 −1
  
x+z = 2
Luego L = (x, y, z) / .
y + 2z = 6
  
3x + y = 7
Análogamente, se obtiene T = (x, y, z) / y en consecuencia resulta
z = 1
Álgebra y Geometrı́a Analı́tica 205
  

 
 x+z = 2 

y + 2z = 6
  
L ∩ T = (x, y, z) / .

 
 3x +y = 7 

z = 1
  
 
1 0 1 | 2
 0 1 2 | 6 
La matriz ampliada para el sistema lineal que lo define es M ∗ = 
 3 1 0 |
. Una forma
7 
0 0 1 | 1
 
1 0 1 | 2

 0 1 2 | 6  ∗
escalonada es Mes = 0 0 −5 | −5  ası́ r(M ) = 3 = r(M ) =número
 de incógnitas.
0 0 0 | 0
El sistema tendrá solución única.

Luego L ∩ T = {(1, 4, 1)}. L y T tienen sólo un punto en común.

Ejercicio 7.5.1 Sean


L = {(x, y, z) / (x, y, z) = (0, 5, −3) + t(1, −2, 3), t ∈ IR} y
 
x−1 y−3 z
T = (x, y, z) / = = .
−2 4 −6
Como en el ejemplo anterior, se expresa L mediante un sistema de ecuaciones lineales.
  
  x = t 
L = (x, y, z) / y = 5 − 2t, t ∈ IR
z = −3 + 3t
  
  
3x −z = 3
L = (x, y, z) /
3y +2z = 9
  
−6x +2z = −6
T = (x, y, z) /
6y +4z = 18
  

 
 3x − z = 3 

3y + 2z = 9
  
L ∩ T = (x, y, z) /

 
 −6x + 2z = −6  
6y + 4z = 18
  
   
3 0 −1 | 3 3 0 −1 | 3
 0 3 2 | 9  y Me∗ s =  0 3
  2 | 9 
M∗ =  −6 0

2 | −6   0 0 0 | 0 
0 6 4 | 18 0 0 0 | 0

Se comprueba que rg(M ) = rg(M ∗ ) = 2


206 7. Rectas y Planos

  
3x+ −z = 3
L ∩ T = (x, y, z) /
3y +2z = 9
L∩T = L
= T
Es decir L = T . Las rectas son coincidentes.

7.5.2. Posiciones relativas entre dos planos α y β


Sean α y β dos planos en IR3 dados mediante una forma general o implı́cita de su ecuación.

α = {(x, y, z) / a1 x + b1 y + c1 z = d1 }

β = {(x, y, z) / a2 x + b2 y + c2 z = d2 }
Entonces:
  
a1 x + b 1 y + c 1 z = d 1
α∩β = (x, y, z) /
a2 x + b 2 y + c 2 z = d 2

I) Si α ∩ β ̸= ∅, α ∩ β es el subespacio afı́n asociado con


  
a1 x + b 1 y + c 1 z = 0
P(α ∩ β) = (x, y, z) /
a2 x + b 2 y + c 2 z = 0

a) Cuando dim (α ∩ β) = 1, entonces α ∩ β es una recta. α y β tienen una recta en


común. ......
...
...... .........
.
.......
..................
............. . . ..... ... ..
...... ..... ............. ...
...... ............. ...
...... ..... ............. ...
....... ..... . . .............. .

......
......
......
. .... ........
.....
..... .............
.............
............... ... ...
β ...
...
...

...... ..... ......... ...


.
. ........ .....
. .
. ... .. ...
.. ...... . .
...... ..... ... ...
.
...... ..... ..... ...
...... ...
...... .......
...
........... .. .......
. ...
...... .. ..... ...
.
..........
.....
.....
α ...
...
... ...
...
...
...
...
...
..... . ...
. ...
... ...
..... .. .
..... ... ... ...
..... ... ... ...
..... ...
...
... ...
.....
..... ...
. ... ....
.
. ... .
..... ... ... ...
..... .. ... ...
..... ... ... ...
..... ... ... ...
.....
..... . .... ..... ....
..... .... .........
..... .... ............. ......
.....
.....
.....
..... .....
.
... α∩β .. ....... ..
.. ..............
.............
............. .... .........
.. .....
.....
...
.. ............. .. .....
.....
..... ... ... .... .. .. .............. .. .. .....
.....
..... .... .......
.................................. . .. .....
.....
.......
. . .....
.... ...... . .. .....
... ..... . .....
... ...... .. .....
.. ....... .. .....
.... ....... .
. .....
.....
.... ....... .. .....
.. .. ....... ... .....
... . . .....
. .
..... .. .....
.... ... .. .....
... ..... . .....
. ....... . .....
.... .
. ... .... ...
... ..... ... ... ... ......
..
.
.
... ...... ...
.. ..
.............
. .
...........
... .. ............ .. ..... ..... .
.. ....... .... .
. .. ..
... ......... .....
......
.
... ................ ..... ......
.............. .....
......
... ............. ..... ......
... ................. ..... ......
............... ..... .. .
...
..... ......
..... ......
..... ......
..... ......
.....
..... ....
.......
..... ......
..... ......
..... ..........
.....

Figura 7.17: Planos que se cortan en una recta


Álgebra y Geometrı́a Analı́tica 207

b) Cuando dim (α ∩ β) = 2, entonces α ∩ β es un plano incluido en α y β. Es decir


α ∩ β = α = β. α y β son planos coincidentes.

..... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .......
... ...
... ...
....
. ...
.
. ... .. ...
.
... ..
... ...
... ...
... ...
. ...
. . ...
.
. .
... ...
α∼
.. ..
... ...
.. ....
.
... =β ......
.
...
... ...
... ...
... ...
... ...
.... ...
.
.. ..
... ...
... ...
... ...
. ...
. . ...
.
.. ..
........ ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ......

Figura 7.18: Planos coincidentes

II) Si α ∩ β = ∅, los planos α y β no tienen puntos en común. α y β son planos paralelos.


....
... ... .........
.... ... ...
... ... ... .. .
... ... ... ... ... ... ... ....
. ..
... ... ... ... ..
.
... ... ... ...
... ... ... ... ..
... ... ... ... ..
. ... ... ... ... ...
. .
.. ..
.. ..
.. ..
. .. . ..
. .
.. ..
.. ..
.. ..
... ... ... ... ... ... ...... ... .......
... ... ... ... ...
... ... ... ... ... ... ... ...
.. ... ... ... ... ... ... ... ... ..
.. ..
. ... ..
...
..
.
α ... ..
. ... ... ... ... ...
... ... ... ...
.
.
.
.
.
.
.
.
.
.
.
. .
.
.
.
.
. ... ... ... ...
... ... ... ...
... ... ...
.
.
..
..
. ... ... ... ... ... ...
.. ... ... ... ... . ... ... ... ..
.
... ... ... ... .... ... .. ..
.. ..
... ...
. .
.. ..
.. ..
.. ..
... ...
.
.. ... .....
.. ... ... ... ...
.. ... ... ... ...
.. ..
. ..
. ... ... ... ... ...

..
..
..
.
β ... ... ... ...
... ... ... ...
... ... ... ...
... ... ..
.

.. ... ... ... ...


... ... ... ...

Figura 7.19: Planos paralelos

Ejemplo 7.5.2 Sea α el plano que contiene al punto A = (−1, 0, 0) y tiene a w̄ = (2, 5, −3) por
vector ortogonal.

El plano β contiene los puntos B = (1, 1, −1); C = (6, −1, −1) y D = (4, 1, 1).

Se comprueba fácilmente que:

α = {(x, y, z) / 2(x + 1) + 5y − 3z = 0} = {(x, y, z) / 2x + 5y − 3z = −2} y

β = {(x, y, z) / (x − 1, y − 1, z + 1) = t(5, −2, 0) + s(3, 0, 2), t, s ∈ IR}.

A fin de expresar β empleando la ecuación general, se elige un vector ū = (a, b, c) que sea
ortogonal a P(β). Es decir, un vector que verifique las siguientes condiciones.
208 7. Rectas y Planos

−−→
(ū, BC) = 5a − 2b = 0
 
  a  
5 −2 0 0
−−→ · b =
(ū, BD) = 3a + 2c = 0 3 0 2 0
c

   
2 5
CS = (x, y, z) / (x, y, z) = c − , − , 1 / c ∈ IR
3 3

Se elige ū = (−2, −5, 3) como vector ortogonal a β.

β = {(x, y, z) / − 2(x − 1) − 5(y − 1) + 3(z + 1) = 0}

= {(x, y, z) / − 2x − 5y + 3z = −10}.

  
2x + 5y − 3z = −2
α∩β = (x, y, z) /
−2x − 5y + 3z = −10
= ∅

 
2 5 −3 | −2
La matriz Me∗ s
= es una forma escalonada de la matriz ampliada co-
0 0 0 | −12
rrespondiente al sistema lineal que define α ∩ β.

Dicho sistema no tiene solución porque rg(M ) ̸= rg(M ∗ ).

Luego α y β son planos paralelos.

Ejemplo 7.5.3 Se analiza la posición del plano α = {(x, y, z) / 2x + 5y − 3z = −2} con relación
al plano γ = {(x, y, z) / y + z = 1}.
  
2x + 5y − 3z = −2
α ∩ γ = (x, y, z) / .
y+z = 1
Como rg(M ) = 2 = r(M ∗ ), α ∩ γ ̸= ∅.

Además:
  
2x + 5y − 3z = 0
P(α ∩ γ) = (x, y, z) / .
y+z = 0
dim(α ∩ γ) = dim(P(α ∩ γ)) = 3 − 2 = 1

Luego, α ∩ γ es una recta.


Álgebra y Geometrı́a Analı́tica 209
 
7
α∩γ = (x, y, z) / x = − + 4z, y = 1 − z, z ∈ IR
2
   
7
= (x, y, z) / (x, y, z) = − , 1, 0 + z(4, −1, 1) z ∈ IR
2  
7
α ∩ γ es la recta que contiene al punto C = − , 1, 0 y está determinada por el vector
2
v̄ = (4, −1, 1).

Ejercicio 7.5.1 Compruebe que los planos π = {(x, y, z) / x − 6y − 3z = 1} y

δ = {(x, y, z) / (x, y, z) = (4, 1, −1) + t(0, 1, −2) + s(6, 1, 0), t, s ∈ IR} son
coincidentes.

7.5.3. Posición relativa entre una recta L y un plano π


I) Si L ∩ π ̸= ∅, se pueden dar las siguientes situaciones:

a) Cuando dim (L ∩ π) = 0, entonces L ∩ π = {P0 }.


La recta L y el plano π sólo tienen en común el punto {P0 }.

L ..................
.....
.....
..... ... ... ....
..... ... ... ... ... ...
..... ... ... ... ... ..
.....
..... ... ... ... ... ... ...... ..
..... ... ... ... ... ..
..... ... ... ... ... ... ...... . ..
.... ... ... ... .
... ................ ..
... ... ... ... ..... ..
.. ..... ..
.. ..... ..
.. ..... ..

..
..
..
..
•P0
.....
...
...
... ..
..
..
..

.. ... .
... .
.. ... ... .....
.. ... ...... ... ...
.. ... ... ... ... ...
..
..
... ... ... ... ................
... ... ... .....
..
..
..
π ... ... ... ...
... ... ... ...
... ...... ... .....
.....
.....
.. ... ... ...... .....
....... ... ... .....
.....
.....
.....
.....
...

Figura 7.20: Recta L intersección con el plano π en el punto P0

b) Cuando dim (L ∩ π) = 1, luego L ∩ π es una recta que coincide con L.


Esto significa que L ⊂ π.
... ... ....
... ... ... ... ...
... ... ... ... ..
..
. .
.. ... ... ... ... ... ..
..
.
... ... ... ... ..
. ... ... ... ... ... ... . ..

..
... ... ... ...
...... ... ...
... ... ..
L ....... ..
............... ....
..
.

..
..
.
....
...
....
................. .
.
.....
..
. ............... ..
.............. ..
.. ...............
.. ............... ..
... ...
.....
...................
. ....
.....
..
. ............... ... ... ....
.
.. .... ... ...
.. ... ... ... ..
.. ..
. ... ... ... ... ... ...
. ..
... ... ... .
..
..
..
π ... ... ... ..
.... ... ...
... ... ... ...
.. ... ...... ...
... ... ... ...

Figura 7.21: Recta L intersección con el plano π


210 7. Rectas y Planos

II) Si L ∩ π = ∅, la recta L no tiene puntos en común con el plano π.


Se dice que L es paralela a π. ... .......
... ... ... ... ...
... ... ... ... ..
... ..
. .
.. ... ... ...... ..
... ... ... ... ..
... ... ..
. ... ... ... ... . ..
.
..
... ... ... ...
... ... ... ...
... ... ..
L ...... ..
............... ....
..
.

..
..
.
....
.....
................... ..
...
.. ............... ..
.. ...............
............... ..
.. ............... ..
..
..
..
.....
.....
................. .. ..
.......
.. ............... ... ..... ... ....
.. ... ... ... ... ... ... ... ... ...
.. ... ... ... ... ... ... ... ... ..
..
..
... ... ... ... ... ... ... ..
. .
.. ... ... ... ... ... ..
. ... ... ... ... ... ... ... ... .
... ... ... ... ... ... ... ... ... ..
. ... ... ... ... ... ....
.. ... ... ... .. . ... ... ... .. . .
.. ... ... ... ... ... ... ... ... ..
.... ... ... ... ... ... ... ... ..
.. ..
... ...
. .
.. ..
.. ..
.. ..
... . ..
. .
.. .....
.. ... ... ... ...
.. ... ... ... ...
... ... ... ... ... ... ... ...
..
..
.
π ... ... ... ...
... ... ... ...
... ... ... ...
.. ... ... ... ...
. ........ ... ... ... ... ...
..

Figura 7.22: Recta L paralela al plano π

Ejemplo 7.5.4 En IR3 , encuentre la posición relativa entre la recta L y el plano π.

L = {(x, y, z) / (x, y, z) = (−1, −1, 2) + t(0, 0, 1), t ∈ IR}

π = {(x, y, z) / x + y − 3z = −8}

Para encontrar la posición relativa pedida, se busca L ∩ π. Se comienza por expresar L en


forma de un sistema de ecuaciones lineales.
  
  x = −1 
L= (x, y, z) / y = −1 , t ∈ IR
z= 2 +t
  
  
  x = −1 
= (x, y, z) / y = −1 , z ∈ IR
z= z
  

  
  x = −1 
L∩π = (x, y, z) / y = −1
x +y −3z = −8
  
 
1 0 0 | −1

Con base en Ae s = 0 1
 0 | −1 , se calcula rg(A) = rg(A∗ ) = 3, v = 0.
0 0 −3 | −6
El sistema de ecuaciones lineales que define L ∩ π tiene solución y ésta es única.
Se encuentra L ∩ π = {(−1, −1, 2)}.
Esto significa que L y π tienen un sólo punto en común: P0 = (−1, −1, 2).
Álgebra y Geometrı́a Analı́tica 211

Ejercicio 7.5.2 Si T es la recta que contiene al punto B = (3, 1, 3) y está dirigida por w̄ =
(−2, 0, 2). Compruebe que T está incluida en el plano α.

α = {(x, y, z) / (x − 3) + (y − 1) + (z − 3) = 0}

n x zo
Ejemplo 7.5.5 Sean D = (x, y, z) / = y − 5 = y F = {(x, y, z) / x − 4y = 0}. ¿Cuál
4 2
es su posición relativa?

D es una recta en IR3 que contiene al punto B = (0, 5, 0) y está determinada por el vector
v̄ = (4, 1, 2).

F es un plano en IR3 que contiene al punto Q = (4, 1, 2) y tiene a w̄ = (1, −4, 0) por vector
ortogonal.

En la forma habitual, se expresa D mediante un sistema de ecuaciones lineales.


  
x − 4y = −20
D = (x, y, z) /
2y −z = 10
  
  x − 4y = −20 
D ∩ F = (x, y, z) / 2y −z = 10
x − 4y = 0
  
 
1 −4 0 | −20
Me∗ s =  0 2 −1 | 10 , es una forma escalonada de la correspondiente matriz am-
0 0 0 | 20
pliada. Se encuentra rg(M ) ̸= rg(M ∗ ). D ∩ F = ∅ .

D y F no tienen puntos en común.

7.6. Medidas para ángulos

En esta sección, E es un espacio afı́n asociado con el espacio euclı́deo V, y el sistema de


coordenadas está determinado por una base ortonormal β para V.

Dadas dos rectas L y T con un punto común A, dirigidas por los vectores v̄ y ū respectivamente,
−→
existe un plano π = {P / AP = tv̄ + sū, t, s ∈ IR} que las contiene.
212 7. Rectas y Planos
... ....
.... ... ... ... ... ...
... ... ... ... ... ..
... ... ... ...
..
... .
. . ... ... ... ... ... ... ..
.. . ..
.. ... ... . .. .......... ..
... .
.. . .
...
. .
.... .........
.. ... ... ...... ... ... .
.. ... .
..
C ..........
..........
.
....
..
..

. ..
.... .. ... ....
.
.
L
. ........
.......
•........
............
..........
..........
....
..
.. ..... ....... .......... ..
.. ... .............. ..
...
.
.. . • .
............
...............
.......... ..............
....... . ..
..

..
..
.. ..........
.......... A
..
...
..
•B
.......
.......
.......
...... .. ... ... ... ... ... ....
..
. .

..
...
.
T ... ... ... ...
... ... ... ... ... ......
... .

.. ... ... ......


... ....... ...
.
.
..
π
.. .... ... ... ... ... .....
. ... ... ... ...
.
.
.
... ... .. .....
..
...
...
...
...
...
...

−ū HH 
Y
H 1

v̄
...
...
.
........................................................................................................................................................................................
.
H ..
....
.
..
....
. HH
.....
....
j
.....
..
......
.
..... ū
.....
.....
.....
.....
..
.....
.
...
.....
.....
.....
.....

Figura 7.23: Medida del ángulo determinado por las rectas L y T

[ determinado por L y T al número α ∈ [0, π ]


Definición 7.6.1 Se llama medida del ángulo BAC,
2
que se obtiene mediante la siguiente expresión.

|(ū, v̄)β |
cos(α) =
∥ū∥β ∥v̄∥β

Nota 7.6.1

i) Por extensión, se dice que α es la medida del ángulo asociado con los vectores v̄ y ū, no
nulos. En este caso, es necesario distinguir entre α y la medida del ángulo asociado con los
vectores v̄ y −ū, por ejemplo. Esto se logra empleando la fórmula 1

(ū, v̄)β
cos(α)v = , con αv ∈ [0, π]
∥ū∥β ∥v̄∥β

ii) Dados los planos β y π que tienen una recta en común, con ū y v̄ vectores ortogonales a β y
π
π respectivamente, el ángulo vinculado con los planos se calcula como la medida α ∈ [0, ],
2
del ángulo asociado con los vectores ū y v̄.
 

y z−3  x = 2−t  
Ejemplo 7.6.1 Las rectas L = (x, y, z) / x + 1 = = y T = (x, y, z) / y = 1 + 3t, t ∈ IR
2 −1
z = 1
 
del ejemplo 7.5.1 tienen sólo un punto en común. L ∪ T = {(1, 4, 1)}.

1
Si V es un espacio euclı́deo y β es una base de V , entonces para todo ū, v̄ ∈ V se verifica la siguiente condición
(ū, v̄)2β ≤ (ū, ū)β · (v̄, v̄)β llamada Desigualdad de Cauchy-Schwarz. Esta desigualdad también se puede expresar
bajo la forma (ū, v̄)2β ≤ ∥ū∥22 · ∥v̄∥22 o mediante la expresión |(ū, v̄)β | ≤ ∥ū∥2 · ∥v̄∥2 , a partir de la cual se obtiene la
fórmula para calcular cos(α)v
Álgebra y Geometrı́a Analı́tica 213

La recta L está dirigida por el vector ū = (1, 2, −1), mientras que T está dirigida por el vector
v̄ = (−1, 3, 0).

La medida del ángulo determinado por L y T se obtiene empleando la expresión

|(ū, v̄)|
cos(α) =
∥ū∥∥v̄∥
 
−1 √ √
(ū, v̄) = [ 1 2 −1 ]  3  = 5 ∥ū∥ = 6 ∥v̄∥ = 10.
0

|5| 5
Resulta cos(α) = √ √ = √ ≈ 0.645497224
6 10 60
 
5
Luego α = arcos √ = 49◦ 47′ 49.32′′
60

Ejemplo 7.6.2 ¿Cuál es la medida α del ángulo determinado por las rectas F y G?

F = {(x, y, z) / (x, y, z) = (1, 0, −3) + t(1, −1, 3), t ∈ IR}


 
x+2 y−1 z−2
G = (x, y, z) / = =
−4 2 2
La recta F está dada en forma vectorial. Contiene al punto A = (1, 0, −3) y está dirigida por
ū = (1, −1, 3).

G es una recta en IR3 dada mediante sus ecuciones simétricas, B = (−2, 1, 2) ∈ G y v̄ =


(−4, 2, 2) la dirige.

Aplicando el procedimiento adecuado se encuentra que las rectas F y G tienen sólo un punto
en común. F ∪ G = {(2, −1, 0)}.

Para el cálculo de α se determina:


 
−4 √ √
(ū, v̄) = [ 1 −1 3 ]  2  = 0 ∥ū∥ = 11 ∥v̄∥ = 24.
2

0
Resulta cos(α) = √ √ = 0
11 24

Luego α = arcos (0) = 90◦


214 7. Rectas y Planos

Se observa que (ū, v̄) = 0, por lo tanto los vectores ū y v̄ son ortogonales. La medida del ángulo
determinado por las rectas F y G es α = 90◦ y se concluye que las rectas son perpendiculares.
Se dice que dos rectas que tienen un punto en común son perpendiculares entre sı́ cuando los
vectores que las dirigen son ortogonales.

Ejemplo 7.6.3 Los planos α = {(x, y, z)/2x + 5y?3z = −2} y γ = {(x, y, z)/y + z = 1} del
ejemplo 7.5.1 tienen una recta en común.

El vector ū = (2, 5, −3) es ortogonal al plano α y el vector v̄ = (0, 1, 1) es ortogonal a γ.

Para calcular la medida β del ángulo vinculado a los planos dados se determina:
 
0 √ √
(ū, v̄) = [ 2 5 −3 ]  1  = 2 ∥ū∥ = 38 ∥v̄∥ = 2.
1

|2|
Resulta cos(β) = √ √ ≈ 0.2294157
38 2
Luego β = 76◦ 44′ 14.37′′

7.7. Distancia entre subespacios afines


Definición 7.7.1 Sea E un espacio afı́n.

i) La distancia entre P , Q ∈ E es una función que se calcula por medio de la siguiente expresión
−→
d(P, Q) = ∥P Q∥.

ii) Sean A y B subespacios afines, se llama distancia entre ellos al número que se obtiene
mediante la expresión d(A, B) = minP ∈A,Q∈B d(P, Q).

Nota 7.7.1 Si A = {A}, se escribe d(A, B) para indicar d(A, B) y se la llama distancia del punto
A al subespacio afı́n B.
−→
Ejemplo 7.7.1 En IR2 si A = (3, −1) y B = (2, 3), se calcula AB = (−1, 4).
−→
−→ d(A, B) = ∥AB∥
AB = b̄ − ā
= ∥(−1, 4)∥
= (2, 3) − (3, −1) p
= (−1)2 + 42
= (−1, 4) √
= 17
Álgebra y Geometrı́a Analı́tica 215

7.7.1. Distancia entre un punto y una recta


−→
Sean B ∈ IR2 y T = {P / AP = tū, t ∈ IR}.

B
• ....
.. ..
.. ...
.. . ..
.. .. .......
.. .. .......
.......
.. .. .......
.. .......
..
.
.
.. ..
.. .......
.. ..............
.
.......
...
.
T
..

..
..
..
.......

.....
...
.
. .....
.......
.......
..
..
..
.........
.
.......
....... P
..
.
.. ........
.. ......
..........
...
...
•.......
.......
......
.......
....... A .... ..
..... ..
....
... .....  ..
..
.
..... ..
. ...... ..

−→
.... .  ..
. ...
..... ..
AB *ū ..
..
−−→AKA
 ..
 ..
−→

PB A *

proyv̄ AB
 
A   *
 v̄
A
O

Figura 7.24: Distancia entre el punto B y la recta T


(1) v̄ = es un vector unitario y v̄ ∈ SG[{ū}]
∥ū∥
−−→
(2) d(B, T ) = minQ∈T d(B, Q) = d(B, P ), si P B es ortogonal a v̄.
−−→ −→ −→
(3) P B + proyv̄ AB = AB
−−→ −→ −→
(4) P B = AB − proyv̄ AB
−→ −→
(5) proyv̄ AB = (AB, v̄)v̄
−−→ −→ −→
(6) P B = AB − (AB, v̄)v̄
−−→ −→ −→
(7) d(B, T ) = ∥P B∥ = ∥AB − (AB, v̄)v̄∥

Ejemplo 7.7.2 ¿Cuál es la distancia entre el punto B = (4, 1, 2) y la recta T ?


  
  x= 1 + 2t 
T = (x, y, z) / y = −2 + t , t ∈ IR
z= − 2t
  

Datos: B = (4, 1, 2); ū = (2, 1, −2) dirige T y A = (1, −2, 0) ∈ T .

Una vez comprobado que B = (4, 1, 2) ̸∈ T , se calcula d(B, T ).


Se determina:
216 7. Rectas y Planos
 
2 1 2
1) v̄ = , , − , vector unitario que dirige la recta T .
3 3 3

−→
2) AB = (4, 1, 2) − (1, −2, 0) = (3, 3, 2)

−→ −→
 · v̄ 
 
proyv̄ AB= (v̄, AB)   3
−→ 2 1 2
5 2 1 2 (v̄, AB)= − · 3 
= · , ,− 3 3 3
3
 3 3 3 2
10 5 10 5
= , ,− =
9 9 9 3
   
−→ −→ 10 5 10 17 22 28
3) AB − proyv̄ AB = (3, 3, 2) − , ,− = , ,
9 9 9 9 9 9
 
17 22 28
4) d(B, T ) = , , = 4.38
9 9 9

7.7.2. Distancia entre un punto y un plano

En IR3 espacio afı́n, dados un punto B ∈ IR3 y el plano π = {(x, y, z) / ax + by + cz = d}


se obtiene un procedimiento para calcular la distancia entre ellos.

•B .
....
.. ..
... ..
. .. .........
.. .. ................. ......
.. ..................
.. .................. ...
.. . .................. ...
.. ..................................... π ...
..................
............... .. ...
.................. ...
.................. .. .. ...
..
...
.
..................
..
....
. ... ..
. ... ..
. •P
... ...
...
.......
.

... .. . ... ... .. ...

..
.
....
... A• .... ... ..
.
..
....
...
... ...
... ...
... ......
.
.... .....
...
...
........................
.....
..
... ..................
... ..................
..................
... ..................
..... ...
...
.............................
. ............
... .................
...................

BM
v̄ B
−
→
... .......
B AB .... ... ...
... ... ... ... ....
−−→BMB  ... ... ... ...
.... ...
... ... ... ..
..
..
..

P B B ...................................... ............ P (π) ....... ...


... ... ... .
.. B
.. n̄
..
M  .
..
. ..
... B  ...
.. ..

..
.
..
..
O ..
.
... ... ....
..
..
. .
.. .
.. .
.. ... ... ...
.. ... ...... ...
.. ... ... ... ...
. ... ... ... ...
... ..
. .
.. .
.. ... ... ......
.
.. ... ... ... ..
.. ... ... ... ...
.... ... ... ...

Figura 7.25: Distancia entre el punto B y el plano π


Álgebra y Geometrı́a Analı́tica 217

−−→
(1) d(B, π) = minQ∈π d(B, Q) = d(B, P ), si P B es ortogonal a P (π).

(2) v̄ = (a, b, c) es ortogonal a P (π)



(3) n̄ =
∥v̄∥
−−→ −→ −→
(4) P B = proyn̄ AB = (AB, n̄)n̄
−−→ −→ −→
(5) d(B, π) = ∥P B∥ = ∥(AB, n̄)n̄∥ = |(AB, n̄)| · ∥n̄∥
−→
(6) d(B, π) = |(AB, n̄)|

Ejemplo 7.7.3 La distancia entre el origen y un plano A será obtenida procediendo como se
indicó.

A = {(x, y, z) / x − 5y + 2z + 6 = 0}

1
1º) n̄ = √ (1, −5, 2)
30
2º) Se elige A = (−6, 0, 0) ∈ A porque satisface la ecuación que lo define.
   
−→ −→ 6 1 −5 2 1 2
proyn̄ AO = (AO, n̄)n̄ = √ √ ,√ ,√ = , −1,
30 30 30 30 5 5
r
1 4 30 6
3º) d(O, A) = +1+ = √ =√
25 25 5 30 30
▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁▷◁
218 7. Rectas y Planos

También podría gustarte