GEOMETRIA AFN

Gerard Romo Garrido

 Toomates Coolleccin
Los documentos de Toomates Coolleccin son recopilaciones de materiales
matemticos, redactados, ordenados y sistematizados por Gerard Romo, con el
objetivo de que puedan ser tiles para cualquier estudioso de las matemticas.

Always Under Construction: Debido a lo ambicioso del proyecto, estos documentos

se van ampliando, corrigiendo y completando incesantemente a lo largo de los aos.

Se agradecer cualquier observacin, comentario, rectificacin o colaboracin a

toomates@gmail.com

Creative Commons: Se permite cualquier uso, reproduccin y edicin de todos estos

materiales siempre que sea sin nimo de lucro y se cite su procedencia.

Todos los documentos se ofrecen en dos versiones: En formato pdf para una cmoda
lectura y en el formato doc de MSWord para permitir y facilitar su edicin.

Actualmente Toomates Coolleccin consta de los siguientes documentos:

Geometra Axiomtica pdf doc1 2 3 4 5 6 7 8 9 10 11 12

Geometra Proyectiva Teora pdf doc1 2 3 4 5 6 7
Problemas de Matemticas vol. 1 pdf doc
Problemas de Matemticas vol. 2 pdf doc
Cangur Integral (en cataln) pdf doc

Matemticas para el bachillerato (en cataln):

lgebra Lineal Batxillerat pdf doc
Geometria Lineal Batxillerat pdf doc
Clcul Infinitesimal Batxillerat pdf doc
Programaci Lineal Batxillerat pdf doc

En Preparacin:
Geometra Hiperblica pdf doc1 2 3
Fundamentos de las matemticas pdf doc1 2 3
Geometra Proyectiva Prctica pdf doc
lgebra Lineal Mtodo Jordan pdf doc
Geometra Afn pdf doc

Versin de este documento: 02/11/2017

www.toomates.net
ndice.

1 El plano afn real A2 ( IR ) .

1.1 Construccin.
1.2 Rectas.
1.3 Coordenadas baricntricas.

2 El plano afn axiomtico.

3 El espacio afn real A3 ( IR)

4 El espacio afn multidimensional An (IR)

4.1 Construccin.
4.2 Variedades afines.
4.3 Coordenadas baricntricas.
4.4 Razn simple de tres puntos.

5 El espacio afn axiomtico.

1 El plano afn real A2 ( IR) .

1.1 Construccin.

Definimos el plano afn real A2 ( IR) como el espacio afn IR 2 , IR 2 ,
donde
: IR 2 IR 2 IR 2
( p1 , p2 ) (v1 , v2 ) ( p1 v1 , p2 v2 )
1.2 Rectas afines.

1.2.1 Definicin. Recta afn.

Una recta afn es una variedad afn de dimensin 1 en el plano, es decir, todo conjunto
de la forma

P v X P v | IR
1.3 Coordenadas baricntricas.

1.3.1 Proposicin.
Tres puntos A, B, C A2 ( IR ) son colineales si, y slo si existen a, b, c IR no todos
cero, tales que a b c 0 y aA bB cC 0 .

Demostracin.
Supongamos que existen a, b, c IR no todos cero, tales que a b c 0 y
aA bB cC 0 .
Entonces:
a b c 0 aA bB cC ( b c) A bB cC
bA cA bB cC b( B A) c(C A) b AB c AC

y b y c no pueden ser ambos cero, puesto que entonces a tambin lo sera,

contradiciendo la hiptesis.

El argumento anterior es reversible, por lo que se demuestra tambin el recproco.

1.3.2 Proposicin. Coordenadas baricntricas absolutas de un punto.

Sean tres puntos A, B, C A2 ( IR ) no colineales. Entonces todo punto P A2 ( IR) se
puede expresar de forma nica como P xA yB zC para ciertos x, y, z IR tales
que x y z 1 .

Diremos que ( x, y, z ) son las coordenadas baricntricas absolutas del punto P

respecto a la referencia baricntrica ( A, B, C ) .

Demostracin.
Consideramos los puntos A, B, C A2 ( IR) A3 ( IR ) mediante la inmersin siguiente:
A ( a1 , a2 ) (a1 , a2 ,1) , B (b1 , b2 ) (b1 , b2 ,1) y C (c1 , c2 ) (c1 , c2 ,1) .
Estos tres vectores son linealmente independientes. Efectivamente, si existe una
combinacin lineal
a1 b1 c1

a a2 b b2 c c2 0
1 1 1

entonces a b c 0 y se cumplen las condiciones de la proposicin anterior, luego

seran puntos colineales, contradiciendo la hiptesis.

Por lo tanto, para P ( p1 , p2 ) ( p1 , p2 ,1) existirn x, y, z IR nicos tales que

a1 b1 c1 p1

x a2 y b2 z c2 p2
1 1 1 1

y estos nmeros cumplen las condiciones exigidas.

1.3.3 Nota histrica.

Las coordenadas baricntricas fueron introducidas por August Ferdinand Mbius (1790-
1868) en el ao 1827.

1.3.3 Proposicin.
La expresin P xA yB zC anterior la hemos obtenido mediante la ecuacin
vectorial OP xOA y OB z OC para O (0,0,0) , pero es independiente del origen
O que tomemos.

Demostracin.
Supongamos que tomamos otro origen O ' y otras coordenadas
O' P x' O' A y ' O' B z ' O' C

Se tiene que

OP O' P xOA yOB z OC x ' O' A y ' O ' B z ' O' C

