Geometra. 1 Ao Matemtica Ce.R.

P del Norte- 2010

EL SISTEMA AXIOMTICO (GEP7) I) Conceptos Primitivos.

El PLANO EUCLIDIANO que simbolizaremos por es un conjunto no vaco cuyos elementos denominados puntos y los simbolizamos con letras A, B, C,P, Q, X,; y en l reconocemos una familia de subconjuntos por R y cuyos elementos son denominados rectas y simbolizadas por letras r, s, p, q, t, x, y, .. . Las relaciones que ligan estos objetos y sus estructuras internas estn reguladas por siete axiomas que caracterizarn a la Geometra Euclidiana Plana.

II) Axiomas de Incidencia:

AXIOMA 1: El plano contiene infinitas rectas y a cada recta pertenecen infinitos puntos. AXIOMA 2: Para cada par de puntos P, Q ( P Q) existe una nica recta r R tal que P, Q r. Notacin: r = r (P, Q) Teorema 1: Dada dos rectas r, s R se cumple una, y slo una de las siguientes preposiciones; i) r s ii) r = s. / r s P . En este caso decimos que las rectas son iii) Existe P secantes en P. Demostracin: A cargo del lector. Definicin 1: Dada dos rectas r, s R diremos que son paralelas, si y slo si r s r s Notacin: r s. AXIOMA 3: EUCLIDES Para cada recta r y para cada punto P existe una nica recta por P paralela a r. Teorema 2: El paralelismo es una relacin de equivalencia en el conjunto R. Demostracin: i) Reflexiva: r r ( r R) por definicin. ii) Simtrica: r s s r por definicin.

s r

Supongamos que esto no ocurra, es decir que no (r

t)

P P / r t P . Luego tenemos que por P entonces; existen dos rectas paralelas a s; esto contradice el Axioma 3.

P t Definicin 2: Las clases de equivalencia definidas en R por la relacin paralelismo se llaman DIRECCIONES.

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Observaciones: 1) La clase de equivalencia a la que pertenece una recta r se llama direcci n de r y se simboliza por Dr. 2) Cada direccin se puede caracterizar por una recta. En el caso que ocurra r s decimos que r y s tienen la misma direccin ( Dr = Ds ). 3) Dr se llama tambin Haz de rect6as paralelas de direccin r. Dr Ds 4) Cuntas direcciones tiene el plano P? Pruebe que: Si r, s R; r s P Teorema 3: Si se considera la recta x R, P x y la funcin f de dominio x y codominio Hp * (conjunto de las rectas que pasan por p (haz) y no paralelas a x) tal que la imagen de cada punto X x es la recta r (P, X); entonces f es biyectiva. Demostracin: X f r (X, P) 1. f es funcin porque para cada X la r (X, P) es nica (Axioma 2.); 2. f es inyectiva porque si X X y resulta r(X, P) = r(X, P) los puntos X, X y P estaran alineados y X, X, P x y esto contradice la hiptesis P x, 3. f es sobreyectiva porque dada s en Hp* existe un nico Y en x tal que s x = Y entonces f (Y) = r (Y, P) = s.

III) Proyecciones y Ejes de Coordenadas.

Sea x R y D una direccin distinta de D x, para cada punto M direccin D y XM la interseccin de x y dM. XM se llama proyeccin de M sobre x segn la direccin Dr. r M D dM XM x sea dM la recta por M de

Definicin 3: La funcin pr: x tal que a cada punto M (M) se le llama proyeccin de M sobre x segn la direccin D.

le asigna el punto XM = pr

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Teorema 4: Sean x e y dos rectas distintas y D una direccin, D proyeccin de la recta x sobre la recta y segn D es una biyeccin. Demostracin: d X X x y Y Y d

DX y D

Dy; la

1. Las recta d y d(d, d D ) son distintas si X es inyectiva; 2. f es sobreyectiva, (a carago del lector).

X y por lo tanto Y

Y. Entonces pr

Observaciones: 1. Este resultado, bastante intuitivo, nos va a poder permitir afirmar que las rectas R tienen la misma cantidad de punto . Con esta afirmacin extendemos, a conjuntos infinitos, nuestras ideas sobre cantidad de elementos en conjuntos finitos. 2. Sean x e y dos rectas secantes en O; para cada punto M de p consideramos las proyecciones XM de M en x segn Dy e YM en y segn Dx. y YM XM O M Los puntos XM o YM se denominan coordenadas de M en el sistema de ejes coordenados definido por las rectas x e y. x

La funcin f : xXy tal que a cada punto M le asigna como imagen el par ordenado (XM, YM) es una biyeccin de en el producto cartesiano de las rectas x e y. Esto implica que el plano y el producto cartesiano de dos rectas tienen la misma cantidad de puntos, en el sentido que se le asignbamos anteriormente.

IV) Estructura de orden en las rectas.

AXIOMA 4: Toda recta tiene asociada dos estructuras de orden total (AMPLIO); una opuesta de la otra. Observaciones: 1. Con este axioma se quiere decir si _ identifica la relacin de orden en una recta r se cumple, cualesquiera sean los puntos A, B, C de r, que: i. A _ A (Propiedad reflexiva).

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

A ii. A _ B y B_ A = B (Propiedad antisimtrica) C iii. A _ B y B_ A _ C (Propiedad transitiva) iv. Para cada par A, B r, A _ B o B _ A (Propiedad tricotmica) 2. Si A _ B es usual leer A precede a B o tambin que B le sigue a A en sentido amplio. Y escribimos A B para indicar A _ B y A B. 3. Denominamos recta orientada y escribimos ( r , _ ) o sencillamente r a toda recta que tiene asociada una relacin de orden del tipo indicando en el Axioma 4, 4. Para cada A, B A B , r (A, B) designa la recta orientada determinada por A y B y tal que A _ B.

Definicin 4: Dada la recta orientada r y un punto O de ella, llamamos semirrectas opuestas de origen O a los conjuntos:
SO X r :O X SO X r :O X Notacin: Para simbolizar la semirrecta d rigen O y q1ue contienen al punto A escribimos; S O (A) Observacin: Todava no estamos en condiciones de probar que ambas semirrectas abiertas son no vacas. Por qu no?
Definicin 5: Dados dos puntos A y B de llamaremos segmentos cerrado de extremos A y X r ( A, B) : A X B y segmentos abierto de extremos A y B al B al conjunto; A, B conjunto; A, B {X r (A,B):A<X<B} Qu pasa si A=B? (segmento nulo!!) Definicin 6: Un conjunto X se llama convexo si y slo si para cada par de puntos cualesquiera A, B X se tiene que A, B X. De la definicin surge que, el plano, las rectas, las semirrectas, los segmentos son conjuntos convexos. Tambin el conjunto vaco es convexo; Por qu? Un resultado que interesa destacar es que se refiere a interseccin de figuras convexas; entendiendo el trmino figuras en el mismo sentido que subconjuntos de . Teorema 5: Si X, Y son figuras convexas de necesariamente lo es X X. Demostracin: Si P, Q ,X Y tambin lo es. Pero no

P, Q X P, Q Y

P, Q P, Q

X Y

P, Q

Analice el lector, qu pasa en el caso en que las figuras X e Y sean disjuntas ( X X

).

V) Particin del Plano.

AXIOMA 5: Para cada recta r R existe una nica particin de (no vacos y disjuntos) r , y tales que: 1. y son convexos. yQ , P, Q r . 2. Si P en tres conjuntos

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

y se denominan semiplanos abiertos de borde r. como una de las Los conjuntos consecuencias de la induccin de este axioma es la posibilidad de relacionar los rdenes de cada recta.
Relaciones entre los rdenes de las rectas Teorema 6: Sean r y r R, r r, P, Q r y P, Q r , toda recta r s que corta a [ P, P] corta a [ Q, Q]. Demostracin: P Q r Si se corta a P, P en X, r y r estn en semiplanos opuestos respecto de s. Por qu? Y por tanto s corta a Q, Q

