Académique Documents
Professionnel Documents
Culture Documents
TEMA 4: ÁNGULOS
Ejercicio 4.8. Sea r una recta que corta a otras dos a y b , en los puntos A y B respectivamente, y sea
H r unos de los semiplanos determinados por r (figura 4-19). Llamaremos a = a 3 H r y b = b 3 H r a las
semirrectas determinadas por H r en a y b . Sea r 1 la semirrecta de r con vértice A y que contiene a
B y r 2 la semirrecta de r con vértice B y que contiene a A . Llamamos øA = ø r 1 , a y
øB = ø r 2 , b . Probar que si øA + øB es menor que un ángulo llano, entonces las semirrectas a y b
se cortan en un punto. Este resultado lo utilizó Euclides como axioma en los Elementos y es equivalente al
axioma de las paralelas, por ello se suele llamar Axioma de Euclides o Axioma V de Euclides.
Solución:
En primer lugar, vamos a probar que las rectas a y b se cortan en un punto C . Posteriormente,
probaremos que dicho punto C pertenece a las semirrectas a y b , lo que es equivalente a probar que
pertenece al semiplano H r .
Existencia del punto C = a 3 b . Razonemos por reducción al absurdo. Supongamos que las rectas a y
b son paralelas (y distintas, ya que el otro caso es obvio). Estaríamos en la siguiente situación.:
Vemos evidentemente que el ángulo øA ∏ + øB es llano. Como las rectas a y b son paralelas, podemos
aplicar el teorema de los ángulos alternos-internos. En estas condiciones, este teorema asegura que
øA = øA ∏ . Por tanto, øA + øB = øA ∏ + øB es un ángulo llano. Por tanto, si øA + øB no es un
ángulo llano, entonces las rectas a y b no son paralelas y se cortan en un punto C , ya que hemos
convenido que a ! b .
Dicho esto, sólo quedaría demostrar que C c H r . Para ello vamos a probar un resultado auxiliar:
Para demostrar esto, supongamos que los ángulos øA, øB están sobre un mismo vértice (y también los
ángulos øA ∏ , øB ∏ ). Por tanto, estamos en el siguiente caso:
GEOMETRÍA BÁSICA
TEMA 4: ÁNGULOS
Por tanto, sabiendo esto, estamos en condiciones de demostrar que C c H r . Consideremos el triángulo
< A, B, C . Sabemos que øC es un ángulo no nulo. Razonando por reducción al absurdo, si C
perteneciera al otro semiplano se tendría que la suma øA ∏ + øB ∏ estaría definida (y sería menor que un
ángulo llano, ya que entonces no existiría C ). Por lo que acabamos de ver, øA + øB no estaría definido.
Pero esto es un absurdo, ya que øA + øB está definido por hipótesis y es menor que un ángulo llano.