Traslaciones y homotecias en el plano: un

camino geomtrico a las operaciones con

nmeros reales.
Lorenzo Acosta G.
Departamento de Matemticas
Universidad Nacional de Colombia, Sede Bogot.
E-mail: lmacostag@unal.edu.co

A la memoria de Georges Papy y

como homenaje a Roland Jeangros.

Resumen: El propsito de este cursillo es introducir una denicin pura-

mente geomtrica de las operaciones con nmeros reales y justicar a partir
de sta sus propiedades. Se utilizan para ello las traslaciones y las homotecias,
construidas a partir de conceptos elementales de geometra como el paralelo-
gramo y el trapecio.

1. Introduccin
La denicin axiomtica de los nmeros reales se resume diciendo que cons-
tituyen un campo ordenado arquimediano completo. Esta denicin requiere
de modelos que permitan una visualizacin y un manejo concreto de estos
nmeros y sus propiedades. Los modelos construidos por Dedekind (con sus
cortaduras) o por Cantor (con las sucesiones de Cauchy) son excelentes desde
el punto de vista terico pero son difciles de manejar en la prctica. Un mo-
delo ms intuitivo es el de las expresiones decimales: un nmero real es una
expresin decimal innita. El uso de este modelo permite inmediatamente

1
clasicar los nmeros reales en racionales (expresiones decimales peridicas)
e irracionales (expresiones decimales no peridicas). Tambin se puede usar
para justicar la representacin geomtrica de los nmeros reales, asignan-
do a cada expresin decimal innita un punto sobre la recta. Este modelo
tiene, sin embargo, algunos inconvenientes: es muy difcil denir la suma y
la multiplicacin. En efecto, dadas las expresiones decimales

a = 2; 345678910111213etc
b = 0; 191991999199991etc

cules son las expresiones correspondientes a a+b y a ab? Debemos aceptar,

casi como un dogma, que la suma de dos expresiones de este tipo es una de
ellas y lo mismo pasa con el producto. Mostrar entonces que estas operaciones
son asociativas y conmutativas y que una es distributiva con respecto a la
otra se convierte en una tarea imposible.
El propsito de este cursillo es introducir una denicin puramente geomtri-
ca de las operaciones con nmeros reales, que permita justicar sus propieda-
des.
Trabajaremos entonces en el contexto de una geometra plana, en la cual
admitimos unos axiomas que nos conducen rpidamente a los resultados es-
perados. En particular tomamos como axiomas el teorema de Desargues y
teorema del hexgono de Pappus (tambin llamado pequeo teorema de Pas-
cal) que son vlidos en la geometra euclidiana. Estos axiomas se presentan
en la Seccin 2.
En la Seccin 3 se trabaja la denicin de traslacin como una clase de
equivalencia de la relacin de equipolencia entre parejas ordenadas del plano,
siguiendo la lnea propuesta por Georges Papy en su proyecto de enseanza
de la matemtica moderna en el bachillerato (ver [1] ; [2] ; [3] y [4]), el cual ha
sido llevado a cabo con bastante xito en el Colegio Rfous de Bogot por el
rector Roland Jeangros y su equipo de trabajo.
Para denir las homotecias, sin embargo, me aparto del camino propuesto
por Papy, para mostrar, en la Seccin 4, un tratamiento anlogo al de las
traslaciones en el que se cambian los paralelogramos por trapecios.
La Seccin 5 est dedicada a mostrar las propiedades algebraicas de la com-
posicin en el conjunto de todas las traslaciones y en el de las homotecias de
centro jo.
Finalmente, en la Seccin 6 se denen una suma y una multiplicacin en una
recta ja y se muestra que esta recta con estas operaciones es un campo.

2
La conexin con los nmeros reales se tiene a travs de su representacin
geomtrica.

2. Axiomas bsicos.
Nuestro trabajo se desarrollar en una geometra compuesta por puntos y
rectas. El conjunto de puntos se llamar : Cada recta es un subconjunto de
: Los puntos y las rectas satisfacen los siguientes axiomas:

Axioma 1 Por dos puntos distintos pasa una y una sola recta.