x OO' O ' A y OO' O ' B z OO' O' C x' O ' A y ' O' B z ' O' C
xOO' xO ' A y OO' y O' B z OO' z O' C x' O ' A y ' O' B z ' O' C
xOO' yOO' z OO' xO ' A x ' O' A y O' B y ' O' B z O' C z ' O' C
( x y z )OO' x x ' O' A y y ' O ' B z z ' O' C
OO' x x ' O' A y y ' O' B z z ' O' C
Luego
x x' O' A y y ' O' B z z ' O' C OP O' P OO' O' P O' P O

y por tanto x x' y y ' z z ' 0 , es decir x x' , y y ' , z z ' .

1.3.4 Proposicin.
rea ( PBC ) rea ( PCA) rea ( PAB )
Si P xA yB zC entonces x , y , z
rea ( ABC ) rea ( ABC ) rea ( ABC )

En donde suponemos reas con signo.

Demostracin.
P xA yB zC OP xOA y OB z OC O luego para O P
0 PP x PA y PB z PC 1 y z PA y PB z PC

PA y PA z PA y PB z PC PA y PB PA z PC PA
PA y AB z AC
AP y AB z AC

Multiplicando vectorialmente por AB

AP AB y AB AB z AC AB z AC AB
AP AB 2 rea ( PAB ) rea ( PAB )
z
AC AB 2 rea ( ABC ) rea ( ABC )

Y con el mismo razonamiento deducimos los valores de x e y.

1.3.5 Corolario.
Dado un tringulo ABC, su baricentro D (punto de corte de las medianas) determina tres
tringulos ABD, ACD y BCD reas iguales:
rea ( ABD) rea ( ACD) rea ( BCD)

Luego si rea ( ABC ) , sus coordenadas baricntricas sern D A B C .

1.3.6 Corolario.
Dado un tringulo ABC, tomando como punto unidad D su baricentro, las coordenadas
baricntricas respecto la referencia baricntrica (A,B,C) y las coordenadas proyectivas
respecto a la referencia proyectiva (A,B,C;D) coinciden.

Demostracin.
En el plano afn, sea el tringulo A (a1 , a2 ), B (b1 , b2 ), C (c1 , c2 ) A2 ( IR) .
Sea D ( d1 , d 2 ) su baricentro. Por 1.3.5 sabemos que

D (d1 , d 2 ) A B C a1 , a2 (b1 , b2 ) (c1 , c2 ) donde la razn de

las reas. Es decir:

d1 a1 b1 c1

d2 a2 b2 c2
Y todo punto P ( p1 , p2 ) xA yB zC para x, y, z IR nicos y x y z 1 . Es
decir:

p1 xa1 yb1 zc1

p2 xa2 yb2 zc2
Pasamos todos estos elementos al plano proyectivo P2 ( IR ) :
A (a1 , a2 ) A IR (a1 , a2 ,1) IR
B (b1 , b2 ) B IR (b1 , b2 ,1) IR
C (c1 , c2 ) C IR (c1 , c2 ,1) IR
Tomando como D IR ( d1 , d 2 ,1) IR su punto unidad, entonces
 d1 a1 b1 c1

(d1, d2 ,1) (a1, a2 ,1) (b1, b2 ,1) (c1, c2 ,1) d2 a2 b2 c2
1 3 1

Ahora ajustamos los puntos base:
A (a1 , a2 ) A IR (a1 , a2 ,1) IR (a1 , a2 ,1) IR
B (b1 , b2 ) B IR (b1 , b2 ,1) IR (b1 , b2 ,1) IR
C (c1 , c2 ) C IR (c1 , c2 ,1) IR (c1 , c2 ,1) IR

Para el punto P anterior, tenemos que

x y z
p1 xa1 yb1 zc1 ( a1 ) b1 c1

x y z
p2 xa2 yb2 zc2 (a2 ) b2 c2

x y z
1 ( 1) 1 1 x y z 1

x y z
As pues, ( p1 , p2 ,1) (a1 , a2 , ) (b1 , b2 , ) (c1 , c2 , )

x y z
es decir, el punto P tiene coordenadas , , x, y, z .

1.3.7 Proposicin. Rectas en coordenadas baricntricas.

Dados dos puntos diferentes P, Q A2 ( IR) , todo punto R de la recta PQ queda
unvocamente determinado de la forma R xP yQ con x y 1 .

Demostracin.
R xP yQ R xP (1 x )Q xP Q xQ Q x ( P Q ) Q xQP PQ

Recprocamente, R PQ R P PQ P (Q P) P Q P (1 ) P Q
y claramente (1 ) 1 .

1.3.8 Proposicin. Rectas en coordenadas baricntricas.

La igualdad R xP yQ R Q xQP nos permite observar la posicin de los puntos
en funcin del parmetro x:

1.3.9 Proposicin. Interpretacin visual de las coordenadas baricntricas.

De la misma forma que en la proposicin anterior, para todo P xA yB zC del plano,
con x y z 1 , podemos localizar la posicin del punto observando los distintos
valores de las coordenadas:

1.3.10 Proposicin. Caracterizacin de tres puntos alineados.

Tres puntos P, Q, R A2 ( IR) estn alineados si y slo si sus coordenadas baricntricas
son vectores linealmente dependientes, es decir:

P ( p1, p2 , p3 ) p1 q1 r1

Q (q1, q2 , q3 ) alineados p2 q2 r2 0
R (r1, r2 , r3 ) p3 q3 r3
Demostracin.
b c
Si aP bQ cR 0 y suponiendo a 0 entonces P Q R , con
a a
b c bc a
1 , y por (1.3.7) se cumple P QR .
a a a a
Recprocamente, si estn alineados P QR P aQ bP P aQ bP 0 , es decir,
son linealmente dependientes.