Pruebe el estudiante que si una recta a es paralela al borde de un semiplano , entonces; a a a . Teorema 7: Sean r y r distintas y d una direccin tal que r D y r D; la funcin pD: r r, proyeccin de r sobre r segn D es una biyeccin que conserva el orden en ro lo invierte. ( pD es creciente o decreciente estricta). Demostracin: C B A D r Por el teorema 4. p D es biyectiva. Si A B C en r las rectas paralelas r(A,A) y r(C,C) estn en distinto semiplano respecto de r(B,B). En la recta ordenada r se tiene: i. A B C ii. C B A ; por lo tanto pD es creciente estricta en el caso i) y decreciente estricta en el caso ii)

C r

Teorema 8: Toda semirrecta abierta es no vaca. x A B B C r r Sea r una recta y B un punto de ella, por un punto exterior a r se traza una paralela r. En sta se consideran los puntos A, B, y C tales que A'< B'< C'. La recta x = r(B, B) define una direccin D distinta de Dr.

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Por el teorema 7 los puntos A = p rD (A), C = p rD (C) (proyecciones de A y Csobre r de direccin D) cumplen A < B < C ( que C < B < A). Por lo que las semirrectas de r de origen B son no vacas.

VI) El Plano como Espacio Mtrico.

El axioma que se introducir a continuacin define la distancia entre dos puntos y en lsi apela al Cuerpo Ordenado de los Nmeros Reales. Pero es s es suficiente, para manejarnos en esta instancia, pensar en la estructura aditiva ordenada de ellos sin entrar a las cuestio nes que tinen que ver con la completitud. AXIOMA 6: Existe una funcin d : IR, que denominaremos DISTANCIA, con las siguientes propiedades: ) i. d(X, Y) 0 ( X, Y ) ii. d(X, Y) d(Y, X) ( X, Y d(X, Y) d(X, Z) d(Z, Y) ( Z, Y, Z ) iii. Z X, Y ) d(X, Y) < d(X, Z) d(Z, Y) ( Z, Y, Z iv. Z X, Y _), para cada X v. Para cada recta orientada (r, r y para cada a IR (0 a) existe un nico punto Y tal que: Y r ; X _ Y y d(X,Y) = a.Observaciones: 1. La funcin distancia asocia a cada par ordenado de puntos del plano un nmero real positivo o nulo; la condicin ii) nos dice que el orden de los puntos no afecta. 2. Aunque parezca obvio, d (X,Y) es un nmero real y [X,Y] es un subconjunto de puntos del plano. 3. Las condiciones iii) y iv), en s, traducen la idea intuitiva que el segmento de recta es la distancia ms corta entre dos puntos . Si X, Y, Z son tres puntos del plano, no alineados, se cumple que d(X,Y) < d(X,Z) + d(Z,Y), llamado desigualdad triangular. Traduciendo sta, la idea intuitiva que en un tringulo, la suma de dos lados es mayor que el tercero. 4. La condicin v) nos est diciendo que en cada recta hay dos puntos (uno que precede y otro que sigue) a distancia dada de otro. En s, asegura la existencia de uno slo que sigue; pero usando el Axioma4, obtenemos un nico que precede. Veamos a continuacin una serie de resultados importantes intuibles, entre los que se destaca el que muestra la identificacin de la recta orientada con origen y los Nmeros Reales. Teorema 9: Si X, Y ; d(X Y) = 0 X = Y.

Demostracin: a. Si X = Y en Axioma 6. iii) tomamos X = Z y se tiene d(X, Y) d(X, X) d(X, Y) y por lo tanto d(X,X) = 0; usando la unicidad del neutro aditivo de los Nmeros Reales. b. Si d(X,Y) = 0 y X Y (por ejemplo X < Y con X, Y r (X,Y)), como adems d(X,X) = 0 tendramos dos puntos que siguen a X (X e Y) en r y a la misma distancia. Esto contradice la proposicin Axioma 6. v).

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

, X Y, si Z X, Y se cumple que d(X,Z) < Teorema 10: Dados X, Y d(X,Y). Demostracin: Aplique Axioma 6. iii) El que sigue es el resultado importante que incorpora el Axioma 6.

y la Estructura VII) Isomorfismo de la Recta Orientada con Origen (r,o _) Ordenada de los Nmeros Reales (IR, ). y (IR, El teorema siguiente justifica la identificacin de la recta (r, o, _) punto con nme ro real. Crea lo que se denomina EJES DE ABCISAS.

), en esencia

Conjuntamente con la observacin al Teorema 4, que establece la biyeccin entre el plano y el producto cartesiano de dos rectas secantes, identificamos el plano P con R mediante una biyeccin que a cada punto del plano le asocia un nico par ordenado de nmeros reales, coordenadas del punto en el sistema de referencia determinado por dichas rectas. La llamada GEOMETRA ANALTICA tiene su base en esta biyeccin ( P completa definiendo una mtrica en el conjunto R 2.
) orientada y para cada punto O Teorema 11: Para cada recta (r, _ una nica funcin biyectiva creciente tal que: 1. : (r, _ ) R 2. (O) = 0 3. ( X, Y (r, _ ), d(X,Y) = f (X) - f (Y)

R2) que se (r, _ ) existe

Demostracin: Existencia. Definimos la funcin : (r, _) R como sigue: si O X, (X) = d(X,O) si O = X, (O) = 0 si X O, (X) = - d(X,O) Probaremos que esta funcin as definida cumple las condiciones del teorema; 1. y 2. estn en la propia definicin por lo que debemos probar que es biyectiva, creciente y vale 3. es creciente . Sea X < Y; por el Axioma 6. iii) puede suceder que; i. X O Y d(X,Y) = d(X,O) + d(O,Y) d(X,Y) = - (X) + (Y) ii. O X Y d(O,Y) = d(O,X) + d(X,Y) d(X,Y) = (Y) (X) iii. X Y O d(X,O) = d(X,Y) + d(Y,O) d(X,Y) = -(X) + (X), en los tres casos vale que: d(X,Y) = (Y) (X) si X < Y, lo que implica (X) < (Y). Por tanto es creciente.

