Documentos de Académico
Documentos de Profesional
Documentos de Cultura
50 MATEMÁTICAS
Temario 1993
tema 50
matemáticas
2. Geometrías no euclídeas
2.1. Geometría hiperbólica de Lobachévski
7. Polígonos esféricos
8. Triángulos esféricos
3
tema 50
matemáticas
INTRODUCCIÓN
Las geometrías euclídeas fueron durante muchos siglos consideradas como la verdad ab-
soluta, basadas en diez axiomas innegables. Lobachevski demostró que el quinto de estos
axiomas no se podría deducir a partir de los demás y estableció las bases para las geome-
trías no euclídeas.
La geometría esférica nos dice que una figura será esférica siempre que todos sus puntos
estén en una superficie esférica. Precisamente el punto de partida para el estudio de la geo-
metría esférica está constituido por la geometría no euclídea.
5
tema 50
matemáticas
Si una recta, cortando a otras dos, forma los ángulos internos a una misma parte,
menores que dos rectos, las dos rectas prolongadas indefinidamente se encontra-
rán en el lado en que los ángulos son menores que dos rectos.
El mismo Euclides retrasó todo lo que pudo la utilización de este postulado, y lo
empleó por vez primera en la proposición 29. Dicha proposición estudia los ángu-
los que forma una secante al cortar a dos paralelas.
La historia de la geometría no euclídea comienza con los esfuerzos realizados
para eliminar las dudas sobre el axioma de las paralelas. Desde los tiempos de los
griegos, hasta principios del siglo xix, se marcaron dos caminos:
Reemplazar el axioma de las paralelas por otro más sencillo y evidente.
Tratar de deducirlo de los restantes nueve axiomas.
Estudiemos a continuación estos dos caminos que son el germen de la geometría
no euclídea.
6
tema 50
matemáticas
A = B
= 90
AC = BD
Cuadrilátero de Saccheri
7
tema 50
matemáticas
Sea ABCD un cuadrilátero que tiene ángulos rectos en A y B, y en el que sus lados
AC y BD son iguales. Saccheri demuestra, empleando los 4 primeros postulados
de Euclides, que los ángulos C y D han de ser iguales. De esta manera, aparecen
tres opciones:
1. Hipótesis del ángulo agudo: C^ y D^ son agudos.
2. Hipótesis del ángulo recto: C^ y D^ rectos.
3. Hipótesis del ángulo obtuso: C^ y D^ son obtusos.
Saccheri intenta demostrar que las hipótesis 1 y 3 conducen a absurdos, y así, de
manera indirecta, aceptaría como válida la hipótesis del ángulo recto, que equivale
al quinto postulado de Euclides.
Saccheri probó fácilmente que la hipótesis 3 entraba en contradicción con el pos-
tulado 2, y la rechaza. Pero a la hora de buscar contradicciones en la primera
hipótesis, no le fue tan fácil. De hecho, no encontró nada inconsistente, pero los
resultados obtenidos le parecieron tan «repugnantes», que acabó rechazándola. En
verdad, lo que estaba haciendo era construir una geometría no euclídea, pero sus
ideas preconcebidas no la aceptaron.
8
tema 50
matemáticas
2 Geometrías no euclídeas
A principios del siglo xix, tres matemáticos comparten el privilegio de crear las
geometrías no euclídeas, es decir, geometrías que sustituyen el quinto postulado
de Euclides por otro distinto.
Estos tres matemáticos fueron Gauss, Lobachévski y Bolyai. Y su gran novedad
fue la de caer en la cuenta de que la geometría euclídea no es la única geometría
que describe las propiedades del espacio físico.
De esta manera, aparecen dos tipos de geometrías no euclídeas:
La geometría hiperbólica de Lobachévski y Bolyai.
La geometría elíptica de Riemann.
Vamos a abordar estas dos geometrías, primero por separado y luego de manera
conjunta.
Esta geometría se basa en la hipótesis del ángulo agudo. Y el axioma de las para-
lelas se sustituye por: dados en un mismo plano una recta r y un punto P que no
pertenece a r, entonces existen al menos dos rectas paralelas a r y que pasan por
el punto P.
La pseudoesfera nos proporciona un modelo de superficie en el que la geometría
hiperbólica es válida. La pseudoesfera es la superficie de revolución engendrada
por la tractriz al girar alrededor de su asíntota.
PT
= constante
OT
Pseudoesfera
En este modelo se define recta como la línea más corta que une dos puntos cuales-
quiera, es decir, las rectas son las geodésicas.
Otro modelo de esta geometría nos lo proporciona el interior de un círculo en el
plano euclídeo. Y se define la recta hiperbólica como el intervalo abierto de la
recta euclídea que pasa por esos puntos y está en el interior del círculo. Y se lla-
man rectas paralelas a las que no se cortan.
9
tema 50
matemáticas
Esta geometría se basa en la hipótesis del ángulo obtuso. Y el axioma de las para-
lelas se sustituye por: dados en un mismo plano una recta r y un punto P que no
pertenece a r, entonces no existe ninguna paralela a r que pase por el punto P.
Un modelo para esta geometría nos lo da la esfera. Basta con definir recta elíptica
como círculo máximo. Y punto elíptico como un par de puntos diametralmente
opuestos. Como se observa fácilmente, dos rectas, es decir, dos círculos máximos
siempre se cortan.
Recta = círculo máximo: A y B son rectas.
Punto = par de puntos diametralmente opuestos: aa’ y bb’ son dos puntos.
La recta A pasa por el punto aa’.
Dos rectas (círculos máximos) siempre se cortan.
Por motivos obvios, a esta geometría también se le llama esférica.
Es muy importante señalar que la aparición de estos modelos para las geometrías
no euclídeas, fue la prueba clave para asegurarse de que la geometría de Euclides
no era la única válida de nuestro entorno físico.
Para completar nuestro estudio, vamos a presentar una visión conjunta de las geo-
metrías euclídeas y no euclídeas.
10
tema 50
matemáticas
He aquí una tabla que compara algunos resultados en las distintas geometrías de
Euclides, Lobachévski y Riemann.
11
tema 50
matemáticas
12
tema 50
matemáticas
x = r ⋅ cos θ ⋅ cos ϕ
f (θ , ϕ ) = y = r ⋅ cos θ ⋅ sen ϕ
z = r ⋅ sen θ
∂x ∂y ∂z
∂θ ∂θ ∂θ
A=
∂x ∂y ∂z
∂ϕ
∂ϕ ∂ϕ
13
tema 50
matemáticas
Luego,
− r ⋅ sen θ ⋅ cos ϕ − r ⋅ sen θ ⋅ sen ϕ r ⋅ cos θ
A=
−r ⋅ cos θ ⋅ sen ϕ r ⋅ cos θ ⋅ cos ϕ 0
la característica de A es 2, pues:
π
θ= ⇒ cos θ = 0
2
Para θ = π se toma cualquier otro menor y la característica seguirá siendo 2.
π
Para θ = la característica es 1, luego estamos ante un punto singular.
2
Evidentemente, esta circunstancia es debida a la elección de los parámetros:
1. Si en la representación paramétrica de la esfera hacemos θ = a, siendo «a» una
constante, obtenemos:
14
tema 50
matemáticas
ds 2 = E · du2 + 2F · du · dv + G · dv2
∂ f (u, v ) ∂ f (u, v )
E= ⋅
∂u ∂u
∂ f (u, v ) ∂ f (u, v )
F= ⋅
∂u ∂v
∂ f (u , v ) ∂ f (u ,vv )
G= ⋅
∂v ∂v
Vamos a obtener la primera fórmula fundamental de la superficie esférica.
E = (−r · sen θ · cos ϕ, − r · sen θ · sen ϕ, r · cos θ) ·
· (−r · sen θ · cos ϕ, − r · sen θ · sen ϕ, r · cos θ) =
= r2 · sen2 θ · cos2 ϕ + r2 · sen2 θ · sen2 ϕ + r2 · cos2 θ =
= r2 · sen2 θ + r2 · cos2 θ = r2
F = (−r · sen θ · cos ϕ, −r · sen θ · sen ϕ, r · cos θ) · (−r · cos θ · sen ϕ, r · cos θ ·
· cos ϕ, 0) =
= r2 · sen θ · cos θ · sen ϕ · cos ϕ − r2 · sen θ · cos θ · cos ϕ · sen ϕ = 0
G = (−r · cos θ · sen ϕ, r · cos θ · cos ϕ, 0) · (−r · cos θ · sen ϕ, r · cos θ · cos ϕ, 0) =
= r2 · cos2 θ · sen2 ϕ + r2 · cos2 θ · cos2 ϕ = r2 · cos2 θ
Y así obtenemos la primera fórmula fundamental de la superficie esférica:
∂f
(θ1 , ϕ1 ) = ( −r ⋅ sen θ1 ⋅ cos ϕ1 , − r ⋅ sen θ1 ⋅ sen ϕ1 , r ⋅ cos θ1 )
∂θ
∂f
(θ1 , ϕ1 ) = ( −r ⋅ cos θ1 ⋅ sen ϕ1 , r ⋅ cos θ1 ⋅ cos ϕ1 , 0)
∂ϕ
15
tema 50
matemáticas
∂f ∂f ∂f ∂f
⋅ ⋅
g11 g12 ∂θ ∂θ ∂θ ∂ϕ r 2 0
g ij = = =
g 21 g 22 ∂f ∂f ∂f ∂f 0 r ⋅ cos θ
2 2
⋅ ⋅
∂ϕ ∂θ ∂ϕ ∂ϕ
(gij) nos describe, evidentemente, una forma bilineal definida positiva.
El plano tangente a la superficie esférica en un punto (θ0, ϕ0) de ella, viene
dado por la expresión:
∂f ∂f
x = f (θ 0 , ϕ 0 ) + λ (θ 0 , ϕ 0 ) + µ (θ 0 , ϕ 0 ) Ecuación vectorial
∂θ ∂ϕ
∂f ∂f
(θ 0 , ϕ 0 ) y (θ 0 , ϕ 0 )
∂θ ∂ϕ
forman una base del plano tangente a la esfera en el punto (θ0, ϕ0)
f = ( f1 , f 2 , f 3 )
En forma matricial, podemos expresarlo con la condición:
x − f1 (θ 0 , ϕ 0 ) y − f 2 (θ 0 , ϕ 0 ) z − f 3 (θ 0 , ϕ 0 )
∂f1 ∂f 2 ∂f 3
(θ 0 , ϕ0 ) (θ 0 , ϕ0 ) (θ 0 , ϕ 0 ) = 0
∂θ ∂θ ∂θ
∂f1 ∂f 2 ∂f 3
(θ 0 , ϕ 0 ) (θ 0 , ϕ 0 ) (θ 0 , ϕ 0 )
∂ϕ ∂ϕ ∂ϕ
16
tema 50
matemáticas
La normal a la superficie esférica en un punto P (θ0, ϕ0) es una recta que pasa
por P y es perpendicular al plano tangente. Como vector unitario sobre esta nor-
mal tomaremos:
∂f (θ , ϕ ) ∂f (θ , ϕ )
∧
∂θ ∂ϕ
N=
∂f (θ , ϕ ) ∂f (θ , ϕ )
∧
∂θ ∂ϕ
Operando resulta:
∂f (θ , ϕ ) ∂f (θ , ϕ )
∧
∂θ ∂ϕ
= ( −r ⋅ cos θ ⋅ cos ϕ , − r 2 ⋅ cos 2θ ⋅ sen ϕ , − r 2 ⋅ sen θ ⋅ cos θ )
2 2
∂f (θ , ϕ ) ∂f (θ , ϕ )
∧ = r 2 ⋅ cos θ
∂θ ∂ϕ
Por consiguiente:
cos α =
d x ⋅δ x
=
( xu ⋅ du + xv ⋅ dv ) ( xu ⋅ δ u + xv ⋅ δ v ) =
dx ⋅ δx dx ⋅ δx
=
( xu ⋅ xu ) du ⋅ δ u + ( xu ⋅ xv ) ( du ⋅ δ v + dv ⋅ δ u ) + ( xv ⋅ xu ) ⋅ dv ⋅ δ v =
dx ⋅ δx
E ⋅ du ⋅ δ u + F( du ⋅ δ v + dv ⋅ δ u ) + G ⋅ dv ⋅ δ v
= =
E ⋅ du 2 + 2 F ⋅ du ⋅ dv + G ⋅ dv 2 ⋅ E ⋅ δ u 2 + 2 F ⋅ δ u ⋅ δ v + G ⋅ δ v 2
du δ u du δ v dv δ u dv δ v
= E⋅ ⋅ +F ⋅ + ⋅ +G⋅ ⋅
ds δ s ds δ s ds δ s ds δ s
17
tema 50
matemáticas
π
Para α = se tiene la condición de ortogonalidad de dos direcciones sobre la
2
superficie: E du δ u + F (du δv + dv δu) + G dv δv = 0.
El ángulo β formado por las curvas paramétricas u = cte. (por consiguiente,
du = 0, dv arbitrario) y v = cte. (δu arbitrario y δv = 0) viene dado por:
F ⋅ dv ⋅ δ u F
cos β = =
G ⋅ dv 2 E ⋅ δ u 2 EG
Es evidente, pues, que dos curvas paramétricas son ortogonales si y sólo si F = 0.
Vamos a particularizar esta teoría al caso concreto de la superficie esférica.
Supongamos la ecuación de la esfera dada por f = f (θ , ϕ ) , tal como venimos
utilizando.
Sean las curvas ϕ = h (θ) y ϕ = g (θ) dadas sobre dicha superficie y que se cortan
en un punto (θ, ϕ).
Las curvas podemos representarlas por:
ϕ1 = f (θ , h(θ ) )
ϕ 2 = f (θ , g (θ ) )
∂f ∂f
v1 = dθ + dh (θ )
∂θ ∂ϕ
∂f ∂f
v2 = dθ + dg (θ )
∂θ ∂ϕ
Calculamos E, F y G:
E = r2
F=0
G = r2 · cos2 θ
En este caso: du = dθ, dv = dh(θ), δu = dθ, δv = dg (θ). Por consiguiente:
dh(θ )
1 + cos θ ⋅ h′(θ ) ⋅ g ′(θ ) h′(θ ) =
dθ
2
cos α =
1 + cos 2θ ⋅ h′(θ ) ⋅ 1 + cos 2θ ⋅ g ′(θ ) g ′ θ = dg(θ )
2 2
( ) dθ
Como F = 0, las curvas paramétricas θ = cte. y ϕ = cte. (paralelos y meridianos)
son ortogonales entre sí.
18
tema 50
matemáticas
5.1. Definición
Cuando sobre una superficie tenemos una métrica como la que sobre la superficie
esférica induce la matriz (gij), existen dos propiedades equivalentes que caracteri-
zan a un tipo muy interesante de curvas sobre dicha superficie. Estas propiedades
son:
a) La curva γ da el camino de mínima distancia sobre la superficie entre dos pun-
tos cualesquiera por los que pase.
b) La curva γ tiene curvatura tangencial nula en todos sus puntos, es decir: en un
entorno de cada punto su proyección sobre el plano tangente, según la normal
a la superficie, es una línea recta.
Las curvas que gozan de estas dos propiedades, que son equivalentes, reciben el
nombre de líneas geodésicas.
Es evidente que en un plano las geodésicas son las líneas rectas en virtud de la
propiedad a). Podemos considerar que las geodésicas juegan el papel de líneas
rectas dentro de la geometría subordinada por el espacio en la superficie, aunque
consideradas en el propio espacio no lo sean, salvo casos de superficies particula-
res, como el plano y las superficies cilíndricas.
1 1
2
du1 du du du 1
1 ∂g hj ∂g hi ∂g ij
2
Γ ijk =
2 ∑g
h =1
kh
∂ui
+ −
∂ui ∂uh
para i, j, k = 1, 2.
Donde (gjk)j,k = 1,2 es la matriz de la métrica y (gkh)k, h = 1,2 es su inversa.
19
tema 50
matemáticas
XX Teorema
r2
0
( g jk ) = 0
r ⋅ cos θ
2 2
1
r2 0
( g jk ) = 1
0
r 2 ⋅ cos 2θ
Vamos a obtener los símbolos de Christoffel mediante la fórmula que expresamos
en el apartado anterior, siendo u1 = θ, u2 = ϕ.
1
2
∂g h1 ∂g h1 ∂g11
Γ =
2
1
11 ∑g
h =1
1h
∂θ
+
∂ϕ
− =
∂u h
Γ 222 = Γ11
2
= Γ112 = Γ121 = 0
1 ∂g h1 ∂g h 2 ∂g 21
2
Γ 2
21 =
2 ∑g
h =1
2h
∂u 2
+
∂u1
− =
∂u h
1 21 ∂g11 ∂g12 ∂g 21 1 22 ∂g 21 ∂g 22 ∂g 21
= g + − + g + −
2 ∂ϕ ∂θ ∂θ 2 ∂ϕ ∂θ ∂ϕ
20
tema 50
matemáticas
1 22 ∂g 22 1 1 ∂ ( r 2 ⋅ cos 2θ )
Γ 221 = g = ⋅ 2 ⋅ =
2 ∂θ 2 r ⋅ cos 2θ ∂θ
−2r 2 ⋅ cosθ ⋅ senθ
= = − tgθ
2r 2 ⋅ cos 2θ
Análogamente, Γ12
2
= −tgθ .
Calculemos por último Γ122
1 11 ∂g12 ∂g12 ∂g 22 1 12 ∂g 22 ∂g 22 ∂g 22
Γ122 = g + − + g + −
2 ∂ϕ ∂ϕ ∂θ 2 ∂ϕ ∂ϕ ∂ϕ
∂g12
como g12 = 0 y = 0, tenemos:
∂ϕ
du1 du1
2
du1 du1
d 2ϕ dϕ dϕ
3
dϕ 1 + tg 2θ
=
dθ k 2 − tg 2θ
21
tema 50
matemáticas
dv d(sen ϕ ) d ϕ dϕ 1 − sen 2ϕ
1 + tg 2θ
⋅ cos ϕ
ϕ θ dθ k 2 − tg 2θ
= dθ =
dv d d
= =
dw dw d( tgθ ) 1 + tg 2θ 1 + tg 2θ
dθ dθ
1 − sen 2ϕ 1 − v2
=
k 2 − tg 2θ k 2 − w2
Luego:
dv 1 − v2 dv dw
= ⇒ =
dw k −w 2 2
1− v 2
k − w2
2
e integrando resulta:
w
arc sen v + C = arc sen
k
Y deshaciendo los cambios:
tgθ
ϕ + C = arc sen ⇒
k
tg θ
= sen (ϕ + C ) = sen ϕ ⋅ cos C + cos ϕ ⋅ sen C
k
que podemos expresar de una manera general como:
B1 · sen ϕ + B2 · cos ϕ + B3 · tg θ = 0
donde:
B1 = cos C
B2 = sen C
1
B3 = −
k
Eliminando los parámetros (θ, ϕ) entre esta ecuación y las ecuaciones de la super-
ficie esférica, resulta la expresión implícita de las geodésicas sobre la superficie
esférica.
x2 + y2 + z2 = r2
A1 x + A2 y + A3 z = 0
Las geodésicas son las curvas que resultan de la intersección de la esfera con
planos pasando por el centro (diametrales). Por consiguiente, concluimos con que
las líneas geodésicas de una superficie esférica son circunferencias máximas, tal
como se enunció en el teorema.
22
tema 50
matemáticas
XX Distancia esférica
XX Ángulos esféricos
Dos circunferencias máximas se cortan en los extremos del diámetro común, AA’,
por pasar sus planos por el centro 0, y dividen la esfera en cuatro regiones, lla-
madas husos o ángulos esféricos, cada una de ellas comprendida en uno de los
cuatro diedros en que sus planos dividen al espacio. La medida de estos diedros
se toma también como medida del ángulo esférico o abertura del huso correspon-
diente.
XX Perpendicularidad
23
tema 50
matemáticas
24
tema 50
matemáticas
7 Polígonos esféricos
Definición
Se llama polígono esférico a la sección producida en la superficie esférica por un
ángulo poliedro con vértice en el centro.
La intersección del poliedro con la superficie esférica está limitada por arcos de
circunferencia máximos. Estos arcos limitados por las intersecciones se llaman
lados del polígono esférico.
Un polígono esférico se llama convexo cuando está situado todo él en un mismo
hemisferio de los dos que determinan los círculos máximos de que forman parte
sus lados.
Un polígono esférico será cóncavo en caso contrario.
El contorno de un polígono esférico se llama línea poligonal esférica cerrada. Si
le faltase un lado, recibiría el nombre de poligonal esférica abierta.
La clasificación y denominación de los elementos de los polígonos esféricos se
hace como en los polígonos planos (triángulos, cuadriláteros, etc.).
A todo polígono esférico le corresponde un ángulo poliedro que tiene por vértice
el centro de la esfera y por aristas los radios que unen el centro con los vértices del
polígono. A dicho ángulo poliedro se le denomina ángulo sólido correspondiente
al polígono esférico.
Las caras A0B, B0C, ... y los diedros del ángulo poliedro tienen, respectivamente,
la misma medida que los lados y los ángulos del polígono. Y, recíprocamente, todo
ángulo poliedro que tenga por vértice el centro de la esfera, corta a ésta según un
polígono esférico que guarda con él las relaciones anteriores.
Por tanto, a toda propiedad relativa a las caras o a los diedros de un ángulo po-
liedro, le corresponde la misma propiedad relativa a los lados o a los ángulos del
polígono esférico correspondiente.
25
tema 50
matemáticas
26
tema 50
matemáticas
8 Triángulos esféricos
Definición
A todo ángulo central corresponde una distancia esférica y a cada diedro un án-
gulo esférico. Por tanto, un triedro de vértice en el centro será cortado por la su-
perficie esférica según una porción de dicha superficie limitada por tres arcos de
circunferencia máxima, llamado triángulo esférico.
Las intersecciones de las aristas del triedro, A, B, C, son los vértices del triángulo.
Las secciones de las caras son los arcos de circunferencia máxima AB, ,
AC , BC
llamados lados del triángulo esférico, que se miden por sus ángulos centrales.
A los diedros del triedro corresponden, pues, los ángulos del triángulo esférico
ABC, formados por cada dos lados y que designaremos por letras griegas: α, β y
,
γ, que son los opuestos a BC AC y
AB respectivamente.
Como las caras de un triedro son ángulos convexos (menores que un llano), los
lados de un triángulo esférico son menores que una semicircunferencia.
Los tres planos de las caras de un triedro dividen al espacio en ocho triedros,
por tanto, las circunferencias de los lados de un triángulo esférico ABC dividen
a la superficie esférica en ocho triángulos que son, llamando A’, B’, C’ los pun-
tos diametralmente opuestos a A, B, C:
ABC: triángulo dado.
ABC’, AB’C, A’BC: triángulos llamados adyacentes al ABC por tener con él
un lado común.
A’B’C’: triángulo simétrico del ABC respecto de 0.
A’B’C, A’BC’, AB’C’: triángulos adyacentes del A’B’C’ o simétricos de
ABC’, AB’C, A’BC respecto de 0.
Clasificación
El triángulo esférico se llama: isósceles si tiene dos lados iguales, equilátero si
tiene los tres lados iguales. Se llama rectángulo si tiene un diedro recto, birrec-
tángulo si tiene dos; en este caso, tiene también rectos los lados opuestos por
concurrir éstos en el polo del tercer lado.
27
tema 50
matemáticas
De la misma forma, se llama trirrectángulo si tiene tres diedros rectos, sus lados
serán, por tanto, tres cuadrantes de circunferencia máxima. Los triángulos esféri-
cos trirrectángulos se llaman también octantes de la superficie esférica, por estar
ésta constituida por ocho iguales a él.
1. En todo triángulo esférico un lado es menor que la suma de los otros dos y
mayor que su diferencia.
2. La suma de los lados de un triángulo esférico es menor que cuatro rectos.
Esta propiedad es consecuencia inmediata del resultado de la propiedad aná-
loga para las caras de un triedro; sin más que considerar que en un triedro
también se verifica la propiedad de que cada cara es menor que la suma de las
otras dos.
28
tema 50
matemáticas
a = 180 − α*
b = 180 − β*
c = 180 − γ *
con lo que la suma de los tres diedros es:
a + b + c = 3 ⋅ 180 − (α* + β* +γ *)
y como la suma de las caras era menor que cuatro rectos, tendremos:
2 ⋅ 90 < a + b + c < 6 ⋅ 90, como queríamos demostrar
4. El menor de los ángulos de un triángulo esférico difiere de la suma de los otros
dos en menos de dos rectos.
Es consecuencia inmediata de la propiedad que para triedros dice: «El menor de
los ángulos diedros difiere de la suma de los otros dos en menos de dos rectos»,
y con su aplicación al triedro polar, obtenemos el resultado que buscamos.
5. En todo triángulo esférico a mayor lado se opone mayor ángulo.
Demostración:
Si es AB > AC llevamos AD =
AC sobre
AB. Si C’ es el simétrico de C, en
el triángulo DBC’ se tendrá:
(180˚ – β) + γ’ + δ > 180˚
pero γ’ + δ = γ. De donde obtenemos: γ > β
Corolario:
De la propiedad anterior se deduce que:
En todo triángulo esférico a mayor ángulo se opone mayor lado. Ya que si
γ > β ha de ser AB > AC , pues si fuese AB ≤ AC por la propiedad ante-
rior se verificaría que γ ≤ β en contra de la hipótesis.
29
tema 50
matemáticas
30
tema 50
matemáticas
BIBLIOGRAFÍA
BOYER, C.: Historia de la Matemática. Alianza Editorial. Madrid, 2003.
DAVIS, P. y HERSH, R.: Experiencia matemática. Ed. Labor, Barecelona, 1989.
KLINE, M.: El pensamiento matemático de la Antigüedad a nuestros días, III. Alianza Editorial,
Madrid, 1992
LÓPEZ DE LA RICA, A.: Geometría Diferencial. Ed. Clag. Madrid, 1997.
HUTCHINSON, M. W.: Geometría, un enfoque intuitivo. Ed. Trilla. México, 1985.
31
tema 50
matemáticas
RESUMEN
1.
1 Nacimiento de la geometría no euclídea
Los axiomas de Euclides fueron considerados una verdad absoluta, sin embargo el axioma
delas paralelas era en principio complicado.
2.
2 Geometría no euclídea
3.
3 Importancia de las geometrías no euclídeas
Astronomía: el universo es esférico; Física: teoría de la relatividad. La geometría euclídea
tiene curvatura cero, la hiperbólica negativa y la elíptica positiva.
4.
4 Conceptos fundamentales de la geometría esférica
Fórmula fundamental de la superficie esférica:
ds2 = r2 · dθ2 + r2 · cos2 θ · d ϕ2
33
tema 50
matemáticas
5.
5 Líneas geodésicas sobre una superficie
5.1. Definición
Es una curva que da la mínima distancia sobre la superficie entre dos puntos y con curvatu-
ra tangencial nula en todos sus puntos. La determinación de estas curvas se hace mediante
los símbolos de Christoffel:
( Γ ijk )i , j , k =1, 2
de la superficie, que se determinan a través de la métrica.
6.
6 Relaciones métricas entre figuras trazadas sobre una
superficie esférica
Distancia esférica: longitud del menor de los arcos de circunferencia máxima que tenga
por extremos los dos puntos.
Ángulos esféricos: dos circunferencias máximas se cortan en los extremos del diámetro
común y dividen la esfera en cuatro regiones llamadas ángulos esféricos.
Perpendicularidad: dos circunferencias máximas son perpendiculares si forman ángulo
recto. Se llama polos de una circunferencia máxima a los extremos del diámetro per-
pendicular a él.
7.
7 Polígonos esféricos
Sección producida a la superficie esférica por un ángulo poliedro con vértice en el
centro. Lados (arcos de circunferencia máxima), convexo (si está todo en un mismo
hemisferio) o cóncavo. Línea poligonal esférica abierta o cerrada.
A todo polígono le corresponde un ángulo poliedro con vértice en el centro y con aristas
los radios que unen el centro con los vértices del polígono.
En todo polígono: un lado es menor que la suma de los otros, la suma de sus lados es
menor de 360º y si el polígono es interior a otro, el perímetro del exterior es mayor que
el del interior.
34
tema 50
matemáticas
8.
8 Triángulos esféricos
Corte de la superficie esférica con un triedro de vértice el centro. Lados.
Se clasifican en isósceles, equilátero, rectángulo, birrectángulo y trirrectángulo (u octante).
Dos triángulos son polares si cada vértice de uno es el polo del lado del otro y las
distancias esféricas entre vértices «homólogos» son todas menores o mayores que un
cuadrante.
En un triángulo: un lado es menor que la suma de los otros y mayor que su diferencia.
La suma de sus lados es menor de 360º y la suma de sus ángulos está comprendida entre
180º y 540º. A lado mayor se le opone ángulo mayor.
Dos triángulos son iguales si: tienen respectivamente iguales dos lados y el ángulo
comprendido, o si tienen un lado y los dos ángulos adyacentes iguales, o si tienen los
tres lados iguales, o si tienen los tres ángulos iguales.
35