Denicin 1 Dados dos puntos distintos a; b de designaremos por ab a

la recta que pasa por a y b:
Dos rectas L y M son paralelas si y slo si L = M o L \ M = : En este
caso escribiremos L==M:

Axioma 2 Dados una recta y un punto, existe una nica recta paralela a la
recta dada que pasa por el punto dado.

Axioma 3 Hay por lo menos tres puntos que no estn en la misma recta.

Axioma 4 (Desargues (1)):

Sean a0 ; a1 ; a2 ; b0 ; b1 ; b2 puntos del plano tales que a0 b0 ; a1 b1 y a2 b2 son parale-
las o concurrentes. Si a0 a1 ==b0 b1 y a1 a2 ==b1 b2 entonces a0 a2 ==b0 b2 :

Axioma 5 (Desargues (2)):

3
Sean a0 ; a1 ; a2 ; b0 ; b1 ; b2 puntos del plano. Si a0 a1 ==b0 b1 , a1 a2 ==b1 b2 y a0 a2 ==b0 b2
entonces a0 b0 ; a1 b1 y a2 b2 son paralelas o concurrentes.

Axioma 6 (Pappus):
Sean L y M dos rectas y sean a; b; c; d; e; f puntos del plano tales que a; c; e 2
L y b; d; f 2 M: Si ab==de y bc==ef entonces cd==f a:

3. Paralelogramos y traslaciones
En esta seccin hacemos una introduccin geomtrica del concepto de traslacin.
Utilizando la nocin bsica de paralelogamo, se dene una relacin de equiva-
lencia en el conjunto de parejas ordenadas del plano. Cada clase de equiva-
lencia corresponde a una transformacin biyectiva del plano. Estas transfor-
maciones son las que llamaremos traslaciones.
Empecemos con la denicin de paralelogramo.

4
Denicin 2 Una cudrupla (a; b; c; d) de puntos de se llamar un paralelo-
gramo si a; b; c y d son puntos distintos; ad==bc y ab==dc:

Ejercicio 1 Si (a; b; c; d) es un paralelogramo entonces tambin lo son (b; c; d; a);

(c; d; a; b); (d; a; b; c); (a; d; c; b); (d; c; b; a); (c; b; a; d) y (b; a; d; c):

Ilustremos esta situacin:

Una pareja ordenada (a; b) de puntos del plano se representa mediante una
echa de origen a y extremo b :

Dos parejas ordenadas (a; b) y (c; d) estn alineadas si a 6= b; c 6= d y ab = cd:

Denicin 3 Diremos que dos parejas ordenadas (a; b) y (u; v) estn li-
gadas por un paralelogramo si (a; b; v; u) es un paralelogramo. Una suce-
sin (a0 ; b0 ); (a1 ; b1 ); :::; (an ; bn ) es una cadena de parejas ligadas por parale-
logramos si para cada i = 0; 1; :::; n 1 se tiene que (ai ; bi ) y (ai+1 ; bi+1 ) estn
ligadas por un paralelogramo.

5
En la siguiente gura se muestra una cadena de parejas ordenadas ligadas
por paralelogramos. Esta cadena empieza en (a; b) y termina en (u; v):

La siguiente proposicin es evidente:

Proposicin 1 Si (a; b) y (u; v) estn ligadas por un paralelogramo entonces

(a; u) y (b; v) estn ligadas por un paralelogramo.

Proposicin 2 Si (a0 ; b0 ); (a1 ; b1 ); :::; (an ; bn ) es una cadena de parejas li-

gadas por paralelogramos y (a0 ; b0 ) y (an ; bn ) no estn alineadas, entonces
(a0 ; b0 ) y (an ; bn ) estn ligadas por un paralelogramo.

6
Demostracin: Veamos el caso en que n = 2 :

El Axioma 4 nos dice que si a0 a1 ==b0 b1 y a1 a2 ==b1 b2 entonces a0 a2 ==b0 b2 y

por consiguiente (a0 ; b0 ) y (a2 ; b2 ) estn ligadas por un paralelogramo.