f (X) f (Y)) ; y es es biyectiva. De lo anterior, por ser creciente, es inyectiva (X Y X tal que d(X,O) = x, y sobreyectiva porque dado x R: s O x existe X (r, _) y O _ por lo tanto, (X) = x; y si X O existe Y (r, _ ) e Y O tal que d(Y,O) = -x, o sea (Y) = x. Adems se cumple que d(X, Y) = f (X) - f (Y) ya que si X _ Y, d(X,Y) = f (X) - f (Y) .
Si Y X; d(X,Y) = f(X) f(Y) = f (X) - f (Y) Unicidad: Supongamos que exista una funcin g en la hiptesis del teorema; 7

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Para cada X, Y

(r, _) se tiene d(X, Y) =

g (X) - g (Y) , y tomando Y = O se

tiene que d(X,O) = g (X) - g (O) = g (X) por ser g(O) = 0. Como g es creciente: Si O X, 0 < g(X) = g (X) = d(X,O) Si X O, g(X) < 0

g (X) = -g(X) = d(X,O)

Resulta que g: (r, _) R cumple: Si O X g(X) = d(X, O) Si O = X g(O) = 0 por tanto g = f Si X O g(X) = -d(X,O) Observaciones: La identificacin entre las estructuras (r, O, _) y (R, ) demostrada en el teorema 11. permite trasladar propiedades asociadas al orden de los Nmeros Reales a las rectas Orientadas con Origen. Por ejemplo: i. Toda recta es un conjunto infinito, totalmente ordenado, denso y completo, no acotado superior ni inferiormente; ii. Todo subconjunto de la recta no vaco y acotado tiene supremo y nfimo. iii. Al nmero real f(X) le llamaremos abcisa del punto X. 1. Medida algebraica: Sea (r, O, _) una recta orientada con origen con origen y consideramos dos puntos X, Y cualesquiera de ella; llamaremos medida algebraica del par orde nado (X,Y) , - que simbolizaremos m(X,Y) al nmero real: m(X,Y) = f(Y) f(X), donde f es la funcin al que se refiere el Teorema 11. Se hace necesario demostrar que esta definicin es independiente del origen O de Coordenadas elegido. Si O X Y m(X,Y) = d(O,Y) d(O,X) = d(X,Y) Si O Y X m(X,Y) = d(O,Y) d(O,X) = -d(X,Y) Si X O Y m(X,Y) = d(O,Y) + d(O,Y) = d(X,Y) Si Y O X m(X,Y) = -d(O,Y) d(O,X) = -d(X,Y) Si X Y O m(X,Y) = -d(O,Y) + d(O,X) = d(X,Y) Si Y X O m(x,Y) = -d(O,Y) + d(O,X) = -d(X,Y) Por tanto, independientemente del origen, se tiene que: Si X Y m(X,Y) = d(X,Y) y si Y X m(X,Y) = -d(X,Y) 2. Existencia y unicidad del punto medio de un segmento. Obsrvese que si consideramos los puntos X, Y P tales que X Y, entonces el segmento abierto X, Y . Teorema 12: Dados X, Y (r, _) _ Y existe un nico punto M (M con X X, Y ) tal que d(X,M) = d(M,Y). Dicho M se llama punto medio del segmento [X,Y]. 8

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Demostracin: En (r, O, _) sean X M Y, entonces; d(X,M) = m(X,M) = m x y d(Y,M) = m(M,Y) = y m de donde m x = y m. (x y) Esto implica m = 2 Resulta entonces, en correspondencia con el nmero real m, existe un nico punto (x y) M X, Y en las condiciones pedidas y su abcisa es . 2 3. Circunferencia y Crculo. Definicin 7: Sea O conjunto:

Y crculo de centro O y radio a, al conjunto: C (O,a) = X

ya (O, a) = X

IR+, llamamos circunferencia de centro O y radio a, al

: d(X, O) a . : d(X, O) a

Observaciones: 1. Dados O P y a IR (0 < a) los siguientes constituyen una particin del plano en tres : d(O, X) < conjunto disjuntos, siendo slo el primero de ellos convexo; C i (O, a) = {X a}, C (O, a), Ce (O, a) = { X

: d(O, X) < a}

2. Toda recta que tenga un punto en (Ci) intercepta a Pitgoras y Axioma 6. v))

en dos puntos (Teorema de

VIII) Isometras. (Funciones del plano plano)

Comentario Previo: La (GEP7) como Espacio Mtrico, tiene asociada un Grupo de transformaciones que la caracteriza y son las ISOMETRIAS. Estas son biyecciones del plano en el plano que conservan la distancia. Entre ellas ocuparn el lugar especial las llamadas SIMETRIAS AXIALES, ya que probaremos oportunamente que toda isometra se reduce a un producto de, a lo sumo, tres simetras axiales. Otro grupo de transformaciones que se estudiar es el de las SEMEJANZAS que son biyecciones del plano en el plano que multiplican las distancias por una constante positiva . En s son dilataciones o contracciones del plano segn sea la constante mayor o menor que 1 (uno). Las isometras estn incluidas en el caso que la constante sea igual a 1. Definicin 8: Una i. f es biyectiva funcin

f :

es

una

ISOMETRIA del

plano

ii. d(X, Y) d( f (X), f (Y)) ( X, Y

Observaciones: i. Una funcin que conserva las distancias es necesariamente inyectiva, puesto que: X Y d(X,Y) > 0 d(f(X), f(Y)) > 0 f(X) f(Y);

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

) (funcin ii. Existen isometras puesto que la funcin I : tal que I (X) X ( X Identidad) es un isometra; iii. Dadas A A figuras planas, si existen una isometra f tal que f(A) = A, diremos que A y A son congrue ntes (en el cotidiano, diremos que son iguales).Teorema 13: Sea = { f: f es un a isometra de }; entonces ( , ) es un GRUPO. Demostracin: Sean f, g ; g f es biyectiva; debemos probar que conserva la distancia. Si X, Y se tiene que: d((g f)(X), (g f)(Y)) = d( g(f(X)), g ( f(Y))) = d( f(X), f(Y)) = d(X,Y), esto implica que f ). g . Sabemos que es asociativa y que I cumple que I f = f I = f ( f Nos queda probar que la funcin inversa de una isometra es una isometra. Si f , existe f- - 1 : (por f ser biyectiva) tal que f- - 1(Y) = X si y slo si f (X) = Y. Para probar que f- - 1 debemos probar que conserva la distancia. En efecto, si Y, Y se cumple que existen X, X tales que f- - 1(Y) = X y f- - 1(Y) = X entonces d(Y,Y) = -- 1 d(f(X), f(X)) = d(X,X)= d(f (Y), f- - 1(Y)) y eso permite afirmar que f- - 1 . Observaciones: i. El hecho que ( ,) sea un grupo que como veremos no es conmutativo -, implica entre otras cosas, que podemos resolver ecuaciones lineales y que stas tienen solucin nica; ii. Nos interesa saber cmo reaccionan nuestras figuras habituales, segmentos, rectas, circunferencias, al aplicarse al plano una isometra. Es decir, si sta respeta las categoras de las figuras. El teorema que sigue es una muestra de ello, dice en esencia que: la imagen de un segmento por una isometra es un segmento . De este hecho, como veremos muy importante, sacaremos otras consecuencias que analizaremos a posterior. Teorema 14. Si P, Q (P Q) y f ; f([P,Q]) = [f(P), f(Q)]. Demostracin: i. Probaremos en principio que si X [P,Q] entonces f(X) [f (P), f (Q)]: Si X [P,Q] si y slo si d(P,Q) = d(P,X) + d(X,Q) (Axioma 6. iii) y aplicando f a la igualdad anterior obtenemos que: d(f(P), f(Q)) = d(f(P), f(X)) + d(f(X), f(Q)) lo que implica f(X) [f(P), f(Q)]. ii. Recprocamente, si Y [f(P), f(Q)] aplicando el mismo Axioma 6. iii) se tiene d(f(P), f(Q)) = =d(f(P), Y) + d(Y, f(Q)) y si aplicamos f- - 1 resulta que d(P,Q) = d(P, f- - 1(Y)) + d(f- 1 (Y), Q) lo que implica X = f- - 1 (Y) [P,Q]. Consecuencias: i. Si r R y f entonces f(r) R; ii. Si So(A) r (semirrecta de origen O que contiene a A) y f entonces f(So(A) ) = Sr(O)(f(A)) f(r); iii. Consideramos dos semirrectas S o y So del mismo origen, llamaremos (provisoriamente) ngulo determinado por ellas al conjunto So So. Entonces las isometras transforman ngulos en ngulos;

10

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

iv. Si

f(C (O, r))= =C (f(O), a); v. Si es un conjunto convexo entonces f ( ) es un conjunto convexo; vi. Es ms; en un sentido que se precisar en cursos posteriores, en el Espacio Mtrico (P, d) las isometras son funciones bicontinuas y respetan la condicin de convexos de los conjuntos de . Anotemos a continuacin un resultado importante en todo lo que sigue:

(O, r) es la circunferencia de centro O y radio r y f una isometra, se cumple que

