Instituto de Profesores Artigas

Geometra II

EJE ORIENTADO
1 TEOREMA: Isomorfismo de las rectas orientadas con origen en los reales.
Para toda recta orientada x y para cada punto O de ella, existe y es nica la funcin
biyectiva f: x R que cumple:
1) f(O) = 0
2) A, B x

A  B

3) A, B x

AB = f(B) f(A)

f(A) f(B)

1) Existencia
Definicin
f: x R es la funcin en la cual

Px

OP

f(P) = d(O, P)

P x P O f(P) = d(O, P)
a) f es una funcin puesto que por el axioma de ordenacin de los puntos de una recta se cumple
siempre una y slo una de las relaciones O  P o P O y el axioma mtrico asegura la
existencia de la funcin distancia d: R+0.
b) f es inyectiva: A B f(A) f(B)
Si fuera f(A) = f(B) = 0 entonces por el axioma mtrico existe un nico punto P x tal que
O  P y d(O, P) = por lo tanto A = B = P, lo cual contradice la hiptesis.
Si fuera f(A) = f(B) = < 0 entonces como consecuencia del axioma mtrico existe un nico
punto P x tal que P O y d(O, P) = por lo tanto A = B = P, lo cual contradice la
hiptesis.
c) f es sobreyectiva: R P / P x

| | = d(O, P)

Si 0, entonces por el axioma mtrico existe un nico punto P x tal que O  P y

d(O, P) = .
Si < 0, entonces como consecuencia del axioma mtrico existe un nico punto P x tal que
P O y d(O, P) = .
2) f(O) = 0
Consideremos P = O resulta entonces, por la definicin de f, que f(O) = f(P) = d(O, P)
Por la condicin necesaria y suficiente de distancia nula: P = O implica d(O, P) = 0
De lo anterior deducimos que f(O) = 0.
3) A, B x

f(A) = d(O, A)

a)
OAB

A
B

f(A) f(B)
f(B) = d(O, B)

A OB

f(A) f(B)

Prof. Sergio Peralta 2007

d(A, O) + d(A, B) = d(O, B)

d(A, B) 0

d(A, O) d(O, B)

1/5

Instituto de Profesores Artigas

b)
ABO

Geometra II

f(A) = d(O, A)

B AO

d(B, A) + d(B, O) = d(A, O)

d(A, B) 0

f(A) f(B)

f(B) = d(O, B)

BA

d(O, A) + d(O, B) = d(A, B)

d(A, B) 0

AB = f(B) f(A)
AB = d(A, B)
AB = d(A, B)

f(A) = d(O, A)

a)

A OB

f(B) = d(O, B)

d(A, O) + d(A, B) = d(O, B)

AB = d(A, B)

B AO

d(B, A) + d(B, O) = d(A, O)

f(A) = d(O, A) f(B) = d(O, B)

O AB d(O, A) + d(O, B) = d(A, B)

BAO

f(A) = d(O, A) f(B) = d(O, B)

B OA d(B, O) + d(B, A) = d(O, A)

A BO

d(A, B) + d(A, O) = d(B, O)

f(A) = d(O, A) f(B) = d(O, B)

O BA d(O, B) + d(O, A) = d(B, A)
AB = d(A, B)

Prof. Sergio Peralta 2007

f(B) = d(O, B)

AB = d(A, B)
f)
BOA

f(B) AB = f(A)

AB = f(B) f(A)

f(A) = d(O, A)

f(A) + f(B) = AB
AB = f(B) f(A)

AB = d(A, B)
e)

AB f(B) = f(A)
AB = f(B) f(A)

AB = d(A, B)
d)
OBA

f(B) = d(O, B)

AB = d(A, B)
c)
AOB

f(A) + AB = f(B)

AB = f(B) f(A)

f(A) = d(O, A)

b)

d(O, A) + d(O, B) 0
f(A) + f(B) 0

f(A) f(B)

4) A, B x
Definicin
AB

ABO

d(B, O) d(A, O)
d(O, A) d(O, B)

O AB

OAB

f(A) = d(O, A)

c)
AOB

f(B) = d(O, B)

AB f(A) = f(B)
AB = f(B) f(A)

f(B) + f(A) = AB
AB = f(B) f(A)
2/5

Instituto de Profesores Artigas

Geometra II

5) Unicidad
Supongamos que existe otra funcin g: x R que cumple:
1) g(O) = 0
2) A, B x

A  B

g(A) g(B)

3) A, B x AB = g(B) g(A)
Probaremos que g = f.
Como tienen el mismo dominio basta probar que P x
Px

OP = f(P) f(O) = f(P) 0 = f(P)