Proposicin 3 Si (a0 ; b0 ); (a1 ; b1 ); :::; (an ; bn ) es una cadena de parejas li-

gadas por paralelogramos y (a0 ; b0 ) y (an ; bn ) estn alineadas, entonces (a0 ; b0 )
y (an ; bn ) estn ligadas por dos paralelogramos.

Demostracin: Como (a0 ; b0 ) y (an ; bn ) estn alineadas tenemos que (a1 ; b1 )

no est alineada con (a0 ; b0 ) ni con (an ; bn ): Por la proposicin anterior,
(a1 ; b1 ) y (an ; bn ) estn ligadas por un paralelogramo, luego (a0 ; b0 ) y (an ; bn )
estn ligadas por dos paralelogramos: el que une a (a0 ; b0 ) con (a1 ; b1 ) y el
que une a (a1 ; b1 ) con (an ; bn ). La situacin se ilustra en la siguiente gura:

7
Denicin 4 Diremos que (a; b) y (u; v) son equipolentes si hay una ca-
dena de parejas ligadas por paralelogramos que empieza en (a; b) y termina
en (u; v):
Para cada par de puntos a y b ; diremos tambin que (a; a) y (b; b) son
equipolentes.
Si (a; b) y (u; v) son equipolentes, escribiremos (a; b) " (u; v):

Ejercicio 2 Si a y b son puntos distintos construya una cadena de tres

paralelogramos que empiece en (a; b) y termine en (a; b): Concluya que (a; b) "
(a; b):

Nota 1 De acuerdo con las proposiciones anteriores, (a; b) y (u; v) son equipo-
lentes si estn ligadas por uno o dos paralelogramos. Si las parejas estn
alineadas se requieren dos paralelogramos y si no lo estn basta con uno solo.

El trabajo realizado hasta el momento nos permite concluir el siguiente teo-

rema:

Teorema 1 La relacin de equipolencia es una relacin de equivalencia en

:

Demostracin: La reexividad y la simetra se tienen por denicin. La

transitividad se deduce de las proposiciones 2 y 3.
!
La clase de equivalencia de la pareja (a; b) 2 se nota generalmente ab:
Veamos algunas propiedades de estas clases de equivalencia:

Proposicin 4 Si (a; b) 2 y (a; b) " (a; x) entonces b = x:

Demostracin: Tenemos que (a; b) y (a; x) estn alineadas, luego existe

(u; v) no alineada con (a; b) tal que (a; b) y (u; v) estn ligadas por un parale-
logramo y (u; v) y (a; x) estn ligadas por un paralelogramo. As, au==bv y
ua==vx: Entonces tenemos que bv = vx y por consiguiente b = x pues b es el
punto de corte de ab con bv y x es el punto de corte de ab con vx:
Anlogamente se tiene la siguiente proposicin:

Proposicin 5 Si (a; b) 2 y (a; b) " (x; b) entonces a = x:

Ejercicio 3 Demostrar la proposicin anterior.

8
Ejercicio 4 Consideremos ahora una pareja (a; b) 2 y un punto x 2 :
Mostrar que existe un y 2 tal que (a; b) " (x; y) y existe un z 2 tal que
(a; b) " (z; x):
Denicin 5 Sea (a; b) 2 : Para cada x 2 designamos por tab (x) al
nico punto y 2 tal que (a; b) " (x; y):

Teorema 2 Para cada (a; b) 2 ; tab es una funcin biyectiva de en

:
Demostracin: La proposicin 4 nos dice que tab es una funcin, la proposi-
cin 5 nos dice que tab es inyectiva y el ejercicio 2 nos dice que el dominio y
el rango de tab son iguales a :
Denicin 6 Las funciones de la forma tab se llaman traslaciones.
Ejercicio 5 Muestre que si t es una traslacin entonces la imagen de una
recta mediante t es una recta. Adems, si L y M son rectas paralelas entonces
t(L) y t(M ) tambin son paralelas.
Ejercicio 6 Hallar la imagen del polgono P mediante las funciones tab y
tuv :