Si una recta tiene dos puntos fijos por una isometra, tienen fijos todos los puntos.
, P, Q (P Q) tales que f(P) = P y f(Q) = Q, entonces Teorema 15: Sea f f(X) = X ( X r (P, Q) Demostracin: Consideramos la recta r(P, Q) orientada; debemos analizar los casos: X P Q, P , P X Q y P Q X. Por ser de similar demostracin, demostraremos uno slo de ellos.
P X Q (por el Axioma 6. iii) d(P,Q) = d(P,X) + d(X,Q) y por f se tiene que: d(f(P, f(Q)) = d(f(P), f(X)) + d(f(X), f(Q)) d(P,Q) = d(P,f(X)) + d(f(X),Q), entonces P < f(X) < Q; pero como adems d(P,X) = d(P, f(X)) (aplicando el Axioma 6. v)) f(X) = X; por ambos puntos siguen a P y estn a la misma distancia de l. Observaciones: Como consecuencia y volviendo a insistir sobre este resultado:

Si una isometra tiene dos puntos fijos, tiene fijos los puntos de la recta que ellos determinan.
Existencia y Unicidad de Isometras:
R (recta orientada), O r (un punto cualquiera de ella), (So, _ ) (una Notacin: Sea (r, _) de las simetras de r de origen O) y (uno de los semiplanos de borde r). Esta terna la simbolizamos por (O,So, ).

AXIOMA 7: (Determinacin de Isometras) Dadas dos ternas (O, S o, ) y (O, So, ) existe una nica isometra f tal que f(O) = O, f(So) = So y f() = . Notacin: f((O,So, ) = ( O, So, ) 2. SIMETRA AXIAL Sea R ; ella determina en P, dos semiplanos y . Elijo un punto O y una semirrecta So el Axioma 7 afirma que: existen dos nicas R isometras f, g tales que: f((O, So, )) = (O, So, ) y g((O, So, )) = (O, So, ). g = I ya que la identidad cumple I((O, So, )) = (O, So, ) y el axioma asegura la unicidad. En cuanto a f, aprovechamos hacer lo siguiente:

11

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Definicin 9: Llamamos SIMETRA AXIAL DE EJE a la nica isometra f f(O, So, ) = (O, So, ), siendo So y , semiplanos opuestos de borde .

tal que

Observaciones: i. Vale la pena destacar que la definicin es independiente de la eleccin del punto O. Probarlo queda a cargo del lector. ii. Se () = ; iii. Si X , X = Se(X) y por tanto r(X, X) = {Xo} con Xo [X, X], d(X, Xo) = d(Se(X), Se(Xo) = d(X, Xo) lo que prueba que el eje de simetra contiene los puntos medios de los segmentos determinados por pares de puntos correspondientes en la simetra. iv. Sea Y , d(X,X) d(Y,X) + d(Y,X) y como Se(Y) = Y se tiene 2d(X,Xo) 2d(X,Y), es decir: d(X,Xo) d(X,Y). Esto implica que Xo es el punto de a mnima distancia de X. A este punto le llamamos proyeccin ortogonal de X en y lo simbolizamos por pr e (X) = Xo. Definicin 10: Llamamos distanci a de un punto X a una recta al nmero real d(X, pr e (X)). v. (Se Se) (O, Se, ) = (O, So, ), por el Axioma 7. ; esto implica que: (Se)2 = I. vi. Del punto v. se deduce que (Se)-1 = Se y que si X es la imagen de X por Se se tiene que Se (r(X,X))= = r(X,X). Es decir que las rectas definidas por puntos correspondientes en una simetra axial son globalme nte invariantes por ella. Son imgenes de s misma, con el nico punto fijo: su interseccin con el eje de simetra. vii. Si So es una semirrecta de origen O y f tal que f(So) = So, entonces f = I o f = So . 3. PERPENDICULARIDAD: Definicin 11: Dadas las rectas a, b escribimos a b si y slo si Sb(a) = a

R (a

b), decimos que a es perpendicular a b y

Teorema 16: Si a y b son rectas secantes en O, las proposiciones siguientes son equivalentes: i. a b; ii. ( X, X a) prb (X) = O; (O es la proyeccin ortogonal de X en b) iii. Existe P a, P O y tal que prb (P) = O. Demostracin: i ii. Sb(a) = a; si X a, Sb(X) = X a y por tanto r(X,X) = a. Como X y X pertenecen a distinto semiplano de b, r(X, X) b = {O}; entonces pr o = O. ( X, X a) (prb (X) = O) siendo O punto medio de [X, X] con X cumpliendo que X = Sb(X) de donde Sb (a) = a. Es decir a b. ii iii. Es inmediato, puesto que si vale para todos los puntos, vale para uno en particular. iii i. Sb(P) = P siendo O punto medio de [P, P], entonces S b(r(P, P)) = r(P, P) o sea que Sb(a) = a. Es decir a b. Aprovechamos estos resultados para probar que la perpendicularidad es invariante por aplicacin de isometras, y establecer una relacin de paralelismo. 12

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Teorema 17: Si f , a, b ya b entonces f(a) = f(b). Obsrvese que lo que afirma es que las isometras respetan la perpendicularidad. Demostracin: f(b) b B O O P a P B f(a)

Sea {O} = a b y P un punto de a, O = F( O) y P = f(P); como a b se tiene que O = pro(P) y por tanto d(P, O) es la mnima distancia entre P y los puntos de b. Comparamos ahora las distancias d(P,O) y d(P, B) con B f(b) (B O) Sabemos que existe B b nico tal que f(B) = B y que se cumple: d(P,O) = d(P,O) y d(P,B) = = d(P,B). Se tiene que d(P,O) d(P,B) ( B b) entonces d(P,O) d(P,B) ( B b) . O sea prb(B) = O; de donde f(a) f(b) (Teorema 17) b Teorema 18: Si a b b a. a B Demostracin: A O

Supongamos B b tal que pra(B) O y pra(B) = A (A O); como Sb(a) = a se tiene que Sb(A) = A y se cumple que d(B,A) = d(B,A). Como pra(B) = A, A es el punto a mnima distancia de B y es nico. Pero en nuestro supuesto d(B,A) = d(B,A) y entonces tendramos otro punto A de (a), a misma distancia, lo que implica una contradiccin. Luego pra(B) = C y resulta por el Teorema 16. que b a. Teorema 19: Si a b entonces: a en las condiciones dadas: c si y slo si bc cualesquiera sean a, b, c

13

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Demostracin: Si a c, sean a b = {A1} y c a = {A2}. Si b no fuera paralela a c existe P tal que b c = {P}. Por ser c a, pra(P) = A2 y como b a, pra(P) = A1 siendo A1 A2 y esto contradice la unicidad de la proyeccin ortogonal. Si b c (b c) sabemos que Sa(b) = b; supongamos ahora que Sa(c) = c (c c). Como a c = {A2}, Sa(A 2) = A 2. Si {B}= b c; como Sa-1 =Sa, Sa-1(B) = Sa(B) = B tal que b c = {B}. Esto implica que b no c, contradiccin que pr oviene del supuesto C = Sa(C) C. Entonces Sa(C) = C, es decir a c. Observaciones: i. Un ngulo como unin de dos semirrectas del mismo origen cuyos lados estn contenidos en rectas perpendiculares se llama RECTO, ii. La proyeccin ortogonal de un punto P sobre una recta r, es la proyeccin de P sobre r segn la direccin perpendicular a r. 4. MEDIATRIZ DE UN SEGMENTO. 4.1 Mediatriz como eje de simetra: Definicin 12: Dados los puntos P, Q (P Q), llamamos MEDIATRIZ del segmento [P,Q] a la recta m perpendicular a r(P,Q) en el punto medio de [P,Q] . Teorema 20: La recta m es mediatriz de [P,Q] si y slo si Sm(P) = Q. Demostracin: Si m es la mediatriz entonces m r(P,Q) en el punto medio O de [P,Q]; entonces S m(r(P,Q)) = r(P,Q) y adems d(O,P) = d(O,Q) lo que implica S m(P) = Q. Si Sm(P) = Q implica que el punto medio O de [P,Q] pertenece a m (O m) y que Sm(r(P,Q)) =r(Q,P); resulta pues m perpendicular a r(P,Q) en el punto de [P,Q]. Luego m es la mediatriz de [P,Q]. 4.2 La mediatriz como Lugar Geomtrico: La mediatriz de un segmento es el lugar geomtrico de los puntos del plano que equidistan de sus extremos; esto lo probaremos en el siguiente: Teorema 21: Sea m la mediatriz de [P,Q], el semiplano de borde m que contienen a P y su opuesto (Q ); se cumple las siguientes preposic iones: i. P d(P, P) < d(P, Q); ii. P d(P, P) > d(P, Q); iii. P m d(P, P) = d(P, Q): Demostracin: A modo de ejemplo se demostrar la parte i. Si P y Q , sea [P,Q] m = {X}; en la terna (P,X,P) se cumple que: d(P,P) < d(P,X) + d(X,P) = d(P,X) + d(X,Q) = d(P,Q).

Teorema 22: Comparacin de oblicuas. A Sea r R, P, Q r, A r y A= prr(A), entonces valen las siguientes preposiciones: i. d(A,P) < d(A,Q) ii. d(A,P) > d(A,Q) iii. d(A,P) = d(A,Q) d(A,P) < d(A, Q) d(A,P) > d(A,Q) d(A,P) = d(A,Q) r A

14

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Demostracin: i. Se aplica el Teorema 21. a los puntos Ay A tomando m la mediatriz de [P,Q]; y los semiplanos de borde m y observando que s = r(A,A) se tal que s , si A est en , por ser s m. Las partes ii. iii. Se demuestran en forma anloga.

Teorema 23: Tres puntos no alineados determinan una nica circunferencia. Se llama circunferencia circunscrita al tringulo que ellos determinan. Demostracin: Sean P, Q, R tres puntos no alineados; los centros de las circunferencias que pasan por P y Q pertenecen a la mediatriz m[P,Q]. Y anlogamente, los centros de las circunferencias que pasan por P y R estn en m[P,R]. Por ser P, Q, R puntos no alineados, las mediatrices no son paralelas y por tanto existe un nico punto O de interseccin de ambas mediatrices. Resulta: d(O,P) d(O,Q) d(O,R) r, la circunferencia C (O, r) contiene a los puntos P, Q y R. La unicidad de C (O, r) surge a partir de la de O como interseccin de dos rectas nicas.

5. EJES DE SIMETRA Definicin 13: Una recta se llama EJE DE SIMETRIA de una figura F si y slo si S (F) = F. (Decimos que F es globalmente invariante o simplemente invariante por la transformacin S) Ejemplos. i. La mediatriz m[P,Q] es eje de simetra del segmento [P,Q] (si P Q);

ii. Si F es una figura plana cualquiera, y una recta cualquiera, entonces es eje de simetra de F S(F). iii. Sea C (O, r) una circunferencia de centro O, toda recta que pase por O es eje de simetra de ella. Se podr demostrar ms adelante que los nicos ejes de simetra de la circunferencia son las rectas que pasan por su centro. iv. Paralela Media: Se consideran las rectas r y r paralelas distintas, y la recta p r que interseca a r en A y a A en R. Sea m la mediatriz de [A,A]; probaremos que S m(r) = r. p

15

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

A r m A r

Los teoremas expuestos aseguran que m r y que p m. Adems; r p ={R} Sm(p) = =Sm(R) = R. De r p se deduce Sm(r) Sm(p) Sm(r) p.

Sm(r)

Luego, la recta Sm(r) pasa por R y es perpendicular a p, como tambin r es perpendicular a p y pasa por R se tiene (unicidad) Sm(r) = r como queramos. La recta m se denomina paralela media del par r, r. Observaciones: i. Si p1 es la recta paralela a p que corta a r y a r en los puntos R1 y R 1se cumple que d(R,R) = =d(R 1,R 1). Esto implica que los puntos de r equidistan de r y recprocamente; ii. De lo anterior se deduce que el lugar geomtrico de los puntos del plano cuya distancia a una recta m del plano es constante, es un par de rectas paralelas a ellas ubicadas en semiplanos opuestos de borde m. Y por las cuales, ella es la paralela media. Teorema 24: Sean r, r simetra. Demostracin: i. Si r = r toda recta perpendicular a r es eje de simetra, adems de la propia recta r; R entonces la figura r r tiene al menos dos ejes de

ii. Si r r (r

r), son ejes de simetra la paralela media y toda recta perpendicular a ellas;

iii. Si r r = {O}, consideramos la circunferencia los puntos P, Q, P, Q, (segn figuras adjuntas).

(O, r) que corta a las recta r y r en m r r Q P O

Las mediatrices m de [P,Q] y m de [P,P] pasan por el punto O porque equidistan de P, Q, P,Q, m lo tanto Sm(r(P,O)) = r(Q,Q) o sea que por Sm(r)= r y esto implica Sm(r r) = r r. Se razona anlogamente para m; entonces m y m son los ejes de simetra de la figura r r

16

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Como S m(P) = Q, m es paralela media de las rectas r(P,P) y r(Q,Q) y tambin m paralela media de r(P,Q) y r(P,Q); por lo tanto m es perpendicular de m. Corolario: Sea M m; prr(M) = Mr, prr(M) = Mr y por tanto Sm(r r (M, Mr))=r rSm(M,Mr) Sm([M,Mr]) = [M,Mr]. En resumen d(M,Mr) = d(M,Mr); lo que implica que m m es el lugar geomtrico de los puntos del plano que equidistan de r y r. Observamos que vale la preposicin recproca de la anterior: es decir, si r, r R, r r = {O} entonces se cumple que {X : d(X,r) = d(X,r)} = m m. Definicin 14: Todo ngulo no llano (como par se semirrectas del mismo origen) tiene un nico eje de simetra que pasa por el vrtice; la semirrecta de este eje contenida en el sector angular se llama BISECTRIZ del ngulo. Es el conjunto de los puntos del plano que equidistan de los lados del ngulo. 6. CRITERIOS DE IGUALDAD DE TRINGULOS Por entender que el tema tiene su inters prctico-terico para el curso actual, se incorpora el mismo y la demostracin cuidadosa de uno de ellos. Por otro lado; tradicionalmente ha tenido y tienen un peso muy fuerte en la enseanza de la Geometra Euclidiana y del Espacio en nuestro pas. Observaciones previas: Diremos que dos figuras del plano , F y F, son congruentes si existe una isometra f que cumple: f(F) = F. Por ser de uso corriente en el lenguaje geomtrico, usaremos tambin el trmino iguales para vincular a dos figuras congruentes. Si F = T(ABC) y F= T(ABC), para decidir si son o no iguales tenemos que encontrar una isometra que transforma todos los elementos de F en todo los elementos de F. Los teoremas que siguen CRITERIOS DE IGUALDAD DE TRINGULOS- aseguran la igualdad en condiciones mnimas. Condiciones que nos permiten asegurar la igualdad sin determinar la isometra correspondiente. Enunciaremos tres criterios clsicos, y a modo de ejemplo, demostraremos el denominado Tercer Criterio de Igualdad de Tringulos.

Teorema 25: PRIMER CRITERIO Se consideran dos tringulos T(ABC) y T(ABC) cumplindose que: existen tres isometras f1, f2 y f3 tales que f1([A,B]) = [A,B], f2([A,C]) = [A,C] y f3(ng(BAC)) = ng(BAC); entonces existe f que cumple con las siguientes igualdades f(A) = A, f(B) = B y f(C) = = C. Como consecuencia se puede escribir que f(T(ABC)) = T(ABC).

17

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Teorema 26: SEGUNDO CRITERIO Si para dos tringulos T(ABC) y T(ABC) existe f1, f2, f3 tales que: f1([A,B)] = [A,B], f2(ng(BAC)) = ng(BAC) y f3(ng(ABC)) = ng(ABC); entonces existe una isometra f tal que f(A) = A, f(B) = B y f(C) = C. Como ya habamos hecho notar, esta situacin la denotamos en la forma f(T(ABC)) = T(ABC). Adoptando la notacin usual, escribimos [A,B] = [A,B] para indicar que existe una f tal que f([A,B]) = [A,B]. Teorema 27: TERCER CRITERIO Los tringulos T(ABC) y T(ABC) son tales que : [A,B] = [A,B], [A,C] = [A,C], [B,C] = [B,C]; entonces T(ABC) = T(ABC). Demostracin: C A C

B C Sea f f(A, SA (B), ) = (A, SA(B), ) (que existe y es nica por el Axioma 7.), siendo el semiplano de borde r(A,B) que contiene a y el de borde r(A,B) que no contiene a C. Como C , C = f(C) ( f(T(ABC)) = T(ABC) ) Tenemos d(A,C) = d(A,C) y d(A,C) = d(A,C) lo que implica d(A, C) = d(A, C) y anlogamente d(B, C) = d(B, C) por lo tanto A y B equidistan de C y C. De donde, la recta m=r(A,B) es mediatriz del segmento [C,C]; podemos deducir que S m(C) = C. Consideremos finalmente, la isometra g = Sm f; es inmediato que sta cumple que g(A) = =A, g(B) = =B y g(C) = C por lo que g(T(ABC)) = T(ABC) y hemos podido definir una isometra que transforma T(ABC) en T(ABC) que era lo que se peda. NOTA: A continuacin hare mos un anlisis de las ISOMETRAS que permitir lograr una representacin cannica de ellas en base a productos de SIMETRAS AXIALES. Es un hecho significativo que toda isometra del plano admita una representacin en base a producto de simetras axiales. Pero es ms, de mostraremos que para cualquier isometra puede expresarse como producto de a lo sumo tres simetras axiales.

18

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

6. CARACTERIZACIN DE LAS ISOMETRAS RESPECTO AL NMERO DE PUNTOS FIJOS. Probaremos a continuacin que el estudio del nmero de puntos fijos de las isometras permite demostrar, segn cada caso, como decamos anteriormente, que stas se pueden representar por el producto de a lo sumo tres simetras axiales. Tal representacin no es nica, pudindose elegir sta de infinitas formas. Teorema 28: Si una isometra f tiene puntos fijos, no alineados, es la Identidad I. Demostracin: Supongamos que se tiene A, B, C (A r(B,C)) y la isometra f tal que f(A) = A, f(B) = B y f(C) = C. Si ocurre que f I, es decir que existe Xo tal que f(Xo) Xo. Entonces se cumple que: d(A, Xo) = d(f(A), f(Xo)) = d(A, f(Xo)) d(B, Xo) = d(f(B), f(Xo)) = d(B, f(Xo)) d(C, Xo) = d(f(C), f(Xo)) = d(C, f(Xo)) Esto implica que los puntos A, B y C equidistan de los extremos del segmento [Xo, f(Xo)] y por lo tanto pertenecer a la recta mediatriz de l. Lo que implica que estn alineados, en contradiccin con nuestra hiptesis de trabajo. Luego,

, f(X) = X; es decir: f = I

Teorema 29: Si tenemos f, g y A, B, C (no alineados) y se cumple que f(A) = g(A), f(B) = g(B) y f(C) = g(C), entonces f = g. Demostracin: Consideramos la isometra h = g -1 f, entonces: A f f(A) = g(A) g -1 A = h(A) -1 B f f(B) = g(B) g B = h(B) C f f(C) = g(C) g -1 C = h(C) Por el teorema 28 h = I; es decir; g -1 f = I. De donde g (g -1 f) = g I gI I f = I f = g f f = g.

(g g -1) f =

Teorema 30: Si una isometra tiene dos puntos fijos distintos, es la Identidad o la Simetra Axial de eje la recta que determinan dichos puntos. Demostracin: Sean f y A, B (A B) dos puntos que cumplen f(A) = A y f(B) = B; el Teorema 15. asegura que son fijos todos los puntos de la recta = r(A,B). Esta recta define en dos semiplanos y Si en consideramos un punto O y una semirrecta S o como f(So) = So la isometra puede aplicar en en . En esencia tenemos dos nicas alternativas para f: 1. Si f((O, So, )) =( O, So, ) como tambin la Identidad cumple con esta relacin, la unicidad que incorpora el Axioma 7. asegura que f = I. 2. f((O, So, )) = (O, So, ) y como la Simetra Axial S cumple con esta igualdad, el Axioma 7. asegura que f = S. Teorema 31: Sea f ,A tal que f(A) = A y si X (X A) f(X) X; entonces f se puede representar como el producto de dos simetras cuyos ejes pasan por A. 19

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Demostracin: Sea B un punto cualquiera del plano distinto de A y B = f(B). Como d(A,B) = =d(A,B), A pertenece a la mediatriz m de [B,B] B m

A B Consideremos g = Sm f entonces: A f f(A) = A Sm A B f f(B) = B Sm B Entonces g tiene dos puntos fijos A y B; el Teorema 30. asegura que g = I g = S m siendo m = =r(A,B). i. Si g = I, se tiene que f = Sm lo que implicara que f tiene infinitos punto fijos en contradiccin con la hiptesis, que asegura la existencia de nico punto fijo A. ii. Si g = Sm entonces f = Sm Sm con m m={A}. Observacin: Esta representacin de f por producto de dos simetras axiales no es nica, puesto que la eleccin del punto B fue arbitraria. Ms adelante, en la GUIA 4., se vern que dos representaciones distintas de f por pares de simetras axiales deben cumplir una condicin que tiene que ver el ngulo que formen los ejes. Teorema 32: Sea f tal que f(X) X, X , entonces f se representa por el producto de dos simetras axiales de ejes paralelos, o por el producto de tres simetras axiales con ejes no paralelos ni concurrentes. Demostracin: Sea A P, un punto cualquiera del plano A = f(A) y m la mediatriz de [A, A]; consideremos ahora la isometra g = S m f. A

m A A f A S m A y esto implica que g tiene un punto fijo A; por lo que puede ser, de acuerdo a los resultados obtenidos en los teoremas anteriores; i. g = I; entonces f = Sm ; este resultado es contradictorio ya que f no tiene puntos fijos. ii. g = S m (A m); entonces f = S m Sm debiendo cumplirse que m m= , (es decir m m) pues f no tiene puntos fijos. iii. g = Sm S m con m m = {A}; entonces se tiene que f = Sm (Sm Sm) con los ejes de simetra m, m y m no son paralelos ni concurrentes.

20

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

RESUMEN: 1. Los teoremas demostrables en este ltimo bloque, justifica el nfasis puesto en el estudio de la Simetra Axial y sus consecuencias; 2. Muestran que toda isometra plana puede representarse por el producto de a lo sumo tres simetras axiales y no de manera nica; 3. En consecuencia, para una isometra plana f cualquiera ocurre una y una sola de las siguientes alternativas: i. f = I ii. Existe una nica m R tal que f = Sm iii. Existe un par m, m R tales que f = Sm Sm iv. Existe una terna m, m, m R - ni paralelas ni concurrentes - tales que f = Sm (Sm Sm).

Fin del tema ISOMETRAS.

21

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

7. SEMEJANZAS
Estudiaremos a continuacin las transformaciones del plano que contraen o dilaten la distancia; son las denominadas SEMEJANZAS. Ellas conservan la forma de las figuras (usamos este trmino en el habitual) y veremos que se pueden representar por producto de isometras por homotecias. Comenzaremos nuestro estudio definiendo las HOMOTECIAS que son, como veremos, dilataciones o contracciones radiales del plano. Ellas son en las semejanzas, las que determinan la contraccin o dilatacin del plano. 7.1 Homotecias: Definicin 15:; Dados O yk IR*, se llama Homotecia de centro O y razn k simbolizada por Ho,k H, si no hay confusin sobre el centro de homotecia y su razn a la siguiente funcin definida como sigue: i. H: ii. H(O) = O iii. Si X (X O) y X = H(O) se cumple; a) X r(O,X), b) X = k.X. Observaciones: i. Esto quiere decir que en la recta orientada con origen r(O,X) (O X), k.X es el punto que cumple: a. k.X So(X) si k > 0 y k.X op.So(X) si k < 0. b. d(O, k.X) = k.d(O, x) . ii. Tambin se puede considerar a las homotecias como funciones que transforman el vector OX en el vector k.OX. iii. De la definicin se deduce que: i. I = HO,1, la identidad es una homotecia; ii. Si S o es la simetra central de centro O se cumple que So= H O,-1; iii. Si k, k IR* y k = - k entonces HO,k = So HO, k = HO, k So. Este resultado nos permite elaborar conclusiones analizando solamente las homotecias de razn positiva, puesto que las de razn negativa se obtienen de las anteriores a menos de una simetra central. Teorema 33: Sea HO,k = H la homotecia de centro O razn k > 0; entonces H es una biyeccin del plano. Demostracin: H es inyectiva: Si X, Y (X Y), H(X) H(Y). 1. Si Y So(X) entonces H(X), H(Y) So(X) (Definicin 15) y como d(X,O) d(Y,O) se tiene que k.d(X,O) k.d(Y,O). Esto implica que d(H(X), O) d(H(Y), O), es decir; H(X) H(Y). 2. Si Y So(X) entonces So(X) So(Y) = {O}; como H(X) So(X), y H(Y) So(Y) por definicin se tiene H(X) H(Y).

22

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

H es sobreyectiva: Sea X

; si X = O entonces es la imagen por H del punto O por 1 definicin. Si X O, existe en So(X) un nico punto X tal que d(O,X) = k.d (O, X) (Axioma 6.5), o sea d(X,O) = =k.d(X,O) por lo que H(X) = X. Esto concluye la demostracin del teorema. Observaciones: i. La funcin inversa de una homotecia es la homotecia: 1 1 Si HO, k(X) = X entonces HO, k (X) = X y esto implica que (HO,k)-1 = HO, k ; ii. Producto (composicin) de homotecias del mismo centro: Sean H O,k y HO,k (k > 0 y k > 0), si X = (H H) (X) y X= H(X) cumplindose que: X So(X) y d(X,O) = k.d(X,O) X So(X) y d(X,O) = k.d(X,O), de donde se concluye que d(X,O) = ) ; es =k.k.d(X,O) y X So(X). Esto implica que (HO,k HO,k)(X) = HO,k.k(X) ( X decir: HO,k H O,k = HO,k.k; iii. Si HO = {H:H homotecia de centro O}, las observaciones hachas permiten deducir que

(HO,) es un GRUPO CONMUTATIVO.

Esperemos ciertos resultados, para poder analizar cmo actan las homotecias sobre las figuras habituales de nuestra Geometra Euclidiana Plana.

7.3. TEOREMA DE THALES:

Observaciones: i. Este es un resultado clave e ineludible de la Geometra Euclidiana, sin el cual es imposible avanzar en el desarrollo de sta. Que por otro lado tiene dos caractersticas aparentemente contradictorias; primera; que lo que l afirma resulta ser intuitivamente evidente y por lo tanto no es resistido a la hora de aplicarlo, y segunda, es de demostracin especialmente complicada que entendemos supera los niveles promedios de trabajo en Educacin Matemtica a Nivel Medio. ii. esto lleva a los autores a obviar su demostracin por las razones expresadas, permitindoles enunciar el referido teorema en forma general haciendo las consideraciones didcticas que permiten su aplicacin usual. Con esto queremos decir que, el enunciado usual aparece aqu como un corolario de esta nueva presentacin. Esto no debe inquietar, todas las consecuencias usuales aparecen enunciadas y/o demostradas en el texto. Teorema de Thales: ) y (y,O,_ ) y una direccin D( x D, Teorema 34: Se consideran las rectas (x,O,_ y D); si pD: x y es la proyeccin de la recta x en la y segn la direccin D, se cumple que:

23

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

x) ( R), pD(, X) = , p D(X) x