1.3.11 Corolario. Rectas en coordenadas baricentricas.

Toda recta, en coordenadas baricntricas, se puede escribir la forma ax by cz 0
donde ( a, b, c) (0,0,0) .

Demostracin.
Aplicando la proposicin anterior, X ( x, y, z ) PQ , P ( p1 , p2 , p3 ) y
Q ( q1 , q2 , q3 ) si y slo si:
 x p1 q1
y p2 q2 0
z p3 q3

y basta desarrollar el determinante anterior por la primera columna:

p2 q2 p q1 p q1
x 1 y 1 z0
p3 q3 p3 q3 p2 q2
1.4 Coordenadas baricntricas.

1.4.1 Proposicin. Coordenadas baricntricas de un punto.

Dado un tringulo ABC de referencia, diremos que un punto P tiene como coordenadas
baricntricas P ( a : b : c) si
1
P ( a , b, c )
abc

1.4.1 Proposicin. Recta que pasa por dos puntos.

La recta que pasa por los puntos P ( p1 : p2 : p3 ) y Q (q1 : q2 : q3 ) tiene por ecuacin
x p1 q1
y p2 q2 0
z p3 q3

1.4.2 Ejemplos.
Dado un tringulo ABC , sus vrtices tendrn por coordenadas A (1 : 0 : 0) ,
B (0 : 1 : 0) y C (0 : 0 : 1) , y sus lados tendrn asociados las ecuaciones
x 1 0 x 1 0 x 0 0
AB : y 0 1 0 z 0 , AC : y 0 0 0 y 0 , BC : y 1 0 0 x 0.
z 0 0 z 0 1 z 0 1

1.4.3 Corolario.
Toda recta en el plano tiene asociada una ecuacin de la forma ax by cz 0 donde
a b c 0.

1.4.4 Definicin. Recta del infinito.

Definimos la recta del infinito por x y z 0 . Efectivamente, cualquier punto
P ( x : y : z ) tal que x y z 0 es un punto impropio.

1.4.5 Proposicin.
El punto de interseccin de una recta ax by cz 0 con la recta del infinito
x y z 0 es (b c : c a : a b) .

Demostracin.
Este punto pertenece a las dos rectas:
a(b c) b(c a) c(a b) ab ac bc ab ac bc 0
bcca a b 0

1.4.6 Proposicin.
Si P ( p1 : p2 : p3 ) y Q (q1 : q2 : q3 ) , y se cumple p1 p2 p3 q1 q2 q3 , la recta
PQ tiene como punto de interseccin con la recta del infinito ( p1 q1 : p2 q2 : p3 q3 ) .

Demostracin:
Dicho punto pertenece a ambas rectas:
p1 q1 p2 q2 p3 q3 p1 p2 p3 (q1 q2 q3 ) 0
p1 q1 p1 q1 p1 p1 q1 q1 p1 q1
p2 q2 p2 q2 p2 p2 q 2 q2 p2 q2 0 0 0
p3 q3 p3 q3 p3 p3 q3 q3 p3 q3

1.4.7 Proposicin. Equacin de la recta paralela a una dada.

La recta que pasas por el punto P ( p1 : p2 : p3 ) y es paralela a la recta ax by cz 0
tiene como ecuacin
x p1 bc
y p2 ca 0
z p3 ab

1.4.8 Ejemplos.
La recta paralela a BC que pasa por P ( p1 : p2 : p3 ) tiene como ecuacin
x p1 0
0 y p2 1 x( p2 p3 ) y p1 z p1 ( p2 p3 ) x p1 ( y z ) 0
z p3 1
De la misma forma comprobamos que la paralela por P a AC es
( p3 p1 ) y p2 ( x z ) 0 , y la paralela por P a AB es ( p1 p2 ) z p3 ( x y ) 0 .

1.4.9 Proposicin. Punto de interseccin de dos rectas.

El punto de interseccin de las rectas ax by cz 0 y a ' x b' y c' z 0 es
i j k
b c a b a c
a b c
b' , ,

c' a' b' a ' c'
a' b' c'

1.4.10 Proposicin. Tres rectas concurrentes.

Tres rectas a1 x b1 y c1 z 0 , a2 x b2 y c2 z 0 y a3 x b3 y c3 z 0 sern
concurrentes si y slo si
a1 a2 a3
b1 b2 b3 0
c1 c2 c3
2 Plano afn axiomtico.

2.1 Construccin.

2.1.1 Definicin. Plano afn axiomtico.

Un plano afn axiomtico es un conjunto no vaco E de puntos, junto con una familia de
subconjuntos de E a los que llamaremos rectas, en la que hay definida una relacin
entre rectas llamada paralelismo cumpliendo los axiomas siguientes:

Axioma PA1: Por cada dos puntos pasa una nica recta, y cada recta contiene al menos
dos puntos.
Axioma PA2: Por cada punto pasa una nica paralela a una recta dada.
Axioma PA3: Axioma del tringulo Si A,B,C son tres puntos no colineales y A,B son
puntos tales que la recta AB es paralela a AB, entonces la paralela a AC por A y la
paralela a BC por B se cortan en un punto C.

Axioma PA4: Existen tres puntos no colineales.

Axioma PA5: El paralelismo es una relacin de equivalencia, es decir, cumple las

siguientes propiedades:
- Propiedad reflexiva: r // r
- Propiedad simtrica: r // s s // r
- Propiedad transitiva: r // s s // t r // t

2.1.2 Proposicin.
Para toda recta existe al menos un punto exterior.