9
4. Trapecios y homotecias
Deniremos las homotecias con base en la nocin de trapecio. El tratamiento
es anlogo al de la seccin anterior: por cada punto p se dene una relacin
de equivalencia en cierto conjunto de parejas ordenadas de puntos del plano
y las clases de equivalencia corresponden a las transformaciones del plano
que llamaremos homotecias de centro p:
Empecemos por la nocin de p trapecio:

Denicin 7 Una cudrupla (a; b; c; d) de puntos de fpg se llamar un

p trapecio si a; b; c y d son puntos distintos, ad==cb y ab \ dc = fpg :

Veamos unos ejemplos que ilustran esta situacin:

Denicin 8 Diremos que dos parejas ordenadas (a; b) y (u; v); estn ligadas
por un p trapecio si (a; b; v; u) es un p trapecio. Una sucesin (a0 ; b0 ); (a1 ; b1 );
:::; (an ; bn ) es una cadena de parejas ligadas por p trapecios si para cada
i = 0; 1; :::; n 1 se tiene que (ai ; bi ) y (ai+1 ; bi+1 ) estn ligadas por un
p trapecio.

En la siguiente gura se muestra una cadena de parejas ordenadas ligadas

10
por p trapecios. Esta cadena empieza en (a; b) y termina en (u; v):

Proposicin 6 Si (a0 ; b0 ); (a1 ; b1 ); :::; (an ; bn ) es una cadena de parejas li-

gadas por p trapecios y (a0 ; b0 ) y (an ; bn ) no estn alineadas, entonces (a0 ; b0 )
y (an ; bn ) estn ligadas por un p trapecio.

Demostracin: Veamos el caso en que n = 2 :

El Axioma 4 nos permite concluir que si a0 a1 ==b0 b1 y a1 a2 ==b1 b2 entonces

a0 a2 ==b0 b2 y por consiguiente (a0 ; b0 ) y (a2 ; b2 ) estn ligadas por un p trapecio.

Proposicin 7 Si (a0 ; b0 ); (a1 ; b1 ); :::; (an ; bn ) es una cadena de parejas li-

gadas por p trapecios y (a0 ; b0 ) y (an ; bn ) estn alineadas, entonces (a0 ; b0 )
y (an ; bn ) estn ligadas por dos p trapecios.

11
Demostracin: Como (a0 ; b0 ) y (an ; bn ) estn alineadas tenemos que (a1 ; b1 )
no est alineada con (a0 ; b0 ) ni con (an ; bn ): Por la proposicin anterior,
(a1 ; b1 ) y (an ; bn ) estn ligadas por un p trapecio, luego (a0 ; b0 ) y (an ; bn )
estn ligadas por dos p trapecios: el que une a (a0 ; b0 ) con (a1 ; b1 ) y el que
une a (a1 ; b1 ) con (an ; bn ). La situacin se ilustra en la siguiente gura:

Denicin 9 Diremos que (a; b) y (u; v) son p seudo-equipolentes si hay

una cadena de parejas ligadas por p trapecios que empieza en (a; b) y termina
en (u; v):
Para cada par de puntos a y b distintos de p; diremos tambin que (a; a) y
(b; b) son p seudo-equipolentes.
Si (a; b) y (u; v) son p seudo-equipolentes, escribiremos (a; b) "p (u; v):

Ejercicio 7 Si a y b son puntos distintos de p tales que b 2 pa construya

una cadena de tres p trapecios que empiece en (a; b) y termine en (a; b):
Concluya que (a; b) "p (a; b):

Nota 2 De acuerdo con las proposiciones anteriores, (a; b) y (u; v) son p seu-
do-equipolentes si estn ligadas por uno o dos p trapecios. Si las parejas estn
alineadas se requieren dos p trapecios y si no lo estn basta con uno solo.

Designaremos por Wp al conjunto de parejas (a; b) 2 ( fpg) ( fpg)

tales que b 2 pa:

12
En la ilustracin siguiente vemos que (a; b) 2 Wp y (c; d) 2
= Wp :

El trabajo realizado hasta el momento nos permite concluir el siguiente teo-

rema:

Teorema 3 La relacin de p seudo-equipolencia es una relacin de equiva-