( X

.X D

O y pD(X) .pD(X)

A continuacin, y como corolario del teorema anterior, enunciaremos el mismo resultado desde la ptica usual que a los efectos prcticos es la misma operativa. Corolario 35: TEOREMA de THALES. Sean r, r1 y r2 tres rectas tales que r1r2 = {O} y r1, r2 Dr. Por dos puntos cualesquiera X1, Y1 r1 se consideran las rectas r, r Dr que cortan a r2 en X2 e Y2 respectivamente; entonces se cumple que: r2 O X1 X2 r
d(O, X1) d(O, Y1) d(O, X 2) d(O, Y 2) d(X1, Y 2) d(X1, Y 2)

r1 r

Y1

Y2

Teorema 35: Recproco de Thales: Sean So,1 y So,2 dos semirrectas ordenadas de origen O; X 1, Y 1 So,1 (O X1 Y1) y X2, Y2 So,2 (O X2 Y2) tales que; d (O, X1) d (O, X 2) , entonces r(X1,X2) es paralela a r(Y1,Y2). d (O, Y1) d (O, Y 2) Demostracin: Analizado la figura hecha en la demostracin del teorema anter ior, consideremos por Y 1 la recta r* paralela a r. Esta corta a r2 en Y 2*; el Teorema de Thales

24

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

d ( O, X 2 ) d (O, X1) k (k IR+) se tiene que d(O,Y 2*) = y si d (O, Y 2*) d (O, Y1) 1 1 = .d(O, X 2) pero tambin d(O,Y2) = .d(O, X 2) . k k Entonces Y2, Y2* So(X2) y d(O,Y2) = d(O,Y 2*); el Axioma 6 asegura que Y 2 = Y2*; luego r2* = r(Y1,Y2) y sta es paralela a la recta r1 = r(X1,X2) lo que demuestra el teorema.

asegura que

d (O, X1) d (O, Y1)

Ahora estamos en condiciones de examinar algunas consecuencias de este teorema. Empecemos a ver cmo reaccionan nuestras figuras ms usuales rectas y circunferencias frente a las homotecias. Teorema 36: Se considera una homotecia HO,k (k > 0) y una recta r, entonces: i. H(r) = r R y rr; ii. Si X, Y r y d(H(X), h(Y)) = k.d(X,Y) Demostracin: 1. Si O r y X

r (por Definicin 15) por lo H( r) r. Y para cada X de r existe 1 .d (O, X) por lo tanto X= H(X). Esto implica que r X So(X) nico tal que d(O,X) = k H(r); y como conclusin H( r) = r. Sea X, Y r; supongamos O X Y, ahora aplicamos el Axioma 6 y se tiene que d(O,X) + +d(X,Y) = d(O,Y) entonces k.d(O,X) + k.d(X,Y) = k.d(O,Y) y aplicando H se tiene que d(O,H(X)) + kd(X,Y)= d(O,H(Y)) (*). Como kd(X,Y) > 0 y d(O,H(Y)) > d(O,H(X)) se tiene O H(X) H(Y) y por tanto d(O,H(X)) + d(H(X), H(Y)) = d(O,H(Y)) (**) De (*) y (**) surge que k.d(X,Y) = d(H(X), H(Y)). 2. r A A X O Y X r Si O r; fijamos un punto cualquiera A r, y por A = H(A) trazamos la recta rr por A. X r, X A, X H(X) se cumple que d(O,X) = k.d(O,X). Adems d(O,A) = k.d(O,A); y de ambas relaciones surge: d(O, X) d (O, A) k d(O, X) d (O, A )

r, H(X)

Y Por el Recproco de Thales, r (A,X) r (A,X) o sea que r (A,X) = r por lo que H(r) r (*). Sea Y r; e {Y} = r (O,Y) r. d(O, Y) d (O, A) d (O, A) d (O, Y) k luego k o sea que Por Thales y como se tiene d(O, Y) d ( O, A ) d ( O, A ) d ( O, Y ) se cumple d(O,Y) = k.d(O,Y) por lo que H(Y) = Y con lo que hemos probado que: dado Y r existe Y r tal que H(Y) = Y o sea r H(R) (**). De (*) y (**) se tiene d(X,Y) = k.d(X,Y) es decir que d(H(Y)) = k.d(X,Y). 25

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Como consecuencia de estos resultados hagamos algunas Observaciones: i) Sea ha demostrado que las homotecias cumplen: i1. Transforman rectas en rectas paralelas; ii2. Como consecuencia; si consideramos un par de semirrectas ( O, O) = med. ng ( O, O ) = med. ng(H ( O),H( O)); es decir las homotecias conservan la medida de los ngulos; ii) Si X, Y, Z P y Z [X,Y] H(Z) [H(X), H(Y)] o sea que H es una homotecia de centro O y razn k IR*, entonces se tiene que H(C(A, r)) = C(H(A), k .r). Las homotecias transforman circunferencias en circunferencias. NOTA: Las proposiciones demostradas para homotecias de razones positivas en virtud de la Observacin iii.3 pgina 19 se tornan vlidas para las homotecias de razones negativas.