Demostracin. Sea r una recta. El axioma EA4 garantiza que existen tres puntos no
colineales, luego al menos uno de los tres no pertenecer a esta recta.

2.1.3 Proposicin.
Dos rectas paralelas son iguales o disjuntas.

Demostracin. Supongamos que dos rectas r y s son paralelas y tienen un punto en

comn P. Puesto que la relacin de paralelismo es de equivalencia por construccin, s es
paralela a s y pasa por P, igual que r, luego por el axioma EA2 deducimos que son la
misma recta.

Observacin: No podemos afirmar que dos rectas disjuntas sean necesariamente

paralelas.
2.1.4 Proposicin.
Sean A, B, C tres puntos no colineales. Entonces:
a) La paralela a BC por A corta la paralela a AC por B.

b) Si B est en AB, la paralela a BC por B corta a AC.

Demostracin:
a) Basta aplicar el axioma EA3 con A=B y B=A.
b) Basta aplicar el axioma EA3 con A=A y el punto B dado.

2.1.5 Proposicin.
Todo espacio afn axiomtico cumple el postulado Veblen-Young:
Si A, B, C y D son cuatro puntos distintos tales que las rectas AB y CD se cortan,
entonces AC y BD tambin se cortan.

Demostracin:
Sea O el punto de interseccin de AB y CD . Aplicando 8.1.4(b) al tringulo OAC ,
la recta paralela a BD por C cortar la recta OA en un punto C.
Ahora aplicando nuevamente 8.1.4(b) al tringulo ACC ' , la recta que pasa por B
paralela a CC ' cortar a AC por un punto E. Pero esta recta es BD , pues BD pasa
por B y es paralela a CC ' (por la propiedad simtrica del paralelismo).

B2.1 Plano afn axiomtico.

B2.1.1 Definicin. Plano afn.

Un plano afn es un conjunto de puntos y una coleccin de conjuntos de puntos
llamados rectas satisfaciendo los siguientes axiomas:

Axioma PA1: Por cada dos puntos diferentes pasa una nica recta.
Axioma PA2: Si un punto P no pertenece a una recta r, existe una nica recta m por P
paralela a r.

Axioma PA3: Existen al menos tres puntos no alineados.

B2.1.2 Proposicin.
En un plano afn cada recta contiene al menos dos puntos, es decir, se cumple el axioma
I2. Por lo tanto todo plano afn es un plano incidental.

Demostracin. Sea r una recta. Por PA3 existirn tres puntos A, B y C que no pertenecen
a una misma recta, por lo tanto en particular tampoco pertenecern los tres a r.
a) Supongamos que dos de ellos pertenecen a r. Entonces ya hemos demostrado la
proposicin.
b) Supongamos slo uno de ellos pertenece a r, digamos que A r y B, C r .
Consideremos la recta BC . Si BC no es paralela a r, entonces tenemos un punto
P BC r . Observemos que P A , pues si P A , entonces A BC contradiciendo
la hiptesis de que los tres puntos no estn alineados. As pues, P y A son dos puntos
diferentes de la recta r.
c) Supongamos que ninguno de los tres puntos A, B, C est en r. Consideremos las
rectas AB y AC . Ambas no pueden ser paralelas a r por el axioma PA2, luego al
menos una de ellas cortar r. Supongamos que las dos cortan r, es decir, existen P y Q
tales que P AB r y Q AC r . Tenemos que P Q , pues de lo contrario
AB AC y los tres puntos A, B y C seran colineales AB AP AQ AC ,
contradiciendo la hiptesis.
Supongamos que AB corta r, es decir existe P AB r , y AC es paralela a r.
Consideremos la recta BC . La recta BC no puede ser paralela a r, pues la nica recta
paralela a r que pasa por C es AC . Por lo tanto existir un Q BC r . Los puntos P y
Q tienen que ser diferentes, pues si P Q entonces AB PB QB BC , y los tres
puntos A, B y C seran colineales. Por lo tanto P y Q son dos puntos diferentes de r.

B2.1.3 Proposicin.
Todo plano afn es un plano incidental euclideo.

Demostracin.
En 8.3.2 hemos demostrado que es un plano incidental y el axioma PA2 es el postulado
de paralelismo euclideo en el plano.

B2.1.4 Corolario.
En un plano afn el paralelismo entre rectas es una relacin de equivalencia.

Demostracin.
Todo plano afn es un plano de Hilbert y basta aplicar 6.2.5.

B2.1.5 Proposicin.
Por cada punto pasan al menos dos rectas.

Demostracin. Sea un punto P. Por el axioma PA3, existirn tres puntos A, B y C no

alineados. Al menos dos de ellos no son P.
Supongamos que P A . Consideremos las rectas PB y PC . Ambas rectas pasan por
P, y son diferentes pues de lo contrario los puntos A, B y C seran colineales.
Supongamos que los cuatro puntos son diferentes. Consideremos las tres rectas PA ,
PB y PC . Las tres rectas no pueden ser la misma, pues entonces los puntos A, B y C
seran colineales. Pongamos que PA PB . Tenemos as dos rectas diferentes que pasan
por P.

B2.1.6 Proposicin.
Todo plano incidental es afn si y slo si cumple UPP.

Demostracin. Todo plano incidental afn cumple A3 que es UPP. Todo plano
3 El espacio afn real A3 ( IR) .

3.1 Construccin.

Definimos el espacio afn real A3 ( IR) como el espacio afn IR 3 , IR 3 ,
donde
: IR 3 IR 3 IR 3
( p1 , p2 , p3 ) (v1 , v2 , v3 ) ( p1 v1 , p2 v2 , p3 v3 )
4 El espacio afn multidimensional An (IR ) .