lencia en Wp :

Demostracin: La reexividad y la simetra se tienen por denicin. La

transitividad se deduce de las proposiciones 6 y 7.

Veamos algunas propiedades de las clases de equivalencia:

Proposicin 8 Si (a; b) 2 Wp y (a; b) "p (a; x) entonces b = x:

Demostracin: Tenemos que (a; b) y (a; x) estn alineadas, luego existe

(u; v) no alineada con (a; b) tal que (a; b) y (u; v) estn ligadas por un
p trapecio y (u; v) y (a; x) estn ligadas por un p trapecio. As, au==bv
y ua==vx: Entonces tenemos que bv = vx y por consiguiente b = x pues b es
el punto de corte de pa con bv y x es el punto de corte de pa con vx:
Anlogamente se tiene la siguiente proposicin:

Proposicin 9 Si (a; b) 2 Wp y (a; b) "p (x; b) entonces a = x:

Ejercicio 8 Demuestre la proposicin anterior.

Ejercicio 9 Consideremos una pareja (a; b) 2 Wp y un punto x 2 fpg:

Muestre que existe un y 2 fpg tal que (a; b) "p (x; y) y existe un z 2
fpg tal que (a; b) "p (z; x).

13
Denicin 10 Sea (a; b) 2 Wp : Para cada x 2 fpg designamos por
hab (x) al nico punto y 2 fpg tal que (a; b) "p (x; y): Adems denimos
hab (p) = p:

Teorema 4 Para cada (a; b) 2 Wp ; hab es una funcin biyectiva de en :

Demostracin: La proposicin 8 nos dice que hab es una funcin, la proposi-

cin 9 nos dice que hab es inyectiva y el ejercicio 4 nos dice que el dominio y
el rango de hab son iguales a :

Denicin 11 Las funciones de la forma hab se llaman homotecias de centro

p: La funcin constante pb : ! : x 7! p tambin es una homotecia de
centro p:

Ejercicio 10 Muestre que si h es una homotecia entonces al imagen de una

recta mediante h es una recta. Adems, si L y M son rectas paralelas entonces
h(L) y h(M ) tambin son paralelas.

Ejercicio 11 Hallar la imagen del polgono P mediante las funciones hab y

huv :

14
5. Composicin de traslaciones y de homote-
cias
En esta seccin estudiaremos el comportamiento de traslaciones y de homote-
cias con respecto a la composicin. Veremos en particular que la compuesta
de dos traslaciones es una traslacin y que la compuesta de dos homotecias
de centro p es una homotecia de centro p: Finalmente obtendremos que el
conjunto de todas las traslaciones y el de todas las homotecias no constantes
de centro p son grupos abelianos.
El siguiente lema es una consecuencia inmediata de las deniciones de traslacin
y de homotecia.
Lema 1 Sea f : ! una biyeccin.
1. f es una traslacin si y slo si para cada x; z 2 se tiene que
(x; f (x)) " (z; f (z)):
2. f es una homotecia de centro p si y slo si para cada x; z 2 se tiene
que (x; f (x)) "p (z; f (z)):
Utilizaremos ahora el lema anterior para probar las siguientes proposiciones:
Proposicin 10 Si s y t son traslaciones entonces t s es una traslacin.
Demostracin: Sean x; z 2 :
Caso 1: x; s(x) y z no estn alineados y s(x); t(s(x)) y s(z) no estn alinea-
dos. Tenemos que (x; s(x); s(z); z) y (s(x); t(s(x)); t(s(z)); s(z)) son paralelo-
gramos. Por el Axioma 4 concluimos que (x; t(s(x)); t(s(z)); z) es un parale-
logamo, luego (x; t s(x)) " (z; t s(z)):

15
Ejercicio 12 Revisar la prueba en los dems casos.

Proposicin 11 Si h y g son homotecias de centro p entonces h g es una

homotecia de centro p:

Demostracin: Sean x; z 2 :
Caso 1: p; x y z no estn alineados. Tenemos que (x; g(x); g(z); z) y
(g(x); h(g(x)); h(g(z)); g(z)) son p trapecios. Por consiguiente
(x; h(g(x)); h(g(z)); z) es un p trapecio, luego (x; h g(x)) "p (z; h g(z)):

