Académique Documents
Professionnel Documents
Culture Documents
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.
En Preparacin:
Geometra Hiperblica pdf doc1 2 3
Geometra Proyectiva Prctica pdf doc
lgebra Lineal Mtodo Jordan pdf doc
Geometra Afn pdf doc
www.toomates.net
Primera parte: Geometra neutral.
1 Incidencia.
1.1 Los axiomas de incidencia. Planos incidentales.
1.2 Planos finitos triviales.
1.3 El plano de Fano.
1.4 El plano de Young.
2 Orden.
2.1 Los axiomas de orden. Planos ordenados. Segmentos y semirrectas.
2.2 Semiplanos.
2.3 Relacin de orden entre cuatro puntos.
2.4 ngulos.
2.5 Ordenacin de semirrectas con extremo comn.
2.6 El teorema Crossbar y aplicaciones.
2.7 ngulos suplementarios.
2.8 Polgonos. Tringulos. Cuadrilteros. Cuadrilteros regulares.
3 Congruencia.
3.1 Los axiomas de congruencia. Planos mtricos.
3.2 Congruencia y comparacin de segmentos.
3.3 Congruencia de ngulos.
3.4 Comparacin de ngulos.
3.5 ngulos rectos y rectas perpendiculares.
3.6 El teorema de los ngulos internos alternos.
3.7 Teorema del ngulo exterior.
3.8 Congruencia de tringulos.
3.9 Puntos medios, mediatrices, bisectrices, medianas y alturas.
3.10 Rectas y puntos notables del tringulo (1).
3.11 Congruencia de cuadrilteros.
3.12 Cometas.
4 Medicin.
4.1 Conjuntos convexos.
4.2 Particiones de Dedekind. Puntos de corte. Axioma de Dedekind.
4.3 Circunferencias.
4.4 Multiplicacin de segmentos. Postulado de Arqumedes.
4.5 Divisin de segmentos. Segmentos didicos.
4.6 Distancia entre puntos de una semirrecta.
4.7 Longitud de segmentos.
4.8 Amplitud de ngulos.
5 Paralelismo.
5.1 Suma angular y defecto de tringulos. El teorema Saccheri-Legendre.
5.2 Suma angular y defecto de cuadrilteros.
5.3 Las condiciones euclidianas principales. Plano eucldeo.
5.4 El teorema del Defecto Cero de Legendre.
5.5 Otras condiciones eucldeas.
Segunda parte: Geometra eucldea.
6 Paralelogramos.
6.1 Paralelogramos.
6.2 Rectas y puntos notables del tringulo (2).
6.3 Rectngulos.
6.4 Rombos.
6.5 Cuadrados.
6.6 Proyeccin paralela.
7 Semejanza.
7.1 Definicin axiomtica de rea.
7.2 Tringulos semejantes.
7.3 El teorema de Tales.
7.4 El teorema de Pitgoras.
7.5 Algunas figuras notables.
7.6 Tijeras-congruencia de polgonos.
8 Trigonometra.
8.1 Las razones trigonomtricas.
8.2
9 Circunferencias.
9.1 ngulos inscritos y cuerdas.
9.2 Polgonos regulares.
9.3 rea del crculo y longitud de la circunferencia. El nmero Pi.
9.4 Inversiones.
9.5 Cuadrilteros cclicos.
9.6 La razn urea.
11 Transformaciones eucldeas.
11.1 Isometras.
11.2 Translaciones.
11.3 Rotaciones.
11.4 Simetras.
11.5 Dilataciones.
12 Sistemas axiomticos.
12.1 Recopilatorio de axiomas de la geometra eucldea.
12.2 Fundamentos de la Geometra de Hilbert.
12.3 Los Elementos de Euclides.
12.4 SMSG Axioms for Euclidean Geometry.
12.5 Birkhoffs Axioms for Euclidean Geometry.
Tercera parte: Fundamentos de las matemticas.
13 Teora de conjuntos.
1.1 Nociones bsicas.
1.2 Funciones.
1.3 Relaciones de equivalencia.
1.4 Relaciones de orden.
1.5 Cortes. Cortes de Dedekind. Conjuntos completos.
1.6 Completacin de conjuntos.
Axioma I2.
En toda recta hay al menos dos puntos diferentes.
1.1.3 Proposicin.
Sean los puntos P y Q. Entonces:
a) P, Q PQ .
b) Si P Q y r pasa por P y Q entonces r PQ .
c) PQ QP .
1.1.4 Proposicin.
Toda recta r se puede escribir como PQ para ciertos puntos P y Q diferentes.
1.1.6 Proposicin.
Existen al menos tres puntos no colineales.
1.1.8 Proposicin.
Dos rectas diferentes se cortan como mucho en un punto. Dos rectas diferentes
concurrentes se cortan en un nico punto.
Demostracin. Sean r y s dos rectas diferentes. Supongamos que se cortan en dos puntos
diferentes P y Q. Entonces, aplicando 1.1.3 os veces, r PQ s , absurdo.
Dos rectas diferentes concurrentes se cortan en algn punto puesto que son
concurrentes, y no ms de un punto puesto que son diferentes.
1.1.9 Ejercicio.
Demostrar que el plano no est vaco, y por tanto nuestra geometra no es trivial. Debes
usar un nico axioma.
1.1.10 Ejercicio.
Demostrar que existen rectas en el plano. Debes usar dos nicos axiomas.
1.1.11 Ejercicio.
Supongamos que P, Q y R son puntos y P Q . Entonces P, Q y R son colineales si y
slo si R pertenece a PQ .
1.1.12 Ejercicio.
Supongamos que P, Q y R son puntos distintos. Entonces P, Q y R son colineales si y
slo si PQ PR QR
Demostracin: Si P, Q son puntos distintos, la recta PQ ser la nica recta que los
contenga (axioma I1). De la misma forma, Q y R distintos implica que la recta QR ser
la nica recta que contenga a Q y R, y si P y R son distintos la recta PQ ser la nica
recta que contenga a la vez a P y a R.
Entonces, si P, Q y R pasan por una misma recta r, tendremos que r PQ PR QR ,
y recprocamente, si r PQ PR QR , entonces P, Q, R r .
1.1.13 Ejercicio.
Existen al menos tres rectas no concurrentes.
1.1.14 Ejercicio.
Para cualquier recta r podemos encontrar siempre un punto P r .
Demostracin: Sea r una recta. Sabemos que existen tres puntos A, B y C no alineados,
(Axioma I3), luego al menos uno de los tres no pertenecer a r.
1.1.15 Ejercicio.
Para cualquier punto P, existir al menos una recta r que no pase por P.
1.1.16 Ejercicio.
Para cualquier punto P, existen al menos dos rectas diferentes pasando por P.
Demostracin: Por el ejercicio anterior, existir una recta r que no pasa por P. Por el
axioma I2, existirn al menos dos puntos diferentes A y B en r, por lo que r AB .
Tenemos que P A , pues P no pertenece a r por hiptesis, y de la misma forma P B .
Las rectas PA y PB pasan ambas por P, y son diferentes, pues si PA PB , entonces
B PA P AB r , llegando a contradiccin.
1.1.17 Ejercicio.
Supongamos que reemplazamos el axioma I3 por el siguiente axioma:
Axioma I3a: Existe una recta r y un punto P r .
Demuestra que de los axiomas I1, I2 y I3a podemos deducir el axioma I3.
Recprocamente, demuestra que de los axiomas I1, I2 y I3 podemos deducir el axioma
I3a. As pues, reemplazando el axioma I3 por el axioma I3a obtenemos un sistema de
axiomas equivalente.
Demostracin: Por el axioma I3a, existe una recta r y un punto P r . Por el axioma I2,
existirn dos puntos diferentes A, B en r, luego r AB . Los puntos A, B y P satisfacen
el axioma I3. Efectivamente, si existe una recta s que pasa por A, B y P, entonces
s AB r , luego P r , contradiciendo la hiptesis.
Recprocamente, por el axioma I3 existirn tres puntos diferentes A, B y C no
colineales. sea r AB . Entonces C r . Efectivamente, si C r , entonces los tres
puntos seran colineales, contradiciendo la hiptesis.
1.1.18 Ejercicio.
Sea r AB y C r . Si AC BC entonces AB AC BC .
Demostracin.
A AC BC
AC BC r AB AC BC por el axioma I1.
B BC AC
Estos dos planos as definidos satisfacen los axiomas I1, I2 y I3, y por tanto son planos
incidentales.
1.3 El plano de Fano.
1.3.2 Proposicin.
Todo plano de Fano es un plano incidental.
1.3.4 Ejercicio.
Todo par de rectas diferentes se cortan en un nico punto.
1.3.5 Proposicin.
En un plano de Fano existen exactamente siete puntos.
Demostracin.
Por el axioma F1 existir al menos una recta r1, y por el axioma F2 dicha recta
contendr exactamente tres puntos, digamos A, B y C. Adems, por el axioma F3
existir un punto D tal que D r1 . Por lo tanto son cuatro puntos diferentes.
Los puntos A y D pertenecen a una recta r2 por F4, y aplicando F2 a r2 existir tercer
punto E. E r1 , pues si E r1 entonces r1 r2 y por tanto D r1 , contradiciendo la
hiptesis.
De la misma forma obtenemos los puntos F BD y G CD .
1.3.6 Proposicin.
En un plano de Fano cada punto pertenece a exactamente tres rectas.
Demostracin.
1.3.7 Proposicin.
En un plano de Fano no existe ningn punto que pertenezca a todas las rectas a la vez.
Demostracin.
1.3.8 Proposicin.
En un plano de Fano existen exactamente siete rectas.
Demostracin.
Axioma B1.
Si A*B*C entonces:
a) C*B*A.
b) Los puntos A, B y C estn en una misma recta.
c) A, B y C son puntos diferentes.
Axioma B3.
Supongamos que A, B y C son puntos diferentes de una misma recta r. Entonces ser
cierta una y slo una de las siguientes afirmaciones:
(a) A*B*C, (b) B*A*C, (c) A*C*B
Es decir, uno y slo uno de ellos estar entre los otros dos.
Observacin.
El axioma B3 implica que las rectas no son circunferencias. Dados tres puntos de una
circunferencia, siempre podemos decir que cualquiera de ellos est entre los otros dos.
Axioma B4.
Si r es una recta, y P, Q y R puntos que no pertenecen a r. Entonces:
2.1.5 Proposicin.
Sean dos puntos P y Q. Entonces PQ PQ .
2.1.6 Proposicin.
Sean dos puntos P y Q. Entonces PQ QP .
Demostracin: Sea X PQ . X P QP X Q QP P * X * Q
Si P * X * Q entonces tambin Q * X * P , por lo que X QP .
2.1.9 Proposicin.
Sean P y Q dos puntos diferentes. Entonces PQ PQ .
Demostracin. Si X PQ X PQ PQ P * Q * X
Si P * Q * X entonces P, Q y X pertenecen a una misma recta por el axioma B1b y esta
recta tiene que ser forzosamente PQ por 1.1.3b.
2.1.10 Proposicin.
Si A*B*C o C*A*B entonces C AB .
2.1.11 Ejercicio.
Demostrar que si C * A * B entonces C AB .
2.1.12 Ejercicio.
Demostrar que si A B , entonces AB BA AB .
Demostracin. Si P A P AB BA P AB .
De la misma P B P AB BA P AB .
Si P A, B entonces
P AB BA
( A * P * B A * B * P) ( B * P * A B * A * P)
A * P * B ( A * B * P B * A * P)
Pero A * B * P B * A * P es imposible por el axioma B3, luego
P AB BA A * P * B P AB
2.1.13 Ejercicio.
Demostrar que si A B , entonces AB BA AB .
Demostracin. Si P A P AB BA P AB .
De la misma P B P AB BA P AB .
Si P A, B entonces
P AB BA
( A * P * B A * B * P) ( B * P * A B * A * P)
A* P * B A* B * P B * A* P
Pero por el axioma B3:
A * P * B A * B * P B * A * P P AB
2.1.15 Ejercicio.
Los extremos A y B de AB son los nicos puntos del segmento que no estn entre dos
puntos del mismo.
b) Propiedad simtrica: P r Q Q r P
P r Q PQ r , pero PQ QP , luego QP r Q r P
c) Propiedad transitiva: P r Q Q r R P r R
Es el axioma B4a.
Pr {Q r | P r Q}
2.2.3 Lema.
Toda recta r determina al menos dos semiplanos.
2.2.4 Proposicin.
Toda recta determina exactamente dos semiplanos.
2.2.6 Ejercicio.
Sean P, Q y R tres puntos que no pertenecen a una recta r. Si P r Q y Q r R ,
entonces P r R .
2.2.7 Ejercicio.
Sean una recta r, A r y B r . Todo punto de la semirrecta AB , excepto A, pertenece
a B r , es decir, es colateral con B respecto a r.
Demostracin. En primer lugar observamos que el nico punto de corte entre r y AD es
A, pues son rectas diferentes.
P AB A * P * B A * B * P P A P B
El caso P A queda descartado, y el caso P B es trivial. Vamos los dos casos
restantes.
Supongamos A*P*B o A*B*P. Si X PB r X A , pues PB AD . Luego
tendramos P*A*B, contradiciendo la hiptesis (Axioma B3). Luego PB r , es
decir, P Br .
2.3 Relacin de orden entre cuatro puntos.
Con otras palabras, los cuatro puntos estarn ordenados cuando, descartando cualquiera
de los cuatro, los otros tres mantienen el orden.
2.3.2. Proposicin.
Si A*B*C*D entonces A, B, C y D son diferentes y colineales.
2.3.3 Proposicin.
Si A*B*C*D entonces D*C*B*A.
B * C * D D * C * B
A * C * D D * C * A
A* B *C * D D *C * B * A
A * B * D D * B * A
A * B * C C * B * A
Demostracin. A * B * C * D B * C * D A * C * D A * B * D A * B * C
Tenemos que comprobar B*C*D y A*B*D.
A * C * D A, C, D AC , y de la misma forma A * B * C A, B, C AC , luego
A, B, C, D AC . Definimos r AC .
Sea E un punto E AC (1.1.17).
Las rectas AC y CE se cortan nica y exclusivamente en el punto C, pues son
diferentes (1.1.8)
A * B * C C AB , luego AB r , y por lo tanto A r B
A * C * D A r D
Aplicando 1.2.17 tenemos que B r D , luego BD r . Pero BD AC , luego
forzosamente BD r C , es decir B*C*D.
De la misma forma se demuestra la condicin A*B*D.
Demostracin.
A * B * D D * B * A
D *C * B * A A* B *C * D
B * C * D D * C * B
2.3.7 Proposicin.
Si A * B * C , A * B'*C y B B' entonces A * B * B'*C o A * B'*B * C .
Demostracin. A, B y B son diferentes y colineales, luego se tiene que dar uno de los
tres casos siguientes: i) A * B * B' , ii) A * B'*B o iii) B * A * B' .
i) A * B * B' A * B'*C A * B * B'*C .
ii) A * B'*B A * B * C A * B'*B * C
iii) B * A * B' A * B'*C B * A * B'*C B * A * C absurdo, pues suponemos A * B * C .
2.3.8 Proposicin.
Si A * B * C , A * B * C ' y C C ' entonces A * B * C * C' o A * B * C'*C .
Demostracin. A, C y C son tres puntos diferentes y colineales, luego se tiene que dar
uno de los tres casos siguientes: i) A * C * C ' , ii) A * C '*C o iii) C * A * C ' .
i) A * C * C' A * B * C A * B * C * C'
ii) A * C'*C A * B * C' A * B * C'*C
iii) C * A * C' A * B * C' C * A * B * C' C * A * B absurdo, pues suponemos
A* B *C .
2.3.9 Proposicin.
Si A, B, C y D son cuatro puntos diferentes y colineales, y se cumple A * B * C .
Entonces se cumple una y slo una de las siguientes afirmaciones:
2.3.10 Corolario.
Si A, B, C y D son cuatro puntos diferentes y colineales, entonces existe una
permutacin X, Y, Z, W de estos cuatro puntos tal que X*Y*Z*W.
2.3.11 Teorema.
Si B * A * C entonces BA BC .
Demostracin. P BA B * P * A .
B * P * A B * A * C B * P * A * C B * P * C P BC .
Si P A o P C es trivial.
2.3.12 Ejercicio.
Supongamos que B * A * C . Entonces BA AC BC , y BA AC A .
Demostracin.
BA BC
B * A*C BA AC BC .
C * A * B AC BC
Est claro que A BA AC . Veamos BA AC A. Sea P BA AC
Si P B A * B * C , incompatible con B * A * C .
Si P A A {A} .
Si P C B * C * A , incompatible con B * A * C .
Si B * P * A A * P * C : A * P * C B * A * C A * B * P * C A * B * C , incompatible
con B * A * C .
2.3.13. Proposicin.
Si C*A*B entonces AB AC A.
Demostracin.
AB AC ( AB {P | A * B * P}) ( AC {P | A * C * P})
( AB AC ) AB {P | A * B * P}
({P | A * B * P} AC ) {P | A * B * P} {P | A * C * P}
{ A}
AB AC {A} por 2.3.12.
AB {P | A * B * P} pues A*P*B y A*B*P son incompatibles.
{P | A * B * P} AC pues A * P * C C * P * A * B P * A * B incompatible con
A*P*C.
{P | A * B * P} {P | A * C * P} , pues
A * B * P C * A * B C * A * B * P C * A * P , incompatible con A * C * P .
2.3.15 Proposicin.
Si A*B*C, entonces AC BC BA
2.3.16 Ejercicio.
Supongamos que A*B*C. Entonces AB AC .
2.3.17 Ejercicio.
Supongamos que P AB , y P A . Entonces AB AP , y B AP .
Demostracin. Si P B trivialmente AB AP .
Si A * P * B entonces por el ejercicio anterior, 2.3.16, AP AB .
Si A * B * P , igualmente por 1.4.14 deducimos que AP AB .
Ahora es trivial que B AB AP .
2.3.18 Ejercicio.
Toda recta contiene infinitos puntos.
2.3.19 Ejercicio.
Todo segmento contiene infinitos puntos.
2.3.21 Lema.
El punto A de la semirrecta AB es el nico punto de la semirrecta que no est entre
otros dos puntos cualesquiera de la misma.
Demostracin. Claramente A AB AB por 2.1.8.
Supongamos que existen C , D AB tales que C * A * D , es decir, A est entre otros dos
puntos de la semirrecta. Luego A D por el axioma 1.2.1(c), y por 1.4.16 tenemos que
AB AD . Pero ahora, por 2.1.10, deducimos que C AD AB , contradiciendo la
hiptesis.
Veamos que el resto de puntos de la semirrecta estn entre dos puntos de la misma.
Sea C AB , C A . Nuevamente por 2.3.17 AB AC , y por el Axioma B2, existir
un D tal que A*C*D. El punto D AC claramente, luego D AB , y por tanto C est
entre dos puntos de la semirrecta.
2.3.22 Corolario.
Si AB y CD son iguales como conjuntos, entonces A=C.
Demostracin. A es el nico punto del conjunto AB que no est entre otros dos puntos
del mismo. Y por otro lado, C es el nico punto del conjunto CD que no est entre
otros dos puntos del mismo. Si AB CD , entonces A=C por unicidad.
2.3.23 Ejercicio.
Si A * B * C , D BC y D B entonces A*B*D.
Demostracin.
2.3.24 Ejercicio.
Si A * B * C , D BC y D B entonces A*B*D.
Demostracin.
Sea D BC D B . Si D C es trivial. Si B * D * C A * B * D * C A * B * D .
Si B * C * D A * B * C * D A * B * D .
2.3.26 Proposicin.
op( AB ) AC para cualquier punto C * A * B .
Demostracin.
Sea C cualquier punto C * A * B .
Veamos en primer lugar op( AB ) AC .
Sea P (AB ) .
Si P A entonces claramente P A AC , y de la misma forma, si P C entonces
P C AC .
Supongamos que P A, C , es decir, P * A * B .
P * A * B y C * A * B implica P * C * A * B o C * P * A * B (2.3.7)
Si P * C * A * B entonces P * C * A y por tanto P AC .
Si C * P * A * B entonces C * P * A y por tanto P AC .
En todo caso, P AC .
2.3.27 Ejercicio.
a) AB op( AB) A
b) AB op( AB) AB
Demostracin.
2.4 ngulos.
2.4.2 Proposicin.
Sean A, B, C tres puntos no colineales. Si B' AB y C ' AC , con B' A y C ' A ,
entonces A, B y C son tambin no colineales y BAC B' AC ' .
Demostracin. Supongamos que existe una recta r tal que A, B' , C ' r .
B' AB AB y por lo tanto AB r (Axioma I1)
De la misma forma llegamos a AC r , luego A, B, C r , absurdo.
Por lo tanto B' AB y B' A entonces AB AB' (2.3.17), y de la misma manera
AC AC ' , luego BAC AB AC AB' AC ' B' AC '
Se define el exterior del ngulo BAC por el conjunto de todos los puntos que no estn
en su interior.
2.5.1 Proposicin.
Sea un ngulo BAC y D un punto de su interior. Entonces todos los puntos de AD ,
exceptuando A, pertenecen tambin al interior de BAC .
2.6.1 Lema.
Si C y D son dos puntos en lados opuestos de una recta r AB , A B , entonces las
semirrectas AC y BD son disjuntas.
2.6.5 Proposicin.
Si D est en el interior de BAC , el interior de BAD es un subconjunto del interior
de BAC .
2.6.6 Proposicin.
Dadas tres semirrectas con origen A, como mucho una de ellas puede estar entre las
otras dos.
Demostracin. Supongamos AB AC AD y AB AD AC . Entonces, aplicando
1.7.4 llegaramos al absurdo AC AD AC .
2.6.7 Ejercicio.
Dibuja en un papel tres semirrectas para las cuales ninguna de ellas est entre las otras
dos. El axioma B3 no es vlido para la relacin de orden que hemos establecido con los
ngulos (slo funciona cuando dos de las semirrectas estn en el mismo semiplano que
determina la tercera).
2.7 ngulos suplementarios.
Demostracin. Sea un ngulo BAD . Por el Axioma B2 existir un punto C tal que
B*A*C. El punto D no pertenece a BA BC , luego tenemos todas las condiciones de la
definicin de ngulos suplementarios.
2.7.3 Proposicin.
Los interiores de dos ngulos suplementarios son disjuntos.
2.7.4 Proposicin.
Supongamos B*A*C y sea D BC . Sea E un punto al mismo lado de BC que D.
Entonces ser cierta una y slo una de las siguientes sentencias: (a) E est en el interior
de BAD , (b) E est en la semirrecta AD , (c) E est en el interior de CAD .
2.7.5 Proposicin.
Supongamos que B*A*C. Si AB AD AE entonces AD AE AC .
En el caso del tringulo esto no pasa. Un tringulo s queda determinado por sus tres
vrtices.
Diremos que un polgono es equiltero cuando todos sus lados sean congruentes.
Los puntos A, B y C son los vrtices del tringulo. Los segmentos AB , BC y CA son
los lados del tringulo. Los ngulos B ABC , C ACB y A CAB son los
ngulos del tringulo.
El interior del tringulo ABC se define como la interseccin de los tres interiores de
A , B y C . El exterior del tringulo ABC es el conjunto de puntos que no
estn en el tringulo ni en su interior.
2.8.4 Observacin.
Los vrtices del tringulo son los nicos puntos que no estn entre otros puntos del
tringulo. As pues, los vrtices estn bien definidos, es decir, no dependen de cmo
queda determinado, slo del tringulo en s mismo como conjunto de puntos.
2.8.5 Proposicin.
Sean A, B, C tres puntos no colineales. El interior del tringulo ABC es la
interseccin de tres semiplanos, en concreto es ABC BCA C AB
Demostracin.
P Int A Int B Int C
P AB C P AC B P AB C P BC A P AC B P BC A
P AB C P AC B P BC A P ABC BCA C AB
Nota: En 2.8.11 se ver que slo hace falta que se cumplan dos de las cuatro
condiciones.
2.8.8 Lema.
Un cuadriltero ABCD es regular si y slo si se cumplen las cuatro condiciones
siguientes:
i) AB no se corta con CD .
ii) BC no se corta con DA .
iii) CD no se corta con AB .
iv) DA no se corta con BC .
Nota: En 2.8.10 se ver que slo hace falta que se cumplan tres de las cuatro
condiciones.
2.8.9 Corolario.
Sea un cuadriltero ABCD . Si C est en el interior de A y A est en el interior de
C entonces es regular.
Demostracin. Veamos que se cumplen las cuatro condiciones del lema 1.9.6. Si C est
en el interior de A . Entonces C AB D y C AD B . C AB D implica que CD no se
corta con AB (condicin iii). C AD B implica que CB no se corta con AD (condicin
ii).
De la misma manera, si A est en el interior de C . Entonces A CD B y A BC D .
A CD B implica que AB no se corta con CD (condicin i). A BC D implica que AD
no se corta con BC (condicin iv).
2.8.10 Proposicin.
Si tres de las cuatro condiciones del lema 2.8.8 son ciertas, el cuadriltero es regular.
Demostracin.
Supongamos que son ciertas las tres primeras:
i) AB no se corta con CD .
ii) BC no se corta con DA .
iii) CD no se corta con AB .
Supongamos que no se cumple la iv), es decir, DA se corta con BC . Sea X DA BC .
Se pueden dar tres casos: X*B*C, B*X*C o B*C*X.
El caso B*X*C implica que BC corta a DA , contradiciendo ii).
Supongamos el primer caso: X*B*C.
A DAB XAB , y puesto que X*B*C, se deduce que C no est en el interior de
A (CrossBar Betweenness 1.5.6). Pero las condiciones ii) y iii) juntas aseguran
precisamente lo contrario, llegando a una contradiccin.
El tercer caso B*C*X nos llevar igualmente a una contradiccin, por lo que vemos que
la condicin iv) se debe cumplir, es decir, el cuadriltero es regular.
2.8.11 Corolario.
Si un cuadriltero cumple dos de las cuatro condiciones de la definicin 2.8.7 entonces es
regular.
Demostracin.
Supongamos que se cumple i) y ii).
i) C est en el interior de A implica C AB D CD AB y tambin
C AD B CB AD .
ii) D est en el interior de B implica D AB C CD AB y tambin
D BC A DA BC .
Por lo tanto se cumplen las condiciones ii), iii) y iv) del lema 1.9.6, luego aplicando el
lema 1.9.10, el cuadriltero es regular.
2.8.12 Proposicin.
En todo cuadriltero regular las diagonales se cortan en un punto.
Las rectas BD y AC son diferentes, pues si fueran la misma recta los cuatro puntos
seran colineales, contradiciendo la definicin de cuadriltero. Por lo tanto la
interseccin de BD y AC ser como mucho un punto.
C est en el interior de DAB , luego por el teorema CrossBar (1.7.3) la semirrecta AC
corta el segmento BD en un punto E. Siguiendo el mismo razonamiento, A est en el
interior de DCB , luego por el teorema CrossBar (1.7.3) la semirrecta CA corta el
segmento BD en un punto E. Y puesto que hemos visto al principio que las dos rectas
BD y AC se cortarn como mucho en un punto, nos queda
E E' AC CA BD AC BD , puesto que AC CA AC por 1.2.15.
2.8.14 Proposicin.
Todos los trapecios son regulares.
Demostracin.
Vemos que se cumplen tres de las cuatro condiciones del lema 2.8.8
AD // BC AD BC (iv),
AD // BC BC AD (ii)
C y D estn al mismo lado de AB implica CD AB (iii)
Luego aplicando la proposicin 2.8.10 deducimos que es regular.
3 Congruencia.
3.1 Los axiomas de congruencia. Planos mtricos.
Axioma C1.
La relacin de congruencia entre segmentos es una relacin de equivalencia, es decir,
cumple las propiedades:
(a) simtrica: AB A' B' A' B' AB
(b) reflexiva: AB AB
(c) transitiva: AB A' B' AB A' ' B' ' A' B' A' ' B' '
Axioma C2.
Sea AB un segmento y CD una semirrecta. Entonces existe un nico punto E CD tal
que AB CE .
Axioma C3.
Si AB A' B' y C es un punto tal que A*C*B, entonces existir un punto C tal que
A*C*B y AC A'C ' y CB C ' B' . Ms adelante se demostrar que dicho punto es
nico.
Axioma C4.
La relacin de congruencia entre ngulos es una relacin de equivalencia, es decir,
cumple las propiedades:.
(a) simtrica: BAC B' A' C' B' A' C' BAC
(b) reflexiva: BAC BAC
(c) transitiva: BAC B' A' C' B' A' C' B' ' A' ' C' ' BAC B' ' A' ' C' '
Axioma C6.
Diremos que dos tringulos ABC y A' B' C ' son congruentes, y escribiremos
ABC A' B' C' , cuando podamos establecer una biyeccin entre sus vrtices
A A' B B' C C'
de forma que se correspondan lados y ngulos congruentes:
A A' , B B' , C C' , AB A' B' , BC B'C ' y AC A'C ' .
Sea ABC un tringulo y A' B' un segmento tal que A' B' AB . Entonces en cada uno de
los lados de A' B' existir un punto C tal que ABC A' B' C' .
3.1.2 Observacin.
La congruencia entre tringulos ser claramente una relacin de equivalencia, pues lo
son por separado la congruencia de segmentos y de ngulos.
3.1.3 Proposicin.
El punto C del axioma C3 es nico.
Demostracin. Sea AB A' B' y C un punto tal que A*C*B. Sea el punto C tal que
A*C*B y AC A'C ' y CB C ' B' .
Supongamos que existe otro punto C tal que A*C*B y AC A'C ' ' y CB C ' ' B' .
Entonces C ' , C ' ' A' B' cumpliendo ambos AC A'C ' ' y AC A'C ' , luego C ' C ' ' por
la unicidad del axioma C2.
3.1.4 Proposicin.
El punto C del axioma C6 es nico.
Demostracin. Supongamos que existe un C que tambin cumple las condiciones del
axioma.
Entonces CAB C' A' B' y tambin CAB C' ' A' B' , luego por la unicidad del
axioma C5 tenemos que A' C A' C ' ' . Pero tambin tenemos que AC AC ' y
AC AC ' ' , luego por la unicidad del axioma C2 tenemos que C ' C ' ' .
AB AC B C
Por lo tanto BCD CBE . Y puesto que ABE ACD , restando los ngulos
llegamos a ABC ACB , tal y como queramos ver.
3.7.1b Problema.
Resuelve el problema #81 de [Prob2]. Este problema es muy famoso y en su solucin
nicamente se utiliza la propiedad fundamental del tringulo issceles.
3.1.8 Definicin. Tringulo equiltero. (Elementos 1 Definicin 20)
Un tringulo es equiltero cuando tenga los tres lados congruentes.
Demostracin. Basta aplicar el criterio SAS a los tringulos ABC , ACB y BAC .
Demostracin. Por el axioma C2 existir un punto C ' ' A' C ' tal que AC A'C ' ' .
Queremos ver que C=C.
Existir un punto B' ' A' C ' ' tal que AB A' B' ' y BC B' ' C ' '
Pero AB A' B' , luego por unicidad tenemos que B' B' ' .
Ahora bien, tenemos que BC B' ' C ' ' B' C ' ' y BC B'C ' , luego por unicidad
llegamos a C=C.
Demostracin. Por C3 existir un punto X en A'C ' tal que AB A' X y BC XC ' .
Pero por la unicidad de C2 tenemos que X=B, y por tanto BC B'C ' .
3.2.5 Proposicin.
Si A * B * C entonces AB AC .
3.2.7 Lema.
Si AB es un segmento, no es cierto AB AB .
3.2.9 Proposicin.
Supongamos que AD AE . Entonces AD AE A * D * E .
3.3.1 Proposicin.
Supongamos que y son dos ngulos suplementarios, y que ' y ' tambin son
dos ngulos suplementarios. Entonces si ' entonces ' .
3.3.6 Proposicin.
Supongamos que BAC B' A' C' , y supongamos que AB AD AC , es decir, D
est en el interior de BAC . Entonces existir una nica semirrecta A' D' tal que
A' B' A' D' A' C ' , BAD B' A' D' y DAC D' A' C' .
Demostracin. Existir un B' ' A' B' tal que AB A' B' ' . (Axioma C2)
Existir un C ' ' A' C ' tal que AC A'C ' ' . (Axioma C2)
Puesto que BAC B' A' C' B' ' A' C' ' , podemos aplicar SAS para deducir que
BAC B' ' A' C' ' , y por tanto BC B' ' C ' ' , y ABC A' B' C' .
Existir un punto E AD tal que C*E*B (por CrossBar 1.7.3), y puesto que
BC B' ' C ' ' , existir un punto E ' B' C ' , es decir B'*E'*C ' , tal que BE B' E ' y
CE C ' E ' (axioma C3).
Veamos que la semirrecta A' E ' cumple las condiciones deseadas.
E pertenece al interior de B' A' C ' por 1.5.6.
ABC A' B' C' A' B' E' , AB A' B' y BE B' E ' , luego ABE A' B' E' por
SAS, y por tanto BAD BAE B' A' E' , AEB A' E' B' , y AE A' E ' .
Puesto que AEB A' E' B' , AEC A' E' C' , pues ambos son suplementarios de
dos ngulos congruentes (2.3.1).
Puesto que CE C ' E ' , AE A' E' y AEC A' E' C' , podemos aplicar SAS para
deducir que AEC A' E' C' , y por tanto DAC EAC E' A' C' .
Veamos ahora la unicidad de dicha semirrecta. Supongamos que existe una segunda
semirrecta A' D' ' tal que A' B' A' D' ' A' C ' , BAD B' A' D' ' y DAC D' ' A' C' .
Los puntos D y D estarn al mismo lado de la recta A' B' , pues D est en el interior
de B' A' C ' , luego D' ' A' B ' C ' , y D tambin pertenece al interior de B' A' C ' , luego
D' A'B ' C ' , por tanto, D' A'B ' D' ' por transitividad de la colateralidad de puntos (1.3.1c).
Por la unicidad del axioma C5, A' D' ' A' D' .
Demostracin. Aplicando la proposicin 2.3.5, existir una nica semirrecta A' D' ' tal
que A' B' A' D' ' A' C ' , BAD B' A' D' ' y DAC D' ' A' C' .
D y D estn en el mismo lado de A' B' (por el mismo razonamiento que hemos hecho
en la unicidad de la demostracin de 2.3.6), y por lo tanto
DAC D' ' A' C' D' A' C' .
3.4 Comparacin de ngulos.
Demostracin. Sean BAC , ' B' A' C' , DEF y ' D' E' F ' .
Supongamos que . Entonces existir un punto G en el interior de tal que
DEG .
Supongamos que ' . Luego ' DEG , y por tanto ' .
Supongamos ' . Por 2.3.6, existir un punto G en el interior de ' tal que
DEG D' E' G' .
Luego DEG D' E' G' , es decir, ' .
3.4.3 Proposicin.
Si AB AD AC , entonces BAD BAC .
Demostracin. Basta aplicar la propia definicin y tener en cuenta que BAD BAD .
3.4.5 Proposicin.
Sean y dos ngulos suplementarios, y ' y ' otros dos ngulos suplementarios. Si
' entonces ' .
Demostracin. Sean tres puntos C*A*B de una recta r, y D, E dos puntos en el mismo
lado de la recta tales que BAD y BAE (axioma C5).
Por 1.8.4, suceder una y slo una de las siguientes afirmaciones:
(a) E pertenece al interior de BAD , (b) E pertenece a semirrecta AD o (c) E pertenece
al suplementario de BAD .
Si sucede (a) entonces . Si sucede (b) , si sucede (c) tenemos que
EAC DAC , pero entonces BAD EAC por 2.4.5, es decir, .
Acabamos de ver que se da al menos una de las afirmaciones anteriores. Veamos que
son incompatibles entre ellas, es decir, que slo se puede dar una a la vez. Veremos que
todas las posibilidades llegan a , que contradice la proposicin 2.4.6.
Si se cumple (a) y (b) tenemos que .
De la misma forma, si se cumple (b) y (c) llegamos a .
Y, por ltimo, si se cumple (a) y (c) , por transitividad (2.4.4) se llega
igualmente a .
3.5 ngulos rectos y rectas perpendiculares.
3.5.2 Proposicin.
Sea un ngulo recto. Entonces:
i) Todo ngulo congruente con tambin es recto.
ii) Todo ngulo suplementario de tambin es recto.
Demostracin.
Veamos ahora la unicidad. Supongamos que existe otra recta s2 tal que P s2 y tambin
es perpendicular a r. Es decir que podemos encontrar puntos X , Y s2 , cumpliendo
X*P*Y, y puntos B, C r , B*P*C, para los que YPC es recto. Supongamos que Y y
A estn en el mismo lado respecto a r (en caso contrario cogemos el punto X). Puesto
que APQ es recto, por el axioma C5 se deduce que PY PA , por lo que Y PA y por
tanto s2 s .
3.6 El teorema de los ngulos internos alternos.
3.6.1 Definicin. ngulos determinados por dos rectas y una secante comn.
Una recta secante comn a dos rectas r y s diferentes determinan cuatro ngulos:
Los cuatro ngulos que estn entre r y s (3,4,5 y 6) se denominan ngulos internos. Los
otros cuatro (1, 2, 7 y 8) se denominan ngulos externos.
Demostracin.
Supongamos que X AC BD .
3.6.3 Corolario.
Si s1 y s2 son dos rectas perpendiculares a una misma recta r, entonces son paralelas.
Demostracin. Sea s la nica recta perpendicular a r que pasa por P (3.5.5). Sea t la
nica recta perpendicular a s y que pasa por P (3.5.7). Las rectas t y r son ambas
perpendiculares a la recta s, luego t y r son perpendiculares (3.6.3).
3.7.2 Teorema del ngulo exterior. Exterior Angle Theorem (Elementos 1.16)
Dado un tringulo ABC y un punto D tal que B*C*D, entonces el ngulo exterior
ACD es mayor que los ngulos interiores opuestos A y B .
Demostracin.
a) ACD A .
Supongamos que no es cierto, es decir, ACD A o ACD A (por tricotoma
2.4.7)
Si ACD A , entonces AB // CD por el Teorema de los ngulos alternos, pero
sabemos que B AB CD , llegando a contradiccin.
Supongamos que ACD A . Entonces existir una semirrecta AE interior a A tal
que ACD CAE , y adems, por el Teorema Crossbar, podemos escoger un E tal
que B*E*C, es decir, E CD . Observamos que D y E estn en lados opuestos de AC
(pues B*E*C y B*C*D implica B*E*C*D y por tanto E*C*D) , y que
DCA CAE . Luego, aplicando el Teorema de los ngulos alternos, deducimos
que CD // AE . Pero E CD AE , absurdo.
b) ACD A .
Sea F un punto tal que A*C*F. Los ngulos ACD y BCF son ngulos opuestos por
el vrtice, luego ACD BCF (2.3.3).
Ahora podemos aplicar la primera parte de esta proposicin al ngulo exterior
BCF respecto del ngulo interior B , por lo que B BCF ACD .
Demostracin. Sea ABC un tringulo rectngulo con ngulo recto. Sea D un punto tal
que B*A*D. CAD ser un ngulo exterior del tringulo con un ngulo suplementario
A recto, luego CAD ser recto, y aplicando el Teorema del ngulo exterior (2.7.2),
CAD B y CAD C .
Demostracin. Veamos BC AC A B :
Si BC AC entonces existir un punto D tal que B*D*C y CD AC .
Aplicando Crossbar Betweeneess (1.5.5) D estar en el interior de A , por lo que
CAD A (Proposicin 2.4.3)
ADC es issceles en C, luego CAD ADC (2.1.12) y por tanto
ADC B por el Teorema del ngulo exterior en ABD .
Aplicando transitividad llegamos a B ADC CAD A .
Veamos A B BC AC .
Por tricotoma (2.4.7), BC AC , o BC AC o BC AC . Veamos que las dos
primeras posibilidades nos llevan a contradiccin:
Si BC AC , entonces ABC ser issceles en C, luego A B contradiciendo la
hiptesis.
Si BC AC , podemos aplicar la primera parte de esta demostracin, para deducir que
entonces A B , contradiciendo igualmente la hiptesis.
3.7.8 Lema.
Sea un tringulo ABC , y D un punto tal que B*D*C. Entonces si AC AB o
AC AB entonces AC AD .
Veamos ahora que BC B' C ' A A' . Supongamos lo contrario, es decir, que
A A' o A A' .
Si A A' , entonces por SAS tenemos que ABC A' B' C' , pero entonces
BC B'C ' , contradiciendo la hiptesis.
Si A A' , entonces podemos aplicar la primera parte de esta demostracin para
concluir que BC B'C ' , contradiciendo igualmente la hiptesis. As pues, la nica
posibilidad vlida es A A' .
3.7.10 Proposicin. Desigualdad triangular (primera versin).
Sea un tringulo ABC , y sea D un punto tal que A * B * D , y BD BC . Entonces
AC AD .
3.7.11 Lema.
Sea un tringulo ABC , con A y C agudos. Trazamos desde B la perpendicular s a
AC . Sea F el punto de interseccin entre s y AC . Entonces A*F*C.
3.7.12 Lema.
Todo tringulo tiene al menos dos ngulos agudos.
Demostracin. Por el axioma C6, existir un punto D tal que ABD A' B' C' , con D y
C colaterales respecto a la recta AB . Puesto que
DAB C' A' B' A' A CAB , por el axioma C5 tenemos que
AD AC D AC .
De la misma manera ABD A' B' C' B' B ABC implica
BD BC D BC .
As pues, D BC AC , pero las rectas BC y AC se cortan nicamente en C (pues A,
B y C son puntos no colineales) luego D C , y ABC ABD A' B' C' .
3.8.5 Ejercicio.
Dibuja un contraejemplo para ASS, de la siguiente manera: Dibuja dos tringulos
ABC y ABC ' que difieren en un nico vrtice y haz que B, C y C sean colineales.
No tienes que justificar rigurosamente este contraejemplo, pero asegrate de que quede
claro en el esquema que es realmente un contraejemplo.
Demostracin.
Basta tener en cuenta que un tringulo equiltero es issceles en cada uno de sus
vrtices y aplicar el teorema 3.8.3 dos veces: Si AB AC entonces B C , y si
AB BC entonces A C , por lo que concluimos A B C .
3.8.7 Teorema. Criterio HL de congruencia de tringulos rectngulos.
Sean ABC y A' B' C ' dos tringulos rectngulos en A y A respectivamente.
Entonces si AB A' B' y BC B'C ' , entonces sern congruentes.
En otras palabras, si dos tringulos rectngulos son congruentes cuando comparten la
hipotenusa y uno de los catetos.
3.9.2 Lema.
Si un segmento tiene punto medio, entonces es nico.
3.9.3 Lema.
Supongamos que AB es un segmento y que C y D son puntos en lados opuestos de
AB , y que BAC y ABD son rectos. Entonces CD no puede contener A o B.
3.9.4 Lema.
Sea AB un segmento y C y D puntos en lados opuestos de AB , con BAC y ABD
ngulos rectos. Entonces CD corta AB en un punto M tal que A*M*B.
Por el teorema de los ngulos opuestos por el vrtice (3.3.3), AMC DMB .
MAC BAC ngulo recto.
DBM ABD ngulo recto.
Y puesto que BD AC , podemos aplicar el criterio AAS para garantizar que los
tringulos CAM y DBM son congruentes, por lo que AM MB , es decir, M es el
punto medio del segmento AB .
La unicidad del punto medio qued demostrada en el lema 3.9.2.
3.9.9 Proposicin.
Todo segmento tiene una nica mediatriz.
Demostracin. Sea un tringulo ABC . Trazamos la mediatriz del lado AB y del lado
AC . Estas dos rectas no pueden ser paralelas por (????). Sea O su punto de corte.
Para demostrar que O tambin pertenece a la mediatriz asociada al lado BC ,
utilizaremos repetidamente la caracterizacin de 3.9.10:
BO OA por estar O en la mediatriz del lado AB .
CO OA por estar O en la mediatriz del lado AC .
Luego BO OA CO BO CO y por tanto O pertenece a la mediatriz asociada
al lado BC .
3.10.3 Corolario.
El circuncentro de un tringulo equidista de los tres vrtices, por lo que ser el centro de
la circunferencia circunscrita, aquella que pasa por los tres vrtices al mismo tiempo.
3.10.4 Proposicin.
Sea ABC un tringulo issceles en A (es decir, AB AC ). Entonces coinciden:
i) la mediana por el vrtice A.
ii) la mediatriz del tringulo por el vrtice A.
iii) la bisectriz del ngulo A .
iv) la altura del tringulo por el vrtice A.
3.10.5 Proposicin.
Si en un tringulo coinciden la mediana y la bisectriz en un vrtice, entonces el
tringulo es issceles en dicho vrtice.
Demostracin. Sea ABC un tringulo y D un punto de AB tal que AD DB y
ACD DCB . Prolongamos el segmento CD hasta un punto C tal que CD DC' .
Los tringulos ACD y BC' D sern congruentes por el criterio SAS, puesto que
AD DB , CD DC' y ADC BDC ' por ser ngulos opuestos por el vrtice.
Luego AC BC ' y BC ' D ACD . Pero entonces BC ' D ACD DCB y por
lo tanto el tringulo CBC ' es issceles en B (2.8.3). Luego BC BC ' y por lo tanto
AC BC ' BC , as pues, el tringulo ABC ser issceles en C.
3.10.6 Proposicin.
Si en un tringulo coinciden la altura y la mediana en un vrtice, entonces el tringulo
es issceles en dicho vrtice.
Demostracin:
Los tringulos ADC y BDC sern congruentes por el criterio SAS, y por tanto
AB AC , es decir, es un tringulo issceles.
3.10.7 Proposicin.
Si dos tringulos ABC y A' B' C ' son issceles en A y A respectivamente, y son
congruentes, tambin lo sern sus alturas respectivas por A y A.
Demostracin.
Trazamos las respectivas alturas AD y A' D' .
Por 3.10.4 dichas alturas tambin son bisectrices de A y A' , luego
DAC D' A' C' . Por ser tringulos issceles C C ' , y aplicando el criterio
ASA, ADC A' D' C' , de lo que deducimos que AD A' D' , tal y como queramos
ver.
3.11 Congruencia de cuadrilteros.
Demostracin.
Trazamos las diagonales respectivas AC , BD y A'C ' , B' D' de cada cuadriltero:
Puesto que AB A' B' , B B' , BC B'C ' , los tringulos ABC y A' B' C ' son
congruentes por el criterio SAS.
Luego AC A'C ' , CAB C' A' B' y ACB A' C' B' .
De la misma manera, puesto que BC B'C ' , C C ' y CD C ' D' , los tringulos
BCD y B' C ' D' son congruentes por el criterio SAS.
Luego BD B' D' , DBC D' B' C' y BDC B' D' C'
Por resta de ngulos (3.3.7), si C C ' y ACB A' C' B' ,entonces
DCA D' C' A' , y puesto que CD C ' D' y AC A'C ' , por el criterio SAS tenemos
que DCA D' C' A' , y por lo tanto AD A' D' , D D' y DAC D' A' C' .
Por suma de ngulos (3.3.5), DAC D' A' C' y CAB C' A' B' implica
A A' y ya tenemos todos los ngulos y todos los lados congruentes, tal y como
queramos ver.
3.11.4 Ejercicio.
Comprueba, mediante un antiejemplo en IR2, que el criterio SAAAA no es un criterio
vlido de congruencia de cuadrilteros.
3.12 Cometas.
Tambin lo podemos interpretar como una figura creada mediante dos tringulos
issceles con una base comn (base que ser la diagonal de la cometa).
3.12.2 Teorema.
Sea ABCD una cometa ( AB AD y BC CD ). Entonces AC es la mediatriz del
segmento diagonal BD , y la bisectriz del ngulo BAD .
3.12.3 Proposicin.
Las diagonales de una cometa se cortan en ngulos rectos.
Demostracin.
Siguiendo con la notacin de los apartados anteriores, la diagonal AC es la mediatriz
de la diagonal BD , luego cortan en ngulo recto.
4 Medicin.
Es posible medir el progreso de las ciencias naturales, o de una rama de la ciencia
natural, en funcin del grado en el que el nmero ha sido introducido. Sin embargo, si la
ciencia no quiere caer presa de un formalismo estril (unfruchtbarer Formalismus),
entonces deber reflexionar sobre s misma en una fase posterior de su desarrollo y, por
lo menos, examinar cmo se ha logrado la introduccin del nmero.
Hilbert, 1898.
4.1.2 Ejercicio.
Si S es un conjunto de un nico punto, entonces es convexo.
4.1.3 Ejercicio.
Toda recta es convexa.
Demostracin. Si A, B r AB AB r (1.2.11).
4.1.4 Ejercicio.
Toda semirrecta es convexa.
4.1.5 Ejercicio.
Todo semiplano es convexo.
4.1.6 Ejercicio.
Todo segmento es convexo.
4.1.7 Proposicin.
La interseccin de dos conjuntos convexos es convexo.
Demostracin. Supongamos S y T dos conjuntos convexos. Sean A, B S T .
Entonces A, B S convexo, luego AB S . De la misma forma A, B T convexo, y
por tanto AB T . Luego AB S T .
4.2 Particiones de Dedekind. Puntos de corte. Axioma de Dedekind.
Nota histrica.
A mediados del siglo XIX el matemtico alemn Dedekind intruduce el concepto de
corte, que aclara y unifica por un lado el concepto geomtrico de recta contnua, en el
sentido de completa, sin agujeros y por otro el concepto aritmtico de sistema
numrico contnuo, ambos en perfecta biyeccin. Gracias a este concepto, muchos
teoremas fundamentales que hasta el momento se tenan por ciertos pudieron ser
finalmente demostrados rigurosamente.
4.2.3 Proposicin.
Una particin 1 , 2 de una recta r es de Dedekind si y slo si 1 y 2 son convexos.
Demostracin.
Supongamos que 1 , 2 es una particin de Dedekind de una recta r. Sean P, Q 1 .
Sea R PQ , es decir, P * R * Q . Puesto que ningn punto de 2 puede estar entre dos
puntos de 1 , necesariamente R 1 , es decir, PQ 1 , y por lo tanto es convexo.
Igualmente se demuestra que 2 es convexo.
Supongamos ahora que 1 y 2 son conjuntos convexos.
Supongamos que R 1 est entre dos puntos P, Q 2 , es decir, P * R * Q .
Por convexidad de 2 necesariamente R 2 , contradiciendo la hiptesis. Luego
ningn punto de 1 puede estar entre dos puntos de 2 . Para el otro conjunto el
razonamiento es idntico.
Por decirlo de alguna manera visual, un punto de corte es un punto que est en el borde
de la particin. Pertenece a una de las dos partes y roza la otra.
4.2.5 Proposicin. Una segunda definicin equivalente de punto de corte.
Un punto O es un punto de corte de una particin de Dedekind 1 , 2 de una recta r si
y slo si no puede estar entre dos puntos de 1 ni entre dos puntos de 2 .
Demostracin.
Supongamos que O es un punto de corte de una particin de Dedekind 1 , 2 de
una recta r, y supongamos que P * O * Q para ciertos P, Q 1 . Por convexidad de 1 ,
P, Q 1 PQ 1 , contradiciendo la hiptesis de que PQ corta 2 .
De la misma forma se demuestra que O no puede estar entre dos puntos de 2 .
Sean P, Q r , P * O * Q . Podemos suponer sin prdida de generalidad que O 1 .
Por hiptesis ambos puntos P y Q no pueden pertenecer al mismo , supongamos que
P 1 y Q 2 . Entonces P, O PQ 1 y Q PQ 2 .
El caso P 2 y Q 1 se demuestra de forma similar.
Demostracin.
Sean P 1 , Q 2 , P, Q O . Los puntos P, Q y O son tres puntos distintos de la
recta, luego se debe dar uno y slo uno de los tres casos siguientes: (Axioma B3)
a) P * Q * O b) O * P * Q c) P * O * Q
Supongamos que sucede el caso a), es decir, P * Q * O . Sea R tal que Q * O * R
(Axioma B2).
P * Q * O Q * O * R P * Q * O * R P * Q * R (2.3.6)
Por hiptesis, Q * O * R S QR 1 Q * S * R .
Pero P * Q * R Q * S * R P * Q * S * R P * Q * S , con P, S 1 , luego por
convexidad necesariamente Q 1 contradiciendo la hiptesis Q 2 .
El caso b) nos lleva a contradiccin con un razonamiento similar, por lo que slo puede
suceder el caso c), es decir, que P * O * Q .
Demostracin.
Supongamos que O y O son puntos de corte de una misma particin de Dedekind
1 ,2 de una recta r.
Supongamos que O, O' 1 . Sea P 2 . Aplicamos la proposicin anterior:
Por ser O punto de corte, O * O'*P , por ser O punto de corte, O'*O * P , contradiciendo
el Axioma B3.
Supongamos que O 1 y O' 2 . Sea P un punto O * P * O' (Axioma B2).
Si P 1 , puesto que O' 2 , por ser O punto de corte y aplicando la proposicin
anterior obligatoriamente se debe cumplir P * O * O' , llegando a contradiccin.
Si P 2 un razonamiento similar nos lleva igualmente a contradiccin.
El resto de casos se demuestra de la misma manera.
Por lo tanto, tenemos una versin del Axioma de Dedekind adaptada a semirrectas:
Si P 1 y Q 2 , P, Q O , se tiene P * O * Q
4.3 Circunferencias.
P | AP AB
4.3.2 Definicin. Interior y exterior de una circunferencia.
Sea una circunferencia de centro A y radio AB . Definimos el interior de como el
conjunto:
P | AP AB A
4.3.6 Lema.
Supongamos que es un crculo con centro O. Sean A y B dos puntos del interior de ,
tales que O, A y B no son colineales. Si A*D*B entonces D est tambin en el interior
de .
4.3.7 Corolario.
El interior de un crculo es convexo.
Demostracin. Sea OE el radio del crculo. Sean A y B dos puntos del interior del
crculo, y supongamos que A*D*B. Veamos que D pertenece tambin al interior.
Supongamos que O, A y B son colineales, y supongamos tambin que son diferentes.
Entonces se pueden dar tres casos: i) O*A*B, ii) A*O*B o iii) A*B*O.
Si sucede i) O * A * B A * D * B O * A * D * B O * D * B OD OB OE , y por
lo tanto D pertenece al interior del crculo.
Si sucede iii) razonamos de la misma manera:
A * B * O A * D * B A * D * B * O A * D * O OD OA OE
Por ltimo, si sucede ii)
A* O * B A* D * B A* O * D * B A* D * O * B O * D * B O * D * A ,
pero entonces O * D * B OD OB OE y O * D * A OD OA OE .
Si O, A y B no son colineales, podemos aplicar el lema anterior para asegurar que D
pertenece al interior del crculo.
4.3.8 Proposicin.
Los discos cerrados son convexos.
Demostracin.
4.3.9 Ejercicio.
Demuestra que el exterior de un crculo no es convexo.
Demostracin.
Sea un crculo con centro O y radio OA .
En op(OA) sea A' tal que OA' OA . (Axioma C2)
Tenemos A'*O * A .
Sea B OA tal que O * A * B , y sea B' OA' tal que O * A'*B' . (Axioma B2)
4.3.10 Lema.
Sea un crculo, y AB un segmento con A en el interior de y B en su exterior.
Entonces la interseccin de AB con el interior de es convexo, y la interseccin de
AB con el exterior de es tambin convexo.
4.3.12 Teorema.
Suponiendo el axioma de Dedekind se cumple el Postulado de la Interseccin
Circunferencia-Segmento.
Demostracin. Sea una circunferencia y denotamos por su interior y por su
exterior. Sea AB un segmento tal que A y B .
Supongamos que AB . Entonces 1 AB y 2 AB es un corte de
Dedekind de AB . Efectivamente, por el lema 4.2.10 ambos conjuntos son convexos.
Son disjuntos pues y son disjuntos, y puesto que suponemos AB ,
tenemos que 1 2 AB .
Por lo tanto, por 3.1.13, existir un punto de corte C. Dicho punto de corte tiene que
estar en 1 o en 2 .
Falta ver (????) que C 1 y C 2 , llegando a contradiccin. Luego se tiene que
cumplir AB .
4.3.14 Teorema.
Suponiendo el axioma de Dedekind se cumple el postulado de la Interseccin
Circunferencia-Circunferencia.
Demostracin.
Nota histrica. Este es el primer resultado que Euclides pretende demostrar en sus
Elementos, y lo hace suponiendo la existencia de puntos de interseccin de dos
circunferencias, cosa que no se deduce de los axiomas previos. En el siglo XIX se vio la
necesidad de aadir un axioma como el axioma de Dedekind.
4.4 Multiplicacin de segmentos. Postulado de Arqumedes.
4.4.2 Proposicin.
La aplicacin : IN r es inyectiva y mantiene el orden:
a) n m ABn ABm
b) 0 n m B0 * Bn * Bm
c) AB AC ABn ACn
d) AB AC ABn ACn
e) AB AC ABn ACn
Demostracin.
Todas estas propiedades se demuestran por induccin sobre n.
Para los apartados a) y b) aplicamos la propiedad A * Bk * Bk 1 .
4.4.3 Proposicin.
La funcin anterior cumple la siguiente propiedad:
Bn m Bnm Bm n
O con notacin multiplicativa: m (n B) (m n) B n (m B)
Demostracin.
Sea un natural k y supongamos que n | k , es decir, k n m .
De entre todos los puntos podemos seleccionar los puntos
B0 A, Bn , B2n , B3n , B4n , ..., Bmn .
De forma constructiva, podemos demostrar que Bn 2 B2 n :
Bn 2 es el nico punto de la semirrecta ABn tal que A * Bn * Bn 2 y ABn Bn Bn 2 .
Pero Bn Bn 2 es una sucesin de n intervalos todos congruentes con AB , luego
ABn Bn Bn 2 .
De forma inductiva se demuestra que Bn m Bmn .
Por la propiedad conmutativa de la multiplicacin de nmeros,
Bn m Bnm Bmn Bm n
4.4.4 Postulado. Postulado de Arqumedes.
Dada una semirrecta r AB y un punto C r cualquiera, existir un n tal que
Bn C o A * C * Bn .
Con otras palabras, multiplicando segmentos, por muy pequeos que estos sean,
podremos siempre obtener segmentos tan grandes como queramos.
4.4.5 Teorema.
Si se cumple el axioma de Dedekind entonces tambin se cumple el Postulado de
Arqumedes.
En 7.3.3 veremos que en un plano eucldeo se cumple siempre este postulado. Sin
embargo, con las herramientas de que disponemos no podemos garantizarlo.
4.5.2 Proposicin.
Dada una semirrecta r AB , y cualquier natural n 1 , existir un punto P r tal que
A* n P * B .
Demostracin.
Sea B2 el punto medio de AB , sea B3 el punto medio de AB2 , sea B3 el punto medio
de AB3 ... De esta manera vamos obteniendo una sucesin de puntos B2 , B3 , B4 ,... del
segmento AB tales que 2k Bk B
Para un n cualquiera basta tomar un k tal que n 2k (un resultado de la aritmtica), y el
punto Bk cumplir las condiciones requeridas:
n Bk 2k Bk B
4.6 Distancia entre puntos de una semirrecta.
4.6.1 Teorema. Distancia entre puntos de una semirrecta.
Sea r AB una semirrecta. Al punto B le llamaremos punto unidad.
1) (0) A .
2) (1) B .
3) Ser biyectiva.
4) Si 0 x y (0) * ( x) * ( y)
5) n IN , x IR , n ( x) (n x)
n IN , (k ) k B Bk
n, m IN , n (m) Bm n Bmn (m n)
Separamos los puntos de la semirrecta r en dos grupos: Los que no llegan y los que
llegan o se pasan:
P r | P0 * Pn * Bm , P r | Pn Bm P0 * Bm * Pn
- La unin de y es todo r:
Sea P r . Comparando los tres puntos P0 , Pn , Bm , puede ocurrir que Pn Bm , en cuyo
caso P , o que Pn Bm , en cuyo caso son tres puntos diferentes de r, y por tanto
slo se puede dar uno de los tres casos siguientes:
a) P0 * Pn * Bm , b) P0 * Bm * Pn , o c) Bm * P0 * Pn
Si sucede a) entonces P . Si sucede b) entonces P .
El caso c) no puede suceder: Bm * P0 * Pn Bm P0 Pn r , absurdo
Segunda parte: Los conjuntos y son convexos (es decir, es una particin de
Dedekind de r).
- La funcin es inyectiva.
m m
- El punto cumple la condicin fundamental: n m
n n
Sx (m / n) | m / n x , Sx (m / n) | m / n x
y su complementario: x r x .
- Observamos que S x x :
m m
Si P S x P , x , luego claramente P S x .
n n
Si existen Q, R S x tales que Q * P * R , tendramos
m' m' m' ' m' '
Q , x y R , x , y puesto que conserva el orden,
n' n' n' ' n' '
m' m m' ' m' m m' ' m
* * x x llegando a contradiccin.
n' n n' ' n' n n' ' n
Luego P x , y por tanto P S x .
Segunda parte: Los conjuntos x y x son convexos (es decir, es una particin de
Dedekind de r).
- El conjunto x es convexo.
Sean P, Q x y supongamos que P * R * Q . Queremos ver que R x .
Supongamos en primer lugar que P, Q S x . Entonces claramente por construccin
tenemos que R x .
Supongamos que P S x pero Q x S x . Existirn Q' , Q' ' S x tales que
Q'*Q * Q' ' , luego P * R * Q' ' y por tanto R x .
Supongamos que Q S x pero P x S x . Existirn P' , P' ' S x tales que
P'*P * P' ' , luego P'*R * Q y por tanto R x .
El caso P, Q x Sx se demuestra de forma similar.
- El conjunto x es convexo.
Tercera parte:
Aplicamos el axioma de Dedekind, que nos garantiza la existencia de un nico punto de
corte para esta particin, es decir, existir un nico P r que est entre los dos
conjuntos x y x . Este punto ser la imagen x .
- La funcin es inyectiva.
Esto ya ha sido probado para los nmeros racionales. Supongamos ahora que tenemos
x x' dos nmeros irracionales diferentes. Por la densidad de Q en IR, existir un y
racional tal que x y x' , por lo tanto ( x) * ( y) * ( x' ) de donde deducimos que
( x) ( x' ) .
- La funcin es suprayectiva.
Sea P r . Si P (m / n) para cierto racional m / n , claramente P pertenece a la
imagen de .
Supongamos lo contrario, que no es imagen de ningn racional.
Definimos los siguientes conjuntos:
SP 0 x Q | B0 * ( x) * P , SP x Q | B0 * P * ( x)
Puesto que la funcin mantiene el orden, todo elemento de S P ser menor que
cualquier elemento de S P , de lo que se deduce que SP , SP es una particin de
Dedekind, por lo que tendr un punto de corte y IR , que estar entre los dos
conjuntos. Veamos que ( y) P .
Sea P la imagen de S P junto con todos los puntos Q de r tales que R*Q*S para
ciertos R, Q (SP ) . Sea P r P .
Entonces se demuestra que ( y) P .
4.7 Longitud de segmentos.
4.7.2 Proposicin.
a) AB CD AB CD
b) AB CD AB CD
4.7.3 Lema.
Si P0 * P * Q entonces PQ 1 (Q) 1 ( P) .
Demostracin.
Primera parte: El resultado es cierto para puntos enteros:
Supongamos que P Bn y Q Bm , con n m .
1 (Q) 1 ( Bm ) m , 1 ( P) 1 ( Bn ) n
PQ Bm Bn B0 Bnm PQ n m 1 ( P) 1 (Q)
L2) AB CD si y slo si AB CD .
L3) OI 1 .
Definimos P1 (90) .
4.8.2 Teorema. Amplitud de ngulos.
Existe una nica forma de asignar a cada ngulo un nmero real positivo , llamado
medida angular de , tal que:
A1) Si D es un punto del interior de BAC , BAC BAD DAC
A2) si y slo si
A3) es un ngulo recto si y slo si 90
A4) si y slo si
A5) 180 para todo ngulo .
A6) Si y son suplementarios, entonces 180 .
A7) para cualquier 0 x 180 existir un ngulo tal que x
Demostracin. Sea D tal que D*C*B (Axioma B2). Por el Teorema del ngulo Exterior
(2.7.1) , ACD B , luego ACD B por 3.5.1(d). Ahora bien, los ngulos
ACD y C son suplementarios, luego ACD C 180 por 3.5.1(f), luego
180 ACD C B C .
Por 2.7.1 sabemos que ACD B , luego sumando C a cada lado de la desigualdad
obtenemos que ACD C B C
pero ACD y C son suplementarios, luego suman dos rectos.
De la misma forma se demuestra la desigualdad para cualquier par otro par de ngulos
del tringulo.
5 Paralelismo.
5.1 Suma angular y defecto de tringulos.
5.1.1 Definicin. Suma angular de un tringulo. Defecto de un tringulo.
Si ABC es un tringulo, definimos su suma angular por
ABC | A | | B | | C |
5.1.2 Proposicin.
Sea ABC un tringulo y D un punto tal que A*D*C. Entonces ABC ABD DBC .
5.1.3 Lema.
Sea ABC un tringulo en el cual | A | . Entonces existe otro tringulo XYZ para
el cual ABC XYZ y con un ngulo con medida no superior a 2 .
5.1.4 Corolario.
Sea ABC un tringulo en el cual | A | . Sea k un entero positivo. Entonces existe
otro tringulo XYZ para el cual ABC XYZ y con un ngulo con medida no superior
a .
2k
5.1.5 Lema.
Supongamos que para cierto tringulo ABC se cumple ABC 0 , y sea
ABC 0 . Entonces todo ngulo de ABC tiene una medida .
5.1.7 Corolario.
Sea ABC un tringulo y D un punto tal que A*D*C. Entonces
ABC 0 ABD DBC 0 .
Demostracin. Basta aplicar la proposicin 4.1.2, ABC ABD DBC , y tener en
cuenta que los tres valores son positivos.
5.2 Suma angular y defecto de cuadrilteros.
5.2.2 Proposicin.
Si ABCD es un cuadriltero regular, entonces ABCD ABC ADC y
ABCD ABC ADC . Adems ABCD 360 y ABCD 0
5.2.3 Lema.
Todos los rectngulos son cuadrilteros regulares.
Demostracin. Aplicando el teorema de los ngulos alternos (2.6.1) vemos que todo
rectngulo es un paralelogramo, y por 1.9.9 todo paralelogramo es regular.
5.2.4 Proposicin.
Si ABCD es un rectngulo, entonces ABCD 0 .
5.2.5 Corolario.
Si ABCD es un rectngulo, entonces ABC es un tringulo rectngulo con ABC 0 ,
y ADC es un tringulo rectngulo con ADC 0 . Por lo tanto, si los rectngulos
existen tambin existirn los tringulos con defecto cero.
Demostracin. Slo hay que aplicar 4.2.2: ABCD ABC ADC , donde el defecto
de un cuadriltero es la suma de dos cantidades no negativas.
5.2.6 Proposicin.
Si ABCD es un rectngulo, entonces BCA DAC .
5.2.7 Corolario.
Los lados opuestos de un rectngulo son congruentes.
Demostracin.
Sea ABCD un rectngulo con x AB CD e y BC AD .
5.2.9 Proposicin.
Supongamos que existen los rectngulos. Entonces hay rectngulos arbitrariamente
grandes, en el sentido de que para cualquier valor real positivo arbitrariamente grande
, existir un rectngulo cuyos lados midan valores mayores o iguales a .
En este caso diremos que el lado BC es la base del cuadriltero, los ngulos B y C
son los ngulos de la base y AB y CD son los lados del cuadriltero.
Nota histrica.
En 1733 Girolamo Saccheri (1667-1733) public una pequea obra titulada Euclides
ab omni noevo vindicatus (Euclides liberado de toda falla). Saccheri demostr
fcilmente, como lo puede hacer un alumno aventajado de secundaria, que si en un
cuadriltero ABCD, los ngulos A y B son rectos, y los lados AD y BC son iguales,
entonces los lados D y C son iguales.
5.2.11 Lema.
Con las condiciones anteriores, AB y CD son rectas paralelas.
5.2.12 Lema.
Todo cuadriltero de Saccheri es regular.
5.2.13 Proposicin.
Dados dos nmeros x e y reales positivos, existe un cuadriltero de Saccheri con base
de longitud x y altura de longitud y.
5.2.14 Proposicin.
Sea ABCD un cuadriltero de Saccheri con ngulos rectos B y C .
Entonces A D y ambos son agudos o rectos. (Si son rectos entonces ABCD ser
un rectngulo).
Demostracin. ABC DCB por SAS, luego AC BD , por tanto BAD CDA
por SSS, y en consecuencia A D .
0 ABCD 360 | A | | B | | C | | D |
360 | A | 90 90 | A |
180 2 | A |
2 | A | 180 | A | 90
5.2.16 Lema.
Todo cuadriltero de Lambert es un paralelogramo, y por tanto es regular.
5.2.17 Proposicin.
Sea ABCD un cuadriltero de Lambert con ngulos rectos A , B y C . Entonces
D ser agudo o recto.
Demostracin.
5.2.18 Proposicin.
Sea ABCD un cuadriltero de Lambert con ngulos rectos A , B y C y
supongamos D agudo.
Entonces AB CD y DA BC
5.2.19 Proposicin.
Sea ABCD un cuadriltero de Saccheri con ngulos rectos B y C .
Sea M el punto medio de AD y N el punto medio de BC . Entonces AMN y
BNM son rectos. En particular, ABNM y MNCD son cuadrilteros de Lambert.
5.2.20 Corolario.
Sea ABCD un cuadriltero de Saccheri con ngulos rectos B y C .
Supongamos que ABCD no es un rectngulo. Entonces AD BC .
Demostracin.
Puesto que ABCD no es un rectngulo, A ser agudo. Sean M y N como en la
proposicin anterior. Entonces ABCD es un cuadriltero de Lambert, y por 4.2.19
tenemos que AM BN , por lo que AD BC .
5.2.21 Corolario.
Todos los cuadrilteros de Saccheri son paralelogramos.
5.2.22 Lema.
Sea ABCD un cuadriltero con ngulos rectos B y C , y tal que A y D son
colaterales respecto de BC . Entonces AB DC A D .
Demostracin. Sea A un punto tal que B*A*A y BA' DC . Entonces A' BCD es un
cuadriltero de Saccheri, y por tanto por 4.2.15 BA' D A' DC .
Pero ADC A' DC , puesto que A est en el interior de ADC (Se demuestra al
final) luego A BA' D por el teorema del ngulo exterior, y entonces
A BA' D A' DC ADC D .
Veamos que A est en el interior de ADC : AB // CD pues ambas rectas son
perpendiculares a BC (2.6.3). Luego aplicando 1.9.12 tenemos que ABCD es regular,
luego B est en el interior de ADC (1.9.5iv). Entonces, puesto que A*A*B, tenemos
que A pertenecer al interior de ADB (1.5.6), pero entonces pertenecer al interior de
ADC por 1.7.5.
5.3 Las condiciones euclidianas principales.
Un plano eucldeo es un plano neutro que adems cumple PUP, o cualquier postulado
equivalente al mismo.
Nota histrica.
Este postulado se conoce tambin como Postulado Playfair y se debe al fsico y
matemtico escocs John Playfair (17481819), aunque ya haba sido estudiado por
Proclo en el siglo V.
5.3.3 Proposicin.
PQE PUP
5.3.4 Proposicin.
PUP PQE
5.3.5 Postulado. Recproco del teorema de los ngulos internos alternos (PRA).
Dadas dos rectas paralelas r y s, y una recta transversal t, los ngulos internos alternos
son congruentes.
5.3.6 Proposicin.
PUP PRA
5.3.9 Proposicin.
PUP PDP
Demostracin. Sea una recta r paralela a s, y sea P r t . Por P slo puede pasar una
nica paralela a s, luego t no puede ser paralela a s, es decir, t corta a s.
5.3.10 Proposicin.
PDP PUP
5.3.12 Proposicin.
PDP PTP
5.3.13 Proposicin.
PTP PDP
Recordemos que en todo plano neutro se cumple que todos los tringulos tienen defecto
0 , por el Teorema Saccheri-Legendre (4.1.6).
5.3.15 Proposicin.
PSA PUP
5.3.17 Teorema.
PSA PRA
5.3.19 Proposicin.
En un plano eucldeo, si A, B, C y D son cuatro puntos tales que
i) A, B, C no son colineales y D est en el interior de ABC
ii) A, D y C no son colineales y B est en el interior de ADB
Entonces DAB ABC BCD CDA 360 .
Demostracin. Por 1.9.7 el cuadriltero ABCD es regular, luego por 4.2.2 y PSA se
cumple ABCD ABC ADC 180 180 360 .
5.3.21 Proposicin.
En un plano eucldeo, un cuadriltero ABCD es paralelogramo si y slo si sus lados
opuestos son iguales.
AD // BC
AD BC
Demostracin. Sea un cuadriltero ABCD . Queremos ver .
AB // CD AB CD
Trazamos la diagonal BD para obtener dos tringulos DAB y DCB .
Supongamos que AD // BC AB // CD . AB // CD ABD BDC , y
AD // BC ADB DBC por PRA.
Luego DAB DCB por ASA, de lo que deducimos que AD BC AB CD .
Supongamos ahora que AD BC AB CD . Entonces DAB DCB por SSS
(2.8.4) y aplicando AIA tenemos que ADB DBC AD // BC y
ABD BDC AB // CD .
5.4 El teorema del Defecto Cero de Legendre.
En esta seccin vamos a probar el teorema del Defecto Cero de Legendre: Si existe un
tringulo con defecto cero, entonces todos los tringulos tienen defecto cero.
5.4.1 Proposicin.
Si existe un tringulo con defecto cero, entonces existe un tringulo rectngulo con
defecto cero.
Demostracin. Sea ABC un tringulo tal que ABC 0 . Por el lema 2.7.12 sabemos
que ABC tiene dos ngulos agudos. Podemos suponer sin prdida de generalidad que
son A y C . Trazamos la perpendicular a AC por el vrtice B. Sea F su punto de
interseccin con AC . Por el lema 2.7.11 tenemos que A*F*C. El tringulo AFB es
rectngulo en F y cumple AFB 0 por 4.1.7.
5.4.2 Proposicin.
Si existe un tringulo con defecto cero, entonces existe un rectngulo.
5.4.3 Proposicin.
Sea XYZ un tringulo rectngulo con ngulo recto X . Sea M el mximo de XY y
Demostracin.
Supongamos que XY AB y XZ AB . Entonces existirn puntos A*Y*B y A*Z*D
tales que XY AY ' y XZ AZ ' .
Puesto que ABCD es un rectngulo, ABCD 0 (4.2.5). Y puesto que
ABCD ABD BCD , tenemos que ABD 0 . Pero A*Y*B, luego
ABD AY ' D Y ' BD , y por tanto AY ' D 0 .
Por ltimo y de la misma manera, puesto que A*Z*D,
0 AY ' D AY ' Z 'Y ' Z ' D AY ' Z ' 0 .
Pero XYZ AY ' Z ' (por SAS), as que XYZ 0 .
5.4.4 Proposicin.
Supongamos que todo tringulo rectngulo tiene defecto cero. Entonces todo tringulo
tiene defecto cero.
Demostracin. Sea ABC un tringulo. Este tringulo tiene dos ngulos agudos por
2.7.12. Supongamos que sean A y C . Trazamos la perpendicular a AC por el
vrtice B. Sea F su punto de interseccin con AC . Por el lema 2.7.11 tenemos que
A*F*C. Los tringulos AFB y CBF son tringulos rectngulos .
Por ltimo ABC AFB CBF 0 0 0 .
Demostracin. Supongamos que existe un tringulo con defecto cero. Entonces por
4.4.1 existir un tringulo rectngulo con defecto cero. Luego por 4.4.2 existir un
rectngulo. Este rectngulo lo podemos hacer arbitrariamente grande por la proposicin
4.2.9. Luego por 4.4.3 todos los tringulos rectngulos tendrn defecto cero. Por ltimo,
por 4.4.4 todos los tringulos tendrn defecto cero.
5.4.6 Corolario.
Si existe un tringulo con defecto cero, entonces existe un rectngulo.
Demostracin.
Es la primera parte de la demostracin anterior 4.4.5.
5.4.7 Corolario.
Si existen los rectngulos, todos los tringulos tienen defecto cero.
5.4.8 Corolario.
Si existe un tringulo con defecto cero, entonces todos los cuadrilteros regulares tienen
defecto cero.
Demostracin. Todos los tringulos tendrn defecto cero por 4.4.5. Sea ABCD un
cuadriltero regular. Entonces, por 4.2.2, ABCD ABD BCD 0 0 0 .
5.4.9 Corolario.
Si existe un tringulo con defecto positivo, entonces todos los tringulos tienen defecto
positivo.
Demostracin. Si existe un tringulo con defecto cero, entonces por 4.4.5 todos los
tringulos tendran defecto cero, contradiciendo la hiptesis.
5.4.10 Corolario.
Si existe un tringulo con defecto positivo, entonces no existen rectngulos.
Demostracin. Si existen rectngulos todos los tringulos tienen defecto cero por 5.4.7,
contradiciendo la hiptesis.
5.4.11 Corolario.
Si no existen rectngulos, todos los tringulos tienen defecto positivo.
Demostracin. Supongamos que exista algn tringulo con defecto cero. Entonces, por
4.4.6, existir un rectngulo, contradiciendo la hiptesis.
5.5 Otras Condiciones eucldeas.
Demostracin. Si existe un tringulo con defecto cero, entonces todos los tringulos
tienen defecto cero por 4.4.5, y si los tringulos tienen defecto cero, entonces se cumple
PUP por 4.3.15. Recprocamente, Si PUP entonces todos los tringulos tienen defecto
cero por 4.3.16, luego existir algn tringulo con defecto cero (pues los tringulos
existen pues existen tres puntos no colineales por el axioma I3).
Demostracin. Si existen los rectngulos, entonces todos los tringulos tienen defecto
cero por 4.4.7. Recprocamente, si se cumple PSA, entonces al menos un tringulo tiene
defecto cero, y por tanto, por 4.4.6, existir un rectngulo.
5.5.6 Proposicin.
Sea P r . Entonces dist ( P, r ) PQ' Q' r , y dist ( P, r ) PQ' Q' r Q' Q ,
donde Q es la proyeccin ortogonal de P en r. Es decir, la proyeccin ortogonal de P en
r es el punto de la recta ms prximo a P.
Demostracin. Veamos PEP PUP. Si se cumple PEP, entonces por el lema anterior
4.5.6 existen los rectngulos. Pero la existencia de rectngulos es una condicin
eucldea por 4.5.2.
Veamos ahora PUP PEP. Sean dos rectas paralelas r y s. Y sean A y B dos puntos
diferentes de r.
Sean A y B las proyecciones perpendiculares de A y B en s, respectivamente.
Luego AFG y FGB son rectos, y AF BG .
Sea r una recta perpendicular a AF y que pase por A. Las rectas r y s sern paralelas
pues ambas son perpendiculares comunes a AF . Por PUP, r r ' , y por tanto FAB
ser tambin recto.
De la misma forma demostramos que ABG es recto, luego AFGB ser un
rectngulo.
Demostracin:
a b ) Trazamos la diagonal AC , y consideramos los tringulos ADC y ABC .
Los ngulos DCA y BAC son congruentes, pues son los ngulos internos alternos
determinados por dos rectas paralelas (5.3.5). De la misma forma los ngulos DAC y
ACB son congruentes, y se cumple trivialmente AC AC , luego ADC ABC
por el criterio ASA.
Basta aplicar el criterio SAS a los tringulos AED y BEC teniendo en cuenta
AE EC , DE BE y AED BEC por ser ngulos opuestos por el vrtice para
deducir que AD BC . De forma similar, con los tringulos AEB y DEC llegamos a
AB CD .
6.1.3 Teorema.
Todo cuadriltero con dos lados opuestos paralelos y congruentes es un paralelogramo.
Luego AC BD , y por tanto podemos aplicar el teorema 6.1.2b para deducir que es un
paralelogramo.
Por lo tanto todo paralelogramo tiene cuatro posibles bases y ocho posibles alturas.
6.1.5 Proposicin.
Dado un paralelogramo ABCD y fijada una base AB , sus dos alturas asociadas por C
y por D son congruentes.
Demostracin.
Sea E el punto de corte con AB de la altura por C y sea F el punto de corte con AB de
la altura por D.
El cuadriltero FECD es un paralelogramo pues sus cuatro ngulos son rectos y por
tanto congruentes dos a dos (6.1.2d), luego tiene sus lados opuestos son congruentes
(6.1.2c), en particular DF CE .
6.2 Rectas y puntos notables del tringulo (2).
6.2.1 Proposicin.
Las tres alturas de un tringulo se cortan en un punto llamado ortocentro.
Demostracin.
Sea un tringulo ABC . Trazamos las paralelas a cada lado y su vrtice opuesto
correspondiente para construir el tringulo DEF .
Los cuatro tringulos FAC , CAB , CBE y DAB sern congruentes. Por ejemplo,
aplicando 6.1.2b, FAC BCA por ser FABC un paralelogramo.
Tenemos que, en particular, FAC ABD FA AD y por tanto A es el punto
medio de FD . De la misma forma se demuestra que C es el punto medio de FE y que
B es el punto medio de DE .
Luego las alturas del tringulo ABC son las mediatrices del tringulo DEF , que ya
sabemos que son concurrentes (3.10.2).
6.2.3 Proposicin.
Existe un recproco parcial para el lema anterior que puede ser til.
Dado un tringulo ABC , y sea D el punto medio de AB .
Si la recta r pasa por D y es paralela a BC , entonces pasa por el punto medio de AC , y
1
se cumple DE BC .
2
Demostracin.
Por el Teorema de Pasch (2.2.5), y puesto que r no puede pasar por BC , la recta r
cortar en un punto E a AC .
Sea E el punto medio del segmento AC . Por el lema anterior, DE // BC . Luego
unicidad de la paralela a BC por D, se tendr que DE DE' , y por ser E el nico
punto de corte con AC , E E ' , y basta aplicar el lema 6.2.2.
6.2.4 Proposicin.
Dos medianas de un tringulo se triseccionan en su punto de interseccin.
Demostracin.
Dado un tringulo ABC , si D es el punto medio de AB y E es el punto medio de AC ,
1
aplicamos el lema anterior para deducir que DE // BC y DE BC .
2
Sea F el punto de interseccin de las dos medianas CD y BE (falta demostrar su
concurrencia ????)
Sea G el punto medio de BF y H el punto medio de CF .
Aplicando nuevamente el lema anterior al tringulo BCF , tenemos que HG // BC y
1
HG BC , as pues, DE // HG HG DE .
2
Luego el cuadriltero HGED es un paralelogramo (6.1.3), y por lo tanto sus
diagonales cortarn en su punto medio, es decir, FE FH y FG FD .
Por construccin de los puntos F y G, tenemos FE FH HB y FD FG CG .
6.2.5 Corolario.
Las tres medianas se encuentran en un punto nico llamado baricentro.
Demostracin.
Sea un tringulo ABC , en el que trazamos las medianas AF , BE y CD . Sea G el
punto de corte de AF y BE , y sea G el punto de corte de AF y CD .
1 1
Por la proposicin anterior, FG FA , y tambin FG ' FA , puesto que los
3 3
puntos G y G estn en el interior del segmento FA (las medianas son segmentos
pertenecientes al interior del tringulo), se debe cumplir G G' .
Demostracin.
Sea un ngulo BAC y AD su bisectriz.
Queremos ver que P AD dist ( P, AC ) dist ( P, AB) . Sean R y Q los pies de las
perpendiculares por P a AB y AC respectivamente.
Si P AD entonces, puesto que
APR 180 PAR 90 180 PAQ 90 APQ ,
Por el criterio ASA APR APQ , y por lo tanto QP PR y
dist ( P, AC ) dist ( P, AB) .
Recprocamente, si dist ( P, AC ) dist ( P, AB) , es decir QP PR , tenemos dos
tringulos APR y APQ rectngulos con igual cateto e hipotenusa, y por tanto son
congruentes (criterio HL de 3.8.7). En particular, se verifica que PAQ PAR , es
decir, el punto P pertenece a la bisectriz del ngulo.
6.2.7 Proposicin.
Las bisectrices de un tringulo se encuentran en un nico punto llamado incentro.
Demostracin.
Sea D el punto de corte de las bisectrices de los ngulos A y B .
Basta ver que D pertenece a la bisectriz por C , para lo que utilizaremos tres veces la
proposicin anterior.
D pertenece a la bisectriz del ngulo A , luego dist ( D, AC ) dist ( D, AB) .
D pertenece a la bisectriz del ngulo B , luego dist ( D, AB) dist ( D, BC ) .
As pues dist ( D, AC ) dist ( D, BC ) y por tanto D pertenece a la bisectriz por C .
6.2.8 Proposicin. Circunferencia inscrita.
La proposicin anterior nos indica que si trazamos las rectas perpendiculares a cada
lado por el incentro, los tres segmentos son congruentes, y por tanto son radios de una
misma circunferencia, tangente a los tres lados del tringulo, llamada circunferencia
inscrita:
Demostracin.
Sea un trapezoide ABCD tal que AB // CD .
Sea E el punto medio de AD y sea r la recta que pasa por E y es paralela a AB .
Trazamos la diagonal BD del trapezoide.
Por la proposicin 6.2.3, la recta r cortar el segmento BD en su punto medio F y
1
EF AB
2
Volvemos a aplicar la misma proposicin para el tringulo BCD , con lo que
1
demostramos que r corta a BC en su punto medio G, y FG CD .
2
1 1 AB CD
Finalmente, EG EF FG AB CD .
2 2 2
Veamos ahora el recproco: Sean E y G los puntos medios de los lados y supongamos
que r EG no es paralela a AB . Sea s la recta paralela a AB por E. Por el
razonamiento anterior, esta recta s pasar por G, y por lo tanto s r , lo que nos lleva a
contradiccin. As que forzosamente r // AB .
6.3 Rectngulos.
6.3.3 Proposicin.
Todo rectngulo es un paralelogramo.
Demostracin: Basta aplicar 6.1.2c pues los ngulos opuestos son rectos, y por tanto
congruentes.
6.3.4 Proposicin.
Todo rectngulo tiene las diagonales congruentes.
6.3.5 Proposicin.
Todo paralelogramo con las diagonales congruentes es un rectngulo.
Observacin: No todo cuadriltero con las diagonales congruentes es un rectngulo.
Demostracin: Los tringulos ABC y ADB sern congruentes por el criterio SSS,
pues por hiptesis AD BC , y por 5.1.2(b) tambin AC BD y AB CD .
Por lo tanto BAC ABD , pero estos ngulos son suplementarios (4.3.20), luego
ambos son rectos. De la misma forma se demuestra que C y D tambin sern
rectos.
6.3.6 Corolario.
Un paralelogramo es un rectngulo si y slo si sus diagonales son congruentes.
Demostracin. Es 5.1.8 y 5.1.9.
6.4 Rombos.
6.4.2 Proposicin.
Todo rombo es un paralelogramo.
6.4.3 Proposicin.
En todo rombo se cumplen las siguientes propiedades:
a) Las diagonales se cortan perpendicularmente.
b) Las diagonales son las bisectrices de los ngulos internos.
Demostracin. Sea un rombo ABCD y sea E el punto de corte de las dos diagonales.
Por ser un rombo CD BC , por 5.1.2(d) DE BE y claramente CE CE , luego por
el criterio SSS se deduce que DEC BEC , y por tanto DCE BCE y
EDC EBC . Luego el segmento CE es la bisectriz por C del tringulo DCB , y
por 2.9.13 coincide con la altura, luego BEC y DEC son rectos.
6.4.4 Proposicin.
Todo paralelogramo que cumpla al menos una de las siguientes condiciones es un
rombo:
a) Dos lados consecutivos son congruentes.
b) Las diagonales son perpendiculares.
c) Una de las diagonales es la bisectriz del ngulo interno de su vrtice.
6.5.2 Proposicin.
Las diagonales de un cuadrado son congruentes, perpendiculares y bisectrices de los
ngulos internos del cuadrado.
6.5.3 Proposicin.
Todo paralelogramo que cumpla al menos una de las siguientes condiciones es un
cuadrado:
a) Las diagonales son congruentes y perpendiculares.
b) Las diagonales son congruentes y una de ellas es bisectriz del ngulo interno del
vrtice del paralelogramo.
Cuadriltero
Cuadriltero regular
Trapecio Cometa
Paralelogramo
Rectngulo Rombo
Cuadrado
6.6 Proyeccin paralela.
6.6.2 Teorema.
La proyeccin paralela es una biyeccin.
Demostracin. Supongamos que f ( P) f (Q) . Las rectas Pf (P) y Qf (Q) son ambas
paralelas a t, y ambas pasan por el mismo punto, luego por PUP han de ser la misma.
Puesto que P y Q son puntos de corte de esta recta con r, se deduce que P Q . Luego
es inyectiva.
Supongamos que P' s . Trazamos la recta u, paralela a t por P. Sea P su punto de corte
con r. Por unicidad de la recta paralela por un punto, u ser tambin la nica recta
paralela a t por P, y por tanto, por unicidad de su punto de corte con s, f ( P) P' .
Luego es suprayectiva.
Demostracin.
Supongamos lo contrario, por ejemplo que A' * C ' * B' . Sea u BB ' .
Demostracin.
Trazamos DF y EG paralelas a BC por D y E respectivamente.
Supongamos que A * D * G (el caso A * G * D se demuestra de forma similar).
Entonces, puesto que la proyeccin paralela conserva el orden, tendremos A * F * E .
6.6.6 Lema.
Dado un tringulo ABC y puntos D en AB y E en AC tales que DE no sea
paralela a BC . Entonces
AD AE
AB AC
Demostracin.
Es decir,
APk AQk
AB AC
Pero A * D * Pk AD APk y A * Qk * E AQk AE
AD APk AQk AE AD AE AD AE
luego y por tanto
AB AB AC AC AB AC AB AC
Demostracin.
AD AE ' AD
Trazamos en AC el punto E tal que AE ' AC , es decir, .
AB AC AB
La recta DE' tiene que ser paralela a BC , puesto que en caso contrario, aplicando el
lema anterior, tendramos que AE ' / AC AD / AB , llegando a contradiccin.
Pero ahora tenemos dos rectas paralelas a BC por un mismo punto D, luego tienen que
ser la misma y por tanto E E ' .
A * E * C AC AE EC
AE AD AC AB AE EC AD DB
AC AB AE AD AE AD
AE EC AD DB EC DB
1 1
AE AE AD AD AE AD
EC DB AE AD
AE AD EC DB
Demostracin.
Si r y s no son paralelas, es una aplicacin directa de 6.6.7. Si son paralelas basta tener
en cuenta que los razonamientos utilizados con puntos medios para tringulos sirven
tambin para trapecios.
7 Semejanza.
Demostracin.
Claramente Axioma A4 Axioma A4, por ser un caso particular.
Veamos ahora Axioma A4 Axioma A4:
Si R ABCD es un rectngulo de base a y altura b, supongamos b a . Con cuatro
rectngulos iguales podemos construir un cuadrado de lado a b , si aadimos en el
centro un cuadrado de lado b a .
El rea del cuadrado grande ser, por Axioma A4b, (a b) 2 ,
El rea del cuadrado pequeo central ser, igualmente por Axioma A4b, (b a) 2 ,
(a b) 2 4 ABCD (b a) 2
a 2 b 2 2ab 4 ABCD a 2 b 2 2ab
2ab 4 ABCD 2ab 4ab 4 ABCD ab ABCD
EDA FCB (4.3.6) y DEA CFB pues ambos son rectos (2.5.3), luego
EAD FBC y por lo tanto ( AD BC por ser un paralelogramo) tenemos
EDA FCB (Criterio ASA) y por tanto EDA FCB (Axioma A2).
Ahora
ABCD ABFD BCF ABFD ADE
ABFE b h
Demostracin.
Sea un tringulo ABC . Fijamos como base el lado AB y sea h su altura
correspondiente. Trazamos la paralela a AB por C y la paralela a AC por B. Sea D su
punto de interseccin. El cuadriltero ABCD ser un paralelogramo, y claramente
(ABCD ) AB h (7.1.4).
Puesto que ABC CDA (6.1.2b), (ABC ) (CDA) (Axioma A2).
AB h
Luego AB h (ABCD ) (ABC ) (CDA) 2 (ABC ) (ABC )
2
7.1.6 Lema. Sliding Lemma.
Sean ABC y A' BC dos tringulos con un lado comn BC y AA' // BC .
Entonces (ABC ) (A' BC ) .
7.1.7 Corolario.
Sea ABC un tringulo y D un punto tal que B*D*C. Entonces
(ADC ) DC
(ABC ) BC
Demostracin. Los tringulos ADC y ABC comparten una misma altura h, luego
(ADC ) 12 DC h DC
(ABC ) 12 BC h BC
7.1.7 Corolario.
Sea ABCD y EFGH son dos paralelogramos tales que A, B, E y F son colineales y
C, D, H y G son colineales, entonces
(ABCD ) AB
(EFGH ) EF
Demostracin.
Es el mismo razonamiento que en el corolario anterior. Ambos paralelogramos
comparten una misma altura h, y por tanto
(ABCD ) AB h AB
(EFGH ) EF h EF
(ADE ) AE
Y aplicamos el mismo lema al tringulo ADC :
(ADC ) AC
Aplicamos el teorema anterior 7.1.8, para garantizar que r pasa por un punto C interior
de DF y se cumple
DB' DC'
DE DF
B' C' // EF DB' C' DEF ABC , puesto que adems CAB C' DB' y
AB DB' , por el criterio ASA tenemos que ABC DB'C' .
Luego DC' AC y BC B'C ' , y por lo tanto
AB DB' DC' AC AB AC
, es decir,
DE DE DF DF DE DF
7.2.5 Corolario.
Si ABC A' B' C' entonces existe un k 0 tal que AB k A' B' , AC k A'C ' , y
BC k B'C ' .
AB AC BC
Demostracin. Basta tomar, en el teorema anterior, k
A' B' A' C ' B' C '
Demostracin. Si AB A' B' , entonces AC A'C ' y aplicando ASA son congruentes, y
por tanto semejantes.
Si A' B' AB , sea B' ' A' B' tal que AB A' B' ' .
Sea r la recta que pasa por B y es paralela a B'C ' . Aplicando el teorema 4.3.6, r
AB ' ' A' C ' '
cortar A'C ' en un punto C cumpliendo
A' B' A' C '
Luego
A' C ' ' A' B' ' AB AC A' C ' ' AC
A' C ' ' AC
A' C ' A' B' A' B' A' C ' A' C ' A' C '
Luego ABC A' B' ' C' ' y por tanto B B' ' B' y A A' .
Ahora podemos aplicar el criterio AA de semejanza (4.3.2), para concluir que
ABC A' B' C' .
Demostracin. Sea B' ' A' B' tal que AB A' B' ' , y sea C ' ' A' C ' tal que AC A'C ' ' .
Entonces
A' B' ' AB AC A' C ' ' A' B' ' A' C ' '
A' B' A' B' A' C ' A' C ' A' B' A' C '
Y aplicando el anterior criterio SAS de semejanza, A' B' ' C' ' A' B' C' , luego
C ' ' B' ' A' B' ' AB BC C ' ' B' ' BC
C ' ' B' ' BC , y aplicando el criterio
C ' B' A' B' A' B' B' C ' C ' B' B' C '
SSS de congruencia de tringulos, A' B' ' C' ' ABC ,y por tanto
ABC A' B' ' C' ' A' B' C' .
7.3 El Teorema de Tales.
Los tringulos BBC y CCB tienen la misma rea: ( B' BC ' ) (C ' CB' ) , pues
comparten una misma base y tienen la misma altura (5.3.4)
Por otro lado, los tringulos ABC y BBC comparten una misma altura, luego sus
reas sern proporcionales a las bases (5.3.5):
( AB ' C ' ) AB '
( B' BC ' ) B' B
De la misma manera observamos que los tringulos ACB y CCB comparten una
misma altura, luego sus reas sern proporcionales a las bases respectivas:
( AC ' B' ) AC '
(C ' CB' ) C ' C
AB ' ( AB ' C ' ) ( AB' C ' ) AC '
As pues, , tal y como queramos ver.
B' B ( B' BC ' ) (C ' CB' ) C ' C
B' B C ' C
Para el recproco B' C ' // BC , basta observar que todos los resultados
AB ' AC '
anteriores son reversibles.
Fuente de la demostracin: http://www.cut-the-knot.org/Curriculum/Geometry/GeoGebra/ThalesTheorem.shtml
7.3.3 Teorema.
En geometra eucldea se cumple el postulado de la divisin de segmentos (4.4.6).
El tringulo ADC es similar al tringulo ABC porque ambos son tringulos rectngulos
y comparten el mismo ngulo en A.
b m
Por lo tanto b 2 m c
c b
Y de la misma forma el tringulo BCD es similar al tringulo ABC porque ambos son
tringulos similares compartiendo el mismo ngulo en B.
a n
Por lo tanto a 2 n c
c a
Demostracin.
Sea un tringulo ABC tal que A 90 , B 60 y C 30 .
Prolongamos el lado AB hasta un punto D tal que AD AB.
Solucin.
Sea B el punto simtrico de B respecto de r.
Sea M el punto de interseccin entre AB y la recta r.
Tenemos MB MB' , y por la desigualdad triangular (3.4.16) aplicada al tringulo
AMB' , AM MB' AB' , cumplindose la igualdad slo en el caso M=M.
Fuente:
7.6 Tijeras-congruencia de polgonos.
Recordemos la descomposicin de polgonos introducida en 7.1.1. El objetivo de este
apartado ser demostrar el teorema Bolyai-Gerwien de 1833, que afirma que dos
polgonos con el mismo rea son tijeras-congruentes.
7.6.1 Proposicin.
Todo polgono se puede descomponer en tringulos (de hecho, en tringulos agudos).
Demostracin.
Tomamos un polgono P y fijamos una recta m que no sea paralela a ninguno de los
lados. Trazando paralelas a m por los vrtices el polgono quedar descompuesto en
tringulos y trapecios.
7.6.3 Proposicin.
Dos polgonos tijeras-congruentes tienen la misma rea.
P ~ Q ( P) (Q)
Observacin.
El recproco tambin es cierto. Se conoce como Teorema Bolyai-Gerwien (1833): Dos
polgonos con la misma rea son tijeras-congruentes.
Demostracin.
Basta aplicar los axiomas A1 y A2 definidos en 7.1.2.
7.6.4 Proposicin.
La tijeras-congruencia es una relacin de equivalencia entre polgonos.
Demostracin.
Las propiedades reflexiva y simtrica se cumplen claramente. Veamos la transitiva.
Si P ~ Q entonces P P1 P2 ... Pn , Q Q1 Q2 ... Qn con Pi Qi i .
Si Q ~ R entonces Q Q1' Q2' ... Qm' , R R1 R2 ... Rm con Qi' Ri i .
El problema es que no necesariamente se cumple n m . Pero tomando todas las
intersecciones Qi' Q j con 1 i n y 1 j m , podemos llegar a desmontar P y R en
piezas congruentes.
7.6.5 Proposicin.
Todo tringulo es tijeras-congruente con un paralelogramo que tiene la misma base y la
mitad de su altura.
Demostracin.
Sea el tringulo ABC . Sea D el punto medio del segmento AC y E el punto medio del
segmento BC . La recta DE ser paralela a AB . Sea F el punto de op(ED) tal que
DE EF . Claramente ECD EBF (Criterio SAS) y por tanto
(ABC ) (ABFD ) .
7.6.6 Corolario.
Dos tringulos con igual base y altura son tijeras-congruentes.
Demostracin.
Ambos sern tijeras-congruentes con un mismo paralelogramo, y por lo tanto basta
aplicar la propiedad transitiva de la tijera-congruencia.
7.6.7 Corolario.
Dos tringulos rectngulos con igual rea son tijeras-congruentes.
Demostracin.
Sean el tringulo ABC rectngulo en A, y el tringulo DEF rectngulo en D.
Supongamos que DE AB . Puesto que tienen la misma rea, entonces DF AC .
Superponemos ambos obteniendo la siguiente figura:
AB AC AE AF
(ABC ) (AEF ) AB AC AE AF
2 2
AC AE
AF AB
Por lo tanto, los tringulos ABF y AEC son semejantes (Criterio SAS de
semejanza).
Luego BF y CE son paralelas (Teorema de Tales).
Ahora, aplicando el corolario anterior, los tringulos FBC y FBE sern tijeras-
congruentes, pues comparten ambos base y altura.
7.6.8 Proposicin.
Todo paralelogramo es tijeras-congruente como un rectngulo con la misma base y la
misma altura.
Demostracin.
Sea el rectngulo ABCD y el paralelogramo ABEF , con la misma altura.
Supongamos que DF DC :
Entonces DF DE FE DE AB DE DC CE y por tanto los tringulos
rectngulos ADF y BCE son congruentes.
ABCD ABCF ADF ~ ABCF BCE ABEF
7.6.9 Proposicin.
Dos rectngulos con el mismo rea son tijeras-congruentes.
Demostracin. Sean los rectngulos ABCD y AEFG con el mismo rea, que los
vamos a suponer superpuestos el uno sobre el otro. Trazamos los segmentos DE y GB ,
y los puntos de interseccin indicados para obtener la figura siguiente:
AD AE
(ABCD ) (AEFG ) AB AD AE AG
AG AB
Luego los tringulos ABG y AED son semejantes por el criterio SAS de semejanza.
Por lo tanto, por el Teorema de Tales, GB // DE .
Luego DGBJ es un paralelogramo, y por lo tanto DG BJ , de lo que se deduce que
JC AG .
De la misma forma BEHG es un paralelogramo, y por lo tanto GH BE y en
consecuencia HF AB .
De todo esto deducimos que GHD BEJ y DCJ HFE .
Moviendo las polgonos GHD a BEJ y DCJ a HFE vemos que ABCD y
AEFG son tijeras-congruentes.
7.6.10 Corolario.
Todo rectngulo es tijeras-congruente con un rectngulo de base 1 y altura igual a su
rea.
7.6.11 Corolario.
Todo polgono es tijeras-congruente con un rectngulo de lado 1 y altura igual a su rea.
Demostracin.
Todo polgono se puede descomponer en tringulos (7.7.1). Cada tringulo es tijeras-
congruente con un paralelogramo (7.7.5) y todo paralelogramo es tijeras-congruente con
un rectngulo (7.7.8). Finalmente, todo rectngulo es tijeras-congruente con un
rectngulo de base 1 y altura igual a su rea (7.7.11). Con todo esto deducimos que un
polgono es tijeras-congruente con un rectngulo de base 1 y altura igual a su rea.
Demostracin.
Por el corolario anterior, ambos sern tijeras-congruentes con un mismo rectngulo de
lado 1 y altura el rea comn.
Hilbert ya dej claro en su momento que esperaba una solucin negativa, pero fue el
matemtico Max Dehn quin en 1902 demostr que un tetraedro regular y un cubo con
igual volumen no son tijeras-congruentes, introduciendo el invariante de Dehn.
El tringulo AOB tendr un ngulo recto y otro igual a , luego sus ngulos sern
independientes de la eleccin del punto A. Si tomamos puntos distintos obtendremos
tringulos semejantes, luego podemos definir el seno y el coseno de como las
razones
AB OB BA
sen( ) , cos( ) y tan( ) si OB 0
OA OA OB
Demostracin.
AB 2 BC 2 AC 2
AB 2 BC 2 AC 2 1
AB 2 AB 2
2 2
BC 2 AC 2 BC AC
sin ( ) cos ( )
2 2
AB AB
2 2
AB AB
8.1.4 Teorema. El Teorema del coseno.
a 2 b 2 c 2 2 b c cos A
Por lo tanto:
c x 2 h 2 a 2
c 2 x 2 2cx h 2 a 2 (1)
b 2 c 2 2cx a 2
x
Por definicin de coseno: cos A x b cos A
b
Y substituyendo en la igualdad anterior llegamos a: b 2 c 2 2bc cos A a 2
Podemos realizar una demostracin similar en el caso que el tringulo ABC sea obtuso.
a b c
2r
sin A sin B sin C
8.1.6 Corolario. Teorema de Stewart.
Dado el tringulo ABC, sean a, b, c las longitudes de los lados BC, AC y AB,
respectivamente. Sea D un punto dentro del segmento BC. Si BD = m, CD = n y AD =
d, se cumple que:
d 2 a b 2 m c 2 n mna
Demostracin.
Sea BDA , y CDA . Puesto que son suplementarios, cos( ) cos( ) .
Aplicamos el teorema del coseno (8.1.4) a los tringulos ABD y ADC
En ABD : c 2 m2 d 2 2md cos( )
En ADC :
b2 n2 d 2
b 2 n 2 d 2 2nd cos( ) b 2 n 2 d 2 2nd cos( ) cos( )
2nd
b2 n2 d 2
c 2 m 2 d 2 2m d cos( ) c 2 m 2 d 2 2md
2nd
n2 d 2 b2
c2 m2 d 2 m
n
nc nm nd mn md 2 mb2
2 2 2 2
nc 2 nm 2 mn2 mb2 md 2 nd 2
nc 2 mb2 (nm 2 mn2 ) (m n)d 2
nc 2 mb2 nm(m n) ad 2
nc 2 mb2 nm a ad 2
Observacin: Aunque hemos demostrado este teorema para el caso en que el tringulo
es agudo, un razonamiento similar sirve para los casos de tringulos rectngulos y
obtusos.
AC BD sen
rea (ABCD )
2
Demostracin.
Sea P el punto de corte de las dos diagonales. Sea DPA .
rea (DAC ) rea (DPA) rea (DPC )
DP PA sen DP PC sen(180 )
2 2
DP PA sen DP PC sen( )
2 2
DP sen PA PC DP sen AC AC DP sen
2 2 2
De la misma forma
AC PB sen
rea (BAC )
2
Y por tanto
rea (ABCD ) rea (DAC ) rea (BAC )
AC DP sen AC PB sen AC sen DP PB AC sen DB
2 2 2 2
8.1.9 Proposicin. rea de un paralelogramo en funcin de sus lados.
AB AD sin
rea (ABCD )
2
Demostracin.
Trazamos la diagonal BD que descompone el paralelogramo en dos tringulos
congruentes, y por tanto con la misma rea.
AB AD sin
rea (ABCD ) 2 rea (ABD ) 2 AB AD sin
2
(b 2 a 2 ) sin sin
rea (ABCD )
2 sin
Demostracin.
Trazamos la paralela a AD por C que cortar a AB en un punto E.
EF DE
sin EF , cos DE
DF DF
En el tringulo EBF :
90 AED 180 AED 90
DEF 90
AED DEF BEF 180
90 90 BEF 180 BEF
BF
sin BF sin sin
EF
BE
cos BE sin cos
EF
En el tringulo DAE :
AE
sin DE sin AE cos sin AE
DE
AD
cos DE cos AD cos cos AD
DE
En el tringulo CFD :
Puesto que AB // CD tenemos que DFC .
CD
sin CD AE BE cos sin sin cos
DF
CF
cos CF BC BF AD BF cos cos sin sin
DF
Con lo que llegamos a las frmulas de la suma de ngulos:
sin cos sin sin cos
cos cos cos sin sin
cos sin sin cos / cos cos
cos cos sin sin / cos cos
sin sin
cos cos tan tan
sin sin 1 tan tan
1
cos cos
Fuente: Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables (Abramowitz, Stegun, 1972)
9 Circunferencias.
Una circunferencia puede no ser redonda.
Ninguno comprendamos el secreto nocturno de las pizarras
ni por qu la esfera armilar se exaltaba tan sola cuando la mirbamos.
Slo sabamos que una circunferencia puede no ser redonda
y que un eclipse de luna equivoca a las flores
y adelanta el reloj de los pjaros.
Ninguno comprendamos nada:
ni por qu nuestros dedos eran de tinta china
y la tarde cerraba compases para al alba abrir libros.
Slo sabamos que una recta, si quiere, puede ser curva o quebrada
y que las estrellas errantes son nios que ignoran las aritmtica.
Un observador que se moviera por dicho arco siempre vera el segmento con el mismo
ngulo .
Demostracin:
Sea un tringulo ABC cuyo lado AB es el dimetro de una circunferencia de centro
D. Supongamos que el tercer vrtice pertenece a dicha circunferencia. Trazamos el
radio DC . Puesto que CD BD , el tringulo BCD es issceles en D y por tanto
DBC DCB (2.8.3).
De la misma forma ADC es issceles en D, luego DAC ACD .
As pues, ACB .
Ahora bien, prolongando el lado AC hasta un punto E, sabemos que
tambin ECB (Es un ngulo exterior), luego ACB FCB , y por tanto
ambos ngulos son rectos.
Por la primera parte de esta demostracin, ADB ser recto, pero ACB tambin es
recto, ambas rectas sern perpendiculares comunes a una misma recta por un punto
exterior, luego C D y por tanto C pertenecer a la circunferencia.
Nota histrica.
Tales vivi en Mileto, una isla griega en la costa de Asia Menor, entre 625 y 546 AC,
aproximadamente. Tenemos certeza de este periodo porque, segn Herotodo, predijo un
eclipse solar que se ha podido datar, con las tcnicas modernas, exactamente el 28 de
mayo del 585 AC.
Tradicionalmente se ha sealado a Tales como el primer gran filsofo, matemtico y
cientfico griego. Se le considera precursor del rigor lgico en las demostraciones
geomtricas, y en general, del desarrollo prctico y terico de la geometra.
Entre otras muchas ancdotas atribuidas a Tales, se cuenta que, en un viaje a Egipto,
Tales fue capaz de medir la altura de una pirmide midiendo su sombra justo en el
momento del da en que los objetos proyectaban una sombra igual a su altura.
a b c d
As pues, los tringulos ADE y ECB son semejantes, pues tienen sus tres ngulos
iguales (4.5.2), luego sus lados son proporcionales:
DE EB
DE CE EB EA b a d c a b c d
EA CE
a b c d
a2 b c
9.1.8 Proposicin.
El dimetro es siempre mayor que cualquier otra cuerda.
Demostracin.
Sea una circunferencia c con centro O, sea CD un dimetro y sea AB una cuerda que
no sea dimetro, es decir, que no contenga el punto O.
Entonces AOB es un tringulo, y por tanto podemos aplicar la desigualdad triangular:
AB AO OB
Pero AO , OB , OC y OD son radios, luego AO OB OC OD , y por tanto
AB AO OB CO OD CD
9.1.9 Proposicin.
Cuerdas congruentes equidistan del centro. Recprocamente, cuerdas que equidistan del
centro son congruentes.
Demostracin.
Sean AB y CD dos cuerdas congruentes de la misma circunferencia c(O, r ) . Trazamos
los radios para completar dos tringulos AOB y COD , que sern congruentes por el
criterio SSS.
Son dos tringulos issceles en el vrtice O y congruentes, por lo tanto sus respectivas
alturas por el vrtice O sern segmentos congruentes (3.10.7), y en consecuencia la
distancia de cada cuerda al centro ser la misma.
9.1.10 Proposicin.
Dadas dos cuerdas, la mayor dista menos del centro. Recprocamente, la que dista
menos del centro es mayor.
Demostracin.
Sean AB y CD dos cuerdas en la misma circunferencia c(O, r ) . Sean D y E las
respectivas perpendiculares por el centro O. Queremos ver que
AB CD DO OE
Supongamos que AB CD . Existir un punto F en el interior de CD tal que
AB CF .
En los tringulos ABO y CFO tenemos AB CF , BO OC y OF OB (pues F
pertenece al interior de la circunferencia), luego FCO BAO .
Sea G el punto medio de CF . D es el punto medio de AB y E es el punto medio de CF
(3.10.4).
Demostracin.
Trazando el segmento OC encontramos dos tringulos rectngulos que comparten un
cateto: OA OB y la hipotenusa comn OC . Luego, por el criterio HL (3.8.7) sern
congruentes, y por tanto AC BC .
Demostracin.
Para demostrar su necesidad basta aplicar la proposicin anterior a los ocho segmentos
involucrados, que sern iguales dos a dos:
ac x y z t y z xt bd
9.2.3 Teorema.
Todo polgono regular de n lados se puede descomponer en n tringulos issceles con
2
ngulo central 360 / n y ngulo lateral 901 . Los ngulos internos de un polgono
n
2
regular miden 1801 . Todo polgono regular se puede inscribir en una
n
circunferencia.
Demostracin.
Sea un polgono regular P1 P1 P3 P4 ...Pn .
Trazamos las mediatrices m1 de P1 P2 y m2 de P2 P3 . No pueden ser paralelas pues son
perpendiculares a dos rectas no paralelas, luego se cortarn en un punto O.
Por la caracterizacin de mediatrices (3.9.10), P1O P2O , y P2O P3O , luego los
tringulos P1OP2 y P2OP3 son issceles en O, y son congruentes por el criterio SSS.
Por lo tanto P2 P1O P1P2O P3 P2O P2 P3O .
Llamemos al ngulo de los vrtices del polgono:
P1P2 P3 P2 P3 P4 ... Pn P1P2
Entonces
OP3 P4 OP3 P2
OP2 P3
2 2
Puesto que se cumple adems P3 P4 P2 P3 y P2O P3O , por el criterio SAS deducimos
que P3OP4 P2OP3 , y por tanto OP3 OP4 .
Este procedimiento lo podemos repetir una y otra vez hasta llegar al ltimo vrtice Pn ,
es decir, el punto O es el centro de la circunferencia circunscrita al polgono.
9.2.4 Corolario. Propiedad fundamental del hexgono.
El lado de un hexgono regular es igual al radio del crculo circunscrito.
i) ln l2 n (Proposicin ????)
ii) ln l2n an a2n (Proposicin 9.1.9)
iii) ln 2l2 n (por la desigualdad triangular), y por tanto
pn n ln 2n l2n p2n
p a p a p a
iv) ( Rn ) n n 2 n n 2 n 2 n ( R2 n ) (aplicando ii) y iii) ).
2 2 2
Si realizamos este proceso una y otra vez, obtenemos una sucesin de polgonos
regulares inscritos en la circunferencia
Rn R2n R4n R8n ...
Demostracin.
Supongamos que tenemos dos circunferencias de radios diferentes c(O, r ) y c' (O' , r ' ) .
Sea Rn P1 P2 ...Pn el polgono regular de n lados inscrito en c, y sea Rn' P1' P2' ...Pn' el
polgono regular de n lados inscrito en c.
Puesto que ambos polgonos son semejantes, OP1 P2 O' P1' P2' .
Luego sus lados son proporcionales, en particular
P1 P2 P1' P2' l l, nl nl, p p,
o equivalentemente, n n n n n n
OP1 OP1' r r' 2 r 2 r' 2 r 2 r'
Tendiendo al lmite,
L p p, L' L L'
lim n lim n . La igualdad garantiza que dicha razn es la
2r k 2r k 2 r ' 2 r' 2 r 2 r'
misma independientemente de la circunferencia que tomemos.
9.4 Inversiones.
Observaciones:
1. Puesto que en la semirrecta OP siempre existir un nico punto P tal que
r2
OP '
OP
el punto inverso est bien definido.
3. La funcin es idempotente ( i 2 Id ) en IP O .
r2
3. Si P C , entonces OP r y OP ' r y por tanto P P' , es decir, la funcin
r
deja invariantes los puntos de la circunferencia.
r2 r2
4.Si P est en el interior de la circunferencia OP r y entonces OP ' r y
OP r
por tanto P est fuera de la misma, y viceversa. Es decir, las inversiones intercambian
el interior y el exterior de las circunferencias.
9.4.2 Proposicin.
Las inversiones transforman rectas que pasan por el centro O en rectas que pasan por el
centro O.
Demostracin.
P OQ, P Q OQ OP i( P) P' OP OP OQ P' OQ
Por definicin de punto inverso, P' OP .
9.4.3 Lema.
Sea una circunferencia C con centro O, y sea AOB un tringulo con un vrtice en O.
Entonces
AOB B'OA'
Demostracin.
Sea P el punto de interseccin entre la recta r la recta perpendicular a r que pasa por O.
Sea P= i(P). Queremos demostrar que la imagen de Q est contenida en la
circunferencia de centro P y dimetro OP.
Sea Q un punto cualquiera de la recta r y Q= i(Q).
Por el lema anterior, QOP P'OQ' , luego P Q' , ms exactamente,
QPO P' Q' O . Pero QPO es recto por construccin, luego P' Q' O tambin lo
ser, y por el teorema de Tales, el punto Q pertenecer a la circunferencia de centro P y
dimetro OP.
9.4.5 Corolario. Las inversiones transforman circunferencias que pasan por O en
rectas.
Puesto que toda inversin es idempotente, es decir, i 2 Id , transformar
circunferencias que pasan por el centro O en rectas que no pasan por O.
Demostracin.
Sea c una circunferencia con centro O. Sea d una segunda circunferencia con centro D.
Supongamos que O no est en d. Trazamos la semirrecta OD que cortar d en dos
puntos A y B. Sean A y B los puntos inversos de A y B respectivamente.
Sea C otro punto cualquiera de d.
ACB es recto, por estar inscrito en la circunferencia d. Luego
180 ACB CAB ABC 90 CAB ABC CAB ABC 90
Y por tanto:
B' C ' A' OC' A'OC' B' 180 CAB OCB 180 (CAB ABC )
180 90 90
Es decir, B' C ' A' tambin es recto, y en consecuencia pertenece a la circunferencia de
dimetro AB.
9.4.7 Definicin. ngulo entre dos circunferencias.
Definimos el ngulo entre dos circunferencias que se cortan en dos puntos como el
ngulo que determinan las rectas tangentes a dichas circunferencias en los puntos de
corte.
Los dos ngulos determinados son iguales. Efectivamente, llamando P y Q a los centros
de las dos circunferencias, y A y B lo dos puntos de corte de las mismas,
PQA PQB por el criterio SSS, y por tanto PAQ PBQ .
Por otro lado, tenemos 90 90 PAQ 360 y 90 90 PBQ 360 , de lo
que se deduce
Si las dos circunferencias son tangentes, es decir, se cortan en un nico punto, diremos
que el ngulo que determinan es 0:
9.4.9 Teorema.
Las inversiones son transformaciones conformales, es decir, mantienen invariable los
ngulos.
Demostracin.
9.4.10 Corolario.
Si una circunferencia c es ortogonal a la circunferencia de la inversin, entonces queda
invariante:
i(c) c
Demostracin.
Sea i la inversin asociada a la circunferencia c de centro A.
Sea d una circunferencia, y llamemos P y Q a sus puntos de interseccin con c.
Sabemos que i( P) P y i(Q) Q pues son puntos de c.
Sean r y s las respectivas rectas tangentes a c por P y Q.
Sean r y s las respectivas rectas tangentes a d por P y Q.
El radio PB es perpendicular a r y pasa por P, la recta r es perpendicular a r y pasa por
P, luego el radio PB est en la recta r, y por tanto B r .
De la misma forma demostramos que B s , y en consecuencia B r s .
B queda determinado por dos rectas que slo dependen de los puntos P y Q, que son
invariantes por la inversin, y el ngulo entre las dos circunferencias, que tambin es
invariante por la inversin, luego el centro B ser invariante por la inversin: i( B) B .
Y finalmente, el radio tambin quedar invariante, pues i( B)i( P) BP , por lo tanto
toda la circunferencia quedar invariante.
Observacin.
La circunferencia es fija: i(c) c , pero no es de puntos fijos: i( P) P P d
9.4.11 Teorema. Frmula de la inversin asociada a la circunferencia unidad.
La funcin compleja
f : C 0 C
1
z
z
es la inversin asociada a la circunferencia unidad z C | z 1.
Demostracin.
Trabajando en forma polar este resultado es inmediato:
Si z rei , entonces su imagen por la inversin tendr el mismo argumento, y
1 1
La igualdad OP OP ' 12 equivale a OP ' .
OP r
As pues,
1 1 1
i( z ) ei i
r re z
Tal y como queramos ver.
9.5 Cuadrilteros cclicos.
a a b b c c d d 360 2a 2b 2c 2d 360
2(a b c d ) 360 a b c d 180 a d c b 180
A C 180
9.5.4 Proposicin. Segunda propiedad fundamental de los cuadrilteros cclicos.
En un cuadriltero cclico, el ngulo entre un lado y su diagonal es igual al ngulo entre
el lado contrario y la otra diagonal:
ADB ACB
Demostracin: Son iguales porque ambos son ngulos inscritos determinando el mismo
arco de circunferencia (9.1.2).
ABD ACD
Demostracin.
Ya hemos visto en 9.5.4 que esta condicin es necesaria. Veamos ahora que es
suficiente. Sea P el punto de corte de las dos diagonales.
Claramente los tringulos ABD y CPD son semejantes pues comparten dos ngulos
iguales (criterio AA). Y por tanto, sus lados son proporcionales:
BP PC
PA PD
Luego los tringulos APD y BPC tambin son semejantes, pues tienen un ngulo en
comn (el opuesto por el vrtice) y dos lados contiguos proporcionales (Criterio SAS de
semejanza 7.2.6).
9.5.7 Ejercicio.
Si un trapecio cclico no es un rectngulo, sus lados no paralelos tienen la misma
longitud.
Demostracin.
Sea ABCD un cuadriltero cclico tal que AD // BC .
Si AB // CD entonces es un paralelogramo, luego por 6.7.2c sus ngulos opuestos son
congruentes, y puesto que son suplementarios porque el cuadriltero es cclico, sern
rectos. Luego es un rectngulo, contradiciendo la hiptesis. Por lo tanto AB y CD no
son paralelos. Sea O su punto de corte.
Puesto que AD // BC , tenemos que A y B son suplementarios. Pero por ser un
cuadriltero cclico, B y D son suplementarios, luego por 2.3.1, A D .
Luego el tringulo AOD es issceles en O, y por tanto AO DO .
AB AO
Por estar los tringulos AOD y BOC en posicin de Tales, 1 , y por
CD DO
tanto AB CD .
a) Las tres circunferencias circunscritas a los tringulos BC ' A' , AC ' B' y CB' A' se
encuentran en un punto comn M.
b) Los ngulos que determinan este punto M con los lados son iguales, como se indica
en la siguiente figura:
Por lo tanto el cuadriltero ACBM tambin es cclico. Puesto que una circunferencia
queda determinada por tres puntos, su circunferencia circunscrita ser la circunferencia
circunscrita al tringulo ABC, de lo que se deduce que M pertenece a esta ltima, tal y
como queramos ver.
Observaciones.
El recproco de este teorema tambin es cierto: Si un cuadriltero cumple esta igualdad
es porque es cclico.
Este teorema es una generalizacin del teorema de Pitgoras, que queda como un caso
particular cuando el cuadriltero es un rectngulo.
Demostracin.
Sabemos que BAC BDC y ADB ACB (9.5.4)
Sea K un punto del segmento AC tal que ABK DBC .
AK CD
Luego AK BD CD AB (1)
AB BD
Los tringulos KBC y DBA son semejantes, por el criterio AA y teniendo en cuenta
que
ABK KBC ABC CBD DBA ABK DBA
ABK KBC ABK DBA KBC DBA
KC AD
Luego KC BD AD BC (2)
BC BD
Sumando (1)+(2):
AK BD KC BD CD AB AD BC
AK KC BD CD AB AD BC
AC BD CD AB AD BC
Q.E.D.
ACB tiene el lado bf en comn con ABD y tiene el lado cf en comn con BCD
Demostracin.
Basta reinterpretar la figura como la de un cuadriltero cclico ABPC y aplicar el
teorema anterior:
CB AP CP AB AC BP
CP AB AC BP CP AB AC BP
AP
CB CB CB
AB AC
CP BP
CB CB
???? acabar.
Nota histrica.
Ptolomeo (Claudius Ptolemaeus) naci en Egipto en el ao 90 DC y falleci en el 168.
Fue un matemtico, astrnomo, msico, qumico y gegrafo griego.
d DA y s (a b c d ) / 2 .
Entonces
ABCD (s a)(s b)(s c)(s d )
Demostracin.
Trazamos la diagonal AC . Sea B ABC y D ADC .
Aplicamos el Teorema del Coseno a los tringulos ABC y ACD :
a 2 b2 2ab cos B AC 2 d 2 c 2 2cd cos D
Puesto que es un cuadriltero cclico, sus ngulos opuestos sern suplementarios:
B D 180 , luego cos B cos D , y por tanto
a 2 b 2 2ab cos B AC 2 d 2 c 2 2cd cos B
a 2 b 2 c 2 d 2 2 cos B(ab cd )
a 2 b2 c2 d 2
cos B
2(ab cd )
Luego
2(ab cd ) (a 2
b 2 c 2 d 2 ) 2(ab cd ) (a 2 b 2 c 2 d 2 )
4(ab cd ) 2
2ab 2cd a 2
b 2 `c 2 d 2 2ab 2cd a 2 b 2 c 2 d 2
4(ab cd ) 2
c d (a b) a b (c d ) (1)
2 2 2 2
4(ab cd ) 2
Demostracin.
Si existe una circunferencia inscrita en el cuadriltero se tiene que a c b d
(9.1.13), y por tanto
a b c d 2a b
s ab
2 2
a s a (a b) b, b s b (b d ) d
c s c (a c) a, d s d (b d ) b
Demostracin.
Puesto que todo tringulo es inscribible, podemos considerar la frmula de Heron como
un caso particular de la frmula de Brahmagupta cuando C=D, es decir, d=0.
Nota histrica.
Brahmagupta (598 - 670) fue el matemtico indio ms famoso de su tiempo. Escribi
dos importantes tratados en astronoma y matemticas: Brahmasphutasiddhanta y
Khandakhadyaka.
9.5.14 Teorema. La frmula de Bretschneider.
La frmula de Bretschneider extiende la frmula de Brahmagupta a cualquier tipo de
cuadriltero, no necesariamente cclico:
A ( s a)(s b)(s c)(s d ) abcd cos 2
2
9.5.15 Corolario.
La frmula de Bretschneider tiene un interesante corolario: Los cuadrilteros cclicos
don los que tienen un rea maximal entre todos aquellos cuadrilteros con la misma
secuencia de longitudes en los lados, en particular, entre aquellos con el mismo
permetro.
9.6 La razn urea.
ab a
con a b
a b
ab a ab a b b 1
Definiendo , nos queda 1 1 ,
a b a a a a
Y multiplicando por llegamos a la ecuacin 1 , que tiene por soluciones
2
1 1 4(1) 1 5
2 2
Tomamos como definicin del nmero de oro a la solucin positiva de la ecuacin, es
decir, el nmero
1 5
1.6180339887498948
2
El nmero ureo aparece con frecuencia en la naturaleza y est ligado con la sucesin
F
de Fibonacci, ya que lim n 1 , donde Fn es el n-simo trmino de la sucesin.
n F
n
9.6.3 Teorema.
La diagonal y el lado de un pentgono regular estn en la razn urea.
Demostracin.
Podemos descomponer un pentgono regular en cinco tringulos issceles de ngulo
central 72 y ngulos laterales de 54. Trazados dos de sus diagonales, AD y BE :
Los tringulos EAB y DEA son congruentes aplicando el criterio SAS, luego
EB DA , es decir, todas las diagonales del tringulo son congruentes dos a dos.
y
x
Demostracin.
El caso del tringulo 36-108-36 se ha visto en el teorema anterior. Apoyndonos en este
resultado demostramos el segundo:
Sean y EB AD , a BG GD , b GA GE .
y
y a
a
a y b a b a b a
1
b b b b b b
1 1 1
a a a a 1
b b b b 1
La ltima igualdad se basa en la propiedad fundamental del nmero ureo: 2 1 .
CD AC CD
CD AC
Encontramos este teorema en la Proposicin 9 del libro XIII de Euclides: Si se unen el
lado de un hexgono y el de un decgono inscritos en el mismo crculo, la recta entera
queda cortada en extrema y media razn, y su segmento mayor es el lado del
hexgono.
Demostracin.
Inscribimos el decgono regular dentro de una circunferencia de centro O y dimetro
AB. Sea AC uno de los lados del decgono. Sea D un punto de la circunferencia de
forma que CD sea un lado del hexgono. Sabemos (9.2.4) que el lado del hexgono es
igual al radio de la circunferencia, luego CD CO .
Prolongamos la semirrecta AC hasta un punto E tal que CE CO CD .
AE AO
Luego . Pero AE AC CE AC CO AC CD y AO CD , por lo
AO AC
tanto
AC CD CD
CD AC
a2 b2 c 2
Demostracin.
Sea ABCDE un pentgono regular inscrito en una circunferencia de centro O.
Ya hemos visto que este pentgono se desmonta en cinco tringulos issceles
congruentes de ngulos 54-72-54.
Para determinar el decgono regular trazamos la mediatriz del lado AB por su punto
medio F, y sea G su punto de corte con la circunferencia. Por las propiedades de los
tringulos issceles, AG GB ser el lado del decgono, formado por diez tringulos
issceles de ngulos 72-36-72.
Trazamos ahora la mediatriz de GB por su punto medio I. Sea J su punto de corte con la
circunferencia y sea H su punto de corte con el lado AB del pentgono.
De (1) y (2):
AO 2 AB AH
AB AH AB GH AO AG
2 2
AG AB GH
2
AB AH GH AO 2 AG 2
AB 2 AO 2 AG 2
Donde AB es el lado del heptgono, AO es el radio y por tanto el lado del hexgono, y
AG es el lado del decgono, tal y como queramos ver.
10 Teoremas de Ceva, Menelao, Desargues y Pappus.
Demostracin.
Supongamos que las tres cevianas son concurrentes en un punto O. Trazamos por A una
paralela a CB. Sea C el punto de interseccin entre esta paralela y CC. Sea B el
punto de interseccin entre esta paralela y BB.
Supongamos por el contrario que la igualdad anterior se satisface para el tringulo ABC
y los tres puntos A, B y C de los lados BC, AC y AB respectivamente. Sea O el punto
de interseccin de las rectas CC y BB. Sea P el punto de interseccin entre AO y BC.
Vamos a ver que P=A.
Recordemos que las reas de los tringulos con igual altura son proporcionales a las
bases.
Notacin: Recordamos que denotamos por [XYZ] el rea del tringulo XYZ.
CA' ACA' OCA' ACA' OCA' ACO
A' B AA' B OA' B AA' B OA' B BAO
AB ' AQ
porque los tringulos AQB' y CPB ' son proporcionales.
B' C PC
CA' CP
porque los tringulos PCA' y A' BR son proporcionales.
A' B RB
BC ' BR
porque los tringulos BRC ' y AQC ' son proporcionales.
C ' A QA
AB ' CA' BC '
Luego (1)(1)(1) 1
B' C A' B C ' A
Sea P el punto de interseccin entre la recta BC y BC. Vamos a ver que P A' :
10.1.4 Proposicin.
Demostracin del teorema de Ceva mediante el teorema de Menelao.
Demostracin.
Sea ABC un tringulo y supongamos que tres cevianas AA, BB y CC concurren en
un mismo punto P.
Aplicando el teorema de Menelao al tringulo ACA y la recta BP, tenemos que
AB ' CB A' P
1
B' C BA' PA
Aplicando el teorema de Menelao al tringulo AAB y la recta PC, tenemos que
BC ' AP A' C
1
C ' A PA' CB
A' P AP CB
Donde hemos utilizado 1 y 1
PA PA' CB
10.1.5 Proposicin.
Demostracin del teorema de Menelao mediante el teorema de Ceva.
Demostracin.
Sea un tringulo ABC y A, B y C tres puntos alineados en sus lados:
10.1.6 Corolario.
Los teoremas de Ceva y de Menelao son equivalentes.
Demostracin.
10.2 Rectas y puntos notables del tringulo (3).
Demostracin:
BC '
cos B BC ' BC cos B
BC BC ' BC cos B
AC ' C ' A AC cos A
cos A AC ' AC cos A
AC
Nota: En una demostracin ms rigurosa tendramos que analizar el signo del coseno
para posibles ngulos obtusos, y comprobar que el razonamiento es igualmente vlido.
Si el tringulo es rectngulo las alturas se cortan en el vrtice cuyo ngulo es recto.
AC ' AC
C ' B CB
Demostracin.
Por 7.2.9 sabemos que
(ACC ' ) AC CC 'sin( ) / 2 y (C' CB) BC CC'sin( ) / 2
Luego
(ACC ' ) AC CC ' sin( ) / 2 AC
(C ' CB) BC CC ' sin( ) / 2 BC
C ' A AC
C ' B CB
Demostracin.
Trazamos la recta paralela a AC por B. Sea D su punto de interseccin con CC
Por otro lado, AC // BD BAC C' BD, ACC ' BDC , de lo que deducimos
que los tringulos AC' C y BC' D son semejantes, pues tienen los mismos ngulos.
C ' A AC AC
Por lo tanto tendrn lados proporcionales:
C ' B BD BC
10.2.4 Corolario.
Las bisectrices de un tringulo se encuentran en un nico punto llamado incentro.
Demostracin.
luego
AB ' CA' BC ' B' A A' C C ' B BA AC CB
1
B' C A' B C ' A CB' BA' AC ' CB BA AC
10.2.5 Proposicin.
El incentro equidista de los tres lados, por lo que es el centro de la circunferencia
inscrita.
10.2.6 Proposicin.
Las medianas de un tringulo se encuentran en un punto nico llamado baricentro
(centroid).
Demostracin.
AB ' CA' BC ' AB ' CA' BC '
1 luego claramente 1 , y basta aplicar el
B' C A' B C ' A B' C A' B C ' A
teorema de Ceva.
10.2.7 Proposicin.
a) Las medianas de un tringulo determinan seis tringulos internos de la misma rea.
b) Las medianas de un tringulo se cortan en razn 2:1.
Demostracin. Sea un tringulo ABC y sus medianas AA, BB y CC. Sea G su
baricentro. Los tringulos marcados con la misma letra tienen reas iguales, pues tienen
la misma base y comparten una altura comn.
BM CN
Entonces se cumple 1 y esta propiedad caracteriza el baricentro.
MA NA
Demostracin: Sea A el punto medio de BC . Trazamos perpendiculares a r por B, A,
A y C. Sean D, E, F y G los puntos de corte de dichas perpendiculares con la recta r.
BD CG
Tenemos que A' F
2
Los tringulos AEG y A' FG son semejantes (Criterio AA) y GA 2GA' por
BD CG
6.3.16(b), luego AE 2FA' , y por lo tanto AE 2 FA' 2 BD CG .
2
Los tringulos BDM y AEM son semejantes (criterio AA), luego
BM CN BD CG BD CG AE
1
MA NA EA AE EA EA
Fuente:
10.2.9 Proposicin.
El circuncentro equidista de los tres vrtices, por lo que es el centro de la circunferencia
circunscrita.
a b c
2r
sin A sin B sin C
Demostracin. Lanzamos los segmentos CO y OB. Sea D el punto medio del segmento
CB. La perpendicular a CB que pasa por D es una mediatriz del tringulo por lo tanto
pasa por el centro O.
COB 2DOB
Por 8.1.1, A CAB A DOB
2 2
a/2
Pero por definicin del seno de un ngulo tenemos sin(DOB)
r
a/2 a a
Por lo tanto sin A sin A 2r sin A a sin A
r 2r 2r
De forma similar se demuestra este teorema cuando el circuncentro cae fuera del
tringulo.
El Segundo punto de Brocard es aquel que satisface la misma propiedad pero tomando
los ngulos en sentido contrario:
Demostracin.
Supongamos que dicho punto P existe. Sea PBA PAC PCB .
Sabemos que el centro X de la circunferencia circunscrita al tringulo PBC queda
determinado por la interseccin de las bisectrices de los lados, luego
PBA 2 PXB puesto que es un ngulo central que abarca el mismo arco
(9.1.1). Si M es el punto medio del segmento BP , el tringulo PXB es issceles,
luego M es bisectriz de X y por tanto MXB 2 / 2 . Puesto que MX PB ,
MBX 90 MXB 90 , y finalmente
ABX ABP PBX 90 90 .
Con esto hemos comprobado que la recta AB es tangente a la circunferencia en el punto
B, y podemos determinar dicha circunferencia sin tener localizado el punto P.
Determinamos ahora la circunferencia circunscrita al tringulo ACP . Como en el caso
anterior, su centro Y ser la interseccin entre la bisectriz de AC y la perpendicular a
BC por C. El punto P pertenece a ambas circunferencias, y no es C, luego ser el otro
punto de interseccin. Con esto hemos comprobado que dicho punto P existe y es nico,
y adems hemos obtenido un mtodo para determinarlo.
Demostracin.
10.3 Teoremas de Desargues y Pappus.
Estos tringulos estn en perspectiva respecto del punto R, por lo que podemos aplicar
la primera parte de este teorema para afirmar que los tres puntos BB'CC ' ,
PB QC A y PB'QC' A' estn alineados.
Definiendo O BB'CC ' , de lo anterior se deduce que la recta AA pasa por O, es
decir, que los tringulos ABC y ABC estn en perspectiva respecto de este punto O.
Pero ACD OCD OC' B puesto que los tringulos OBD y ODC son
congruentes (criterio SAS).
As pues OB' A AB' D OC' B y por tanto AB' // BC ' como queramos ver.
[Rothe]
11 Transformaciones eucldeas.
11.1 Isometras.
11.1.1 Definicin. Isometra.
Una isometra es una funcin f : IE IE del plano eucldeo en s mismo biyectiva y
que conserva la distancia, esto es:
P, Q IE, f ( P) f (Q) PQ
11.1.2. Proposicin.
Las isometras conservan la congruencia:
AB CD f ( A) f ( B) f (C ) f ( D)
Demostracin.
Aplicamos la propiedad L2 de la medida de segmentos:
AB CD AB CD f ( A) f ( B) f (C ) f ( D)
f ( A) f ( B) f (C ) f ( D)
11.1.3 Proposicin.
Las isometras mantienen el orden:
A * B * C f ( A) * f ( B) * f (C)
Demostracin.
Aplicamos la propiedad L1 de la medida de segmentos:
A * B * C AC AB BC f ( A) f (C ) f ( A) f ( B) f ( B) f (C )
f ( A) * f ( B) * f (C )
11.1.4 Proposicin.
Las isometras transforman rectas en rectas:
Sea r AB . Entonces f ( AB) f ( A) f ( B)
Demostracin.
Veamos f ( AB) f ( A) f ( B) .
Sea P f ( AB) P f (Q), Q AB .
Si Q A entonces P f ( A) f ( A) f ( B) , y de la misma forma si Q B .
Si Q A, B entonces se debe dar uno de los tres casos Q * A * B , A * Q * B o A * B * Q .
Si Q * A * B , aplicando la proposicin anterior f (Q) * f ( A) * f ( B) y por tanto
P f (Q) f ( A) f ( B) por el axioma B1.
De la misma manera se demuestran los otros dos casos.
La inclusin contraria f ( A) f ( B) f ( AB) se demuestra de forma similar.
11.1.5 Corolario.
Las isometras conservan la incidencia:
P r f ( P) f (r )
Demostracin.
Es una aplicacin directa de la proposicin anterior.
11.1.6 Proposicin.
Las isometras conservan la congruencia de ngulos:
ABC f ( A) f ( B) f (C)
Demostracin.
Consideremos los tringulos ABC y f ( A) f ( B) f (C ) .
f ( A) f ( B) AB por ser f una isometra y por tanto f ( A) f ( B) AB .
Y de la misma forma f ( A) f (C ) AC y f ( B) f (C ) BC .
Luego, por el criterio SSS de congruencia de tringulos, ABC f ( A) f ( B) f (C) .
Y por tanto ABC f ( A) f ( B) f (C) .
11.1.7 Corolario.
ABC DEF f ( A) f ( B) f (C) f ( D) f ( E) f ( F )
Demostracin.
f ( A) f ( B) f (C) ABC DEF f ( D) f ( E) f ( F ) .
11.1.8 Proposicin.
Si f es una isometra, su funcin inversa f 1 tambin es una isometra.
Demostracin.
A f (A) y B f (B) para ciertos puntos A' f 1 ( A) y B' f 1 ( B) .
Luego AB f ( A' ) f ( B' ) A' B' f 1 ( A' ) f 1 ( B' ) , como queramos ver.
11.1.9 Proposicin.
La composicin de dos isometras es una isometra.
Demostracin.
Sean f y g dos isometras. Claramente la composicin de dos biyecciones es una
biyeccin. Y adems, las longitudes quedan invariantes:
f ( g ( A)) f ( g ( B)) g ( A) g ( B) AB .
11.1.10 Proposicin.
La funcin identidad
Id :
A A
Es una isometra.
Demostracin.
Claramente es una biyeccin y conserva las distancias: f ( A) f ( B) AB .
11.1.11 Corolario.
El conjunto de isometras tiene estructura de grupo.
11.1.13 Proposicin.
Si una isometra deja fijos dos puntos de una recta, toda la recta es de puntos fijos.
Demostracin.
Sea una isometra f : IE IE y supongamos que A, B IE puntos fijos.
Sea C AB . Queremos ver que f (C ) C .
Se pueden dar tres casos: C * A * B , A * C * B o A * B * C (axioma B3). Lo probaremos
para el caso A * C * B , los otros dos casos se demuestran de forma similar.
Supongamos pues que A * C * B . Sabemos que las isometras mantienen el orden y
transforman rectas en rectas, por lo tanto A * f (C ) * B .
Se cumple AC f ( A) f (C ) Af (C ) , y por tanto C f (C ) , pues C es el nico punto
de la semirrecta AB a dicha distancia de A.
11.1.14 Proposicin.
La identidad es la nica isometra que deja fijos tres puntos no colineales.
Demostracin.
Sean A, B, C IE tres puntos no colineales y supongamos que son puntos fijos para la
isometra f : IE IE . Claramente la Identidad cumple esta condicin, veamos que es
la nica isometra posible con dicha condicin.
Puesto que deja fijos los tres puntos A, B y C, por la proposicin anterior sern de
puntos fijos las rectas que stos determinan: AB , AC y BC .
Sea P IE . Si P pertenece a una de estas tres rectas anteriores, entonces es fijo.
Supongamos lo contrario. Sea Q un punto cualquiera A * Q * B (axioma B2) y
consideremos la recta PQ .
Por el Teorema de Pasch esta recta pasar por AC o por BC , con lo cual contendr un
segundo punto fijo, y por la proposicin anterior, ser una recta de puntos fijos. Puesto
que P pertenece a esta recta, tambin ser fijo, tal y como queramos ver.
11.1.15 Proposicin.
Supongamos que dos isometras f , g : IE IE coinciden en tres puntos no colineales:
f ( A) g ( A) , f ( B) g ( B) y f (C ) g (C ) . Entonces f g .
Demostracin.
Consideremos la isometra f 1 g (ya hemos demostrado anteriormente que es una
isometra).
( f 1 g )( A) f 1 ( g ( A)) f 1 ( f ( A)) A y de la misma forma ( f 1 g )( B) B y
( f 1 g )(C ) C . En consecuencia, y por la proposicin anterior, f 1 g Id y por lo
tanto f 1 es la inversa de f y g a la vez, y esto slo puede suceder si f g , pues una
funcin queda totalmente determinada por su funcin inversa.
11.2 Translaciones.
11.2.1 Lema.
Sea ABCD un paralelogramo y A * B * E . Entonces C B .
DE
Demostracin.
Sean BED y ABD .
11.2.2 Lema.
Sea ABCD un paralelogramo y A * B * E . Sea F AB tal que CF // DE .
Entonces B * E * F , y por tanto A * B * E * F .
FC DE contradiciendo la hiptesis CF // DE .
Esta funcin es inyectiva en IE AB :
Sean P, Q IE AB . Supongamos que t ( P) t (Q) .
Qt(Q) // AB y Pt ( P) // AB por construccin, luego Qt(Q) // Pt ( P) , y puesto que tienen
un punto en comn se deduce que Qt(Q) Pt ( P) .
De la misma manera, AQ // Bt (Q) y AP // Bt ( P) , y puesto que t ( P) t (Q) , AQ // AP ,
y puesto que tienen el punto A en comn, AQ AP .
Por ltimo Q AQ Qt(Q) AP Pt ( P) P , es decir, Q P .
Esta funcin es suprayectiva en IE AB :
Sea Q IE AB un punto cualquiera. Queremos ver que existe un P IE AB tal
que t ( P) Q .
Tomamos un punto auxiliar R IE AB , R Q . Si t ( R) Q ya hemos acabado. Si
no, sea r la recta paralela a Rt (R) que pasa por Q y sea s la recta paralela a t ( R)Q
que pasa por R. Sea P r s . Para ver que t ( P) Q slo hace falta aplicar el lema
anterior.
Segunda parte: Si P AB .
Tomamos un punto cualquiera Q AB y calculamos t (Q) de la manera anterior. Y por
paralelismo sobre Qt(Q) calculamos t (P) :
Determinamos la nica recta s que pasa por Q y es paralela a P r (Q) . Esta recta s y la
circunferencia d tendrn dos puntos en comn, uno de ellos es Q. Definimos r (P) como
el otro punto de interseccin.
11.3.2 Proposicin.
En una rotacin determinada por las semirrectas OA y OB , el ngulo formado por un
punto diferente del origen y su imagen es siempre constante e igual al ngulo entre OA
y OB :
POr ( P) AOB
Demostracin.
Si P OA no hay nada que demostrar. Supongamos que P OA . Debemos considerar
tres casos independientes: Cuando P est en el interior de AOB , cuando est en
AOB y cuando est en el exterior de AOB . Aqu veremos el tercer caso.
Sea C Or(Q) Qr( P) y D OP Qr(P) .
11.3.3 Proposicin.
Las rotaciones conservan las distancias.
Demostracin.
Sea r una rotacin de centro O. Sean P, Q IE dos puntos cualquiera del plano y sean
P' r ( P) y Q' r (Q) .
Supongamos el caso general en que P, Q y O son tres puntos no alineados (los otros
casos quedan como ejercicio).
Sabemos, por la construccin de la rotacin, que OP OP' y OQ OQ' .
Demostraremos que POQ P'OQ' con lo que aplicando el criterio SAS de
congruencia de tringulos deduciremos que POQ y P'OQ' son congruentes, y por
tanto, en particular, PQ P'Q' .
Por la proposicin anterior, sabemos que POP' QOQ'
Hay que estudiar tres casos por separado:
Primer caso: Q no est en el interior del ngulo POQ :
11.5.2 Proposicin.
Si d : IE IE es una dilatacin de factor k, entonces
d ( A)d ( B) k AB
Demostracin.
Supongamos que los puntos O, A y B no estn alineados.
Los tringulos AOB y d ( A)Od ( B) son semejantes, pues AOB d ( A)Od ( B) y
Od ( A) Od ( B)
k
OA OB
d ( A)d ( B)
Por lo tanto tienen el tercer lado proporcional, es decir, k , tal y como
AB
queramos ver.
Si los puntos O, A y B estn alineados, no podemos utilizar el razonamiento anterior.
Supongamos que A * O * B . Entonces tambin d ( A) * O * d ( B) , y por tanto
d ( A)d ( B) d ( A)O Od ( B) k AO k OB k AO k OB k AB
Los otros casos se demuestran de forma similar.
11.5.3 Corolario.
Si dos segmentos son congruentes, sus imgenes por una dilatacin tambin sern
congruentes.
Demostracin.
Supongamos que AB CD , entonces AB CD .
d ( A)d ( B) k AB k CD d (C )d ( D) d ( A)d ( B) d (C )d ( D) .
11.5.4 Corolario.
Un tringulo y su imagen por una dilatacin son tringulos semejantes.
Demostracin.
Por la proposicin anterior sabemos que
d ( A)d ( B) k AB , d ( A)d (C ) k AC y d ( B)d (C ) k BC
y slo hay que aplicar el criterio SSS de semejanza de tringulos.
11.5.5 Corolario.
Un ngulo y su imagen por una dilatacin son ngulos congruentes.
Demostracin.
Completando los tringulos ABC y d ( A)d ( B)d (C) , en el corolario anterior hemos
visto que son semejantes, luego en particular BAC d ( B)d ( A)d (C ) .
11.5.6 Corolario.
Si dos ngulos son congruentes, sus imgenes por una dilatacin tambin sern
congruentes.
Demostracin.
Basta aplicar el corolario anterior.
12 Sistemas axiomticos.
Axiomas de orden:
B1. Si A*B*C entonces:
a) C*B*A.
b) Los puntos A, B y C estn en una misma recta.
c) A, B y C son puntos diferentes.
B2. Si A B , entonces existirn puntos C, D y E tales que C*A*B, A*D*B y A*E*E .
B3. Supongamos que A, B y C son puntos diferentes de una misma recta r. Entonces ser cierta una y slo
una de las siguientes afirmaciones:
(a) A*B*C, (b) B*A*C, (c) A*C*B
B4. Si r es una recta, y P, Q y R puntos que no pertenecen a r. Entonces:
a) P r Q y Q r R entonces P r R , es decir, la relacin P r Q es transitiva.
b) P r Q y Q r R entonces P r R .
Axiomas de congruencia.
C1. La relacin de congruencia entre segmentos es una relacin de equivalencia, es decir, cumple las
propiedades:
a) simtrica: AB A' B' A' B' AB
b) reflexiva: AB AB
c) transitiva: AB A' B' AB A' ' B' ' A' B' A' ' B' '
C2. Sea AB un segmento y CD una semirrecta. Entonces existe un nico punto E CD tal que
AB CE .
C3. Si AB A' B' y C es un punto (nico a posteriori) tal que A*C*B, entonces existir un punto C tal
que A*C*B y AC A'C ' y CB C ' B' .
C4. La relacin de congruencia entre ngulos es una relacin de equivalencia, es decir, cumple las
propiedades:.
a) simtrica: BAC B' A' C' B' A' C' BAC
b) reflexiva: BAC BAC
c) transitiva: BAC B' A' C' B' A' C ' B' ' A' ' C ' ' BAC B' ' A' ' C' '
C5. Sea BAC un ngulo y DE una semirrecta. Entonces en cualquiera de los dos lados de
DE existir una nica semirrecta DF tal que BAC EDF .
C6. Sea ABC un tringulo y A' B' un segmento tal que A' B' AB . Entonces en cada uno de los lados
de A' B' existir un punto C tal que ABC A' B' C ' .
Axiomas de continuidad.
Axioma de Dedekind: Toda cortadura de Dedekind de una recta contiene un punto de corte.
Axioma de Arqumedes. Sean los segmentos AB y EF . Entonces existir un entero positivo n tal que
n EF AB .
Axioma de paralelismo.
PUP. Dada una recta r y un punto P que no pertenece a r, existir una nica recta s por P paralela a r.
12.2 Fundamentos de la Geometra de Hilbert.
El 17 de junio de 1899 David Hilbert (1862-1943) public un breve trabajo dedicado a
los fundamentos de la geometra, que form parte de un volumen celebratorio
(Festschrift) en ocasin de la inauguracin en Gttingen de un monumento en homenaje
a Carl Friedrich Gauss (1777-1855) y Wilhem Weber (1804-1891). La monografa llev
el nombre Fundamentos de la geometra (Hilbert, 1899) y es considerada actualmente
no slo como una de sus contribuciones ms importantes a los fundamentos de la
matemtica, sino tambin como un hito fundamental de la concepcin moderna o
abstracta del mtodo axiomtico. Hilbert present all el primer sistema axiomtico
formal para la geometra eucldea elemental, a travs del cual era posible desarrollar esa
teora matemtica de un modo riguroso y sistemtico.
H1.2 Toda recta queda determinada por dos puntos de la misma. Si AB AC con
B C , entonces AB AC BC .
H1.4 Todo plano queda determinado por cualquier conjunto de tres puntos no colineales
del mismo.
H1.5 Si dos puntos A y B pertenecen a un plano, entonces todos los puntos de la recta
AB pertenecen a dicho plano.
H1.6 Si dos planos tienen un punto en comn, tendrn como mnimo otro punto ms en
comn.
H2.3 Dados tres puntos colineales, slo uno de ellos puede estar entre los otros dos.
H3.1 Dado un plano conteniendo una recta y un punto externo a la misma, existir en el
plano una nica recta paralela a la misma que pase por dicho punto.
H4.1 a) Dados dos puntos A y B de una recta r, para cualquier otra recta s (o la misma)
y para cualquier punto A de s, existir un nico punto B en cada uno de los lados de
A en s tal que AB A' B' .
b) Todo segmento es congruente consigo mismo.
H4.2 Si AB CD y CD EF entonces AB EF .
H4.3 Dados dos segmentos AB y BC de una misma recta, cuyo nico punto en comn
sea B, y otros dos segmentos A' B' y B'C ' de otra o la misma recta, cuyo nico punto en
comn sea B' , si AB A' B' y BC B'C ' , entonces AC A'C ' .
H4.5 Si (h, k ) (h' , k ' ) y (h' , k ' ) (h' ' , k ' ' ) entonces (h, k ) (h' ' , k ' ' ) (propiedad
transitiva de la congruencia de ngulos).
H4.6 Dados dos tringulos ABC y A' B' C ' , si AB A' B' , AC A'C ' y
BAC B' A' C' entonces se cumple ABC A' B' C' y ACB A' C' B' (Criterio
SAS de congruencia de tringulos).
H3.1
H4.2
H4.3
H4.4 a)
b)
H4.5
H4.6
Postulate 1. (Line Uniqueness) Given any two distinct points there is exactly one line
that contains them.
Postulate 4. (Ruler Placement Postulate) Given two points P and Q of a line, the
coordinate system can be chosen in such a way that the coordinate of P is zero and the
coordinate of Q is positive.
Postulate 6. (Points on a Line Lie in a Plane) If two points lie in a plane, then the line
containing these points lies in the same plane.
Postulate 7. (Plane Uniqueness) Any three points lie in at least one plane, and any three
non-collinear points lie in exactly one plane.
Postulate 8. (Plane Intersection) If two planes intersect, then that intersection is a line.
Postulate 9. (Plane Separation Postulate) Given a line and a plane containing it, the
points of the plane that do not lie on the line form two sets such that:
a) each of the sets is convex;
b) if P is in one set and Q is in the other, then segment PQ intersects the line.
Postulate 10. (Space Separation Postulate) The points of space that do not lie in a given
plane form two sets such that:
a) Each of the sets is convex.
b) If P is in one set and Q is in the other, then segment PQ intersects the plane.
Postulate 11. (Angle Measurement Postulate) To every angle there corresponds a real
number between 0 and 180.
Postulate 12. (Angle Construction Postulate) Let AB be a ray on the edge of the
half-plane H. For every r between 0 and 180, there is exactly one ray with P in H such
that m( PAB)=r.
Postulate 13. (Angle Addition Postulate) If D is a point in the interior of BAC, then
m BAC=, BAD+m DAC.
Postulate 14. (Supplement Postulate) If two angles form a linear pair, then they are
supplementary.
Postulate 16. (Parallel Postulate) Through a given external point there is at most one
line parallel to a given line.
Postulate 17. (Area of Polygonal Region) To every polygonal region there corresponds
a unique positive real number called the area.
Postulate 18. (Area of Congruent Triangles) If two triangles are congruent, then the
triangular regions have the same area.
Postulate 19. (Summation of Areas of Regions) Suppose that the region R is the union
of two regions R1 and R2. If R1 and R2 intersect at most in a finite number of segments
and points, then the area of R is the sum of the areas of R1 and R2.
Postulate 20. (Area of a Rectangle) The area of a rectangle is the product of the length
of its base and the length of its altitude.
Postulate 22. (Cavalieri's Principle) Given two solids and a plane. If for every plane
that intersects the solids and is parallel to the given plane the two intersections
determine regions that have the same area, then the two solids have the same volume.
School Mathematics Study Group, Geometry. New Haven: Yale University Press, 1961.
Fuente: http://www.msc.uky.edu/droyster/courses/fall11/MA341/index.htm
12.5 Birkhoffs Axioms for Euclidean Geometry.
Undefined Terms:
points A, B, ...
line - A set of points.
distance - The distance between any two points A and B is a non-negative real number
d(A,B) such that d(A,B) = d(B,A)
angle - An angle is formed by three ordered points A, O, B (A O, B O) where
m( AOB) is a real number (mod 2). The point O is called the vertex of the angle.
Definitions
Between: If A, B and C are distinct points, we say that B is between points A and C if
and only if d(A,B) + d(B,C) = d(A,C).
Line Segment: The points A and C together with all points B between A and C form
the line segment AC.
Half-Line; Endpoint: The half-line m' with endpoint O is defined by two points O, A
in line m (A O) as the set of all points A' of m such that O is not between A and A'.
Parallel: If two distinct lines have no points in common they are parallel. A line is
always regarded as parallel to itself.
Straight Angle; Right Angle; Perpendicular: Two half-lines m, n through O are said
to form a straight angle if m( mOn) = . Two half-lines m, n through O are said to
form a right angle if m( mOn) = /2, in which case we say that m is perpendicular to n.
Triangle; Vertices; Degenerate Triangle: If A, B, C are three distinct points the three
segments AB, BC, CA are said to form a triangle with sides AB, BC, CA and vertices
A, B, C. If A, B and C are collinear then triangle ABC is said to be degenerate.
Similar; Congruent: Any two geometric figures are similar if there exists a one-to-one
correspondence between the points of the two figures such that all corresponding
distances are in proportion and corresponding angles have equal measures (except,
perhaps, for their sign). Any two geometric figures are congruent if they are similar with
a constant of proportionality, k=1.
Postulates
Postulate I. Postulate of Line Measure. The points A, B, ..., of any line can be put into
1-to-1 correspondence with the real numbers x so that
|xa - xb| = d(A,B) for all points A and B.
Postulate II. Point-line Postulate. One and only one line, l, contains any two distinct
points P and Q.
Postulate III. Postulate of Angle Measure. The half-lines (or rays) l, m, n, ..., through
any point O can be put into 1-1 correspondence with the real numbers a (mod 2) so
that if A and B are points (other than O) of l and m, respectively, the difference am - al
(mod 2) of the numbers associated with lines l and m is m( AOB).
Postulate IV. Postulate of Similarity. If in two triangles ABC and A'B'C' and for
some constant k>0, d(A',B')=k d(A,B), d(A',C')=k d(A,C), and
m( B'A'C')= m( BAC), then also d(B',C')=k d(B,C), m( C'B'A')= m( CBA), and
m( A'C'B')= m( ACB).
Sources: A Set of Postulates for Plane Geometry (Based on Scale and Protractors), G. D. Birkhoff,
Annals of Mathematics, 33, 1932. Roads to Geometry, E. Wallace & S. West, Prentice-Hall (Sect 2.5 &
App. C)
Fuente: http://www.msc.uky.edu/droyster/courses/fall11/MA341/index.htm
Bibliografia y fuentes.
[Aitken] Wayne Aitken: Este trabajo recoge materiales de innumerables fuentes de Internet, pero
inicialmente utilic los documentos pdf del profesor Wayne Aitken, que se encuentran en su pgina web
personal:
http://public.csusm.edu/aitken_html/m410/
Tenemos por un lado los elementos, que escribiremos con letras minsculas x,y,z...
Y por otro lado los conjuntos, que escribiremos con letras maysculas A,B,C... y una
relacin entre ambos llamada inclusin:
x A
Y su negacin
x A
Subconjuntos.
Diremos que A B cuando x A x B .
Diremos que A B cuando tienen los mismos elementos, es decir
x A xB
Claramente A B A B B A
El conjunto vaco.
Definimos por el conjunto que no tiene elementos. Se cumple A para cualquier
conjunto A.
Conjunto complementario.
Dados dos conjuntos A y B, definimos
A B x | x A x B
13.2.11. Proposicin.
El conjunto de transformaciones de un conjunto con la composicin de funciones tiene
estructura de grupo.
13.4 Relaciones de orden.
13.4.2 Teorema.
Sea X un conjunto. Entonces:
a) Si R es una relacin de orden en X, entonces la relacin
xSy si y slo si xRy y x y
es un orden estricto en X.
b) Si S es una relacin de orden estricto en X, entonces la relacin
xRy si y slo si xSy o x=y
es un orden parcial en X.
Demostracin.
Y de la misma manera:
Se llama elemento maximal de X a un elemento x X para el que no exista y X tal
que x y .
Se llama cota superior de X a un elemento x tal que y x para todo y X .
Se llama mximo de X a una cota superior que est en X.
Se llama supremo de X al mnimo de las cotas superiores de X.
Proposicin.
Si x Min(X ) e y x , entonces y es cota inferior de X.
Ejemplo.
1
Sea X Q, n N Q .
n
X no tiene ningn elemento minimal, cualquier nmero racional negativo o cero es cota
inferior, no tiene mnimo y su nfimo es el 0.
Proposicin.
Sea X un subconjunto de un conjunto ordenado . Entonces x es el mnimo de X
si y slo si x X y adems es el nfimo de X.
Demostracin.
Si x es el mnimo de X, entonces por definicin x X .
Sea Y el conjunto de todas las cotas inferiores de X. Queremos ver que x es el mximo
de Y. En primer lugar, x Y pues por definicin es una cota inferior, y es cota superior
de Y, pues si y Y , y es cota inferior de X, y puesto que x X , se tiene que y x .
Recprocamente, supongamos que x X y adems es el nfimo de X. Por ser x nfimo
de X, x ser cota inferior, luego si y Y se tiene que x y , luego es cota inferior de X.
Proposicin.
Un subconjunto propio X de un conjunto totalmente ordenado es segmento inicial si
y slo si todo elemento de X es cota superior de X.
Demostracin.
Sea x X y x . Si y X entonces es cota superior, es decir, x y
contradiciendo la hiptesis, luego y X . Por lo tanto, X es segmento inicial.
Sea x X . Sea y X . Queremos ver y x . Supongamos, por el contrario, que
x y . Entonces al ser X segmento inicial, x X , contradiciendo la hiptesis, luego
y x y por lo tanto x es cota superior de X.
Proposicin.
a) Ax es un segmento inicial.
b) Ax no est vaco si y slo si x no es el mnimo de .
c) x min Ax
Demostracin.
a) Claramente es propio pues x Ax .
y Ax y x
z y x z x z Ax
zy
b) Si Ax no est vaco entonces existe y con y x , luego x no puede ser cota
inferior y por tanto no puede ser el mnimo de .
Recprocamente, si x no es el mnimo de entonces no es cota inferior, y por lo tanto
existe algn y tal que y x , y por tanto y Ax .
c) No se cumple x x , luego x Ax . El elemento x es cota inferior de Ax ,
pues si y Ax , no se cumple y x , luego se cumple x y y por tanto es cota
inferior.
Proposicin.
Todo conjunto Ax es segmento inicial.
Demostracin. Es 1.5.1a.
Proposicin.
Sea un conjunto totalmente ordenado y A un segmento inicial. Entonces A Ax para
algn x si y slo si A tiene mnimo.
(En realidad, se suele llamar corte o corte de Dedekind al par ( A, A) , pero hemos
preferido abreviar la notacin).
Definicin. Hueco.
Un hueco en un conjunto totalmente ordenado es un corte de Dedekind A que no es
de la forma Ax (y por la proposicin ????, es equivalente a decir que A no tiene
mnimo).
Proposicin.
Sea S un conjunto no vaco de un conjunto totalmente ordenado y definimos
AS Ax . Entonces:
xS
Demostracin.
a) Si x AS y x' x , entonces x' Ax que es uno de los elementos de la unin, luego
x' AS .
Sea c cota superior de S. Entonces tal que c x c Ax x S c AS , y por lo
tanto AS es propio.
b) Puesto que S no tiene mximo, no puede constar de un nico elemento, pues en ese
caso dicho elemento sera mximo. Luego existen al menos dos elementos distintos
a, b S . Supongamos que a b . Entonces a Ab a AS . As pues, el conjunto AS
no est vaco.
Para ver que AS no tiene mximo, veremos que ningn elemento suyo es cota superior.
Sea x AS . Entonces existe un y S tal que x y . Puesto que S no tiene mximo, el
elemento y no puede ser cota superior, y por tanto existir un z S tal que y z .
Luego y Az AS y por tanto x no es cota superior.
c) Supongamos que S tiene supremo x, y queremos ver AS Ax .
Si y AS z S , y z , pero x es cota superior de S, luego z x , y por tanto
y z x y x y Ax .
Supongamos que y Ax . Es decir, y x . El elemento x es supremo de S, luego y no
puede ser cota superior de S, por lo tanto existir un z S tal que y z , y por lo tanto
y Az AS .
d) Sea x AS . Luego x y para cierto y S . Puesto que S es segmento inicial, x S .
Hemos demostrado que AS S .
Sea ahora x S . Puesto que S es un corte de Dedekind, no puede tener mximo, luego
x no es mximo de S, y por tanto existir un y S tal que x y . Luego x Ay AS .
Esto demuestra que S AS .
Teorema.
Un conjunto totalmente ordenado no tiene huecos si y slo si todo subconjunto no
vaco acotado superiormente tiene supremo.
Demostracin.
Supongamos que no tiene huecos. Sea S un subconjunto no vaco acotado
superiormente. Sea AS Ax .
xS
Por la proposicin anterior, AS ser un segmento inicial (apartado a), que o bien tiene
mximo (y por lo tanto tiene supremo) o bien no tiene mximo y por tanto es un corte
de Dedekind (apartado b). Si es un corte de Dedekind, puesto que suponemos que no
hay huecos, ser de la forma Ax para cierto x , que ser el mnimo de AS y por
tanto el supremo de S.
Esta funcin est bien definida pues por ???? todo conjunto Ax es segmento inicial.
Ax est no vaco pues al no tener extremos, siempre podemos encontrar un y x , es
decir, y Ax .
Ax no tiene mximo pues si y es mximo de Ax , y Ax y x . Por ser denso,
existir un z tal que y z x , y por tanto z Ax , con y z . Luego y no puede ser
mximo.
Teorema.
Sea un subconjunto denso en un conjunto totalmente ordenado ' , y supongamos
que ni ni ' tienen extremos.
Demostracin.
Definimos la funcin f : ' de la siguiente manera:
Si B es un corte de Dedekind, f ( B) A' x '
xB
La funcin est bien construida pues B est acotado superiormente y no tiene mximo, y
aplicando ???? garantizamos que f (B) es un corte de Dedekind. En efecto, B ' est
acotado superiormente pues lo estaba como subconjunto de , y no tiene mximo, pues
si x ' es mximo de B ' , entonces x B y por tanto x sera mximo de B como
subconjunto de .
Veamos en primer lugar que esta funcin est bien definida, es decir, que B' es un
corte de Dedekind de .
- g (B' ) no est vaco: Puesto que B' ' es un corte de Dedekind, no puede estar
vaco, y puesto que no tiene mximo, no puede constar de un solo elemento, pues en
dicho caso ese elemento sera el mximo. Luego existen x y B' . Puesto que es
denso en ' , existir un z tal que x z y . Por ser segmento inicial, z B' , y por
tanto z B' .
- g (B' ) es un segmento inicial: Sea x g (B' ) , esto es, x B' . Sea y tal que
y x . Luego entendiendo x e y como elementos de ' , por ser B un segmento inicial
deducimos que y B' , luego y B' f ( B' ) .
- g (B' ) es propio: B es propio en ' , luego existe x 'B' . B no tiene extremos,
luego existir y ' tal que x y . Por ser denso en ' , existir un z tal que
x z y . Est claro que z B' , pues z B' x B' . Luego z g (B' ) .
- g (B' ) no tiene mximo: Supongamos que m g ( B' ) B' es cota superior de
B' . Puesto que B' no tiene mximo, existir un x B' tal que m x . Por densidad
de en ' , existir un y tal que m y x . Luego por ser B segmento inicial,
y B' y B' g ( B' ) . Luego m no puede ser mximo de g (B' ) , porque m y
con y g (B' ) .
- Si B , g ( f ( B)) B .
xB
g ( f ( B)) f ( B) A' x A' x Ax A
xB xB
Las dos primeras igualdades son definiciones. La tercera es una propiedad de la teora
de conjuntos. La cuarta se basa en la igualdad
x B A' x Ax
En efecto, y A' x y y x y Ax
La ltima igualdad se demostr en ????.
Sea x A' x , es decir, existe un y B' tal que x A' y , esto es, x y . Por
xB '
Teorema.
Sea ' una complecin de un conjunto totalmente ordenado denso y sin extremos.
Entonces existe un isomorfismo ' que restringido a es la identidad.
Demostracin.
Aplicando el teorema anterior, tenemos un diagrama conmutativo
'
f
'
En el que la columna de la derecha es un isomorfismo, por lo que su funcin inversa
tambin ser un isomorfismo. Basta tomar h f g como en el esquema siguiente:
'
g h
f
'
Definicin. Complecin.
Dado un conjunto totalmente ordenado , denso y sin extremos, llamaremos
complecin de a un conjunto ordenado ' tal que:
i) ' , el orden de ' restringido a es el orden de y adems es denso en
' .
ii) ' es un conjunto totalmente ordenado, completo y sin extremos.
14 Los nmeros naturales.
15 Los nmeros enteros.
Orden en Z.
Dotamos a Z de un orden de la siguiente manera:
(a, b) (c, d ) a d c d
16 Los nmeros racionales.
16.1 Construccin de los nmeros racionales.
16.1.1 Definicin. El conjunto de fracciones.
Consideremos el conjunto de pares ordenados (m, n) Z Z .
Estos elementos se denominan fracciones y se suelen escribir de la forma habitual
numerador-barra-denominador:
m
(m, n)
n
Observamos que hemos excludo de entrada las fracciones con denominador cero.
16.1.3 Proposicin.
La relacin ~ define una relacin de equivalencia en el conjunto de fracciones.
Demostracin.
Demostracin.
p r
Supongamos que a y b para ciertos p, q, r y s naturales.
q s
16.3.2 Proposicin.
El cuadrado de un nmero par es par. El cuadrado de un nmero impar es impar.
Demostracin.
Si k es par, k 2n , y por tanto k 2 2n 2 2n 2 y es par.
2
16.3.3 Corolario.
Si el cuadrado de un nmero es par, entonces ese nmero es par.
Demostracin.
Si k n 2 es par, n tiene que ser par, pues de lo contrario su cuadrado sera impar,
contradiciendo la hiptesis.
16.3.4 Teorema.
La ecuacin x 2 2 no tiene solucin en Q.
Demostracin.
Sea x Q solucin de x 2 2 . Escribimos x en forma de fraccin simplificada como
n
x .
m
2
n n2
x 2 2 2 2 n 2 2m 2 . Luego n 2 es par, y por tanto, por el
2
m m
corolario anterior, n es par. Luego podemos escribir n 2k para cierto natural k.
Entonces n 2 (2k ) 2 4k 2 4k 2 2m2 2k 2 m2 , es decir m 2 es par. Nuevamente
por el lema anterior, deducimos que m es par, con lo que tenemos una fraccin en la que
numerador y denominador son divisibles entre dos, es decir, que se puede simplificar,
contradiciendo la hiptesis de haber tomado una fraccin irreducible.
17 Nmeros reales.
17.1 Construccin de los nmeros reales mediante cortes de Dedekind.
17.1.1 Definicin. Conjunto de los nmeros reales.
En todo este apartado seguiremos punto por punto las construcciones y resultados del
apartado ????.
a) D , D Q .
b) q D , p q p D (es segmento inicial)
c) p D q D, p q (no tiene mximo)
QR
p i( p) q Q | q p
Esta funcin est bien construida pues ya vimos en ???? que i( p) es un corte de
Dedekind.
17.1.3 Proposicin.
En ???? vimos que R, construido de esta manera, cumple las siguientes propiedades:
a) Es completo
b) No tiene extremos.
c) Q R es denso.
17.2.1 Definicin.
Definimos las funciones trigonomtricas de forma analtica, es decir,
independientemente del concepto geomtrico de ngulo. Estas funciones estn definidas
para todo x IR :
x 2 n 1
sin x (1) n
n 0 (2n 1)!
x 2n
cos x (1) n
n 0 (2n)!
Por lo tanto i es una raz cuadrada de 1. Pero observamos que i tambin es otra raz
cuadrada de 1: (i) 2 (0,1)(0,1) (0 0 (1) (1),0 (1) (1) 0) (1,0) 1 .
Diremos que i es la raz cuadrada principal de 1.
Demostracin.
i 2 i i (0,1) (0,1) (0 0 11,0 1 0 1) (1,0) 1
18.1.5 Notacin.
Todo nmero complejo (a, b) se puede escribir de la forma a bi :
(a, b) a(1,0) b(0,1) a1 bi a bi
Esta notacin simplifica mucho las operaciones con nmeros complejos. Por ejemplo,
para multiplicar complejos slo tenemos que utilizar las propiedades asociativa y
distributiva y recordar que i 2 1
a bi c di ac di bic di ac adi bci bdi 2 ac adi bci bd
ac bd (ad bc)i
18.2.2 Proposicin.
z a bi z z a 2 b 2
Demostracin.
z a bi z z (a bi)(a bi) a 2 abi abi b 2i 2 a 2 b 2
Ejemplo:
1 3i
Queremos expresar de la forma a bi .
2 5i
Multiplicaremos numerador y denominador por 2 5i :
1 3i 1 3i 2 5i 13 11i 13 11
i
2 5i 2 5i 2 5i 2 2 52 29 29
18.2.4 Proposicin. Propiedades del conjugado.
zw z w
z w z w
zn z n
Demostracin.
Queda como ejercicio.
18.2.6 Observacin 1.
z zz
2
18.2.7 Observacin 2.
El procedimiento para dividir nmeros complejos del ejemplo 1.2.3 se puede
generalizar:
z zw zw
2
w w w w
18.2.9 Proposicin.
Se cumple Arg ( z w) Arg ( z) Arg (w)
Demostracin.
18.2.10 Corolario.
Se cumple Arg z n n Arg (z )
Demostracin.
18.3 Notacin polar.
Su mdulo:
m z a 2 b 2 0,
Y su argumento:
b
arctan 0,2
a
Se cumple:
a m cos
b m sin
18.4 Notacin exponencial.
Demostracin.
Efectivamente, por la definicin anterior, ei cos i sin 1 i 0 1