4.1 Construccin.

4.1.1 Definicin. Espacio afn de dimensin n sobre un cuerpo K.

Un espacio afn de dimensin n es una terna P, E , formada por:
a) Un conjunto no vaco P de puntos.
b) Un espacio vectorial E de dimensin n sobre un cuerpo K
c) Una aplicacin : P E P que cumple las siguientes propiedades:
c1) Para cada par de puntos P,Q, existe un nico vector v tal que Q P v .
c2) P 0 P
c3) P v w P (v w)

Por abuso del lenguaje, se habla del espacio afn P al referirse a P, E , .

4.1.2 Proposicin.
a) p v p w v w
b) p p v v 0 .

Demostracin.
a) v w p v p w es trivial. Supongamos que Q p v p w . Luego aplicando
c1) deducimos que v=w.
b) Basta tener en cuenta el apartado anterior y c2.

4.1.3 Definicin. Variedad afn.

Una variedad afn de dimensin m en un espacio afn es un conjunto de puntos de la
forma
L p V p v | v V

para un cierto punto P y un subespacio vectorial V de E de dimensin m, llamado

espacio director de la variedad.

A las variedades de dimensin 0 las llamamos puntos, a las de dimensin 1, rectas, a las
de dimensin 2, planos y a las de dimensin n-1, hiperplanos.

4.1.4 Proposicin.
Si L p V es una variedad afn, entonces V v E | p v L , es decir, el subespacio
vectorial director de una variedad queda determinado por la misma.

Demostracin.
La inclusin V v E | p v L es trivial.
Veamos V v E | p v L . Si v E y p v L , entonces p v p w para cierto
w V , luego v w V .

4.1.5 Definicin. Generadores de una variedad afn.

Dado un conjunto de puntos A , existe una mnima variedad afn que lo contiene,
la llamaremos la variedad afn generada por A y la representaremos por A . Si P A
es fcil ver que A P PQ | Q A

Es una variedad que contiene a A y est contenida en cualquier otra que cumpla la
misma condicin.
Diremos que n+1 puntos A0 , , An son afnmente independientes si la variedad
lineal que generan tiene dimensin n. En caso contrario se dice que son afnmente
dependientes). Esto equivale a que los vectores A0 A1 , , A0 An sean linealmente
independientes.

4.1.6 Proposicin.
Tres puntos son afinmente independientes si y slo si son colineales.

Demostracin.

4.1.7 Proposicin.
Cuatro puntos son afnmente independientes si y slo si son coplanares.

Demostracin.

4.1.8 Definicin. Variedades afines paralelas.

Diremos que dos variedades afines son paralelas cuando el espacio director de una est
contenido en el de la otra.

4.1.9 Teorema.
Dos variedades afines de dimensiones m y n con m n son paralelas si y slo si estn
contenidas en una variedad de dimensin n 1 y una est contenida en la otra o bien no
tienen puntos en comn.

4.1.10 Corolario.
a) Dos rectas son paralelas si slo si estn contenidas en un plano y son iguales o no
tienen puntos comunes.
b) Dos hiperplanos (en particular dos planos en un espacio tridimensional) son paralelos
si y slo si no se cortan.
4.2 Variedades afines.

4.2.1 Definicin. Variedad afn.

Sea E un espacio afn. Una variedad afn en E es un conjunto V E que cumpla las
propiedades siguientes:
a) Toda recta que tenga dos puntos de V est contenida en V.
b) La paralela a una recta contenida en V por un punto de V est contenida en V.

Observemos que el conjunto vaco, los conjuntos de un solo punto, las rectas y el propio
espacio E son variedades afines.

4.2.2. Definicin. Variedad generada por un conjunto.

La interseccin de cualquier familia no vaca de variedades afines es una variedad afn,
por lo que podemos definir la variedad afn generada por un conjunto X E como la
interseccin de todas las variedades afines que contienen a X. La representaremos por
X y cuando X P0 ,..., Pn sea un conjunto finito, escribiremos tambin

P0 ,..., Pn .

Est claro que , P P , y si P Q entonces P, Q PQ .

4.2.3 Teorema.
Sea V una variedad afn que contenga al menos un punto A y sea B E \ V . Entonces
V , B es la unin de todas las rectas paralelas a AB que pasan por un punto de V. En
particular la variedad afn V , B no depende de la eleccin del punto A, pues el
resultado es siempre V , B .

Demostracin. Naturalmente, por V , B hay que entender V B .

Llamemos V A, B a la unin de todas las rectas paralelas a AB que pasan por un punto
de V.
Si P V A, B , por definicin P pertenece a una recta paralela a AB que pasa por un
punto de V V , B , los puntos A, B V , B , luego claramente P V , B . As
pues VA,B V , B y slo hemos de demostrar que V A, B es una variedad afn.

Primera condicin: Sean P Q V A, B y tenemos que demostrar que PQ V A,B .

P VA, B , luego P pertenece a una recta rP que pasa por un punto X P V y rP // AB
. De la misma forma Q V A, B , luego Q pertenece a una recta rQ que pasa por un
punto X Q V y rQ // AB .
Distingueremos varios casos:

a) Si X P X Q , entonces las rectas rP y rQ son ambas paralelas a AB y pasan por

un mismo punto, luego coinciden por el axioma EA2, P, Q rP rQ PQ rP V A, B .
A partir de aqu suponemos que X P X Q .

b) Si P X P y Q X Q , entonces P, Q V PQ V VA,B . La inclusin V V A,B