Ejercicio 13 Revisar la prueba en los dems casos.Es necesario el Axioma

4?
1
Proposicin 12 Si t es una traslacin entonces t tambin lo es.

Demostracin: Ejercicio.

Proposicin 13 Si h es una homotecia no constante de centro p entonces

h 1 tambin lo es.

16
Demostracin: Ejercicio.
Obsrvese que la funcin idntica, 1 ; es una traslacin y tambin es
una homotecia de centro p: Adems, como la composicin de funciones es
asociativa, en particular tambin lo es la de traslaciones y la de homotecias.

Proposicin 14 Si s y t son traslaciones entonces s t = t s:

Demostracin: Sea x 2 : Consideramos dos casos:

Caso 1: x; t(x) y s(t(x)) no estn alineados. Tenemos que (x; t(x); s(t(x)); s(x))
es un paralelogramo, luego s(t(x)) = t(s(x)):

Caso 2: x; t(x) y s(t(x)) estn alineados.

Ejercicio 14 Use el Axioma 6 para probar la proposicin en el caso dos,

basado en la siguiente gura.

17
Proposicin 15 Si h y g son homotecias de centro p entonces h g = g h:

Demostracin: Sea x 2 : Consideremos un punto z que no est alineado

con p y x: Sean u; w 2 tales que g(u) = z y h(z) = w: El Axioma 6 nos
dice que xu==g(h(x))w; luego g h = h g: Ilustremos la situacin:

Notacin: Llamaremos T al conjunto de todas las traslaciones y Hp al

conjunto de todas las homotecias de centro p: El conjunto de las homotecias
no constantes de centro p lo notaremos Hp :

Ejercicio 15 Pruebe que pb es absorbente para composicin en Hp :

Podemos resumir los resultados anteriores en el siguiente teorema:

Teorema 5 (T ; ) y (Hp ; ) son grupos abelianos.

Fijemos ahora una recta L y consideremos el conjunto TL de todas las trasla-

ciones t 2 T tales que xt(x)==L; incluyendo la identidad 1 :

Ejercicio 16 Muestre que si t y s estn en TL entonces t s tambin lo est.

1
Ejercicio 17 Muestre que si t est en TL entonces t tambin lo est.

Los ejercicios anteriores nos dicen que TL es un sub-grupo de T :

18
6. Una estructura de campo para la recta
En esta seccin dotaremos a una recta cualquiera de la estructura de campo
deniendo una suma y una multiplicacin que provienen de la composicin
de traslaciones y de homotecias respectivamente. Para hacerlo, utilizaremos
un resultado general que permite transferir de un conjunto a otro estructuras
algebraicas por medio de biyecciones.

6.1. Biyecciones y transferencia de operaciones

Sea X un conjunto dotado con una operacin binaria y sea f : X ! Y una
biyeccin. Denimos en Y una operacin binaria mediante la frmula:

a ~ b = f (f 1
(a) f 1
(b)):

Ejercicio 18 Muestre que en estas condiciones la operacin ~ tiene exac-

tamente las mismas propiedades que la operacin :
(i) Si es asociativa en X entonces ~ es asociativa en Y:
(ii) Si es conmutativa en X entonces ~ es conmutativa en Y:
(iii) Si e es elemento neutro para en X entonces f (e) es elemento neutro
para ~ en Y:

19
 (iv) Si x es el inverso de y con respecto a en X entonces f (x) es el
inverso de f (y) con respecto a ~ en Y:

Ejercicio 19 Sea f : Z ! Z : z 7! z + 3:
(a) Muestre que f es una biyeccin.
(b) Dena en Z a partir de + por medio de la biyeccin f:
(c) Calcule 2 3; 5 ( 1) y 0 7:
(d) Cul es el elemento neutro para ?

6.2. Estructura de campo sobre una recta

Vamos a utilizar los resultados de la seccin anterior para denir una suma
y una multiplicacin en una recta.
Fijemos ahora una recta L y escojamos un punto o 2 L: Sea ahora