SEMEJANZAS.
Definicin 16: Llamamos SEMEJANZA de razn k ( k IR+ , k 0 ) a la funcin k ( o solamente) tal que: i. : es biyectiva; ) ii. d( (X), (Y)) = k.d(X,Y) ( X, Y Observaciones: (Y) . Es i. Si X Y, d(X,Y) 0 y por tanto (X), (Y)) 0 y esto implica (X) decir es biyectiva. ii. En virtud de la Definicin 15, las homotecias son semejanzas de un tipo especial. A continuacin presentaremos un resultado clave, que se refiere a la representacin de las semejanzas por producto de homotecias por isometras. 3. REPRESENTACION DE SEMEJANZAS Teorema 37: Para cada SEMEJANZA k (k IR*) y para cada punto O , si H es la homotecia de centro O y razn k tal que k = k, existe una nica isometra f y una nica isometra g tales que: Demostracin: probaremos que: i. H-1 ii. H-1 i. Por ser Hf y gH

=f = g, f y g son isometras.

y H-1 biyectivas, lo es f = H-1

26

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

(Y) , X = H-1(X) e Y= H -1 (Y). 1 Sabemos que d(X,Y) = k.d(X,Y) y que d(X,Y) = .d(X,Y), de donde d(X,Y) = k d(X,Y) por lo que f es una isometra. Como H -1 = f se tiene que = H f como queramos;