est clara pues por cada punto de V pasa una recta paralela a AB (axioma EA2).
c) Si P X P y Q X Q , sea un punto S PQ . Por 8.1.4(b) la recta rS paralela a
QX Q rQ por S cortar en un punto X S a PX Q V , luego X S V . Por otro lado
rS // rQ rQ // AB rS // AB , luego S rS V A, B .

Obviamente, el caso P X P y Q X Q es anlogo, por lo que slo queda demostrar el

caso siguiente:

d) Si P X P y Q X Q , sea un punto S PQ . La recta rS que pasa por S y es

paralela a PX P (y por lo tanto es paralela a AB por el axioma EA5(c)) cortar la recta
QX P en un punto X ' por 8.1.4(b), y nuevamente por 8.1.4(b), la recta que es paralela
a QX Q y pasa por X ' cortar en un punto X S a X P X Q V . Esta recta es rS , pues
ambas rectas pasan por X ' y son paralelas a QX Q . Luego S V A, B .

Segunda condicin: Sea una recta PQ V A, B , y un punto S V A, B . Tenemos que

comprobar que la paralela r a PQ por S est contenida en V A, B .
Definimos las rectas rP y rQ y los puntos X P , X Q V como en el apartado anterior.
Puesto que S V A, B , la recta rS paralela a AB y que pasa por el punto S cortar V
en un punto X S . Distinguimos casos:

a) Si X P X Q , como en el apartado a) anterior, tenemos que las rectas rP y rQ son

ambas paralelas a AB y pasan por un mismo punto, luego coinciden por el axioma
EA2, luego P, Q rP rQ PQ V A, B .
Supongamos a partir de ahora que X P X Q .
b) Si P X P , la recta que pasa por Q y es paralela a PX P y la recta que pasa por X P
y es paralela a PQ se cortarn en un punto Q ' por 8.1.4(a). Pero la primera recta es
rQ , y la segunda recta es paralela a la recta r. Luego podemos suponer que P X P
c) Si P X P y Q X Q , sea t la paralela a X P X Q por X S . Esta recta est contenida
en V y es paralela a r. Si S X S entonces r s V V A, B .
Si S X S , Sea R S un punto de r. Aplicando 8.1.4(a), la paralela a SX S por R y la
paralela a RS por X S se cortarn en un punto X R . La segunda recta es t, luego
X R t V . La primera recta es paralela a AB por transitividad del paralelismo, luego
R V A, B

d) Si P X P y Q X Q , llamamos s a la recta paralela a X P X Q por X S . Y tomamos

en ella otro punto cualquiera Y X S . Claramente s V pues es paralela a una recta
de V y pasa por un punto de V.
Luego s Y X S // X P X Q y podemos aplicar el axioma EA3 al tringulo X P X Q Q
para garantizar que la recta paralela a QX P por X S y la recta paralela a QX Q por Y
se cortan en un punto Y. Tenemos que Y ' V A, B pues la recta paralela a AB por Y
corta a V en Y.
Aplicando 8.4.1(a), la recta que pasa por Y y es paralela a SX S , es decir, la recta YY '
, se cortar con la recta que pasa por S y es paralela a Y ' X S , es decir a r, en un punto
Y ' ' . El punto Y ' ' V A, B pues la recta paralela a AB por Y ' ' corta a V en Y, luego la
recta r tiene dos puntos en V A, B , y por la primera parte de esta misma demostracin
tenemos que est contenida en V A, B .

Nota: Esta demostracin es la que se encuentra en [Ivorra] pgina 262, ligeramente

modificado al final.

4.2.4 Teorema.

Sea V una variedad afn, sea P E \ V , y sea Q V , P \ V . Entonces P V , Q \ V y

V , P V ,Q .

Demostracin. Aplicamos dos veces el teorema anterior

Q V , P \ V A, B E | BQ // AP , luego P AP V , Q ,y P E \ V por hiptesis.

V V ,Q P V ,Q V , P V ,Q y
V V , P Q V , P V ,Q V , P .

4.2.5 Definicin. Variedad afn finitamente generada.

Una variedad afn V es finitamente generada si admite un generador finito. En tal caso,
si el menor nmero de generadores de V es n+1, diremos que V tiene dimensin n.
Representaremos por dim V a la dimensin de V.
Un conjunto de n+1 puntos es afnmente independiente si no est contenido en una
variedad afn de dimensin menor que n (y por lo tanto genera una variedad afn de
dimensin n).
Tcnicamente esta definicin hace que el conjunto vaco tenga asignada una dimensin
de 1, pero tiene que ser as para que podamos decir que los puntos (o los conjuntos de
un solo punto) sean las variedades afines de dimensin 0 y que las rectas sean las
variedades afines de dimensin 1.
Llamaremos planos a las variedades afines de dimensin 2.

4.2.6 Proposicin.
Una variedad afn tiene dimensin 1 si y slo si es una recta.

Demostracin.
Sea V una variedad afn de dimensin 1. Entonces V P, Q para ciertos puntos P y
Q. La recta PQ contiene los puntos P y Q, luego PQ P, Q por definicin de
variedad afn. Pero PQ es una variedad afn, luego PQ P, Q .

4.2.7 Proposicin.
a) Los conjuntos con uno o dos puntos son siempre afnmente independientes.
b) Tres puntos son afinmente independientes si y slo si no son colineales.

Demostracin. a) es trivial. b) Supongamos que A,B,C son afnmente independientes. Si

fueran colineales, el conjunto A, B, C AB , que es una variedad afn de dimensin
menor, contradiciendo la hiptesis. Recprocamente, si los tres puntos no son afnmente
independientes, entonces los tres perteneceran a una variedad afn de dimensin 1, es
decir una recta, luego seran colineales.