Px

g(P) = f(P)

g(P) = f(P)

OP = g(P) g(O) = g(P) 0 = g(P)

NOTA: El nmero real f(P), correspondiente del punto P se denomina abscisa de P.

2 TEOREMA DE CHASLES
Para toda terna de puntos A, B y C de una recta; se cumple que AB + BC + CA = 0
Considerando en la recta un sentido y un punto O, sean f(A), f(B) y f(C) las abscisas de los
puntos A, B y C se cumple, entonces que:
AB + BC + CA = f(B) f(A) + f(C) f(B) + f(A) f(C) = 0

3 ABSCISA DEL PUNTO MEDIO DE UN SEGMENTO

Dado un segmento AB, si f(A) = a y f(B) = b entonces la abscisa de su punto medio es
a+b
2
Si M es el punto medio del segmento AB y x es su abscisa, se cumple que AM = MB y por lo
a+b
tanto que x a = b x
2x = a + b
x=
2

4 RELACIN SIMPLE DE PUNTOS

Definicin: Dados tres puntos A, B y C de una recta, C B, se llama relacin simple
AC
de la terna A, B, C y se representa por (ABC), al cociente:
.
BC
La relacin simple depende del orden en que se consideren los tres puntos, as por ejemplo
(ACB) = AB
CB
Consideremos dos puntos fijos y distintos A, B y un punto variable X; sean a, b y x sus abscisas
y supongamos a < b.
AX
x a
k = (ABX) =
=

sg(k)
BX
xb
X = A implica que k = 0 y X = B que no existe k.
a kb kb a
=
; con la condicin k 1
Tambin se deduce que x =
1 k
k 1
Prof. Sergio Peralta 2007

3/5

Instituto de Profesores Artigas

Geometra II

Construccin: Dados los puntos A, B y el nmero real k, queremos construir el punto X

de modo que (ABX) = k
k>0 k1

k<0

Si k = 1 la recta que determina el punto X resulta paralela a AB, por lo cual este punto est
infinitamente alejado, utilizando el concepto de la Geometra Proyectiva: es el punto impropio
de la recta AB.
kb a
xa
Observemos que lim x = lim
= (A B) y adems que lim k = lim
=1.
k 1
k 1 k 1
x
x x b
Si llamamos X al punto impropio de la recta podramos, entonces, definir: (ABX ) = 1.
5 RELACIN DOBLE DE PUNTOS
Definicin: Dados cuatro puntos A, B, C y D de una recta, C B, D B, D A, se llama
(ABC)
relacin doble de ellos y se representa por (ABCD), al cociente:
(ABD)

6 GRUPOS ARMNICOS DE PUNTOS

En la Geometra Mtrica hemos definido el concepto cuaterna armnica (o grupo armnico)
diciendo que cuatro puntos A, B, C y D de una recta forman una cuaterna armnica cuando el
AC AD
par (A, B) separa al par (C, D) de forma que
=
.
BC BD
Ahora podemos adoptar esta definicin:
Cuatro puntos A, B, C y D de una recta forman una cuaterna armnica cuando:
(ABCD) = 1
(ABC)
= 1 (ABC) = (ABD)
(ABD)
si C es interior a AB, D es exterior o si C es exterior a AB, D es interior por lo tanto el
par (A, B) separa al par (C, D)
AC AD
AC
AD
=

=
BC
BD
BC BD

(ABCD) = 1

Prof. Sergio Peralta 2007

4/5

Instituto de Profesores Artigas

Geometra II

Construccin del cuarto armnico

Dados los puntos A, B y C de una recta, queremos construir el punto X, conjugado armnico de
C respecto al par A, B.
a, b y c son tres rectas arbitrarias tales que a y b
son paralelas y pasan por los puntos A y B, c pasa
por C.
Se determinan los puntos M y N. N es el
simtrico de N respecto a B.
AB MN = { X }.

7 EJERCICIOS
Dados tres puntos A, B y C de un eje orientado, sean a, b y c sus abscisas. Hallar la abscisa del
punto X, conjugado armnico de C respecto al par A, B.
Cul es conjugado armnico del origen de coordenadas? y la del punto medio del segmento
AB?
Definicin analtica de grupo armnico de puntos: Si a, b, c y d son las abscisas de cuatro
puntos A, B, C y D de un eje orientado, se dice que (A, B, C, D) es un grupo armnico si
(a + b) (c + d) = 2(ab + cd)
Justificar que esta definicin es coherente con la precedente.
Observar que esta definicin admite C = D = A y C = D = B.

Prof. Sergio Peralta 2007

5/5