ii. Sean X, Y

; consideremos X =

(X) , Y =

iii. En cuanto a la unicidad: Si f, f tanto f = f . Se procede anlogamente para g. Observaciones:

tales que se cumple que

= H f = H f y por

i. Recprocamente; cualquiera sea la homotecia H Ho,k y cualesquiera sean las isometras f y g , H f y g H son SEMEJANZAS de razn k ; ii. Si es el conjunto de todas las semejanzas del plano entonces la estructura ( , ) es

un GRUPO no conmutativo ;
iii. Si r IR+, semejanza de Ry ; , entonces
( r ) R. Y si

(A,a) C ( (A), a) siendo a - k.a con k, la razn de

(A,a) es la circunferencia de centro A y radio a

iv. Ya que las homotecias transforman rectas en rectas paralelas y las isometras conservan la medida de los ngulos; las semejanzas tambin. v. Como las homotecias no cambian el sentido del plano, las semejanzas sern directas o indirectas o no segn sea la isometra asociada; vi. Las isometras son semejanzas de razn 1; por lo tanto ( , ) es un SUBGRUPO NO CONMUTATIVO DE ( ) ;

k es una semejanza de razn k IR+ (k 1), vii. como se demostrar en la GUA 4; si k (O) O . existe un nico punto O tal que Este punto O se llama punto fijo de dicha semejanza; es posible entonces representar de manera nica la semejanza como producto de una homotecia de centro O (H O,k) con k = k
po una isometra f. Tal que f es una representacin de centro O (si k es una semejanza directa) o es una simetra axial de eje pasando por O ( k es una semejanza indirecta) .