4.2.8 Proposicin.
Un conjunto X P0 ,..., Pn es afnmente independiente si y slo si ninguno de ellos
pertenece a la variedad afn generada por los dems.

4.2.9 Teorema.
Dos rectas distintas son paralelas si y slo si estn contenidas en un mismo plano y no
tienen puntos en comn.

Demostracin.
Sean r y s dos rectas paralelas distintas. Por 8.1.3 sabemos que no tienen puntos en
comn. Tomamos A, B r y C s , de modo que r A, B, C , y tambin
s A, B, C , pues s es paralela a una recta contenida en el plano por un punto del
plano.
Recprocamente, supongamos que r y s estn contenidas en un plano . Tomamos
A, B r y C s de modo que A, B, C . Luego ser la unin de todas las
rectas paralelas a AC que pasan por puntos de AB. Sea D otro punto cualquiera de s, de
modo que la

4.2.10 Teorema.
Si dos planos estn contenidos en una variedad afn de dimensin 3 y tienen un punto en
comn, entonces tienen una recta en comn.

Demostracin.
Sea V una variedad afn de dimensin 3 y sean 1 , 2 V . Supongamos que su
interseccin consta de un nico punto P. Pongamos que 2 P, Q, R . Puesto que
Q 1 , tenemos que 1 , Q tiene dimensin 3, luego V 1 , Q , y por
consiguiente la paralela a PQ por R corta 1 en un punto X. Dicha paralela tambin
est contenida en 2 , luego X P y por tanto la paralela a PQ por R es PQ, luego P,Q
y R son colineales, llegando a contradiccin.
4.2.11 Corolario.
Todo espacio afn de dimensin 3 es un espacio incidental eucldeo.
Demostracin.
4.3 Coordenadas baricntricas.

4.3.1 Proposicin. Dependencia lineal de puntos.

Sean P1 , , Pk A(V ) . Las siguientes condiciones son equivalentes:
a) Los vectores P1 P2 , ... , P1 Pk de E son linealmente independientes.

b) Fijado cualquier i, los vectores Pi Pj , j i son linealmente independientes.
c) Para cualquier P A(V ) ,

1 PP1 . . k PPk 0
1 . . k 0
1 . . k 0

Cuando se cumpla cualquiera de estas condiciones diremos que los puntos P1 , , Pk

son linealmente independientes.

Demostracin.
a ) b) Supongamos que
j i
j Pi Pj 0 . Entonces, puesto que Pi Pj P1 Pj P1 Pi ,

0
j i
j Pi Pj
j i
j P P
1 j P1 Pi
j i
j P1 Pj j P1 Pi
j i

j P1 Pj j P1 Pi j P1 Pj
j
P1 Pi

j i j i j i j i
Esta ltima expresin es una combinacin lineal de los vectores P1 P2 , ... , P1 Pk ,
luego por la hiptesis a), forzosamente
j 0 j i

0

j i
j

De lo que se deduce que tambin 1 0 .

b) a ) Es un caso particular para i 1 .

a ) c ) Supongamos que tenemos 1 PP1 ... k PPk 0 cumpliendo adems

1 ... k 0 .
Entonces 1 2 ... k y por tanto
0 2 ... k PP1 2 PP2 ... k PPk
2 ( PP2 PP1 ) ... k ( PPk PP1 ) 2 ( P1 P2 ) ... k ( P1 Pk )
2 ... k 0
Y por tanto, tambin 1 2 ... k 0 .

c) a ) Supongamos que P P
i 1
i 1 i 0 . Entonces, para cualquier P A(V ) ,

i 1 i 1

0 i P1 Pi i PPi PP1 i PPi i PP1 i 1 i 1

i PP1 i PPi
i 1 i 1
En donde
i 1
i i 0 , luego se cumplen las condiciones del apartado c), y por
i 1

tanto i 0 i 1 , es decir, los vectores P1 P2 , ... , P1 Pk son linealmente

independientes.

4.3.2 Corolario.
Dos puntos son linealmente independientes si y slo si son diferentes.

Demostracin.
Aplicando el critero (a) de la proposicin anterior,
P, Q A(V ) lin.ind . PQ V lin.ind . PQ 0 P Q .

4.3.3 Corolario.
Tres puntos son linealmente independientes si y slo si no son colineales.

Demostracin.
Aplicando el critero (a) de la proposicin anterior,
P , Q, R A(V ) lin.ind . PQ , PR V lin.ind . PR PQ R PQ .

4.3.4 Corolario.
Si dim(V ) n , el nmero mximo de puntos linealmente independientes de A(V ) es
n+1.

Demostracin.
No pueden existir P1 P2 , ... , P1 Pn 1 , P1 Pn 2 vectores lin. ind.

4.3.5 Proposicin.
Dados P1 , , Pk A(V ) puntos linealmente independientes en un espacio afn de
dimensin n, existirn Pk 1 , , Pn 1 A(V ) puntos para los cuales
P1 , , Pk , Pk 1 ,..., Pn 1 A(V ) son linealmente independientes.

Demostracin.
Sean P1 , , Pk A(V ) puntos linealmente independientes. Entonces P1 P2 , ... ,
P1 Pk son k 1 vectores linealmente independientes de V (critero (a) de XX.XX).
Luego existirn vk 1 ,..., vn 1 n k 1 vectores para los cuales P1 P2 , ... , P1 Pk ,
vk 1 ,..., v n 1 son n vectores linealmente independientes de V.
Tomamos ahora los puntos Pi P1 vi i k , los puntos P1 ,..., Pn 1 son claramente
linealmente independientes.

