Professional Documents
Culture Documents
1.
Subvariedades afines
Definici
on 1.1 Llamaremos subvariedad afn (o subvariedad lineal ) de Rn a los subconjuntos
suyos de la forma
a + F = {a + e : e F } ,
siendo F un subespacio vectorial de Rn y a Rn . Se dice que el subespacio F es la direcci
on
de la subvariedad a + F .
Dado un vector e Rn , la aplicacion te : Rn Rn , v 7 te (v) = v + e, se denomina
traslacion por el vector e. La aplicacion te es biyectiva, y su aplicacion inversa es la traslacion
por el vector e. La subvariedad afn X = a + F es la imagen directa de F por la aplicacion ta ,
X = ta (F ). Es decir, las subvariedades afines son los trasladados de los subespacios vectoriales.
Ejemplos 1.2 (a) Todo vector de Rn es una subvariedad afn cuya direccion es el subespacio
nulo (el que tiene como u
nico vector el origen 0 Rn ): dado a Rn , a = a + 0.
(b) Cada subespacio vectorial V de Rn es una subvariedad afn cuya direccion es V :
trasladando por el origen 0 Rn tenemos V = 0 + V .
ev F ,
esto es, e esta relacionado con v si y solo si existe u F tal que e = v + u. Es facil comprobar
que dicha relacion es reflexiva, simetrica y transitiva, es decir, es una relacion de equivalencia.
La clase de equivalencia de un elemento e Rn es
[e] = {v Rn : v e} = {v Rn : v = e + u para alg
un u F }
= {e + u : u F } = e + F .
Por lo tanto, dado un vector a Rn , la subvariedad afn a + F es el conjunto de vectores
de Rn que estan relacionados con a por la relacion de equivalencia que F define en Rn . Como
consecuencia inmediata obtenemos las siguientes propiedades:
(a) Dados a, b Rn se cumple: a + F = b + F
a b F .
1. Subvariedades afines
Demostraci
on. Sean X1 , X2 subvariedades afines de Rn cuyas direcciones respectivas son los
subespacios vectoriales F1 , F2 . Que el conjunto X = X1 X2 sea no vaco significa que existe
un punto P en Rn tal que P X1 y P X2 . Entonces X1 = P + F1 , X2 = P + F2 y por lo
tanto
X = X1 X2 = (P + F1 ) (P + F2 ) = P + (F1 F2 )
(la u
ltima igualdad se comprueba facilmente); es decir, X es una subvariedad afn cuya direccion es el subespacio vectorial F1 F2 (aqu utilizamos que la interseccion de dos subespacios
vectoriales de Rn siempre es un subespacio de Rn ).
Proposici
on 1.8 Dadas subvariedades afines X = P + F , Y = Q + F en Rn se cumplen:
(i) X Y F F y P Q F .
(ii) X Y = P Q F + F .
(iii) La subvariedad afn mas peque
na de Rn que contiene a X e Y es
Z = P + Q P + F + F .
(iv) Si X Y entonces: X = Y dim X = dim Y .
(v) Si X e Y son paralelas y tienen alg
un punto en com
un, entonces son incidentes.
Demostraci
on. (i) Supongamos en primer lugar que P +F Q+F . Por una parte P Q+F
(ya que P P + F ) y por lo tanto P + F = Q + F , es decir, P Q F ; por otra parte
tendramos P +F P +F , de lo que se deduce facilmente la inclusion F F . Para demostrar
la otra implicacion basta invertir los razonamientos.
(ii) Si existe R X Y , entonces existe v F tal que R = P + v y existe u F tal que
R = Q + u; por lo tanto P Q = u v F + F . La demostracion de la otra implicacion se
deja como ejercicio.
(iii) Es claro que Z es una subvariedad afn de Rn que contiene a X e Y . Probemos que es
la mas peque
na: si Z = R + V es otra subvariedad afn de Rn que contiene a X e Y , entonces
}
P +F R+V
P RV y F V
Q + F R + V Q R V y F V
F V , F V y P Q V
P Q + F + F V ,
Demostraci
on.
( Recordemos que )por definicion tenemos dim X = dim F , dim Y = dim F y
dim Z = dim Q P + F + F .
(i) Tenemos: X Y = Q P F + F Q P + F + F = F + F
Z = P + F + F . Como consecuencia, cuando X Y es no vaco es una subvariedad afn
cuya direccion es F F , y ademas la direccion de la subvariedad afn Z es F + F , de modo
que aplicando la formula de la dimension para los subespacios vectoriales obtenemos
Un retculo se define como un conjunto ordenado en el que todo subconjunto finito tiene supremo e nfimo.
2. Proporcionalidad
2.
Proporcionalidad
Como ya hemos dicho, la geometra afn estudia si unas subvariedades dadas se cortan o
no, si son paralelas, si se cortan en un punto o en un plano, etc. En esta geometra no hay
distancias, es decir, no podemos comparar segmentos cualesquiera. Lo que s podemos hacer
en geometra afn es comparar segmentos paralelos (segmentos con la misma direccion).
Definiciones 2.1 Llamaremos segmento en Rn a todo par de puntos distintos y ordenados A
y B de Rn , y lo denotaremos AB. Diremos que dos segmentos AB y CD son paralelos si la
u
nica recta que pasa por A y B es paralela a la u
nica recta que pasa por C y D, es decir, si
los vectores AB y CD son proporcionales.
Si AB y CD son segmentos paralelos, entonces se define la proporcion del segmento AB al
AB
para el que se cumple la igualdad
segmento CD como el u
nico escalar CD
AB
AB =
CD .
CD
Si denotamos
AB
CD
BA
AB
=
= ,
CD
DC
BA
= .
DC
AB
La definicion del escalar CD
se puede generalizar admitiendo que A = B, en cuyo caso
AB
AB
a sentido sera CD
con C = D.
CD = 0 porque AB = B A = 0; lo que no tendr
Definici
on 2.2 Sea r una recta en Rn . Se llama razon simple de tres puntos distintos y
ordenados A, B, C de r al escalar (A, B, C) definido por la igualdad
(A, B, C) :=
CA
AC
=
.
CB
BC
2. Proporcionalidad
paralelos, y se dice que es un paralelogramo si sus dos pares de lados opuestos son paralelos.
Los dos lados de un trapecio que son paralelos se denominan bases del trapecio. Es claro que
un cuadrilatero alabeado no puede ser un trapecio (y mucho menos un paralelogramo).
Se denomina tetraedro en Rn a toda cuaterna de puntos de Rn que no sean coplanarios.
Dichos puntos son los vertices del tetraedro, y dado un vertice, el plano generado por los otros
tres se llama cara del tetraedro opuesta al vertice dado; las rectas que unen dos de los vertices
se denominan aristas del tetraedro.
nico punto P de la recEjercicios 2.4 (a) Dado un segmento AB, su punto medio es el u
ta que pasa por A y B que cumple (A, B, P ) = 1. De otro modo, el punto medio del
segmento AB es el u
nico punto de la recta que contiene al segmento y que lo divide en la
proporcion 1 : 1.
(b) Un cuadrilatero ABCD es un paralelogramo si y solo si sus lados opuestos son igua
les (es decir, AB = DC y AD = BC). Ademas, para que el cuadrilatero ABCD sea un
paralelogramo basta con que uno de sus dos pares de lados opuestos sean iguales.
(c) Teorema de Tales: Sean H, H , H tres hiperplanos paralelos y distintos. Si r es
una recta no paralela a dichos hiperplanos, y P , P , P son los puntos de corte de r con H,
H , H respectivamente, entonces la proporcion entre los segmentos P P y P P no depende
de la recta r.
(d) Las medianas de un triangulo (rectas que unen un vertice con el punto medio del lado
opuesto) concurren en el baricentro del triangulo. Ademas el baricentro divide a cada mediana
en la proporcion 2 : 1.
(e) Las paralelas a dos lados de un triangulo que pasan por el baricentro dividen al tercer
lado en tres segmentos iguales.
(f) Dado un cuadrilatero, las rectas que unen cada vertice con el baricentro del triangulo
formado por los restantes vertices concurren en el baricentro del cuadrilatero. Ademas, las
bimedianas del cuadrilatero (rectas que unen los puntos medios de lados opuestos) tambien
concurren en el baricentro del cuadrilatero.
(g) Las medianas de un tetraedro (rectas que unen cada vertice con el baricentro de la
cara opuesta) concurren en el baricentro del tetraedro.
(h) Un cuadrilatero es un paralelogramo si y solo si sus diagonales se cortan en sus puntos
medios.
(i) Los puntos medios de los cuatro lados de un cuadrilatero (alabeado o no) son los
vertices de un paralelogramo.
(j) Teorema de Desargues: Sean ABC y A B C dos triangulos sin vertices ni lados
comunes tales que dos de los lados del primero son paralelos a dos de los lados del segundo (por
ejemplo, AB A B y AC A C ). Los terceros lados de los triangulos son tambien paralelos
(esto es, BC B C ), si y solo si las tres rectas AA , BB y CC son paralelas o concurrentes.
(k) Dado un paralelogramo ABCD, si E es el punto medio del lado AB y F es el punto
medio del lado CD, entonces las rectas DE y F B dividen a la diagonal AC en tres partes
iguales.
(l) Las diagonales de un trapecio se dividen en partes cuya proporcion es la misma que
la proporcion entre las bases. Si ademas P es el punto de corte de las diagonales del trapecio,
entonces la recta paralela a las bases que pasa por P corta a los dos lados restantes del trapecio
en puntos cuyo punto medio es P .
3.
Representaci
on en coordenadas
Definiciones 3.1 Un sistema de referencia afn (o sistema de referencia cartesiano, o simplemente referencia si no hay motivo de confusion) en Rn , consiste en una sucesion (P0 ; e1 , . . . , en )
donde P0 es un punto de Rn y {e1 , . . . , en } es una base de Rn .
Fijada una referencia afn (P0 ; e1 , . . . , en ) en Rn , veamos como queda coordenado el espacio.
Dado un punto P Rn existe un u
nico vector v Rn tal que P = P0 + v, y si (x1 , . . . , xn ) son
las coordenadas de v en la base {e1 , . . . , en }, entonces diremos que la sucesion (x1 , . . . , xn ) son
las coordenadas afines (o coordenadas cartesianas, o simplemente coordenadas) del punto P
en el sistema de referencia fijado. Es claro que x1 , . . . , xn son los u
nicos escalares que cumplen
P = P0 + v = P0 + x1 e1 + + xn en .
De otro modo: las coordenadas del punto P en la referencia (P0 ; e1 , . . . , en ) son las coordenadas
ai ci
.
bi ci
a11 ++a1m
m
)
an1 ++anm
2m
, a21 ++a
,
.
.
.
,
.
m
m
a1 +b1
2
)
n
, . . . , an +b
.
2
3. Representacion en coordenadas
3.3 (Ecuaciones implcitas de una subvariedad afin) Sea X una subvariedad afn no
vaca en Rn cuya direccion es un subespacio vectorial F . Supongamos que tenemos un punto
cualquiera P = (b1 , . . . , bn ) en X, y tambien que conocemos unas ecuaciones implcitas del
subespacio vectorial F en la base {e1 , . . . , en } de la referencia fijada,
a11 x1 + + a1n xn = 0
..
.
(3.1)
.
ar1 x1 + + arn xn = 0
Recordemos el significado de las anteriores ecuaciones: Dado un vector e Rn , e F si y solo
si las coordenadas de e en la base {e1 , . . . , en } son solucion del sistema de ecuaciones lineales
homogeneo (3.1).
Ahora, dado un punto cualquiera Q = (x1 , . . . , xn ) en Rn , veamos como expresar en terminos
de esas coordenadas la condicion Q pertenece a X . Sabemos que Q X = P + F si
a11 x1 + + a1n xn = d1
..
(3.2)
.
ar1 x1 + + arn xn = dr
donde di = ai1 b1 + + ain bn , i = 1, . . . , r. El sistema (3.2) se denomina ecuaciones implcitas de X en la referencia (P0 ; e1 , . . . , en ). El significado es claro: los puntos de X son (en
coordenadas) las soluciones del sistema de ecuaciones lineales (3.2).
Observaci
on 3.4 La argumentacion del punto anterior es reversible: si (3.2) son unas ecuaciones
implcitas de la subvariedad X en la referencia (P0 ; e1 , . . . , en ), entonces su sistema homogeneo
asociado (3.1) son unas ecuaciones implcitas de la direccion de X en la base {e1 , . . . , en }.
3.5 (Ecuaciones param
etricas de una subvariedad afin) Siguiendo con la notacion de
3.3, supongamos ahora que tenemos una base {v1 , . . . , vm } de la direccion F de X. Dado un
tales que P Q = 1 v1 + + m vm ; la u
ltima igualdad podemos expresarla como
Q = P + 1 v1 + + m vm .
(3.3)
x1
b1
a11
a1m
.. ..
.
.
. = . + 1 .. + . . . + m ..
xn
bn
an1
b1
a11 . . .
..
..
= . + .
bn
an1 . . .
a1m
..
.
anm
anm
1
.. ,
.
m
10
x1 = b1 + 1 a11 + + m a1m
..
.
(3.4)
.
xn = bn + 1 an1 + + m anm
Las (3.4) se denominan ecuaciones parametricas de X en la referencia (P0 ; e1 , . . . , en ). Cuando
en dichas ecuaciones los parametros 1 , . . . , m toman valores en R, obtenemos una n-upla
(x1 , . . . , xn ) correspondiente a las coordenadas en la referencia (P0 ; e1 , . . . , en ) de un punto de
X, y todo punto de X se obtiene as.
Observaciones 3.6 (a) Si en las ecuaciones (3.4) eliminamos las coordenadas (b1 , . . . , bn ) del
punto P tomado en X, entonces llegamos a unas ecuaciones parametricas de la direccion F de
X en la base {e1 , . . . , en }:
x1 = 1 a11 + + m a1m
..
.
(3.5)
.
xn = 1 an1 + + m anm
(b) Si las ecuaciones implcitas (3.2) de X se resuelven como un sistema de ecuaciones
lineales, entonces se obtienen todos los puntos de X en funcion de ciertos parametros y lo
que tenemos son unas ecuaciones parametricas de X. Recprocamente, si partimos de unas
ecuaciones parametricas de X como las (3.4) y en ellas se eliminan los parametros, entonces
se obtienen unas ecuaciones implcitas de X.
3.7 (Rectas) Consideremos en Rn dos puntos distintos de los que conocemos sus coordenadas
x1 = a1 + (b1 a1 )
..
.
.
xn = an + (bn an )
Como A = B los escalares bi ai (i = 1, . . . , n) no se anulan simultaneamente; si por ejemplo
suponemos que es b1 a1 = 0, entonces podemos despejar el parametro en la primera de las
anteriores ecuaciones, y sustituyendolo en las otras n 1 ecuaciones obtenemos
..
,
(3.6)
.
3. Representacion en coordenadas
11
(3.10)
Recprocamente, dada una ecuacion de la forma (3.10), sus soluciones son las coordenadas
(en la referencia fijada) de los puntos de un hiperplano de Rn . Para comprobar esta afirmacion
veamos que los vectores cuyas coordenadas son solucion de la ecuacion homogenea a1 x1 + +
an xn = 0 forman un subespacio vectorial de dimension n 1. Si por ejemplo se cumple a1 = 0,
entonces una base del conjunto de soluciones de la ecuacion homogenea la forman los n 1
vectores de coordenadas (a2 , a1 , 0, . . . , 0), (a3 , 0, a1 , 0 . . . , 0), . . . , (an , 0, . . . , 0, a1 ).
3.10 (Interpretaci
on geom
etrica) De lo dicho en el punto anterior se sigue la siguiente
interpretacion geometrica de las ecuaciones implcitas (3.2): cada subvariedad afn no trivial
de Rn (esto es, distinta de y de Rn ) puede obtenerse como interseccion de hiperplanos,
necesitandose mayor n
umero de estos cuanto mas peque
na sea la dimension de la subvariedad.
Concretamente, si X es una subvariedad afn de dimension m, 0 m < n, entonces X es
12
(3.11)
}
.
(3.12)
donde
b a
2
2
a=
b 3 a3
c2 a2
c3 a3
b a
3
3
b=
b1 a1
c3 a3
c1 a1
b a
1
1
c=
b2 a2
c1 a1
c2 a2
3. Representacion en coordenadas
13
b 1 a1
b 2 a2
b 3 a3
c1 a1
c2 a2 ,
c3 a3
que tiene rango 2 porque A, B, C estan no alineados; por lo tanto (a, b, c) = (0, 0, 0). Si por
ejemplo fuera b = 0, entonces dividiendo por b en la ecuacion (3.12) podemos despejar y en
funcion de x y z (es decir, tomaramos x y z como parametros), y obtenemos las siguientes
ecuaciones parametricas del plano
x =
.
y = db ab cb
z =
(b) Sea r una recta en R3 de la que conocemos un punto A = (a1 , a2 , a3 ) y un vector
director v = (c1 , c2 , c3 ), esto es, r = A + v. Entonces unas ecuaciones parametricas de r son
x = a1 + c1 ,
y = a2 + c2 ,
z = a3 + c3 .
Teniendo en cuenta que al menos una de las coordenadas del vector v es no nula, de las anteriores
ecuaciones parametricas se sigue que r puede expresarse como interseccion de dos planos. Por
ejemplo, si es c1 = 0, entonces una ecuaciones implcitas de r son
c2 (x a1 ) c1 (y a2 ) = 0 ,
c3 (x a1 ) c1 (z a3 ) = 0 .
Cuando todas las coordenadas de v son no nulas podemos expresar la recta r por su ecuacion
continua:
x a1
y a2
z a3
=
=
.
c1
c2
c3
Ejercicios 3.13 (a) En el plano R2 , la condicion necesaria y suficiente para que tres puntos
A = (a1 , a2 ), B = (b1 , b2 ) y C = (c1 , c2 ) esten alineados es que se cumpla
a1 a2 1
b1 b2 1 = 0 .
c1 c2 1
(b) En el espacio tridimensional R3 , la condicion necesaria y suficiente para que cuatro
puntos A = (a1 , a2 , a3 ), B = (b1 , b2 , b3 ), C = (c1 , c2 , c3 ) y D = (d1 , d2 , d3 ) sean coplanarios es
que se cumpla
a1 a2 a3 1
b b b 1
1 2 3
= 0.
c1 c2 c3 1
d d d 1
1
2
3
14
3.14 (Haz de hiperplanos) Fijada una subvariedad afn X en Rn , el conjunto de todos los
hiperplanos que la contienen se llama haz de hiperplanos que pasan por X. Supongamos que
conocemos unas ecuaciones implcitas de X,
a11 x1 + + a1n xn = d1
..
,
(3.13)
.
ar1 x1 + + arn xn = dr
y veamos como son las ecuaciones de los hiperplanos del haz determinado por X. Supondremos
que en (3.13) no sobra ninguna ecuacion (ninguna de las ecuaciones es combinacion lineal del
resto), es decir, suponemos que la matriz
a11 . . .
..
A= .
ar1 . . .
a1n d1
..
..
.
.
arn dr
a11 x1 + + a1n xn = d1
..
.
ar1 x1 + + arn xn = dr
a1 x1 + + an xn = d
(3.14)
son justamente los puntos de X. Que los dos sistemas tengan las mismas soluciones significa
que la ecuacion a
nadida a (3.13) para obtener (3.14) es combinacion lineal de las r ecuaciones
de (3.13): existen escalares 1 , . . . , r R, no todos nulos porque (a1 , . . . , an ) = (0, . . . , 0), tales
(a1 , . . . , an , d) = 1 (a11 , . . . , a1n , d1 ) + + r (ar1 , . . . , arn , dr ) ;
es decir, existen escalares 1 , . . . , r R no todos nulos tales que la ecuacion de H es
1 (a11 x1 + + a1n xn d1 ) + + r (ar1 x1 + + arn xn dr ) = 0 .
(3.15)
a
1 x1 + + a
n xn = d, se cumplen:
(i) H = H
(ii) H || H
3. Representacion en coordenadas
15
s a2 x + b2 y = d2 ,
t a3 x + b3 y = d3 .
a1 x + b1 y = d1
a2 x + b2 y = d2
a3 x + b3 y = d3
se sigue la siguiente propiedad:
a1 b1 d1
a2 b2 d2 = 0 .
a3 b3 d3
[Indicacion: Es facil argumentar que basta probar la anterior equivalencia cuando las tres rectas
son distintas.]
Ejercicio 3.18 (Teorema de Pappus) Sean r y s dos rectas distintas de un plano y consideremos: A1 , A2 , A3 tres puntos de r, distintos y fuera de s, y B1 , B2 , B3 tres puntos de s,
distintos y fuera de r. Si la recta A1 B2 es paralela a la recta A2 B1 y la recta A2 B3 es paralela
a la recta A3 B2 , entonces la recta A1 B3 es paralela a la recta A3 B1 .
Ejercicios 3.19 En un triangulo ABC sean: un punto A en el lado BD (distinto de B y de
C), un punto B en el lado AC (distinto de A y de C), y un punto C en el lado AB (distinto
de A y de B). Se cumplen:
(a) Teorema de Ceva: La condicion necesaria y suficiente para que las rectas AA , BB
y CC sean paralelas o concurran en un punto es que se satisfaga la igualdad
A B B C C A
= 1 .
A C B A C B
B
(b) Teorema de Menelao: La condicion necesaria y suficiente para que los puntos A ,
y C esten alineados es que se satisfaga la igualdad
A B B C C A
= 1.
A C B A C B
16
Esta matriz permite obtener las coordenadas de un vector e R3 en la nueva base B , siempre
que se conozcan las coordenadas de e en la antigua base B. En efecto, si las coordenadas de e
en la base B son (1 , 2 , 3 ), entonces tenemos
e = 1 e1 + 2 e2 + 3 e3
= 1 (a11 e1 + a21 e2 + a31 e3 ) + 2 (a12 e1 + a22 e2 + a32 e3 ) + 3 (a13 e1 + a23 e2 + a33 e3 )
= (1 a11 + 2 a12 + 3 a13 )e1 + (1 a21 + 2 a22 + 3 a23 )e2 + (1 a31 + 2 a32 + 3 a33 )e3 ,
y si las coordenadas de e en la base B son (1 , 2 , 3 ) (es decir, e = 1 e1 + 2 e2 + 3 e3 ),
igualando coordenada a coordenada obtenemos que debe cumplirse
1 = 1 a11 + 2 a12 + 3 a13 ,
1
1
2 = A 1 .
3
3
Supongamos ahora que tenemos una nueva referencia afn (P0 ; e1 , e2 , e3 ) en R3 . Dado un
punto P R3 , sean (x, y, z) sus coordenadas en la antigua referencia (P0 ; e1 , e2 , e3 ) y sean
(x , y , z ) las coordenadas de P en la nueva; es decir, (x , y , z ) son las coordenadas del vector
P0 P en la base B y (x, y, z) son las coordenadas del vector P0 P en la base B. Como queremos
encontrar la relacion que hay entre las dos coordenadas, de la igualdad
P0 P = P P0 = (P0 P0 ) + (P P0 ) = P0 P0 + P0 P
se deduce que necesitamos conocer las coordenadas del vector P0 P0 en la base B , es decir,
necesitamos conocer las coordenadas del origen de la antigua referencia respecto de la referencia
4. Problemas
17
x
b1
x
y = b2 + A y ,
z
b3
z
e igualando coordenada a coordenada obtenemos las ecuaciones de cambio de coordenadas del
sistema antiguo al nuevo:
4.
Problemas
18
4.3 Dado un triangulo ABC y tres puntos A , B y C sobre los lados BC, CA y AB,
respectivamente, hallese una condicion necesaria y suficiente para que los triangulos ABC y
A B C tengan el mismo baricentro.
4.4 Dados tres puntos distintos y alineados A, B y C, calc
ulese la relacion que hay entre las
seis razones simples que se obtienen al permutar dichos puntos. En que condiciones las seis
razones simples toman como maximo tres valores diferentes?
4.5 Sea r una recta y sea un plano paralelo a r. Pruebese que el lugar geometrico de los
baricentros de los triangulos que tienen un vertice sobre r y los otros dos vertices sobre es
un plano paralelo a .
4.6 Dado un tetraedro ABCD, sea r una recta que corta en puntos A , B , C y D a las caras
BCD, CDA, DAB y ABC, respectivamente. Pruebese que los puntos medios de los segmentos
AA , BB , CC y DD son coplanarios.
4.7 Hallense las ecuaciones parametricas e implcitas del hiperplano de R4 determinado por
los puntos O = (0, 0, 0, 0), A = (1, 1, 1 0), B = (1, 1, 0, 1) y C = (1, 0, 1, 1).
4.8 En R4 , considerese la base B = { e1 = (1, 0, 0, 0) , e2 = (1, 1, 0, 0) , e3 = (1, 0, 1, 0) ,
e4 = (0, 0, 0, 1) }, y considerense los subespacios vectoriales:
(a) F1 = {(x, y, z, t) R4 : x + y = z + t} ;
(b) F2 = {(a, a, 0, b) R4 : a, b R} ;
(c) F3 = (1, 0, 0, 0) , (1, 1, 0, 0) .
Hallense las ecuaciones parametricas en la base de B los subespacios F1 , F2 y F3 de R4 .
4.9 En R3 , dados los planos 1 3x + 4y + 5z = 1 y 2 2x + y + z = 2, y dados los puntos
A = (1, 0, 1) y B = (1, 4, 2), hallese la ecuacion del plano que pasa por 1 2 y por el punto
medio del segmento AB.
4.10 En R3 , una recta esta contenida en el plano x + y + z = 4 y pasa por el punto (2, 1, 1).
Hallese su ecuacion sabiendo ademas que es paralela al plano x y + z = 0.
4.11 En R3 , calc
ulese la ecuacion del plano que contiene a la recta r1 y es paralela a la recta
r2 , donde
x = 3
y2
z1
x3
y = 1 + 2
=
=
,
r2
r1
1
2
3
z=
4.12 En R3 , hallese la ecuacion de la recta que pasa por el punto (1, 1, 1), es coplanaria con
y
z
la recta x1
1 = 2 = 3 , y es paralela al plano x 2y z = 0.
ulese la ecuacion de la recta que pasa por el punto (1, 0, 2) y se apoya en las
4.13 En R3 , calc
rectas
x
y+2
z
x+1
y
z
r1
=
= ,
r2
=
= .
3
1
1
6
2
1
4. Problemas
19
4.14
En R4 , hallese la recta que pasa por el origen y se apoya en las dos rectas siguientes:
x = 2 + 3
x = 7
y =1
y=1
r1
r2
z
=
1
+
2
z =1+
t = 3 2
t = 1 + 2
4.15
2x y = 0
x+y3=0
x+z =0
2x z 1 = 0
r1
r2
3x t = 0
t=0
4.16 En R4 , hallese la familia de hiperplanos que son incidentes con el plano determinado
por los puntos A = (1, 2, 3, 1), B = (0, 0, 1, 5) y C = (3, 1, 5, 0).
4.17
En R5 , hallense las ecuaciones de la mnima subvariedad afn que pasa por las rectas
r1 x1 = x2 = x3 = x4 = x5 ,
r2
x2
x4 + 1
x5
x1 1
=
= x3 2 =
=
.
5
3
7
4
(A, B, C)
.
(A, B, D)
Pruebese que es posible elegir una referencia afn respecto de la cual para las coordenadas
A = (a1 , . . . , an ), B = (b1 , . . . , bn ), C = (c1 , . . . , cn ) y D = (d1 , . . . , dn ) se cumple: existe un
ndice i {1, . . . , n} para el que todos los escalares ai bi , ai ci , ai di , bi ci , bi di y
ci di son no nulos. En la anterior situacion sera
(A, B; C, D) =
4.21
(ai ci ) (bi di )
.
(bi ci ) (ai di )
Es decir, si siempre que se intercambian dos de los cuatro puntos tambien se intercambian los
otros dos, entonces la razon doble no vara.
20
4.22 La nocion de razon simple es muy importante en geometra afn, y el teorema de Tales
afirma que la razon simple de tres puntos distintos y alineados se conserva por proyecciones
paralelas . Pruebese que la razon doble de cuatro puntos distintos y alineados se conserva
por proyecciones arbitrarias: Sean r y s dos rectas distintas de un plano y sea P un punto
exterior a ellas. Dados cuatro puntos distintos A, B, C, D sobre r, sean A , B , C , D los puntos
sobre s que se obtienen al proyectar desde P los cuatro puntos dados en r. Entonces se cumple
(A, B; C, D) = (A , B ; C , D ). (La nocion de razon doble es muy importante en geometra
proyectiva.)
4.23 Cuaternas arm
onicas: Dados cuatro puntos distintos y alineados A, B, P, Q, se dice
que la pareja (A, B) separa armonicamente a la pareja (P, Q) cuando sea (A, B; P, Q) = 1,
en cuyo caso tambien se dice que los puntos A, B, P, Q forman una cuaterna armonica.
Pruebese que si (A, B) separa armonicamente a (P, Q), entonces (P, Q) separa armonicamente a (A, B). Por este motivo, cuando (A, B; P, Q) = 1 se dice que las parejas (A, B) y
(P, Q) se separan armonicamente .
onico: Sean A, B, P, Q cuatro puntos distintos y alineados. Cuando
4.24 Conjugado arm
(A, B; P, Q) = 1 se dice que A es el conjugado armonico de B respecto de la pareja (P, Q).
Pruebese que A, B, P, Q es una cuaterna armonica si y solo si se cumple (A, B; P, Q) =
(B, A; P, Q). Por tanto, A es el conjugado armonico de B respecto de la pareja (P, Q) si y solo
si B es el conjugado armonico de A respecto de la pareja (P, Q), por lo que en ese caso se dice
que A y B son conjugados armonicos respecto de la pareja (P, Q) .
4.25 Cuarto arm
onico: Fijemos dos puntos distintos A y B en una recta r. Dado otro
punto P de r distinto de A y de B, nos preguntamos por la existencia del cuarto armonico, es
decir, existe Q r tal que A, B, P, Q es una cuaterna armonica?
(a) Pruebese que existe el cuarto armonico Q si y solo si P no es el punto medio del
segmento AB.
(b) Pruebese que cuando el punto P tiende al punto medio del segmento AB, entonces
el cuarto armonico Q tiende al punto del infinito de la recta r. Del mismo modo, cuando
el punto P tiende al punto del infinito de la recta r, entonces el cuarto armonico Q
tiende al punto medio del segmento AB.
on del cuarto arm
onico: Supongamos que r es una recta que esta con4.26 Construcci
tenida en un plano (para poder hacer la construccion geometrica que vamos a describir). Si
A, B, P son tres puntos distintos en r, entonces el conjugado de P respecto de la pareja (A, B)
puede construirse de la siguiente forma: Trazadas rectas paralelas r1 , r2 y r3 que pasen por A,
B y P , respectivamente, y eligiendo un punto X de r3 distinto de P , la recta s que pasa por los
puntos r1 BX y r2 AX corta a la recta AB en el cuarto armonico buscado. Cuando el punto
P es el punto medio del segmento AB, la recta s es paralela a r y por lo tanto el conjugado
arm
(onico es el punto del infinito de la recta r.
)
Comparese con los problemas 4.18 y 4.19. Veanse tambien 2.4 (a) y 2.4 (m).