27

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

4. CRITERIO DE SEMEJANZA DE TRINGULOS:

Por considerarlos de inters en las aplicaciones, analizaremos condiciones suficientes de semejanza entre tringulos, llamados habitualmente: Criterio de Semejanza de Tringulos. Definicin 16: Decimos que los tringulos T(ABC) y T(ABC) son semejantes si existe una semejanza tal que (T) T (Es decir : (A) A , (B) B y (C) C ) Observaciones:

i.

A = A

C B C

La definicin 16 muestra que en se corresponden los ngulos del mismo vrtice y son d(A, B) d ( A , C) d (B, C) iguales, adems . d (A, B) d(A, C) d(B, C) ii. Dos tringulos T(ABC) y T(ABC) que cumplen las condiciones anteriores son semejantes. En efecto definimos una isometra f tal que f (A) = A, f (SA (B)) = SA (B) y f () = siendo el semiplano de borde r (A,B) que contiene a C y el de borde r (A,B) que contiene a C. Resulta entonces que f (B) = B SA (B); y como se tiene que ng(BAC) = ng(BAC) entonces f(SA (C)) = SA (C). Por otro lado f (C) = C con C SA (C). Y por la igualdad de los ngulos resulta r (B,C) paralela a r (B,C). Esto permita afirmar que: T(ABC) f T(ABC) HA,k T(ABC) siendo k = d (A, B) d(A, C) d(B, C) o sea T(ABC) k = HA, k f T(ABC) d(A, B) d ( A , C) d (B, C) Finalmente: iii. Si T(ABC) es tal que d(A,B) = d(A,B) y r (B,C) paralela a r (B,C), todo criterio que asegure la igualdad de los tringulos T(ABC) y T(ABC), asegura la semejanza de los tringulos T(ABC) y T(ABC), pues T(ABC) y T(ABC) son homotticos.

28

Geometra. 1 Ao Matemtica Ce.R.P del Norte- 2010

Teorema 38: PRIMER CRITERIO Si T(ABC) y T(ABC) son tringulos tales que ng(BCA) = d(A, B) d ( A , C) =ng(BAC) y ; entonces T y T son semejantes. d (A, B) d(A, C) d (A, B) d (A, C) Demostracin: Se cumple que comparando con la hiptesis y sabiendo d (A, B) d (A, C) que d(A,B) = d(A,B) resulta d(A,C) = d(A,C). Y con la igualdad de ngulos se tiene que T(ABC) = = T(ABC) y con esto implica la tesis.

Teorema 39: SEGUNDO CRITERIO Si T(ABC) y T(ABC) son tales que ng(BAC) = ng(BAC) y ng(ABC) = ng (ABC) entonces T y T son semejantes. Demostracin: T(ABC) y T(ABC) son iguales por tener respectivamente iguales loa ngulos de vrtice A y A y de B y B y adems d(A,B) = d(A,B) Teorema 40: TERCER CRITERIO Si T(ABC) y T(ABC) son tales que entonces T y T son semejantes . Demostracin: A cargo del lector.d (A, B) d (A, B) d ( A , C) d (A, C) d (B, C) d (B, C)

Diversos resultados consecuencias de stos han aparecido ya y otros aparecern a lo largo del curso.

29