4.3.6 Definicin. Sistema de referencia baricntrico.

Un sistema de referencia baricntrico o sistema de coordenadas baricntrico de un
espacio afn de dimensin n es cualquier conjunto P0 , , Pn de n+1 puntos
linealmente independientes.

4.3.7 Proposicin.
Sea un espacio afn A(V ) de dimensin n y sean P0 , , Pn A(V ) puntos
linealmente independientes. Dado X A(V ) , los puntos X , P0 , , Pn A(V ) no
pueden ser linealmente independientes, y por tanto, por el criterio XX.XX, existir un
P A(V ) y escales , 0 ,..., n no todos nulos, tales que
 PX 0 PP0 ... n PPn 0
0 ... n 0

Si 0 entonces 0 PP0 ... n PPn 0 y 0 ... n 0 , y por tanto, aplicando

XX.XX (c) tendramos 0 ... n 0 , contradiciendo la hiptesis de que no todos
pueden ser nulos, luego 0 .

0
Luego PX PP0 ... n PPn 0 PX 0 PP0 ... n PPn .

0 0 ... n
Donde ... n 1.

i
Definiendo xi , nos queda la expresin PX x0 PP0 ... xn PPn , donde

x0 ... xn 1 .

Veamos ahora que los escalares xi sirven para cualquier otro punto Q A(V ) :
QX QP PX ( x0 ... xn )QP x0 PP0 ... xn PPn
x0 QP x0 PP0 x1 QP x1 PP1 ... xn QP xn PPn

x0 QP PP0 x1 QP PP1 ... xn QP PPn
x0 QP0 x1 QP1 ... xn QPn

Y adems, los escalares xi son nicos. Efectivamente, aplicando la igualdad anterior al

caso Q P1 , nos queda P0 X x0 P0 P0 x1 P0 P1 ... xn P0 Pn x1 P0 P1 ... xn P0 Pn
, pero los vectores P0 P1 ,..., P0 Pn son linealmente independientes, luego los escalares
x1 ,..., xn son nicos. Y por tanto x0 1 x1 ... xn tambin es nico.

4.3.8 Corolario. Coordenadas baricntricas de un punto.

Dada una referencia baricntrica P0 , , Pn A(V ) , a todo punto X A(V ) le
podemos asignar de forma nica una (n+1)-tupla x0 , , xn V tal que para todo
n

punto P se cumple
PX x0 PP0 x1 PP1 ... xn PPn
con x0 xn 1
Esta (n+1)-tupla x0 , , xn V est bien definida y es nica.
n

En este caso escribiremos X x0 P0 x1 P1 ... xn Pn .

Adems, esta frmula nos proporciona el procedimiento para calcular las coordenadas
de X, puesto que, tomando P O ,
X x0 P0 x1 P1 ... xn Pn

4.3.9 Corolario.
Dada una referencia baricntrica P0 , , Pn A(V ) , las coordenadas de los puntos de
dicha referencia son P0 (1,0,...,0) , P1 (0,1,0,...,0) , ... Pn (0,0,...,1) .
Demostracin.
PP0 1PP0 0 PP1 ... 0 PPn , con 1 0 0 1 .
En general, PPi 0 PP0 0 PPi 1 1PPi 0 PPi 1 ... 0 PPn .

4.3.10 Corolario.
Sea A1 ( IR ) la recta afn real, y sea ( P0 , P1 ) una referencia baricntrica. Entonces si
X ( x0 , x1 ) con x0 x1 1 en este sistema, para todo punto P, PX x0 PP0 x1 PP1 ,
y en particular P0 X x0 P0 P0 x1 P0 P1 y por tanto P0 X x1 P0 P1 .

4.3.11 Corolario.
Sea A2 ( IR) el plano afn real, y sea ( P0 , P1 , P2 ) una referencia baricntrica.
Entonces si X ( x0 , x1 , x2 ) con x0 x1 x2 1 en este sistema, para todo punto P,
PX x0 PP0 x1 PP1 x1 PP2 .
Luego, en particular, para P P0 , tenemos
P0 X x0 P0 P0 x1 P0 P1 x1 P0 P2 x1 P0 P1 x1 P0 P2
y por tanto
X P0 x1 P0 P1 x1 P0 P2

Si x0 1 ,
x1 x2 0 x2 x1

PX PP0 x1 PP1 x1 PP2 PP0 x1 PP1 PP2 PP0 x1 P2 P1

Luego, para P P0 nos queda P0 X P0 P0 x1 P2 P1 x1 P2 P1 , es decir, X est
sobre la recta P0 P2 P1 .

4.3.12 Definicin. Baricentro. Punto medio.

1 1
Definimos el baricentro de m puntos P1 , , Pm al punto P P1 Pm .
m m
1
Suponemos que existe K , es decir, K no es de caracterstica m.
m
1 1
En particular, definimos el punto medio de dos puntos P, Q como P Q.
2 2

1 1 1
En particular, definimos el baricentro del tringulo ABC como D A B C ,
3 3 3
1 1
es decir, D A AB AC
3 3
4.4 Razn simple de tres puntos.

4.4.1 Definicin. Razn simple de tres puntos alineados.

Sean A, B, C An ( IR) tres puntos alineados. Entonces existir un nico escalar tal
que AC BC , al que llamaremos razn simple de la terna ( A, B; C )
Es decir,
AC
( A, B; C )
BC

4.4.2 Proposicin.
C es el punto medio del segmento AB si y slo si ( A, B; C ) 1 .

Demostracin.
( A, B; C ) 1 AC BC .
5 El espacio afn axiomtico.