f : TL ! L : t 7! t(o):

Ejercicio 20 Muestre que f es una biyeccin.

Utilizando la biyeccin f podemos transferir la operacin denida en TL a la

recta L: As, si x; y 2 L denimos :
1 1
x y = f (f (x) f (y)):

Tenemos inmediatamente la siguiente proposicin:

Proposicin 16 (L; ) es un grupo abeliano cuyo elemento neutro es f (1 ) =

o:

Ejercicio 21 Construya sobre L los puntos a b; u b; u u:

20
Sobre la misma recta L utilizada anteriormente consideremos un punto u
diferente de o: Sea ahora
g : Ho ! L : h 7! h(u):
Ejercicio 22 Muestre que g es una biyeccin.
Utilizando la biyeccin g podemos transferir la operacin denida en Ho a la
recta L: As, si x; y 2 L denimos :
x y = g(g 1 (x) g 1 (y)):
Tenemos inmediatamente que es una operacin binaria asociativa denida
en L y adems concluimos el siguiente resultado:
Proposicin 17 (L fog ; ) es un grupo abeliano cuyo elemento neutro es
g(1 ) = u:
Ejercicio 23 Construya sobre L los puntos a b; c b; b b:

Ejercicio 24 Muestre que o es absorbente para en L:

Veamos ahora que las operaciones y son compatibles.
Proposicin 18 es distributiva con respecto a en L:
Demostracin: Sean a; b; c 2 L: Consideremos la homotecia h de centro o
tal que h(u) = a y tracemos una recta M distinta de L y que pase por o: Sea
u0 2 M y sea a0 = h(u0 ):

21
Tracemos ahora una recta N paralela a L que pase por u0 y la recta paralela
a M que pasa por b: Sea b0 el punto de corte de esta recta con N: El punto
de corte de L con la paralela a u0 c que pasa por b0 es b + c :

Construimos a(b + c) trazando una paralela a u0 (b + c) que pase por a0 :

Para construir ab y ac trazamos paralelas a u0 b y u0 c respectivamente:

Sea K la recta paralela a L y que pasa por a0 : Consideremos ahora una

22
paralela a M que pase por ab y el punto de corte d de esta recta con K :

Los tringulos u0 b0 b y a0 d(ab) tienen su lados paralelos dos a dos.

Por el Axioma 5 concluimos que las rectas u0 a0 ; b0 d y b(ab) son concurrentes,

luego o; b0 y d son colineales.

Por consiguiente, los tringulos u0 b0 (b+c) y a0 d(a(b+c)) son tales que u0 a0 ; b0 d

y (b + c)(a(b + c)) son concurrentes y u0 b0 ==a0 d y u0 (b + c)==a0 (a(b + c)): Por el

23
Axioma 4 concluimos que b0 (b + c)==d(a(b + c)): Pero b0 (b + c)==u0 c==a0 (ac);
luego a0 d(a(b + c))(ac) es un paralelogramo y a(b + c) resulta igual a ab + ac:

Resumimos los resultados de este trabajo en el siguiente teorema:

Teorema 6 (L; ; ) es un campo.

Nota 3 Este tipo de razonamiento geomtrico puede seguir utilizndose para

mostrar que hay un orden en L que hace de (L; ; ) un campo ordenado
arquimediano y completo y por consiguiente es un modelo de los nmeros
reales.

7. Bibliografa
[1] Papy G. et Debbaut P., Minimath 1, Didier, 1970.
[2] Papy G., Mathmatique Moderne 1, Didier, 1963.
[3] Papy G., Mathmatique Moderne 2, Didier, 1965.
[4] Papy G., Mathmatique Moderne 3, Didier, 1967.
[5] Artin, E., lgebra geomtrica, Limusa, 1992.
[6] Hilbert, D., Fundamentos de la Geometra, CSIC, 1996
[6] Oostra, A., Los teoremas de Desargues y Pascal en Fundamentos de la
Geometra, Huellas en los encuentros de geometra y aritmtica, Universidad
Pedaggica Nacional, 2005.

24