Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
TESIS DOCTORAL
PRESENTADA POR
Director
Madrid, 2016
Tesis doctoral
El problema de Lagrange
en cartografa
Director
D. Jess Otero Juez
Madrid, 2015
Universidad Complutense de Madrid
Facultad de Ciencias Matemticas
Seccin Departamental de Astronoma y Geodesia
Tesis doctoral
El problema de Lagrange
en cartografa
Director
D. Jess Otero Juez
Programa de doctorado
Ciencia y Tecnologa de la Ingeniera Geodsica y Cartogrca
Departamento de Fsica de la Tierra, Astronoma y Astrofsica I
Madrid, 2015
A mis padres.
Abstract
Esta Tesis trata sobre las proyecciones de Lagrange, que son proyecciones
conformes del elipsoide de revolucin sobre el plano, que transforman los
meridianos y paralelos en arcos circulares, y que analizamos y revisamos,
con especial cuidado en las fuentes originales (Lambert, Lagrange, Bonnet,
Chebyshev, etc.)
1
mS(f ) = (2 )q + (1 ) i (1 )q ,
2
y resolvemos la ecuacin S(f ) = constante real, o caracterizacin de Lagrange-
Schwarz de las proyecciones de Lagrange. Clasicamos sus soluciones en tres
clases que, en todos los casos, son transformaciones racionales lineales de: z,
Cilndricas conformes y Unipolares; exp(icz), Cnicas y acimutales confor-
mes, y de Lagrange-Lambert; exp(cz), Pseudopolares y Apolares.
Las propiedades geomtricas de las seis familias de proyecciones de La-
grange y su utilidad en cartografa son estudiadas en profundidad en esta
Tesis. Por ejemplo, siguiendo a K. Carne (1990), demostramos que toda pro-
yeccin conforme se puede aproximar en un punto mediante una proyeccin
unipolar, en el sentido de coincidencia de f (z) hasta la segunda derivada, y
la schwarziana da una medida de la aproximacin. Nuestro propio anlisis
de las proyecciones de Lagrange-Lambert conduce a una formulacin actual
de la solucin de O. Bonnet (1852): f (z) = k tg [c (z z0 ) /2], donde k > 0,
c>0 exponente de la proyeccin y z0 es el centro.
es el
Denimos los puntos geodsicos de una proyeccin conforme como aque-
llos donde se anula la curvatura de las imgenes de todas las geodsicas que
pasan por ellos, y observamos que estos puntos son los ptimos de la proyec-
cin. En efecto, en coordenadas geodsicas polares centradas en uno de estos
puntos la proyeccin se ajusta a la proyeccin estereogrca que es la proyec-
cin conforme de distorsin mnima para un disco geodsico. Con vistas a la
optimizacin local, expresamos la matriz hessiana del logaritmo de la escala
innitesimal, g = log , en un punto geodsico, en funcin de su latitud y de
las partes real e imaginaria de S(f ).
Revisamos y actualizamos el problema de optimizacin local de Lagrange
en un punto geodsico. Para las proyecciones de Lagrange-Lambert caracteri-
zamos sus puntos geodsicos, obtenemos la ecuacin de punto geodsico y la
hessiana de g en funcin del exponente de la proyeccin y el exponente de la
proyeccin localmente ptima segn Lagrange. Para la esfera, por simplicar
la presente exposicin, demostramos que en el meridiano principal hay un
nico punto geodsico si y solo si c (0 , 1] [ 2 , ), que es elptico en la
primera componente (0 , 1]; adems, en el intervalo interior (1 , 2) el nmero
de puntos geodsicos es: 1 (hiperblico), 2 (uno parablico y uno hiperblico)
o 3 (uno elptico y dos hiperblicos), dependiendo del valor de la latitud del
centro de la proyeccin.
xi
cnica conforme. Como se observa en los tres casos, estos resultados mejo-
ran los de proyecciones conocidas, pero adems estas distorsiones absolutas
son prcticamente iguales a las obtenidas al minimizar la distorsin relativa,
problema, como hemos dicho, ms sencillo de resolver y menos expuesto a
errores de clculo que el de minimizar la amplitud de g en toda la regin,
cuestin que plantea dos problemas de mnimo.
ndice
Abstract v
Resumen ix
Prefacio xv
Introduccin xvii
xiii
xiv ndice
5. Proyecciones unipolares 99
5.1. Ecuaciones cannicas . . . . . . . . . . . . . . . . . . . . . . . 99
5.2. Meridianos, paralelos y loxodromas. Mapas . . . . . . . . . . . 103
5.3. Utilidad en cartografa . . . . . . . . . . . . . . . . . . . . . . 109
Conclusiones 244
A. Traduccin de las dos Memorias de Lagrange 249
Referencias 301
Prefacio
lucin sobre el plano [Lagrange, 1779, 3]. Despus [ 6] escribe (el corchete
es nuestro):
Lagrange permite que el radio de los arcos circulares sea innito, luego el
sistema de meridianos o el de paralelos, o ambos simultneamente, pueden
transformarse en rectas. Esto incluye a las proyecciones cilndricas conformes
(Mercator), a las acimutales conformes (estereogrca polar) y a las cnicas
conformes de Lambert. Este es tambin el espritu de nuestra Tesis y con-
duce a formular con ms precisin el Problema de Lagrange: determinar las
proyecciones cartogrcas conformes tales que los meridianos y los paralelos
se transforman en curvas de curvatura constante mayor o igual que cero.
Casi un siglo despus, el matemtico suizo K. von der Mhll [1868] gene-
raliza el Problema de Lagrange al exigir que las imgenes de los meridianos
y paralelos sean curvas algebraicas. Ms tarde, el matemtico ruso D. Gra-
ve [1896], alumno de Chebyshev en la Universidad de San Petersburgo, resuel-
ve el problema semejante al de Lagrange para las proyecciones equivalentes
(aquellas que conservan las reas), en su doctoral dissertation de acuerdo
con el Dictionary of Scientic Biography [1970, p. 508]. Precisamente P. L.
Chebyshev (1821-1894) haba contribuido al estudio de las proyecciones de
Lagrange. En concreto, Chebyshev [1856a]-[1856b] aborda la optimizacin
de dichas proyecciones para pases de pequea extensin; Lagrange en su
Segunda Memoria lo hace localmente.
Siete aos antes de la obra de Lagrange, el matemtico alemn J. H.
Lambert (1728-1777) escribe un trabajo fundamental en cartografa: Anmer-
kungen und Zustze zur Entwerfung der Land und Himmelskarten (Notas y
comentarios sobre la composicin de cartas terrestres y celestes). Aqu, Lam-
bert [1772, Captulo v, 58-64] se topa con las proyecciones de Lagrange,
porque aplica a la estereogrca ecuatorial su mtodo para obtener las c-
nicas conformes a partir de la estereogrca polar [Captulo iv, 47-57].
Dicho mtodo se basa en contraer la longitud de los meridianos en los polos.
De este modo Lambert construye la conocida representacin conforme de la
esfera terrestre sobre un crculo gura 1. Por esta razn, en nuestra Tesis
llamamos de Lagrange-Lambert a estas proyecciones. No es cierta la arma-
cin de J. P. Snyder [1993, Captulo 2, p. 80]: The Lagrange projection
was promoted but not invented by its namesake. Instead, it was derived by
xix
Lambert. Sin embargo, ms adelante [p. 82], Snyder se reere a ellas como
proyecciones Lambert/Lagrange. En la Seccin 3.1 exponemos el procedi-
miento de Lambert y analizamos esta polmica.
Como dijimos ms arriba, Lagrange [1779, 1-3] tambin resuelve este pro-
blema. C. F. Gauss (1777-1855) pone n a la cuestin, pues extiende dicho
xx 0. Introduccin
problema a las aplicaciones conformes entre dos supercies del espacio eucli-
Allgemeine Ausung der Aufgabe: Die
diano. Su trabajo, de 1822, se titula
Theile einer gegebnen Flche auf einer andern gegebnen Flche so abzubil-
den, dass die Abbildung dem Abgebildeten in den kleinsten Theilen hnlich
wird (en resumen, representacin de una supercie sobre otra de modo que
sea semejante en las partes innitamente pequeas), y le hace merecedor del
premio de la Real Sociedad de Ciencias de Copenhague. (Digno es mencionar
la traduccin al italiano que de esta memoria realiza E. Beltrami: Soluzio-
ne generale del problema: Rappresentare le parti di una supercie data...) El
mrito de Bonnet es la simplicacin que alcanza, debido a que trabaja con
2
coordenadas istropas: ds = 2F dudv [Struik, 1950, 5.2, ecuacin (2.5)]. La
nota de J. Liouville que cierra el artculo de Bonnet naliza con este halago:
Et en attendant j'applaudis ce que M. Bonnet a pu ajouter de neuf aux
travaux de ses devanciers.
El espacio entre Gauss y Bonnet lo llena el matemtico alemn C. G.
J. Jacobi (1804-1851) por sus trabajos sobre las proyecciones conformes del
elipsoide de tres ejes. En referencia a la memoria de Gauss de 1822, Jaco-
bi escribe en la 28.a de sus Lecciones sobre Dinmica [1884, p. 215]: In
derselben geschieht der Lagrangeschen Arbeit, der nur wenig hinzuzusetzen
war, keine Erwhnung. (It contains Lagrange's work that is only a little
bit supplemented without being mentioned.) La traduccin al ingls se debe
al matemtico y cartgrafo croata Miljenko Lapaine y puede consultarse en
http://dc358.4shared.com/doc/fq_drIEv/preview.html, Seccin 3, pgina 7.
Otros autores se han interesado tambin por las proyecciones de Lagrange.
En Francia: A. A. C. Germain [1866] quien transmite, entre otros, el trabajo
de Bonnet [1852] al gran pblico; N. A. Tissot [1881]; J. G. Darboux [1887];
L. Driencourt y J. Laborde [1932]. En Estados Unidos: T. Craig [1882]; O.
S. Adams [1919]; B. H. Brown [1935]; J. P. Snyder [1993]. En Alemania: G.
Lehmann [1939]; R. Knig y K. H. Weise [1951]. En Espaa: S. A. Lapla-
za [1940] y [1941]. Especialmente, Tissot [1881, Complment, 111] introduce
nuevas coordenadas a las que denomina longitude modie d'un mridien y
latitude modie d'un parallle, y expresa las ecuaciones de las proyecciones
de Lagrange-Lambert en funcin de ellas. (Nosotros lo hacemos al nal de
la Seccin 6.3.) Autores posteriores recogen esta aportacin, que ha llegado
hasta nuestros das, por ejemplo, Bugayevskiy y Snyder [1995, 4.2.1, p. 137,
ecuacin (4.3)].
m(z) = |f 0 (z)|1 ,
donde z = + iq representa coordenadas isomtricas (longitud, latitud) o de
Mercator, y f (z) es la transformacin conforme asociada con la proyeccin.
Adems, denominamos constantes fundamentales de una familia de proyec-
ciones conformes a aquellas que intervienen en la funcin caracterstica.
El otro es la derivada de Schwarz o schwarziana de una funcin analtica
f (z):
0 2
f 00 f 00
1 1
S(f ) = = [P (f )]0 [P (f )]2 .
f0 2 f0 2
El operador P (f ) = f 00 /f 0 se denomina derivada pre-schwarziana y tambin
tiene un papel relevante en el estudio de las proyecciones conformes, segn
demostramos en la Seccin 2.2. En la Proposicin 2.3 establecemos la relacin
entre la funcin caracterstica y la derivada de Schwarz.
La schwarziana interviene en diferentes ramas de las matemticas, por
ejemplo: la teora de las funciones univalentes [Lehto, 1987] o la geometra
diferencial proyectiva [Ovsienko y Tabachnikov, 2009]. Es A. Cayley [1881]
quien acua el trmino en honor a H. A. Schwarz (1843-1921). Este utiliz el
operador diferencial en sus investigaciones dedicadas a las transformaciones
conformes que llevan el semiplano superior a dominios acotados por un n-
mero nito de arcos circulares [Schwarz, 1869]. El libro de Nehari [1952, 5.7]
resuelve de forma amena este problema. Sin embargo, Schwarz reconoce que
el origen del operador se encuentra en la Primera Memoria de Lagrange. En
efecto, F. Klein [1884, 3.6] escribe (el corchete es nuestro):
Segn una comunicacin por la cual estoy agradecido al Seor Schwarz, esta
expresin [la schwarziana] se encuentra en las investigaciones de Lagrange so-
bre representacin conforme: Sur la construction des cartes gographiques,
Nouv. Mem. de l'Acad. de Berlin, 1779.
Poco despus, Schwarz [1890, pp. 350-355] publica unas notas y comentarios
sobre su trabajo de 1869 donde demuestra la armacin anterior de Klein.
Autores actuales otorgan a Lagrange denitivamente la prioridad en el des-
cubrimiento de la schwarziana [Ovsienko y Tabachnikov, 2009].
m m
k(z) = +i , (1)
q
donde las componentes real e imaginaria de k(z) son las curvaturas de las
imgenes de los meridianos y de los paralelos respectivamente. De aqu se
deduce la primera caracterizacin de las proyecciones de Lagrange, que ob-
tiene el propio autor [Lagrange, 1779, 9]: la segunda derivada mixta de la
funcin caracterstica es nula, es decir,
2m
= 0, (2)
q
1
f (z) = P (f ),
c2
donde c es una constante real positiva.
Segunda caracterizacin
La segunda ley de curvatura, Teorema 2.3, relaciona la derivada de la
curvatura de una curva con la derivada de la curvatura de su imagen. La sch-
warziana interviene en esta ley. Esto proporciona la segunda caracterizacin,
xxiii
S(f ) = k, k R. (3)
1
S(f ) = 2q p2 p0 ,
2
donde f (z)
es el cociente de dos soluciones linealmente independientes de la
00 0
ecuacin diferencial y + py + qy = 0. Si tenemos en cuenta la invarianza
de la schwarziana respecto a transformaciones racionales lineales y tomamos
p=0 y q = k/2,
entonces se comprende la armacin inicial.
2 2
En los tres casos posibles: k = 0, k = c /2 y k = c /2, donde c es
una constante real positiva, los pares de soluciones independientes de (4) son
{1 , z}, {exp(icz/2) , exp(icz/2)} y {exp(cz/2) , exp(cz/2)} respectiva-
mente. Los cocientes correspondientes o soluciones bsicas de la ecuacin de
Lagrange son
z, eicz y ecz .
Esto muestra que las transformaciones racionales lineales y la funcin expo-
nencial gobiernan las proyecciones de Lagrange.
xxiv 0. Introduccin
prrafo comenta que esta proyeccin est plus curieuse qu'utile. Nosotros
realizamos un estudio exhaustivo de las tres familias y aportamos aplicaciones
en cartografa.
El Captulo 4 est dedicado a las proyecciones de Lagrange rectilneas.
Es aqu donde examinamos las pseudopolares, que estn gobernadas por la
funcin exp(cz). Los meridianos son circunferencias concntricas y los para-
lelos son rectas concurrentes, es decir, se invierten los papeles respecto a las
proyecciones cnicas conformes.
El Captulo 5 se reserva a las proyecciones unipolares, que estn determi-
nadas por transformaciones racionales lineales o de Mbius aplicadas sobre
el plano z o de Mercator. Algunas propiedades de estas transformaciones ya
estn expuestas en la Seccin 1.5.
El matemtico estadounidense W. P. Thurston [1986, pp. 185 y 186] ar-
ma que la schwarziana es muy parecida a una especie de curvatura en el
xxvi 0. Introduccin
The Schwarzian derivative is very much like a kind of curvature: the various
kinds of curvature in dierential geometry measure deviation of curves or
manifolds from being at, while the Schwarzian derivative measures the de-
viation of a conformal map from being a Mbius transformation. A Mbius
transformation is determined by its two-jet (its value and rst two derivati-
ves) at any point. The two-jet is arbitrary, except for the proviso that the rst
derivative be nonsingular. Thus, for any locally univalent f and any point
w in the domain of f there is associated a unique Mbius transformation
M (f, w) which agrees with f through second order.
Esta interpretacin de la derivada de Schwarz tiene aplicacin en la Sec-
cin 5.3. Demostramos que se puede aproximar en un punto cualquier proyec-
cin conforme mediante una proyeccin unipolar, en el sentido de Thurston
(coincidencia hasta la segunda derivada), y que la schwarziana proporcio-
na la medida de la aproximacin. Ilustramos el mtodo con la proyeccin
transversa de Mercator.
En la Seccin 6.5 abordamos las proyecciones apolares, que estn gober-
nadas por la funcin de variable compleja tangente hiperblica. La inclusin
en el Captulo 6, dedicado a las proyecciones de Lagrange-Lambert, obedece
a lo siguiente: las circunferencias que representan los meridianos y los para-
lelos de las apolares coinciden, respectivamente, con las que representan los
paralelos y los meridianos de aquellas.
Proyecciones de Lagrange-Lambert
En los ltimos captulos, 6, 7 y 8, con excepcin de la Seccin 6.5, nos
ocupamos de las proyecciones de Lagrange-Lambert. Las transformaciones
conformes asociadas con ellas, que llamamos transformaciones bipolares de
Lagrange de exponente c > 0, son soluciones de la ecuacin S(f ) = c2 /2.
Es la nica familia de proyecciones de Lagrange que transforma los polos
terrestres en dos puntos nitos y distintos del plano.
Las propiedades geomtricas de estas proyecciones se estudian en el Ca-
ptulo 6. Primero demostramos que el nmero de constantes fundamentales
es cuatro: el exponente c de la proyeccin, o constante que multiplicada por
la diferencia de longitud de dos meridianos determina el ngulo que forman
sus imgenes en los polos; el centro z0 = a + ib de la proyeccin, cuyo pa-
ralelo es el nico que se transforma en una recta y cuyo meridiano, tambin
rectilneo, llamamos principal; y la distancia 2k que separa las imgenes de
los polos terrestres. En la Seccin 6.4 incluimos mapas realizados con Maple
para diferentes elecciones del exponente y del centro.
xxvii
eic(zz0 ) 1 hc i
L(z) = ki = k tg (z z0 .
)
eic(zz0 ) + 1 2
z z0
E(z) = 2R cosh q0 tg , z0 = 0 iq0 ,
2
gobierna la estereogrca centrada en (0 ,q0 ), punto de tangencia de la esfera
(radio R) con el plano donde se proyecta.
Las propiedades de las imgenes de los meridianos y de los paralelos se
analizan en la Seccin 6.3. El sistema de meridianos, en el mapa, es el haz
de circunferencias que pasan por las imgenes de los polos terrestres, ws y
wn , segn ilustramos en la gura 3. En la Proposicin 6.5 demostramos que
el sistema de paralelos, en el mapa, es el haz de circunferencias de Apolonio
respecto a los puntos ws y wn . Una circunferencia de Apolonio es el lugar
geomtrico de los puntos tales que la razn de sus distancias a dos puntos
jos es constante. Los resultados del Captulo 6 no son nuevos pero s lo son
su unicacin y modo de obtencin.
wn
wn
ws
ws
Optimizacin
El origen de esta Tesis es la utilizacin de las proyecciones de Lagrange-
Lambert para aproximar la mejor proyeccin conforme sobre un pas, porque
su dependencia de cuatro constantes les otorga mucha capacidad para ello
frente a otras proyecciones.
Lagrange [1779, 35-42] dedica parte de su Segunda Memoria a la opti-
mizacin de las proyecciones de Lagrange-Lambert, cuestin que es la raz del
Captulo 7. La optimizacin consiste en la determinacin de las constantes
fundamentales de modo que la escala innitesimal diera lo menos posible
de una funcin constante. La optimizacin de Lagrange es local, en las proxi-
midades de un punto. l supone que un punto arbitrario es un punto crtico
2
de la funcin g = log , solucin de la ecuacin diferencial g = r K , donde
K es la curvatura de Gauss del elipsoide y r el radio de los paralelos.
Adoptamos esta idea y llamamos punto geodsico de una proyeccin con-
forme a los puntos crticos de g. El nombre obedece a que las geodsicas que
lo cruzan se transforman en curvas de curvatura cero en la imagen del punto.
En efecto, en el Teorema 2.4 demostramos la frmula de Schols-Laborde:
K = m hg , ni,
si c < cL elptico
si c = cL parablico
si c > cL hiperblico.
(1 + ) ( 0 )2 + (1 ) (q q0 )2 = RB2 ,
2
RB = p ,
cos 0 1 + e02 cos2 0
0.86
0.84
0.82
0.8
0.78
0.76
0.74
0.72
0.7
0.68
0.66
(
19 % menor que la mejor cnica conforme,
Espaa. = 0.001856
44 % menor que utm (huso 30).
(
17 % menor que la mejor cnica conforme,
Suiza. = 0.0001234
82 % menor que utm (huso 32).
8 ,
(
13 % menor que utm meridiano central
Portugal. = 0.0002453
76 % menor que la mejor cnica conforme.
1.1. Denicin
Sea el elipsoide de revolucin denido por
x2 + y 2 z 2
3
xR : + 2 = 1, a > b
a2 b
v xv
R2 R3
x
v = v0
xu
x(u, v0 )
u
u = u0 x(u0 , v)
ds2 = h2 du2 + dv 2 .
ds2 = r2 d2 + 2 d2 , (1.1)
a
r = N cos , N= (1.2)
(1 e2 sen2 )1/2
y
a (1 e2 )
= , (1.3)
(1 e2 sen2 )3/2
4 1. Proyecciones conformes del elipsoide
K = N 1 1 . (1.4)
x y
ds2 = r2 d2 + dq 2 .
(1.6)
Tx () = a xu (ux , vx ) + b xv (ux , vx ) : (a , b) R2 .
Este subespacio coincide con el de los vectores tangentes a las curvas que
pasan por x. En efecto, sea (t) = x(u(t) , v(t)) con u(0) = ux y v(0) = vx .
Entonces
0 (0) = u0 (0) xu (ux , vx ) + v 0 (0) xv (ux , vx ). (1.8)
en el sentido de que dpx (v) no depende de la curva (t) sino solo de las
0 0
coordenadas del vector v: u (0) y v (0), en la base {xu , xv }, pues v se expresa
segn la ecuacin (1.8).
Para el propsito que nos ocupa caracterizar las proyecciones conformes
2 2
interesa considerar dpx como una aplicacin del plano euclidiano R en R .
Para ello introducimos en Tx () la base ortonormal
xu xv
u1 = , u2 = ,
E G
que se identica con la base cannica {(1, 0) , (0, 1)} de R2 . En este caso, si
v Tx (),
v= E u0 (0) u1 + G v 0 (0) u2
y la matriz Ax de la aplicacin diferencial dpx se expresa as:
1 1
E Xu G Xv
Ax =
1 1
;
(1.10)
Yu Yv
E G
1 1
X X
r
A= 1 ,
1
Y Y
r
que en la esfera unidad se convierte en
1
X X
cos
A= 1 . (1.11)
Y Y
cos
R2 Av
x |v| |v|
implica las condiciones (1.15). En tal caso det A = (Xu2 + Yu2 ) /E , pero en
2 2 2
virtud de (1.14) det A = , luego Xu + Yu 6= 0.
Recprocamente, si la matriz (1.10) cumple que
" #
1 Xu Yu
A= ,
E Yu Xu
con det A = (Xu2 + Yu2 ) /E > 0, entonces A es una semejanza directa. Por
tanto la proyeccin es conforme.
Algunos autores denominan condiciones de Korn-Lichtenstein al siste-
ma (1.15) vase [Grafarend y Syus, 1998, p. 284, ec. (2)]. Esta caracte-
rizacin es muy til para comprobar si una proyeccin es conforme. Veamos
cuatro ejemplos con la parametrizacin (u , v) = ( , ), 6= /2, de la
esfera unidad. La matriz de la aplicacin diferencial est expresada en (1.11).
Xu = Yv
Yu = Xv ,
las mismas que debe cumplir la funcin compleja f (u+iv) = X(u,v)+iY (u,v)
1
para que sea analtica, pues X e Y son funciones de clase C por hiptesis. En
teora de funciones complejas se llamancondiciones de Cauchy-Riemann o de
D'Alembert-Euler, y las funciones X e Y se denominan armnicas conjugadas.
Una funcin f (z) es analtica si tiene derivada en cada punto del dominio de
denicin [Markushevich, 1970, p. 79], que es igual a
Xu Xv
" # p p
Xu Xv p Xu2 + Yu2 Xu2 + Yu2
J= 2 2
= X u + Yu ,
Yu Yv Y Y
p u p v
Xu2 + Yu2 Xu2 + Yu2
que expresamos as:
0 cos sen
J(f ) = |f (z)| = |f 0 (z)|R(),
sen cos
1975, 1.3]. Por ejemplo, los argumentos de 1 + i son /4 + 2n , con n entero. Cuando
sea conveniente, utilizaremos el smbolo Arg z para representar el nico valor de arg z tal
que arg z < , denominado valor principal. Para ilustrarlo: Arg (1 + i) = /4.
Una funcin analtica f (z) tal que f 0 (z0 ) 6= 0 z0 .
conserva los ngulos en
En efecto, sea la curva (s),
parametrizada segn la longitud de arco s,
con (0) = z0 , y sea el ngulo entre el eje real y la recta tangente en z0
gura 1.8. Si consideramos la curva (s) = f ((s)), entonces
0
0 (0) = |f 0 (z0 )| ei arg f (z0 ) 0 (0).
0
Es decir, en cada punto donde f (z) 6= 0, el vector tangente a una curva se
0 0
somete a un giro segn arg f y a una homotecia segn |f |:
d 0
= |f 0 | ei(+arg f ) . (1.18)
ds
Necesariamente los ngulos se conservan en z0 pues son diferencia de direc-
ciones.
0 (0) 0 (0)
(s) z0 f (z)
f (z0 )
(s)
+ arg f 0 (z0 )
|f 0 (z)|
= y = . (1.19)
h
Por tanto la proyeccin es conforme.
Las funciones analticas con la propiedad de este teorema, f 0 (z) 6= 0, se
llaman transformaciones conformes.
Observacin. Una transformacin conforme f (z) introduce una nueva parametriza-
cin isomtrica del elipsoide. En efecto, df = f 0 (z)dz y ds2 = h2 |dz|2 , por tanto
h2
ds2 = dX 2 + dY 2 .
0
|f (z)|2
Y
norte
mer.
ez+2ni = ez , n entero.
d z
e = ez .
dz
En la transformacin del plano z mediante w = exp z , el segmento u=
u0 , v < , se transforma de manera biyectiva en la circunferencia
centrada en el origen y con radio exp u0 , como muestra la gura 1.10. La
banda Re z > 0, Im z < , se corresponde con el exterior del crculo
unidad del plano w, mientras que la banda Re z < 0, Im z < , se
transforma en el interior de dicho crculo, excluido el origen.
z = u + iv w = ez
1 eu 0
u = u0
z = u + iv w = ez Arg w = v0
v = v0
D = { + iq : < }
A partir de lo expuesto en el prrafo anterior, se deduce que la funcin
D, pero observamos que si z = +iq , entonces
exponencial no es biyectiva en
Im(iz) < . Esto implica que la funcin exp(iz) transforma de manera
biyectiva la banda D en el plano perforado, como muestra la gura 1.12.
Adems,
|eiz | = eq y Arg eiz = ,
luego la recta constante (meridiano) se transforma en una semirrecta que
concurre en el origen, y el segmento q constante, < , (paralelo) en
una circunferencia centrada en el origen.
Es natural, por tanto, que la funcin exp(iz), z = + iq , est presente en
cartografa. Los dos prximos ejemplos lo ponen de maniesto.
X = 2Req sen
Y = 2Req cos ,
1.4. Funcin exponencial 17
z = + iq w = eiz
r = 2Req , = .
Aunque exp(iz) 6= 0 para todo z, obsrvese que
lm |eiz | = lm eq = 0.
q+ q+
r = k|c|ecq y = c. (1.23)
a b
T (z) = z + , d 6= 0,
d d
que es una funcin lineal y entera (analtica en todo el plano). Es una trans-
formacin conforme si a 6= 0, y est compuesta por un giro, una homotecia
y una traslacin. Por tanto representa una semejanza directa del plano z.
Si c 6= 0 entonces, para todo z 6= d/c, existe la derivada:
ad bc
T 0 (z) = .
(cz + d)2
1.5. Transformaciones racionales lineales 19
X = c
Y = cq,
f (z) = cz,
luego
r = c y = 0, (1.25)
en virtud de (1.20).
Proyeccin estereogrca
Sean la parametrizacin ( , q) de la esfera de radio R y x0 = (0 , q0 ) un
punto de ella. Desde el otro extremo del dimetro de la esfera que determina
x0 se proyecta la esfera en el plano tangente a ella en x0 . Esta es la proyeccin
estereogrca centrada en x0 .
0 0
Introducimos nuevas coordenadas isomtricas ( , q ) de modo que el polo
norte es el punto x0 y el meridiano origen de longitudes es la geodsica que
une x0 con el polo sur geogrco Ps , como muestra la gura 1.14. Sean ,
0 y 0 las distancias esfricas entre, respectivamente: un punto x y el polo
20 1. Proyecciones conformes del elipsoide
0 0 0
tg = eq , tg = eq0 y tg = eq . (1.26)
2 2 2
La siguiente tabla resume los dos sistemas de coordenadas denidos.
Pn
0
0
x0 0
0 x
Ps
0
X1 = 2Req sen 0
0
Y1 = 2Req cos 0 .
Y2 = 2Req cos( 0 ),
suponemos que 0 es el origen de longitudes. Consideremos los planos com-
plejos:
0
= X1 + iY1 = 2Rieiz y w = X2 + iY2 = 2Riei(z0 ) , (1.29)
plano Y1 plano w Y2
Pn
2Req0 Pn X2
x0 X1
x 0
0 2Req0
q0 x
2Re
x0
Ps
Para hallarla tenemos en cuenta que una transformacin racional lineal con-
serva la razn doble de cuatro puntos cualesquiera [Levinson y Redheer,
1990, p. 264], denida por
w1 w2 w3 w4
X(w1 , w2 , w3 , w4 ) = . (1.30)
w1 w4 w3 w2
Es decir, se cumple X(w , w1 , w2 , w3 ) = X( , 1 , 2 , 3 ), donde se
transforma en w y los i en los respectivos wi segn la siguiente tabla
vase la gura 1.15:
Pn : 1 = 2Req0 i 7 w1 = 0
x0 : 2 = 0 7 w2 = 2Req0 i
Ps : 3 = 2Req0 i 7 w3 = .
En virtud de (1.30) se obtiene la ecuacin
2Req0 i
w = 2Req0 i .
+ 2Req0 i
Ahora sustituimos y w por (1.29) y despus despejamos exp(iz) y exp(iz 0 )
para llegar a las frmulas (1.28) que queramos encontrar.
La frmula de exp(iz 0 ) en (1.28) se sustituye en (1.27). De este modo
obtenemos la transformacin conforme, en coordenadas z = + iq , de la
estereogrca centrada en x0 = (0 , q0 ):
eiz eiz0
f (z) = 2Req0 i . (1.31)
eiz + eiz0
El plano f (z) se corresponde con el plano de la gura 1.15. Observamos
que f (z0 ) = 0, es decir, el origen de coordenadas es la imagen de x0 . Pero
en la esfera hay un punto, al que llamamos x0 = (0 , q0 ), situado en el
mismo meridiano que x0 y con latitud opuesta, cuyo paralelo se trasforma
en una recta perpendicular a la imagen del meridiano 0 , como muestra la
gura 1.16.
Hagamos que la imagen de x0 sea el nuevo origen de coordenadas y que las
imgenes de su meridiano y su paralelo sean los ejes de ordenadas y abscisas,
respectivamente. Para ello calculamos f (z0 ) = 2Ri senh q0 en (1.31). Este
valor indica que la imagen de x0 equidista de las de los polos, Pn y Ps , vase
la gura 1.16. Ahora denimos la funcin E(z) = f (z) f (z0 ), que tiene la
propiedad buscada. Despus de simplicar se obtiene
ei(zz0 ) 1 z z0
E(z) = 2Ri cosh q0 i(zz0 ) = 2R cosh q0 tg , (1.32)
e +1 2
1.5. Transformaciones racionales lineales 23
z 0
E(z) = 2R tg , (1.33)
2
mostrada en la gura 1.17 con 0 = 0.
plano f (z)
Pn = 2Req0 i
x0
mer. 0
Pn
x0 = (0 , 0 ) x0
par. 0
0
Ps = 2Req0 i
0
x0 = (0 , 0 )
Ps
Observacin. Para obtener la funcin tangente en (1.32) hemos utilizado las frmulas
de Euler:
1 iz 1 iz
e + eiz y e eiz , (1.34)
cos z = sen z =
2 2i
que permiten denir la funcin tg z = sen z/ cos z , es decir,
e2iz 1
tg z = i . (1.35)
e2iz + 1
Si z = u + iv , se tiene la identidad
z sen u senh v
tg = +i .
2 cos u + cosh v cos u + cosh v
24 1. Proyecciones conformes del elipsoide
sen ( 0 )
X = 2R cosh q0 cos ( 0 ) + cosh (q + q0 )
senh (q + q0 )
Y = 2R cosh q0 .
cos ( 0 ) + cosh (q + q0 )
2R cosh q0
E 0 (z) = . (1.36)
1 + cos (z z0 )
2 cosh q0 cosh q
= , (1.37)
cos ( 0 ) + cosh (q + q0 )
y
Leyes de curvatura de la
representacin conforme
log(r) = q y log(r) = , (2.2)
q
y, por tanto, log(r) = = 0, donde simboliza el laplaciano.
= 1 + e2q y = . (2.3)
donde m = |f 0 (z)|1 .
Teorema 2.1. La relacin entre las curvaturas y K de c y C , respectiva-
mente, en puntos correspondientes es:
d( + ) d
K=m = m + m . (2.7)
ds ds
Por otra parte,
d du dv
= u + v = u cos + v sen .
ds ds ds
Finalmente, las funciones log m y son armnicas conjugadas, segn la
Proposicin 2.1:
K = mq cos m sen ,
Funcin caracterstica
Llamamos funcin caracterstica de la proyeccin conforme, o de la trans-
formacin conforme asociada, a la funcin
m( , q) = m(z) = |f 0 (z)|1 .
mr = 1. (2.10)
m m |m|2 = 0. (2.11)
2.1. Cambio de curvatura en transformaciones conformes 31
mer. mer.
par.
dq
dS1 par.
dS2 d
X + iY (mapa) z = + iq
con k = |cA|1 > 0. Las constantes fundamentales son c y |A|. En virtud del
Teorema 2.2 obtenemos
1 = 0 y 2 = ckecq ,
luego las imgenes de los meridianos son rectas y la de los paralelos son
circunferencias con radios proporcionales a exp(cq). Adems,
log m = cq + log k,
1
K = tg , (2.15)
S
P (L f ) = P (f ). (2.19)
P (f ) = log m + i log m = arg f 0 + i arg f 0 . (2.20)
u v v u
d
P (f ) = log f 0 = log|f 0 | + i arg f 0 . (2.21)
dz u u
En virtud de las condiciones de Cauchy-Riemann
P (f ) = log|f 0 | i log|f 0 |,
u v
que conduce a la primera identidad de (2.20), pues log|f 0 | = log m. La se-
gunda identidad se obtiene al aplicar nuevamente las condiciones de Cauchy-
Riemann en el ltimo miembro de (2.21).
mP (f ) = mu + imv . (2.22)
mP (f ) = 1 + i2 , (2.23)
|P (f )|2 = m1 m.
P (f ) = q + i , (2.24)
K = m + m Im P (f ) ei .
(2.25)
= c + bq + a,
2.2. Derivada pre-schwarziana 35
P (f ) = b + ic,
(
Az + B si k=0
f (z) =
Aekz + B si k 6= 0.
con A y B complejos, A 6= 0.
Las proyecciones asociadas con f (z) = Az + B se identican, excepto
semejanzas del plano, con las cilndricas conformes vase la Seccin 1.5,
y en particular con la proyeccin de Mercator, donde se tiene que = 0.
La familia de proyecciones asociada con
f (z) = Aekz + B, k = b + ic 6= 0
m = |ekz | = ecqb ,
Por tanto
b 1 c 1
1 = y 2 = ,
c S1 b S2
36 2. Leyes de curvatura de la representacin conforme
dK d dm d dn
=m + + h m , ni + hm , i. (2.28)
ds ds ds ds ds
Analicemos los ltimos tres trminos de la derecha. Primero,
dm
= mu u0 + mv v 0 = hm , e i, (2.29)
ds
pues u0 = du/ds y v 0 = dv/ds son las componentes del vector unitario tan-
gente a la curva c. Segundo,
dmu dmv
= muu u0 + muv v 0 y = mvu u0 + mvv v 0 ,
ds ds
que escribimos en forma matricial:
d
m = M e , (2.30)
ds
donde M es la matriz de las segundas derivadas de m. Por ltimo,
dn d
= ( cos , sen ) = e . (2.31)
ds ds
38 2. Leyes de curvatura de la representacin conforme
dK 1
= m mq cos 2 + (mqq m ) sen 2 . (2.32)
dS 2
dK 1
= m mqq sen 2 = c2 k 2 sen cos e2cq ,
dS 2
donde es el ngulo entre la loxodroma y los meridianos. La longitud de
arco S, segn obtuvimos en la Seccin 2.1, es tal que
S 1 = ck cos ecq .
Por tanto
dK 1
= tg 2 ,
dS S
frmula que se consigue, por otra parte, al derivar (2.15).
0 2 2
f 00 1 f 00 f 000 3 f 00
S(f ) = = 0 (2.33)
f0 2 f0 f 2 f0
1
= [P (f )]0 [P (f )]2 . (2.34)
2
2.4. Derivada de Schwarz 39
(Vase por ejemplo [Hille, 1962, 17.6].) Exponemos algunas de sus propie-
dades. Primero:
az + b
S(f ) = 0 si y solo si f (z) = , ad bc 6= 0. (2.35)
cz + d
Vemos que las transformaciones racionales lineales, bsicas en cartografa
segn mostramos en la Seccin 1.5, se caracterizan por la ecuacin S(f ) = 0.
La schwarziana satisface la siguiente regla de la cadena :
S (f g) = [S(f ) g] (g 0 )2 + S(g). (2.36)
S (T f ) = S(f ). (2.37)
Segn una comunicacin por la cual estoy agradecido al Seor Schwarz, esta
expresin [la schwarziana] se encuentra en las investigaciones de Lagrange so-
bre representacin conforme: Sur la construction des cartes gographiques,
Nouv. Mem. de l'Acad. de Berlin, 1779.
g 00 (z)
= constante,
g(z)
g 00
S(f ) = 2 .
g
Esta identidad se encuentra en las notas que Wangerin [1894, p. 90] aadi
a su traduccin del trabajo de Lagrange. Por tanto no resulta extraa la
siguiente armacin en referencia a la schwarziana [Ovsienko y Tabachnikov,
2009]:
1
mS(f ) = (mvv muu ) + imuv . (2.38)
2
m m 1 mu mv 2
u v
S(f ) = +i +i .
m u m u 2 m m
Despus de simplicar y tener en cuenta que m es solucin de la ecua-
m m |m|2 = 0 se obtiene la frmula (2.38).
cin (2.11):
dK d
= m2 + m2 Im S(f ) e2i .
(2.39)
dS ds
2.4. Derivada de Schwarz 41
1
(mvv muu ) sen 2 = m Im S(f ) e2i .
muv cos 2 +
2
El primer miembro es la parte imaginaria de
z z0
f (z) = 2R cosh q0 tg , z0 = 0 iq0 , (2.40)
2
gobierna la proyeccin estereogrca centrada en (0 , q0 ), punto de tan-
gencia de la esfera de radio R con el plano donde se proyecta. Llamamos
k = 2R cosh q0 > 0. La funcin caracterstica es
m = |f 0 (z)|1 = k 1 1 + cos (z z0 )
2 cosh q0 cosh q
= ,
cos ( 0 ) + cosh (q + q0 )
m = k 1 cos ( 0 ) + cosh (q + q0 ) .
(2.41)
(
1 = m = k 1 sen ( 0 )
(2.42)
2 = mq = k 1 senh (q + q0 ).
0 k z z0 z z0
f = 1 + tg2
y f 00 = f 0 tg ,
2 2 2
entonces
z z0
P (f ) = tg . (2.43)
2
Se deduce que la transformacin conforme asociada con la estereogrca,
f (z), es solucin de la ecuacin P (f ) = k 1 f .
Observacin. La ecuacin P (f ) = af , con a complejo, equivale a f 00 = af f 0 , es
decir,
a d 2
f 00 = f ,
2 dz
que se reduce a la ecuacin de primer orden:
a
f 0 f 2 = c, con c complejo. (2.44)
2
Esta es un caso particular de la ecuacin de Riccati : f 0 = a(z)f 2 + b(z)f + c(z). El cambio
de variable 0
a g
f=
2 g
transforma (2.44) en la ecuacin
ac
g 00 + g = 0,
2
cuya solucin general es
g(z) = Aei ac/2z + Bei ac/2z .
0 1 1
S(f ) = tg (z z0 ) /2 tg2 (z z0 ) /2 = .
(2.46)
2 2
Este resultado implica, en virtud de la Proposicin 2.3, que las segundas
derivadas parciales de m satisfacen las condiciones:
mq = 0
mqq m = m,
2.4. Derivada de Schwarz 43
z 0
2R tg . (2.48)
2
Supongamos que 0 = /2. Se tiene, en virtud de (1.37), que
2 cosh q
= ,
cosh q sen
luego (0 , q) = 2 para todo q . Si multiplicamos por 1/2 la funcin (2.48) y
suponemos que R = 1, entonces obtenemos la funcin
z
E(z) = tg + ,
4 2
que ahora cumple la condicin = 1 en = 0.
An resta la segunda condicin: = 0 rectilneo. En este caso particular
de la estereogrca ecuatorial, E(z), la imagen de = 0 es la semicircunfe-
rencia unidad centrada en el origen gura 2.4:
E(z) : |E(z)| = 1, |Arg E(z)| /2 .
La funcin logaritmo transforma esta curva en el segmento del eje imaginario
limitado por i/2 y +i/2. Entonces la proyeccin transversa de Mercator
est determinada por la transformacin conforme
Pn +i Pn +i/2
=0
= /2 =0
+1
q=0
Ps Ps i/2
E(z) i Log E(z)
En efecto,
f 0 (z) = E 0 /E = 1/ cos z, (2.49)
luego
|f 0 | cosh q
(0 , q) = = = 1,
r |cos iq|
para todo q, pues cos iq = cosh q . A partir de la identidad
z 1 + sen z 1/2
tg + = ,
4 2 1 sen z
se obtiene
z 1
1 + sen z
f (z) = Log tg +
= Log = arc tgh (sen z). (2.50)
4 2 2 1 sen z
Los puntos excluidos del dominio de denicin son z = /2+i0 y z = /2+
i0, porque la funcin logaritmo est denida para cada nmero complejo
distinto de cero y del innito [Markushevich, 1970, Captulo 2, 5.4].
La proyeccin transversa de Mercator fue creada por Lambert [1772,
80-92], a partir de la proyeccin sinusoidal, mediante un desarrollo en
serie de potencias de la longitud y la latitud. Sus ecuaciones en la esfera
unidad son [Lambert, 1772, 85]:
1 1 + sen cos
X = log
2 1 sen cos
tg
Y = arc tg
,
cos
o tambin
sen
X = arc tgh
cosh q
Y = arc tg senh q ,
cos
2.4. Derivada de Schwarz 45
cosh q 1
= 1/2 = .
cos2 + senh2 q (1 sen2 cos2 )1/2
1 = m1 cos sen
(2.51)
2 = m1 cosh q senh q.
P (f ) = tg z. (2.53)
1 2
S(f ) = 1 + tg z. (2.54)
2
Vase la gura 2.5.
46 2. Leyes de curvatura de la representacin conforme
ds2 = h2 du2 + dv 2 ,
(2.55)
d
g = + (g )1 cos + (g )2 sen , (2.56)
ds
2.5. Curvatura de las proyecciones de lneas geodsicas 47
x0
x(u, v0 )
c
x(u0 , v)
pz p
u0 p(c)
pz (c)
f f (u + iv0 )
z0
v0 f (z0 )
d
= sen h1 cos h1 = hh1 , ni, (2.58)
ds u v
donde n = ( sen , cos ) es el vector unitario normal a c.
Queremos hallar la curvatura de la imagen de la geodsica c mediante
una proyeccin conforme. Primero consideramos la curva pz (c), imagen de c
en el plano z = u + iv , parametrizada segn la longitud de arco sz , como
muestra la gura 2.6.
48 2. Leyes de curvatura de la representacin conforme
d d
= = h = hhh1 , ni,
dsz ds
que proporciona el resultado deseado, pues hh1 = log h.
Proyeccin de Mercator. Consideremos la parametrizacin isomtrica
(u,v) = (,q) del elipsoide. En este caso se tiene h = r, radio de los paralelos,
1
luego la frmula (2.59) se convierte en = r rq cos . Hallamos
dr d r dr
rq = = = r sen , (2.60)
d dq d
donde hemos utilizado las frmulas (1.2), (1.3) y (1.5). La proyeccin de
Mercator est asociada con el plano z = + iq , luego en esta proyeccin la
curvatura de una geodsica es
En la esfera los crculos mximos son sus geodsicas [Struik, 1950, 4.2], en
particular los meridianos. En todos los puntos de un meridiano se tiene que
= constante = /2, luego su curvatura es, en virtud de (2.61), idntica-
mente nula. Como es sabido, los meridianos de esta proyeccin son rectas.
Otra consecuencia de (2.61) es que =0 en = 0, es decir, la imagen de
la geodsica cruza los puntos de la imagen del ecuador con curvatura nula.
Este comportamiento se exhibe en la gura 2.7.
El siguiente resultado establece la curvatura de la imagen de una geodsica
del elipsoide mediante una proyeccin conforme p vase la gura 2.6.
K = mh 1 , ni = m 1 h , ni, (2.64)
f (z) = 2Rieiz ,
cos
K = m cos (1 sen ) = (2R)1 ,
cosh q
pues sen = tgh q . Como r = R sech q es el radio del paralelo en el punto en
cuestin, entonces
1
K= r sen ,
2R2
donde = /2 es el acimut de la geodsica. Por tanto
K = constante
Ahora postulamos que los meridianos tienen que ser circunferencias que se
cruzan en ambos polos. [ 58.]
[...] Exigir que los meridianos se corten en los polos en ngulos que se rela-
cionan con los ngulos reales en razn 1 a m. Ahora la cuestin es dibujar
los paralelos de modo que las proporciones entre los grados de largo y ancho,
y por ello todos los ngulos, conserven sus magnitudes propias [ 59.]
[...] Aqu, como antes, los paralelos siguen siendo circulares y se cortan en
ngulo recto, como antes, con las circunferencias que representan los meri-
dianos. Y tambin se trazan como en la proyeccin estereogrca. [ 60.]
( , /2) = c, c > 0,
y = y()
Y
(0, c2 ) par.
R2
Pn
R1 c
c y X
(c1 , 0)
c = /2
Ps
1 + y2 1 y2
c2 = y R2 = . (3.2)
2y 2y
(x , ) = |dpx (e )|,
1/2 1/2
1 (x) = X2 + Y2 y 2 (x) = r1 X2 + Y2 . (3.5)
(X , Y ) = (0 , c2 ) + R2 (sen , cos ) .
3.1. Problemas de Lambert y de Lagrange 57
(0, c2 )
R2
par.
Pn
R1
(X, Y )
mer.
(0 , ) = cY (0 , ) = cy.
X (0 , ) = 0 e Y (0 , ) = y ,
y = cr1 R2 y.
dy c
= dq.
1 y2 2
1 1+y c
log = (q q0 ) , q0 constante,
2 1y 2
58 3. Teora general de las proyecciones de Lagrange
y = tgh (cq/2).
Ambos valores deben dividirse por 2R para que corresponda con una esfera
de radio R. Las curvaturas en la estereogrca ecuatorial son:
1 = sen y 2 = senh q,
que concuerda con los valores de 1 y 2 en (3.7), pues el Teorema 2.2 esta-
blece que m = (1 , 2 ).
La frmula (3.8) proporciona las ecuaciones de la estereogrca modi-
cada de Lambert:
sen (c)
X=
cos (c) + cosh (cq)
senh (cq)
Y =
.
cos (c) + cosh (cq)
3.1. Problemas de Lambert y de Lagrange 59
Los meridianos se cortan en los polos en la mitad de los ngulos, y los 360
grados de longitud se reducen a la mitad de 360 o 180 grados completos.
[ 62.]
Problema de Lagrange
En 1779 Lagrange presenta el trabajo Sur la construction des cartes go-
graphiques, dividido en dos memorias, donde plantea y resuelve dos proble-
mas:
El difunto Sr. Lambert fue el primero que consider la Teora de los Mapas
desde el punto de vista general que voy a exponer, y en consecuencia el que
tuvo la idea de determinar las lneas de los meridianos y de los paralelos
segn la nica condicin de que todos los ngulos formados en el Mapa
sean iguales a los ngulos correspondientes en la supercie del globo. Este
Problema, del que se encuentra una solucin general en el tercer Volumen
de los Beytrge zum Gebrauche der Mathematik, etc., despus fue resuelto
tambin por el Sr. Euler en el Volumen que acaba de publicarse de las Actes
de l'Acadmie de Ptersbourg del ao 1777; pero estos dos ilustres Autores
a continuacin se contentaron con hacer ver que las Teoras conocidas de
la proyeccin estereogrca y de las Cartas reducidas estn contenidas en
esa solucin, y nadie se ha encargado todava de dar a estas Teoras toda la
extensin de la que son susceptibles, determinando todos los casos en los que
la solucin en cuestin puede dar circunferencias para los meridianos y los
paralelos.
Esta investigacin, interesante igualmente por los articios analticos que
requiere y por la utilidad que puede tener para la perfeccin de los Mapas,
me parece digna de la atencin de los Gemetras y propia para proporcionar
la materia de una Memoria. En primer lugar resolver el mismo Problema
segn un mtodo distinto del de los Sres. Lambert y Euler, y, si no me
equivoco, ms sencillo y ms general en algunos aspectos; a continuacin
aplicar la solucin general en el caso particular en que se supone que los
meridianos y los paralelos son circunferencias, que son las nicas curvas que
se pueden emplear fcilmente en la construccin de los Mapas; y adems
resolver algunas otras cuestiones relativas a este objeto y de donde resultan
varias consecuencias tiles.
m C 2 [ , ) R : log m = 0, mq = 0, m > 0 .
m m |m|2 = 0
(m + a) (m + a) |(m + a)|2 = 0.
Entonces
F F 00 F 02 + GG00 G02 = F G00 + GF 00 .
(3.12)
m = 1.
64 3. Teora general de las proyecciones de Lagrange
i.2 F
constante. Se tiene que m = G(v) en virtud del Lema 3.2. La con-
2 2
dicin log m = 0 implica d (log G)/dv = 0, que, salvo un factor constante
positivo, proporciona la solucin
m = eav , a 6= 0.
Por tanto el primer grupo de soluciones est formado por las funciones
au av
e y e , donde a R.
F 000 kF 0 = 0
(3.14)
G000 + kG0 = 0, k R.
Distinguimos tres casos: k = 0, k < 0 y k > 0.
ii .1 Si k = 0, F G deben ser polinomios de
y segundo grado a lo sumo.
Por tanto m = au2 + bv 2 + cu + dv + f . Se tiene
m m |m|2 = 2a (b a) u2 + 2b (a b) v 2 + 2c (b a) u
+ 2d (a b) v + 2f (a + b) c2 d2 .
El polinomio m es solucin de (3.11) si y solo si a = b y 4af = c2 + d2 , con
f = m(0 , 0) > 0 y a > 0, porque a = 0 implicara m constante. Se deduce
que " 2 2 #
c d
m=a u+ + v+ .
2a 2a
3.2. Funcin caracterstica de las proyecciones de Lagrange 65
Las soluciones polinomiales del problema (3.10) son, salvo un factor constante
positivo:
m = (u a)2 + (v b)2 , (a , b) R2 .
Donde a 6= 0.
m = ( a)2 + (q b)2
= 2 ( a)
1
2 = 2 (q b)
Rectas: = a, q = b
m = cos [c ( a)] + cosh [c (q b)]
= c sen [c ( a)]
1
2 = c senh [c (q b)]
Rectas: = a, = a /c [ , ) , q = b
m = cos [c (q b)] + cosh [c ( a)]
= c senh [c ( a)]
1
2 = c sen [c (q b)]
Rectas: = a, q = b, q = b /c
Donde c>0 y (a , b) [ , ) R.
68 3. Teora general de las proyecciones de Lagrange
3.5
2.5
1.5
0.5
80
180
0
0
80
180
Latitud
Longitud
80
180
0
0
80
180
Latitud
Longitud
16
14
12
10
80
180
0
0
80
180
Latitud
Longitud
80
180
0
0
80
180
Latitud
Longitud
14
12
10
80
180
0
0
80
180
Latitud
Longitud
m = 1,
m = eaq , a 6= 0,
m = ea , a 6= 0,
excepto factor constante positivo. Estudiamos esta familia en el Captulo 4.
A la inversa que en las cnicas y acimutales conformes, los paralelos son
rectilneos: 2 = 0, y los meridianos son circulares: 1 = a exp(a).
En la gura 3.9 se aprecian las diferencias geomtricas de las tres familias
de proyecciones de Lagrange rectilneas.
4. Proyecciones unipolares.
(
m = ( a)2 + (q b)2
1 = 2 ( a) , 2 = 2 (q b).
5. Proyecciones de Lagrange-Lambert.
m = cos [c ( a)] + cosh [c (q b)]
6. Proyecciones apolares.
m = cos [c (q b)] + cosh [c ( a)]
Unipolares: =a y q = b.
De Lagrange-Lambert: = a, = a /c [ , ) y q = b.
Apolares: = a, q = b y q = b /c.
AC = R1 = |1 |1 y DC = R2 = |2 |1 .
R1 X = R2 Y.
3.3. Construccin de las proyecciones 73
Y, = a
D
par. q0
E C
X, q = b
A B
mer. 0
1 1
1 X = 2 Y = F,
luego
X = F m
(3.16)
Y = F mq .
Conjeturamos que (3.16) es cierto en todo el dominio de denicin, es
decir, que existe una nica F tal que
m mq F 1
= F (m + mqq ) ,
mq m Fq 0
donde se ha tenido en cuenta que mq = 0. La solucin es
F F m
= ,
Fq m mq
Teorema 3.4. Excepto semejanzas del plano, las ecuaciones de las proyec-
ciones de Lagrange circulares son:
X = k log m
(3.19)
Y = k log m,
q
0 2 k2
X2 Y2 = 3 mm2 + m2 (mqq m ) ,
|f (z)| = +
m
donde hemos utilizado (3.18). Luego |f 0 (z)|1 = m si y solo si
1 2 m2
= m + (mqq m ).
k2 m
Se comprueba que k = 1/2 en las proyecciones unipolares. En las proyecciones
de Lagrange-Lambert y en las las proyecciones apolares se obtiene el mismo
2
valor: k = 1/c .
Segn la Proposicin 2.2, la pre-schwarziana de f (z) es
P (f ) = log m + i log m.
q
Entonces, en virtud del Teorema 3.4,
P (f ) = k 1 (X + iY ) ,
Teorema 3.5. Sea f (z) la transformacin conforme asociada con una pro-
yeccin de Lagrange circular. Entonces
P (f ) = k 1 f. (3.20)
El Teorema 3.5, junto con las identidades (2.23) y (2.24), seala que las
ecuaciones de la proyecciones de Lagrange circulares satisfacen:
( (
X = k q X = k 1 /m
y
Y = k Y = k 2 /m.
Proyecciones unipolares:
a
1
X=
2 ( a)2 + (q b)2
(3.21)
Y =1 qb
.
2 ( a)2 + (q b)2
Proyecciones de Lagrange-Lambert:
1 sen [c ( a)]
X=
c cos [c ( a)] + cosh [c (q b)]
(3.22)
1 senh [c (q b)]
Y = .
c cos [c ( a)] + cosh [c (q b)]
76 3. Teora general de las proyecciones de Lagrange
Proyecciones apolares:
1 senh [c ( a)]
X=
c cos [c (q b)] + cosh [c ( a)]
(3.23)
1 sen [c (q b)]
Y = .
c cos [c (q b)] + cosh [c ( a)]
es la schwarziana de f (z).
3.4. Segunda caracterizacin. Ecuacin diferencial de Lagrange 77
Im[S(f )(z)] = 0,
S(f ) = k, k R, (3.25)
k
g 00 + g = 0, k R. (3.27)
2
g 00 1
= k, g = 0.
g f
Se comprueba que
2 0
g 00 f 00 f 00
1 1
= .
g 4 f0 2 f0
Por tanto
g 00 1
= S(f ),
g 2
S(f (iz)) = k.
Clase i: S(f ) = 0
En virtud de (2.35) las soluciones son las transformaciones racionales li-
neales:f (z) = (az + b) / (cz + d), con ad bc 6= 0. Como es habitual se
distinguen los casosc = 0 y c 6= 0, que dan lugar a dos familias de pro-
yecciones. Despus de renombrar las constantes a, b, c y d en los dos casos,
obtenemos:
f (z) = Az + B, A 6= 0,
f (z) = Az + B , C =
6 0, AD BC 6= 0.
Cz + D
c2
g 00 + g = 0. (3.28)
4
Segn el Teorema 3.7 necesitamos dos soluciones linealmente independientes
de esta ecuacin.
an
an+2 = , n 0.
(n + 2) (n + 1)
X (1)n X (1)n 2n+1
g(z) = a0 z 2n + a1 z = a0 cos z + a1 sen z,
n=0
(2n)! n=0
(2n + 1)!
80 3. Teora general de las proyecciones de Lagrange
Aeicz + B
f (z) = , AD BC 6= 0.
Ceicz + D
Distinguimos como es costumbre los casos C=0 y C 6= 0:
A icz B
f (z) = e + , AD 6= 0,
D D
y
Aeicz + B
f (z) = , C 6= 0, AD BC 6= 0.
Ceicz + D
Si en el segundo caso suponemos que D = 0, se obtiene
B icz A
f (z) = e + , BC 6= 0.
C C
Agrupamos estas funciones con el primer caso, extendiendo el dominio de c
a R \ {0}, y renombramos las constantes. Entonces la clase ii est compuesta
por dos familias de proyecciones asociadas con:
icz
f (z) = Ae + B, c R \ {0}, A 6= 0,
icz
f (z) = Ae + B , c > 0, CD 6= 0, AD BC 6= 0.
Ceicz + D
3.5. Sntesis de las transformaciones de Lagrange 81
Aecz + B, c R \ {0}, A 6= 0,
y
Aecz + B Becz + A
= , c > 0, CD 6= 0, AD BC 6= 0.
Cecz + D Decz + C
Para unicar la notacin respecto a la clase ii renombramos algunas cons-
tantes, y expresamos nalmente:
cz
f (z) = Ae + B, c R \ {0}, A 6= 0,
cz
f (z) = Ae + B , c > 0, CD 6= 0, AD BC 6= 0.
Cecz + D
Clase i: S(f ) = 0
1. Proyecciones cilndricas conformes: f (z) = Az + B .
Az + B
2. Proyecciones unipolares: f (z) = .
Cz + D
En 1: A 6= 0.
En 2: C 6= 0, AD BC 6= 0.
En 3 y 5: c R \ {0}, A 6= 0.
En 4 y 6: c > 0, CD 6= 0, AD BC 6= 0.
Az + B
z
Cz + D
Aeicz + B
eicz
Ceicz + D
Aecz + B
ecz
Cecz + D
84 3. Teora general de las proyecciones de Lagrange
Az + B
Cz + D
eicz
Aeicz + B
Ceicz + D
Proyecciones pseudopolares
Proyecciones apolares
ecz
Aecz + B
Cecz + D
Proyecciones de Lagrange
rectilneas
f (z) = Az + B, A 6= 0.
P (f ) = a + ib, ab = 0, (a , b) R2 ,
f (z) = c (z z0 ),
X = c ( a)
Y = c (q b).
La funcin caracterstica es
m(z) = |f 0 (z)|1 = c1 ,
f 00 L00 f 00
= .
f0 f0
z
f (z) = Log tg + .
4 2
Se tiene que P (f ) = tg z , segn (2.53). Los nicos ceros de la funcin tg z son
z = k , con k entero [Hille, 1959, 6.4]. Entonces en estos puntos las fun-
ciones lineales son buenas aproximaciones de f (z). En particular, la funcin
lineal
L(z) = z
aproxima f (z) en z0 = 0, porque f (0) = 0 y f 0 (z) = 1/ cos z . Se concluye que
la proyeccin de Mercator es una buena aproximacin lineal de la transversa
de Mercator en ( , ) = (0 , 0).
donde sgn es la funcin signo, denida, para todo nmero real no nulo, como
(
1, si x < 0
sgn(x) = (4.4)
+1, si x > 0.
4.2. Cnicas y acimutales conformes 89
Se calcula
f 0 (z) = k|c|ecq eic(a)
y se deduce que la funcin caracterstica es
y
2 2
X 2 + Y sgn(c)kecb = kecq ,
respectivamente. Se deduce que
f (z) = i sgn(c)kecb
1
K = tg ,
S
donde es el ngulo entre la loxodroma y los meridianos, y S es la longitud
de arco.
90 4. Proyecciones de Lagrange rectilneas
Y Y
Pn +kecb =a X
2c
q=b q=b
X 2|c|
Ps kecb
=a
Las proyecciones cnicas conformes estn asociadas con 0 < |c| < 1, y
las acimutales conformes con |c| = 1. Este ltimo caso coincide, excepto
semejanza directa, con la proyeccin estereogrca polar, asociada con la
funcin f (z) = 2Ri exp(iz) segn (1.21). Las guras 4.3, 4.4 y 4.5 muestran
tres mapas que sirven para cerrar esta seccin.
1 = m = sgn(c)|A|1 ec y 2 = mq = 0,
donde sgn es la funcin signo denida en (4.4). Es decir, los paralelos son
rectilneos y los meridianos son circunferencias, concntricas pues |f (z)B| =
|A| exp(c).
Las condiciones (4.1) establecen que el eje X es la imagen del paralelo
q = b y que la circunferencia imagen del meridiano = a es tangente al eje Y
en el origen. Dichas condiciones implican que
(
cz0 cb, si c>0
B = Ae y Arg A =
cb, si c < 0.
X = sgn(c)k ec cos [c (q b)] eca
(
(4.8)
Y = sgn(c)k ec sen [c (q b)].
Se calcula
f 0 (z) = k|c|ec eic(qb)
y se deduce que la funcin caracterstica es
m(z) = (k|c|)1 ec ,
e
Y = tg [c (q b)] X + sgn(c)keca ,
q = b |c|1 y q = b + |c|1
son las orillas inferior y superior, respectivamente, del segmento del eje X
limitado por los puntos
Y
z = + iq
q = b + c1
c (q b)
X
q=b
=
q = b c1
=a X = keca
Y Y
q = b + |c|1
X X
= =
q = b |c|1
X = keca X = keca
|Re z| , q0 Im z q1 ,
z = + iq q1
q = b + c1
q1
q0
1
0 X
q0
q = b c1
=
La forma del sector de corona circular determinado por las imgenes de los
paralelos q0 y q1 c.
depende de estos ngulos, es decir, de b y
Supongamos que nosotros jamos dos ngulos 0 y 1 en [ ,], con 0 <
1 . Podemos plantear (4.11) como un sistema de ecuaciones con incgnitas b
y c. Al resolverlo obtenemos:
1 q0 0 q1 1 0
b= y c= . (4.12)
1 0 q1 q 0
f (z) = e0.88(z1.15i) 1.
Proyecciones unipolares
Az + B
f (z) = , C 6= 0, AD BC 6= 0. (5.1)
Cz + D
AC 1 z + BC 1
f (z) = .
z + DC 1
Introducimos los nmeros
Las curvaturas de las imgenes de los meridianos y los paralelos son, respec-
tivamente,
1 = m = 2k 1 ( a) y 2 = mq = 2k 1 (q b). (5.2)
2. La imagen de = a, con
a = Re DC 1 R,
Y Y0 X0
q=b
z0 = DC 1 f ( + ib)
O0 f () = AC 1
=a
O X
f (a + iq)
z = DC 1 7
z= 7 AC 1
5.1. Ecuaciones cannicas 101
Por tanto la imagen de una recta es una recta o una circunferencia (propiedad
1
de las transformaciones racionales lineales) que pasa por AC . La diferencia
1
reside en que la recta contenga o no a z = DC .
De esta proposicin se deduce que, en las proyecciones unipolares, los
paralelos q 6= b y los meridianos 6= a se transforman en circunferencias que
pasan por el centro de la proyeccin.
eje real X 0:
imagen del paralelo principal, q = b,
0
eje imaginario Y : eje de la proyeccin, imagen de = a,
0 1
origen O : centro de la proyeccin, f () = AC .
0 C 2 (AD BC)
= Arg f ( + ib) = Arg
( a)2
es el ngulo que forma la imagen del paralelo principal con el eje X . Se deduce
que
C 2 (AD BC) = kei .
Por tanto la traslacin y el giro proporcionan la funcin
i 1
i C 2 (BC AD) k
e f (z) AC =e = .
z z0 z0 z
Las componentes real e imaginaria de esta funcin son las coordenadas de la
0
imagen de ( , q) en la referencia R , que se convierte en la nica y principal.
Esto permite enunciar el siguiente resultado.
2C 2C 2
T (z) AC 1 .
P (T ) = =
Cz + D AD BC
k
X + iY = (1 + i2 ).
2m
Por tanto las ecuaciones cannicas son:
a
X = k ( a)2 + (q b)2
(5.6)
qb
Y =k .
( a)2 + (q b)2
Observacin. El distinto factor constante que tienen las ecuaciones (5.6) y (3.21) se
debe a la eleccin de la unidad como factor constante de la funcin m en la Seccin 3.3,
mientras que en el presente captulo la forma cannica conduce al factor constante k1
en (5.5).
La escala innitesimal es
k
r = ,
( a) + (q b)2
2
5.2. Meridianos, paralelos y loxodromas. Mapas 103
( a)2 (q b)2 2 ( a) (q b)
cos = y sen = . (5.7)
( a)2 + (q b)2 ( a)2 + (q b)2
1
Finalmente, la funcin inversa de la forma cannica w = k (z0 z)
1
es z = kw + z0 . Entonces la longitud y la latitud, en funcin de las
coordenadas cartesianas de un punto del mapa, son:
X Y
= k +a y q=k + b. (5.8)
X2 + Y 2 X2 + Y 2
A X 2 + Y 2 + BX + CY = 0,
(5.10)
como muestra la gura 5.2. Los casos = 0 y = /2 indican que las rectas
q=b y =a se transforman en los ejes X e Y , respectivamente, como ya
sabamos.
En el caso A 6= 0, se deduce del prrafo anterior que la recta (5.9) no
contiene a z0 . Su imagen es la circunferencia (5.10). Si llamamos (X0 , Y0 ) a
su centro y R a su radio, su ecuacin se expresa as:
q
(X0 , Y0 )
z0 = a + ib
X
q=b
=a
Meridianos y paralelos
Si se considera = /2 en (5.12) y en (5.13), se obtiene la ecuacin del
meridiano 6= a:
2 2
k 2 k
X+ +Y = . (5.15)
2 ( a) 2 ( a)
2 2
2 k k
X + Y = . (5.16)
2 (q b) 2 (q b)
Obsrvese que los radios de los meridianos y los paralelos son, respectiva-
1 1
mente, |1 | y |2 | en (5.2).
Segn (5.15), los meridianos 6= a se transforman en la familia de cir-
cunferencias tangentes en el origen al eje de la proyeccin (eje Y ). Este eje
corresponde al meridiano principal si |a| , como muestra la gura 5.3.
La orientacin de los meridianos, mostrada en dicha gura, se deduce de que
( , b) = 0, para todo , en virtud de (5.7).
Los paralelos q 6= b se transforman, segn (5.16), en la familia de arcos de
circunferencias tangentes en el origen al eje X , imagen del paralelo principal
q = b. Los extremos de los arcos descansan en las imgenes de los meridianos
= , como muestra la gura 5.4. La regin q > b corresponde al semiplano
superior Y > 0, y q < b al inferior.
Mapas
A la luz del examen realizado sobre los meridianos y los paralelos, hemos
otorgado valores oportunos a las constantes fundamentales a, b y k para
construir tres mapas de las proyecciones unipolares. Las guras 5.5, 5.6 y 5.7
1
muestran dichos mapas, asociados con la forma cannica f (z) = k (z0 z) .
106 5. Proyecciones unipolares
Y = Y
=
X X
= =
=
a < Y a =
=a
>a
<a
X
|a| <
=
=
a= =a
a>
Y Y
= =
X X
= =
Loxodromas
Hemos demostrado anteriormente vase la gura 5.2 que la imagen
de una loxodroma que forma un ngulo con los paralelos es:
q>b
q=b q=b
X
=
=
q<b
2
K= (q b) cos ( a) sen .
k
108 5. Proyecciones unipolares
1
X0 = 2 (q0 0 + a) , Y0 = X0 y R= 2 |X0 |,
Az + B
T (z) = , AD BC = 1, (5.17)
Cz + D
con la matriz
A B
T = , det T = 1. (5.18)
C D
Esta matriz est determinada excepto multiplicacin por I . Cualquier trans-
formacin racional lineal (az + b)/(cz + d), con ad bc 6= 0, se expresa en la
1/2
forma (5.17) si se multiplica los cuatro coecientes por (ad bc) .
A = f 03/2 (2f 02 f f 00 ) /2
B = f 03/2 2f f 0 z (2f 02 f f 00 ) /2
(5.21)
C = f 03/2 f 00 /2
D = f 03/2 (2f 0 + zf 00 ) /2.
6C 2
3 f 002
T 000 = = .
(Cz + D)4 2 f0
Se concluye que
2
f 000 T 000 f 000 3 f 00
= 0 .
f0 f 2 f0
El segundo miembro es, en virtud de (2.33), la schwarziana de f.
En la Seccin 4.1 expusimos un resultado anlogo a la Proposicin 5.3 con
transformaciones lineales. En ese caso la pre-schwarziana mide la desviacin.
Las condiciones segunda y tercera en (5.20) sealan que la funcin carac-
terstica y la pre-schwarziana de T coinciden con las respectivas de f, en el
punto z donde T aproxima f:
mT = mf y P (T ) = P (f ).
Como se tiene la identidad (2.23): mP (f ) = 1 + i2 en proyecciones con-
formes, entonces el vector de curvaturas 1 + i2 de la proyeccin unipolar
asociada con T coincide, en z, con el de la proyeccin asociada con f .
En la Seccin 5.1 establecimos que una proyeccin unipolar asociada con
(Az + B)/(Cz + D) tiene un paralelo principal y un eje determinados, res-
1
pectivamente, por q = b y = a, donde a + ib = DC . Sus imgenes son
1
sendas rectas perpendiculares que se cortan en el punto AC , centro de la
proyeccin. En el caso de (5.19) se tiene que
z
f (z) = Log tg + .
4 2
Adems, f 0 (z) = 1/ cos z y f 00 (z) = sen z/ cos2 z . Obsrvese que f 0 (z) 6= 0
para todo z [ , ) R. Vamos a obtener las respectivas proyecciones
unipolares que aproximen la transversa de Mercator en los puntos z = iq0
y z = /2 + iq0 , donde q0 = log tg (3/8) corresponde con 0 = /4. En
el primero la schwarziana no se anula pero en el segundo s lo hace. (En
la Seccin 4.1 obtuvimos la proyeccin cilndrica conforme que aproxima la
transversa de Mercator en z = 0.)
1. Aproximacin en z = iq0 . Se tiene que
f (iq) = i, f 0 (iq) = cos y f 00 (iq) = i cos sen . (5.23)
f = i/4, f0 = 2/2 y f 00 = i/2.
Por tanto la transformacin racional lineal que aproxima f en iq0 es, en virtud
de (5.19):
" #
1 + /8 i 2/4 (1 + /8) q0
T = 21/4 . (5.25)
i/2 2 q0 /2
AC 1 = i (2 + /4) , a=0 y b = q0 2 2.
1 + i2 = mP (f ) = i tg ,
1 2
S(f ) = 1 + tg z. (5.27)
2
En virtud de (5.26) se tiene que
1
S(f )(iq) = 1 sen2 .
2
114 5. Proyecciones unipolares
y tambin (5.24). Es decir, f (/2 + iq) = log cotgh (q/2) + i/2, si q > 0. La
identidad
x 1 + tg (x/2)
tg + =
4 2 1 tg (x/2)
junto con exp q = tg (/4 + /2) permiten establecer la siguiente relacin en
la esfera:
q eq 1
tgh = q = tg .
2 e +1 2
Entonces
El denominador se anula solo en los puntos ( , q) = (/2 , 0), que estn excluidos del
dominio de denicin, porque
f (/2) = Log tg (/2) y f (/2) = Log tg 0,
y la funcin Log z est denida en cada nmero complejo distinto de cero y del inni-
to [Markushevich, 1970, Captulo 2, 5.4]. La primera ecuacin en (5.32) se satisface si
y solo si {0 , /2 , }. Si {0 , }, entonces la segunda ecuacin se convierte
en tgh q = 2 que no tiene solucin
pues tgh q = sen . En el caso = /2, la segunda
ecuacin equivale a sen = 2/2 cuyas soluciones son = /4. En el caso restante,
= /2, se obtiene lo mismo.
116 5. Proyecciones unipolares
Proyecciones de
Lagrange-Lambert
Aeicz + B Aecz + B
f (z) = y f (z) = ,
Ceicz + D Cecz + D
donde c > 0, CD 6= 0 y AD BC 6= 0 en ambos casos. Vase la Seccin 3.5.
Aeicz + B
L(z) = , CD 6= 0, AD BC 6= 0. (6.1)
Ceicz + D
Al hallar los lmites de L(z) cuando q tiende a + y , obtenemos que
los polos son:
wn = B/D y ws = A/C,
118 6. Proyecciones de Lagrange-Lambert
1 AD BC D
k= (wn ws ) = y = , (6.2)
2 2CD C
entonces (6.1) se expresa as:
1
L(z) = 2k + ws . (6.3)
eicz +
La funcin exp(icz) : [c1 , c1 )R C\{0} es biyectiva consltese
1
la Seccin 1.4, luego existe un nico z0 = a + ib [c , c1 ) R tal
que exp(icz0 ) = , es decir,
1
L(z) = 2k + ws . (6.5)
eic(zz0 ) +1
La funcin inversa de w = L(z) se obtiene al despejar en (6.5):
wn w
eic(zz0 ) = , (6.6)
w ws
que tiene sentido para todo w ws y wn , porque la funcin
distinto de
eic(zz0 ) : a c1 , a + c1 R C \ {0}
i wn w
z = L1 (w) = z0 Log .
c w ws
Llamamos
1 AD + BC
w0 = L(z0 ) = (wn + ws ) = . (6.7)
2 2CD
Observamos que la imagen de z0 es el punto medio del segmento que une
los polos ws y wn . Denominamos centro de la transformacin al punto z0 .
Establecemos dos conclusiones vase la gura 6.1.
1 1
w = ws + ec(qb) + 1 0 < ec(qb) + 1
(wn ws ), con < 1.
6.1. Constantes fundamentales de las transformaciones bipolares de Lagrange 119
wn w
eic(a) = ,
w ws
en virtud de (6.6). Se deduce que |w ws | = |w wn |. Por esta razn
llamamos paralelo principal a q = b.
Y eje de L(z)
q=b wn
L( + ib)
z0 = a + ib
w0 = L(z0 )
=a L(a + iq)
ws X
1
L(z) = 2k + ws , (6.8)
eic(zz0 ) +1
Nota histrica. Segn expusimos en la Seccin 3.4, Lagrange [1779, 10] resuelve la
ecuacin
g 00 1
= k, con g = 0 ,
g f
y obtiene la funcin confrntese con (6.8):
1
f (z) = + G,
2M M e2z k
k +N
donde G, M y N son constantes complejas arbitrarias, 2 k corresponde al exponente c y
la variable z representa nuestra iz .
Ejemplo. Consideremos la transformacin bipolar de Lagrange
eicz + i
L(z) =
ieicz + 1
de exponente c > 0 arbitrario. Se cumple que CD = i y AD BC = 2,
valores no nulos. En virtud de (6.9), sus polos son wn = +i y ws = i, y su
1
centro z0 = a + ib [c , c1 ) R es tal que exp(icz0 ) = i, es decir,
z0 = /(2c). Segn (6.2) y (6.7) se tiene que k = i y w0 = L(z0 ) = 0.
La imagen de = /(2c) es el segmento que une los polos. Este segmento
pertenece al eje de L(z) vase la gura 6.1 que en este caso coincide con
el eje Y . El paralelo principal es el ecuador pues b = 0, y su imagen en este
caso coincide con el eje X . El Teorema 6.1 establece que
1
L(z) = 2i i.
eic[z+/(2c)] +1
Esta funcin est asociada con la proyeccin de Lagrange-Lambert de expo-
nente c, polos {i , +i} y centro /(2c).
1
m(z) = cos [c ( a)] + cosh [c (q b)] . (6.10)
|k|c
eic(zz0 ) 1
L(z) = k + w0 .
eic(zz0 ) + 1
Segn (1.35), se tiene que
e2iz 1
tg z = i .
e2iz + 1
Por tanto
hc i
L(z) = ik tg (z z0 ) + w0 . (6.13)
2
Esta expresin era ya conocida por Bonnet [1852, 33] en el caso Arg k = 0,
z0 = ib y w0 = 0; es una de sus contribuciones a la teora de las proyecciones
de Lagrange. La frmula (6.13) no prevalece sobre (6.8), las circunstancias
determinarn la ms conveniente.
La funcin tangente entra de este modo a formar parte de las transfor-
maciones conformes cartogrcas, junto con la funcin exponencial vase
la Seccin 1.4, las transformaciones racionales lineales Seccin 1.5 y,
en esta Tesis, la funcin logaritmo, asociada con la transversa de Mercator
Seccin 2.4.
hc i hc i
P tg (z z0 ) = [P (f ) g] g 0 + P (g) = c tg (z z0 ) .
2 2
La ltima igualdad se debe a que P (g) = 0 y P (tg z) = 2 tg z .
6.2. Funcin tangente. Forma cannica 123
hc i eic(zz0 ) 1
L(z) = k tg (z z0 ) = ki ic(zz0 ) , (6.15)
2 e +1
= Arg k /2.
eje Y eje X
wn
w0 = L(z0 )
ws
Aeicz + B
f (z) = , CD 6= 0, AD BC 6= 0.
Ceicz + D
En virtud de (6.2) y (6.4), las constantes
1 |AD BC|
z0 = c1 Arg + i log||1 ,
k= y (6.16)
2 |CD|
hc i
L(z) = k tg (z z0 ) , k > 0,
2
resuelven el problema de valor inicial:
(
S(f ) = c2 /2
(6.17)
f (z0 ) = 0, Arg f 0 (z0 ) = 0 y f 00 (z0 ) = 0,
1
S(L) = [P (L)]0 [P (L)]2 .
2
6.2. Funcin tangente. Forma cannica 125
Aeicz + B
f (z) = , AD BC 6= 0.
Ceicz + D
Al imponer el resto de condiciones del problema (6.17), las soluciones
deben cumplir que CD 6= 0, B = A exp(icz0 ), D/C = exp(icz0 ) y
Arg(A/C) = /2.
cz
L(z) = tg + ,
4 2
que es la forma cannica de f (z).
Proyeccin estereogrca. En la Seccin 1.5 demostramos que la trans-
formacin conforme (1.31):
k = 2R cosh q0 , a = 0 , b = q0 y c = 1.
126 6. Proyecciones de Lagrange-Lambert
z sen u senh v
tg = +i . (6.18)
2 cos u + cosh v cos u + cosh v
A partir de ella obtenemos las ecuaciones de la proyecciones de Lagrange-
Lambert asociadas con la forma cannica (6.15), L(z) = X + iY :
sen [c ( a)]
X = k cos [c ( a)] + cosh [c (q b)]
(6.19)
senh [c (q b)]
Y =k .
cos [c ( a)] + cosh [c (q b)]
1 1
m= 1 + cos [c (z z0 )] = cos [c ( a)] + cosh [c (q b)] . (6.20)
kc kc
La ltima igualdad se debe a que |1 + cos (u + iv)| = cos u + cosh v . La
identidad mr = 1 proporciona la escala innitesimal:
kc
r = .
cos [c ( a)] + cosh [c (q b)]
Por ltimo, la convergencia de meridianos se deduce a partir de la frmu-
0
la (2.52): cos + i sen = mL ; en este caso:
Observacin. El distinto factor constante que tienen las ecuaciones (6.19) y (3.22)
se debe a la eleccin de la unidad como factor constante de la funcin m en la Seccin 3.3,
mientras que en el presente captulo la forma cannica, que satisface las condiciones (6.17),
conduce al factor constante (kc)1 en (6.20).
6.2. Funcin tangente. Forma cannica 127
tg (z + ) = tg z.
< Re z (6.23)
2 2
como banda principal. Inyectividad: la funcin tangente posee el mismo valor
en dos puntos distintos si y solo si uno de estos puntos puede obtenerse a
partir del otro mediante una aplicacin nica o repetida de la traslacin ().
Biyectividad: en la banda principal (6.23), la funcin tangente toma cada
valor complejo, distinto de i, precisamente una vez; por otra parte, no toma
ninguno de los valores i. Esto implica que la derivada no se anula en ningn
punto, pues d (tg z) /dz = 1 + tg2 z . Se concluye que
z tg z
+i
i 2h
u0 u0 + h
hc i hc i hc i
tg (z z0 ) = tg (z z0 ) + = tg z + 2c1 z0 .
2 2 2
Establecemos la banda ac1 < Re z a+c1 como banda principal
de L(z). Se tiene que
Ia,c = a c1 , a + c1 .
1 1
<c<
1 a/ |1 + a/|
o bien
1 + c1 < a < mn 1 c1 , c1 1 0.
6.3. Meridianos y paralelos 129
3.o
I = { : a c1 < }. Aqu se deben cumplir las condiciones:
< a c1 < y < a + c1 , es decir,
1 1
<c<
1 + a/ |1 a/|
o bien
4.o Ia,c [ , )
3.o a c1 <
2.o a + c1
1.o [ , ) Ia,c
Coordenadas distancia
Debido a su utilidad en el Captulo 7 y en el presente, introducimos las
coordenadas distancia ( , ) en el plano w = L(z):
= |ki L(z)|, = |ki + L(z)|. (6.24)
ki L(z)
= eic(zz0 ) = ec(qb) eic(a) ,
ki + L(z)
luego
ki L(z)
Arg = c ( a). (6.25)
ki + L(z)
y
= ec(qb) . (6.26)
c ( a),
ngulo marcado en la gura 6.5. Adems, el Teorema del coseno, apli-
cado al tringulo cuyos vrtices son w = L(z), ws y wn , relaciona con
las coordenadas distancia:
Y
wn
k w = L(z)
c( a)
X
ws
1
m= cos [c ( a)] + cosh [c (q b)] .
kc
1 4k 2 2 2 1
m= + + ,
kc 2 2
Meridianos
En la seccin anterior demostramos que una proyeccin de Lagrange-
Lambert es biyectiva en el intervalo (en longitud terrestre)
[ , ) a c1 , a + c1 .
wn
ws
= lm ( , q).
q+
Y
wn = ki
= c ( a)
X
ws = ki
2 2
X + k cotg [c ( a)] + Y 2 = k cosec [c ( a)] .
1 = m = k 1 sen [c ( a)].
= a c1 = a + c1
wn = ki
c (0 a)
0 c1 =a
2c 0 =a+
2c X
k k
=a
ws = ki
= a c1 = a + c1
Paralelos
El nico paralelo rectilneo es q = b. Su imagen est contenida en la
mediatriz del segmento limitado por ws y wn , que coincide con el eje X en
la forma cannica. El conjunto de paralelos restantes se transforma en el haz
de circunferencias de Apolonio ( pencil of circles about ws y wn [Knopp, 1952,
20]) ilustrado en la gura 6.9.
wn
ws
Observacin. Lo que sigue puede consultarse, por ejemplo, en [Ogilvy, 1990, Cap-
tulo 2]. El matemtico griego Apolonio de Perga descubri que una circunferencia puede
denirse de una forma diferente de la habitual (todos los puntos equidistantes respecto a
un punto jo). Una circunferencia de Apolonio es el lugar geomtrico de los puntos P tales
que la razn de distancias respecto a dos puntos jos A y B es constante: AP/BP = k,
con k > 0. Es una circunferencia gura 6.10 centrada en la recta AB , excepto si k = 1
en cuyo caso es la mediatriz del segmento AB . Los puntos de interseccin, C y D, de la
circunferencia y la recta AB verican: CA/CB = DA/DB = k, y se dice que C y D
dividen armnicamente el segmento AB .
Proposicin 6.5. Sea L(z) = k tg [c (z z0 ) /2] una transformacin bipolar
de Lagrange. Todo paralelo de latitud q 6= b se transforma en una circunfe-
rencia de Apolonio respecto a los puntos ws = ki y wn = +ki.
En virtud de (6.26) se tiene que
|L(z) wn |
= ec(qb) . (6.29)
|L(z) ws |
Por tanto cualquier paralelo de latitud q 6= b se transforma en el lugar geo-
mtrico de los puntos tales que la razn de distancias respecto a los puntos
ws y wn es constante. Queda as demostrada la Proposicin 6.5.
136 6. Proyecciones de Lagrange-Lambert
A C B D
2 2
X 2 + Y k cotgh [c (q b)] = k cosech [c (q b)] . (6.31)
2 = mq = k 1 senh [c (q b)].
Cada paralelo se transforma en una circunferencia de Apolonio situada enci-
ma o debajo del eje X, segn q sea mayor o menor que b, respectivamente.
La gura 6.11 resume el anlisis que hemos realizado de los paralelos.
6.3. Meridianos y paralelos 137
k/|senh [c (q b)]|
k cotgh [c (q b)]
q>b wn
q=b X
= =
q<b ws
Y
par. q
wn
P
X
ws
c(qb) 1 + sen
e = = tg + .
cos 4 2
cos sen l
X=k
1 + cos cos l
Y =k sen
.
1 + cos cos l
Estas ecuaciones fueron obtenidas por Tissot [1881, Complment, 111,
p. 270], con k = 1, en su estudio sobre las proyecciones que transforman
los meridianos y paralelos en circunferencias que se cortan en ngulo recto.
Tissot introduce las coordenadas (l , ) a las que denomina respectivamente
longitude modie d'un mridien [p. 269] y latitude modie d'un parallle
[p. 267]. Las ecuaciones se encuentran tambin en [Lehmann, 1939, p. 332,
frmulas (6d)], y en [Knig y Weise, 1951, p. 114, ecuacin (39), y p. 380]
donde a (l , ) se denomina pseudogeographischen Koordinaten.
6.4. Mapas
Debido a su utilidad para crear mapas, resolvemos el problema de en-
contrar la proyeccin de Lagrange-Lambert que transforme un huso terrestre
en la regin comprendida por dos arcos circulares arbitrarios. Para cerrar la
seccin exponemos seis mapas.
6.4. Mapas 139
z Y L(z)
wn = +ki
q=b 0
1
X
0 1
0 1 ws = ki
Y
wn
/4
/2
X
= =
ws
Y
wn
/2 /2
= =
ws
Y
= =
wn
= /2 = /2
X
ws
= =
g 00 1
= k, con g = 0.
g f
Omite el caso k = 0 (que proporciona las unipolares) y hace la siguiente
observacin [ 11]:
De aqu concluyo por tanto que basta considerar el caso en que k es una
cantidad positiva, y que despus no habr ms que intercambiar t por u para
tener el de k negativo.
Las variables t y u se corresponden con y q respectivamente. En la segunda
memoria Lagrange vuelve a esta cuestin [ 21]:
Aecz + B
f (z) = , CD 6= 0, AD BC 6= 0. (6.36)
Cecz + D
Vamos a demostrar que la funcin tangente hiperblica gobierna las pro-
yecciones apolares. Las funciones hiperblicas se denen por medio de las
frmulas vase por ejemplo [Knopp, 1952, 44]:
ez + ez ez ez senh z
cosh z = , senh z = y tgh z = .
2 2 cosh z
146 6. Proyecciones de Lagrange-Lambert
Se deduce, a partir de (1.34), que cosh z = cos (iz) y senh z = i sen (iz).
Esto y (1.35) permiten concluir que
e2z 1
tgh z = i tg (iz) = 2z . (6.37)
e +1
Proposicin 6.6. Sea f (z) la transformacin conforme asociada con una
proyeccin apolar de exponente c > 0. Entonces existe una transformacin
bipolar de Lagrange de exponente c, L(z), tal que f (z) = L(iz).
Demostracin. Sea f (z) la transformacin conforme (6.36). Se tiene que
Becz + A
f (z) = .
Decz + C
Entonces la transformacin bipolar de Lagrange de exponente c > 0:
Beicz + A
L(z) = , DC 6= 0, BC AD 6= 0,
Deicz + C
satisface que f (z) = L(iz).
Corolario 6.2. La funcin tangente hiperblica gobierna las proyecciones
apolares.
La funcin tangente gobierna L(z), como muestra la frmula (6.13). La
Proposicin 6.6 y la identidad tg (iz) = i tgh z , que se deduce de (6.37),
completan la demostracin del Corolario 6.2.
Forma cannica
La Proposicin 6.6 establece que f (,q) = L(q,). Esta relacin, basada
en permutar y q, es la que observan Lagrange y Bonnet, como hemos
sealado al principio. En ella y en el Corolario 6.2 nos fundamentamos para
denir la forma cannica de las proyecciones apolares de exponente c > 0:
hc i ec(zz0 ) 1
F (z) = k tgh (z z0 ) = k c(zz0 ) , (6.38)
2 e +1
F (a + iq) = ik tg [c (q b) /2]
Y
q=b
F (a + iq)
F ( + ib)
z0 = a + ib X
F (z0 )
=a
k+w
ec(zz0 ) = , (6.39)
kw
que tiene sentido para todo w distinto de +k y k , porque la funcin
ec(zz0 ) : R b c1 , b + c1 C \ {0}
1 k+w
z = F 1 (w) = z0 + Log .
c kw
Respecto al dominio de denicin de F (z), observamos que la funcin
tangente hiperblica es peridica de periodo i. En efecto, si tenemos en cuen-
ta (6.37) y que la funcin tangente es peridica de periodo Seccin 6.2,
entonces se cumple, para todo z:
b c1 < Im z b + c1 .
148 6. Proyecciones de Lagrange-Lambert
q = b + c1
q=b
q = b c1
1 c(zz0 )/2 2
|F 0 (z)|1 = e + ec(zz0 )/2 .
2kc
Al utilizar la identidad |z + w|2 = |z|2 + 2 Re(zw) + |w|2 y tener en cuenta
que
ec(zz0 ) = ec(a) eic(qb) ,
se deduce que
1 c(a)
m(z) = |F 0 (z)|1 = + ec(a) + 2 Re eic(qb) .
e
2kc
6.5. Proyecciones apolares 149
c hc i
P (F ) = F = c tgh (z z0 ) . (6.43)
k 2
c 2
F 0 (z) = k F 2 (z) ,
(6.44)
2k
luego
c
F 00 (z) = F (z)F 0 (z). (6.45)
k
2. Dados c>0 y z0 , las funciones
hc i
F (z) = k tgh (z z0 ) , k > 0,
2
resuelven el problema de valor inicial confrntese con (6.17):
(
S(f ) = c2 /2
(6.46)
f (z0 ) = 0, Arg f 0 (z0 ) = 0 y f 00 (z0 ) = 0.
1
S(F ) = [P (F )]0 [P (F )]2 = c2 /2.
2
Adems: F (z0 ) = 0, F 0 (z0 ) = kc/2 en virtud de (6.42), y F 00 (z0 ) = 0
segn (6.45).
150 6. Proyecciones de Lagrange-Lambert
z senh u sen v
tgh = +i ,
2 cos v + cosh u cos v + cosh u
donde z = u + iv . Por tanto las ecuaciones de la proyecciones apolares aso-
ciadas con la forma cannica (6.38), F (z) = X + iY , son:
senh [c ( a)]
X = k cos [c (q b)] + cosh [c ( a)]
(6.47)
sen [c (q b)]
Y =k .
cos [c (q b)] + cosh [c ( a)]
Observacin. El distinto factor constante que tienen las ecuaciones (6.47) y (3.23)
se debe a la eleccin de la unidad como factor constante de la funcin m en la Seccin 3.3,
mientras que en el presente captulo la forma cannica, que satisface las condiciones (6.46),
conduce al factor constante (kc)1 en (6.40).
La identidad mr = 1 y la frmula (6.40) proporcionan
kc
r = .
cos [c (q b)] + cosh [c ( a)]
1
mF 0 = cos [c (q b)] + cosh [c ( a)] k 2 X 2 + Y 2 i2XY ,
2k 2
Meridianos y paralelos
La Proposicin 6.6 establece una relacin entre las proyecciones apolares
y las proyecciones de Lagrange-Lambert, basada en permutar y q , que per-
mite concluir lo siguiente: las circunferencias que representan los meridianos
6.5. Proyecciones apolares 151
y los paralelos de las apolares coinciden con las que representan los paralelos
y los meridianos, respectivamente, de las de Lagrange-Lambert.
De lo anterior de deduce que los meridianos se transforman en circunfe-
rencias de Apolonio respecto a los puntos w1 = k y w2 = +k del plano
w = F (z), y los paralelos en circunferencias que pasan por w1 y w2 , como
muestra la gura 6.25.
w1 w2 w1 w2
|w w1 |
= ec(a) .
|w w2 |
Esta ecuacin y el Teorema 6.2 proporcionan el centro y el radio de cada
meridiano de longitud 6= a:
2 2
X k cotgh [c ( a)] + Y 2 = k cosech [c ( a)] .
Y
<a
=a >a
=
=
w1 w2 X
k cotgh[c ( a)]
k|cosech[c ( a)]|
Paralelos.
Sabemos que una proyeccin apolar est denida en el rec-
1
tngulo del plano z : || , |q b| c , mostrado en la gura 6.24.
1
Los nicos paralelos que se transforman en rectas son q = b, q = b + c y
1 1
q = b c , pues la curvatura es (6.41): 2 = k sen [c (q b)]. Como se
observa en la gura 6.27, el paralelo q=b se transforma en el segmento del
eje X:
k tgh [c ( a) /2] , k tgh [c ( a) /2] .
El paralelo q = b + c1 se transforma en la orilla superior de las dos semi-
rrectas del eje X :
, k cotgh [c ( a) /2] k cotgh [c ( a) /2] , + ,
senh x x senh x x
= tgh , = cotgh .
1 + cosh x 2 cosh x 1 2
Y
=
q = b + c1 q>b =
q = b + c1
w1 w2 X
q=b
q=b q = b c1
q = b c1 R
d2 = R2 k 2 = k 2 cotg2 [c (q b)].
Por tanto
2 2
X 2 + Y + k cotg [c (q b)] = k cosec [c (q b)]
Mapas
Tissot [1881, Complment, 121, gura 17] dibuja la red de meridianos y
paralelos de una proyeccin apolar de exponente c = 1. Brown [1935, p. 221,
gura 4'] presenta un mapa de las proyecciones apolares, consideradas como
solucin del Problema de Lagrange.
Los cuatro mapas que presentamos a continuacin guras 6.29 a 6.32
cierran nuestro anlisis de las proyecciones apolares y tambin el presente
captulo. En su construccin hemos considerado la transformacin conforme
F (z) = tgh [c (z z0 ) /2], z0 = a + ib, pues la constante k solo altera el
tamao del mapa. La red de meridianos y paralelos tiene 15 .
154 6. Proyecciones de Lagrange-Lambert
Y b < q < b + c1
q = q0
k|cosec[c (q0 a)]|
q = b + (2c)1
k cotg[c (q0 b)]
q=b X
w1 w2
q = q0 c1 q = b (2c)1
b c1 < q < b
Nota histrica. Lambert [1772, Captulo iv, 47-57] construye las proyecciones
cnicas conformes que llevan su nombre y despus impone, con otra notacin y lenguaje, la
condicin de que la escala innitesimal sea constante en una franja innitesimal alrededor
de un paralelo de latitud [ 51]. Esto equivale a
d
() = 0.
dq
g = r2 KG , (7.1)
1
KG = log r, (7.2)
r2
frmula obtenida por Gauss para una supercie cualquiera vase [Dom-
browski, 1979, p. 128, ecuacin (54)]. La expresin (7.1) establece una
relacin entre las segundas derivadas puras de g y muestra que esta funcin
es subarmnica, luego alcanza su valor mximo en la frontera del dominio de
denicin.
Sea x un punto de . Segn la frmula de Schols-Laborde (2.62), la cur-
vatura de la imagen de una geodsica del elipsoide mediante una proyeccin
conforme es
K(x , ) = m(x) hg(x) , n()i, (7.3)
g = 0 , 2/ 1 + e2q = (0 , sen 1) = 0
si y solo si = /2.
PG
N
A
PG(0 , 0 )
0 S
A(0 , 0 )
g = log m + (0 , sen ),
P (f ) = log m + i log m,
q
completa la demostracin.
Observacin. La identidad (2.23): mP (f ) = 1 + i2 , permite expresar la condi-
cin (7.6) del siguiente modo:
1 (x0 ) = 0 y 2 (x0 ) = m(x0 ) sen 0 .
Por tanto una condicin necesaria para que un punto sea geodsico es que la curvatura
de la imagen de su meridiano sea igual a cero . (Este resultado no sorprende si se tiene
en cuenta que un meridiano es una geodsica del elipsoide.) Por ejemplo, si la proyeccin
transversa de Mercator tiene puntos geodsicos, estos se encuentran necesariamente en los
cuatro meridianos {0 , /2 , }, pues 1 (x) = m1 cos sen segn (2.51).
Proyecciones de Lagrange rectilneas. Este conjunto de proyecciones,
estudiado en el Captulo 4, est caracterizado por la ecuacin P (f ) = a + ib,
con ab = 0. Lo componen tres familias de proyecciones:
7.1. Optimizacin local de proyecciones conformes 163
Cilndricas conformes: P (f ) = 0,
Cnicas y acimutales conformes: P (f ) = ic,
Pseudopolares: P (f ) = c,
1
Q(x) = g(x0 ) + (x x0 )T Hg(x0 ) (x x0 ), (7.8)
2!
donde x = ( , q)T , x0 = (0 , q0 )T y Hg(x0 ) es la hessiana o matriz de
las segundas derivadas de g en x0 . Si dicha matriz fuera nula, entonces el
comportamiento de g en un entorno de x0 sera semejante al del caso ideal:
g idnticamente constante. Por ejemplo, en la proyeccin estereogrca en
aspecto polar (esfera unidad) se tiene g = log [1 + exp(2q)], luego
" #
0 0
Hg(x) = .
0 cos2
" #
0 0
H(log (1/r)) = . (7.9)
0 r 2 KG
El segundo es " #
1 m mq
H(log m)(x0 ) = ,
m mq m
porque m (x0 ) = 1 (x0 ) = 0 y log m es una funcin armnica. Debido a su
utilidad expresamos los elementos de esta matriz en funcin de la schwarziana
en un punto geodsico x0 , que llamamos S0 = S(f )(z0 ). La condicin (7.5)
164 7. Puntos geodsicos de proyecciones conformes
1
mS(f ) = (mqq m ) + imq .
2
Al introducir (7.10) en esta ltima identidad, obtenemos:
1 1 1
m = sen2 0 Re S0 y mq = Im S0 .
m 2 m
En resumen, hemos demostrado el siguiente resultado.
1
H= cos2 0 I2
2
donde I2 es la matriz identidad de orden dos. La matriz H es nula solo en el
caso de la estereogrca en aspecto polar.
4. Proyeccin transversa de Mercator. Determinemos primero sus
puntos geodsicos. En esta proyeccin se tiene (2.53): P (f ) = tg z . Segn el
Teorema 7.1, x0 es un punto geodsico si y solo si
tg z0 = i sen 0 , (7.12)
es decir, si y solo si
1 2 1
S0 = S(f )(z0 ) = 1 + tg z0 = 1 sen2 0 ,
2 2
luego " #
cos2 0 0
H= . (7.15)
0 0
Observamos que H se anula en los dos polos terrestres. Por tanto la hes-
siana de la transversa de Mercator, en dichos puntos, coincide con la de la
estereogrca en aspecto polar vase el ejemplo anterior. Esto seala un
comportamiento semejante entre s de estas dos proyecciones en los polos; en
la gura 7.3 confrontamos sus mapas.
Los cuatro ejemplos que siguen son una continuacin de los ltimos rea-
lizados, donde obtuvimos la matriz H(x0 ) en la esfera unidad.
1 1
Q(x) = g(x0 ) + QH (x x0 ) = g(x0 ) + y T Ay,
2 2
1
1 X 2 + 2 Y 2 .
Q(x) = g(x0 ) +
2
X2 Y2
1
Q(x) = g(x0 ) + + 1 .
2 1
1 2
X2 Y2 2
1 + 1 = 2 , con 2 = g(x) g(x0 ) > 0,
1 2
n
1/2 1/2
o n
1/2 1/2
o
a= 2 max 1 , 2 y b= 2 mn 1 , 2 ,
x0
X Y
1 1
Q(x) = g(x0 ) + 1 X 2 o Q(x) = g(x0 ) + 2 Y 2 ,
2 2
que representa, en ambos casos, un cilindro parablico vase la gura 7.5.
Las ramas de las parbolas miran siempre hacia arriba porque el autovalor
no nulo debe ser positivo. Las rectas
1/2
X = 2/1 ,
paralelas a la direccin del autovector v2 , o las rectas
1/2
Y = 2/2 ,
paralelas a la direccin del autovector v1 , con = g(x) g(x0 ), son la apro-
ximacin de segundo orden de las curvas de nivel de g en x0 .
1
1 X 2 |2 |Y 2 .
Q(x) = g(x0 ) +
2
170 7. Puntos geodsicos de proyecciones conformes
x0
Y
X
X2 Y2
= 2, con = g(x) g(x0 ),
1
1 |2 |1
x0
X
Y
1. Proyeccin de Mercator.
Puntos geodsicos: el ecuador.
7.2. Existencia y determinacin en las proyecciones de Lagrange-Lambert 171
Parablicos. 1 = 0, 2 = 1.
Q( , q) = q 2 /2.
Q( , q) = sech2 q0 ( 0 )2 + (q q0 )2 /4.
Q( , q) = sech2 q0 2 /2, en 0 = 0.
En los polos terrestres: Q(x) = 0.
kc
r = . (7.18)
cos [c ( a)] + cosh [c (q b)]
Se tiene que
[ , ) a c1 , a + c1 .
La gura 6.4 ilustra los cuatro casos donde este intervalo es no vaco. La
pre-schwarziana de L(z) es (6.14):
hc i c
P (L) = c tg (z ) = L(z).
2 k
Esta identidad y el Teorema 7.1 demuestran el siguiente resultado.
sen [c (0 a)]
=0
cos [c (0 a)] + cosh [c (q0 b)]
y
senh [c (q0 b)]
= c1 sen 0 . (7.20)
cos [c (0 a)] + cosh [c (q0 b)]
La primera condicin se cumple si y solo si 0 = a (meridiano principal
1
cuando |a| ), 0 = a c o 0 = a + c1 . Sus imgenes estn
contenidas en el eje Y , segn muestra la gura 6.8.
En los casos 0 = a c1 , la ecuacin (7.20) se convierte en
hc i
cotgh (q0 b) = c1 sen 0 .
2
Una condicin necesaria para que tenga solucin es que c < |sen 0 |, porque
|tgh x| < 1 para todo x real. Se deduce que no existen puntos geodsicos si
c 1. Esta restriccin fuerte en el valor del exponente de la proyeccin nos
inclina a estudiar el caso 0 = a, pero la principal razn es que 0 = a es el
nico que se transforma ntegramente en un segmento rectilneo.
7.2. Existencia y determinacin en las proyecciones de Lagrange-Lambert 173
= |i L(z)|, = |i + L(z)|.
+ = 2, (7.24)
1 c1 t
q = b c1 log q = b + 2c1 arc tgh c1 t ,
o (7.26)
1 + c1 t
174 7. Puntos geodsicos de proyecciones conformes
+i
0
w = L(z)
L(a + iq0 )
c1 sen 0
en virtud de la identidad
1 1+x
arc tgh x = log , |x| < 1.
2 1x
Por otra parte, la latitud isomtrica satisface la identidad
La funcin (t) est denida en el intervalo |t| < 1 con asntotas verticales
1
en los extremos gura 7.8, luego (c t) est denida en |t| < c y (et)
1
en |t| < e , donde e < 1. Se concluye que el dominio de denicin de F es
(
(c , c), si c<1
D(F ) =
(1 , 1), si c 1.
7.2. Existencia y determinacin en las proyecciones de Lagrange-Lambert 175
3
1 0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 1
10 0.8
0.254
0 0
0.254
10 0.8
0.5 0 0.5 1 0.7501 0 0.7501 1
dq d 1 1
q 0 (t) = = = 2 . (7.30)
d dt r cos r K
as:
d c
(c1 t) = c1 0 (c1 t) = 2 .
dt c t2
176 7. Puntos geodsicos de proyecciones conformes
c2 c2L
F 0 (t) = , (7.31)
r2 K (c2 t2 )
2
2e02 1 t2 + 1 t2 + 1 c2 = 0.
(7.33)
7.2. Existencia y determinacin en las proyecciones de Lagrange-Lambert 177
" p #1/2
1 + 1 + 8e02 (c2 1)
tmin = 1 .
4e02
0 c2 2 (1 + e02 )
F (0) = <0 y lm F (t) = +,
c2 (1 + e02 ) t1
M (c) = F (tmin ) = 2c1 arc tgh c1 tmin arc tgh tmin + e arc tgh (etmin ).
donde
M (c) = 2c1 arc tgh c1 tmin arc tgh tmin + e arc tgh (etmin )
(7.35)
178 7. Puntos geodsicos de proyecciones conformes
y
" p #1/2
1 + 1 + 8e02 (c2 1)
tmin = 1 . (7.36)
4e02
Las coordenadas geogrcas de los puntos geodsicos son (a,) con solucin
de la ecuacin
arc tgh sen 2c1 arc tgh c1 sen e arc tgh (e sen ) = b.
Esfera.
En esta supercie,el nmero de puntos geodsicos es uno si c 1
o c 2. Cuando 1<c< 2, dicho nmero depende de b segn (7.34),
pero ahora
M (c) = 2c1 arc tgh c1 2 c2 arc tgh 2 c2 .
(7.37)
La gura 7.10 muestra la grca de F junto con los valores tmin = 0.9583 y
M (c) = 1.1494. Si b = 0.5, por ejemplo, entonces la proyeccin tiene tres
7.2. Existencia y determinacin en las proyecciones de Lagrange-Lambert 179
puntos geodsicos. Sus latitudes son cada una de las soluciones de la ecuacin
no lineal
1.1494
0.5
1.1494
0.9583 0 0.9583
Fig. 7.10. Grca de F (t) = (t) 2c1 (c1 t), con t = sen
y c = 1.04 en el intervalo |t| < 1. La ecuacin F (t) = 0.5 tiene
tres soluciones.
equivalente a la que obtiene Lagrange [1779, 38, penltima ecuacin]. La relacin entre
n y nuestra variable t = sen es t = c (1 n)/(1 + n).
180 7. Puntos geodsicos de proyecciones conformes
0.3494
0.6493
0.7946
6 4.2711 0.6014 3.2028 6
1.o Observa que si a = 0 (el meridiano principal coincide con el del punto
de partida) entonces:
Se deduce que los lugares situados en este meridiano son aquellos cuyo ta-
mao est menos alterado en longitud por la proyeccin. [ 35]
En efecto, un anlisis (omitimos los detalles) de la funcin vase (7.18)
g( , q) = log = log (kc) log r(q) log cos [c ( a)] + cosh [c (q b)] ,
q , establece que g alcanza el mnimo
a lo largo de cualquier paralelo de latitud
absoluto en = a para todo q . La gura 7.12 ilustra este resultado.
2.o A continuacin de la cita que hemos expuesto en el primer paso,
Lagrange dice (la cursiva es nuestra):
7.3. Optimizacin local de Lagrange 181
a /c a a + /c a + 2/c a + 3/c
a /c a a + /c a + 2/c a + 3/c
Por tanto queda buscar la latitud del lugar que al mismo tiempo est sujeto
a la menor alteracin en latitud. [ 35]
Es decir, exige que x0 sea un punto geodsico (punto crtico de la funcin
g = log ). Con este n, y restringido a la esfera unidad, expresa la escala
innitesimal en funcin de las coordenadas distancia ( , ) en un punto
cualquiera del Mapa [Lagrange, 1779, 36, ltima ecuacin]:
c
1+1/c 11/c eb + 11/c 1+1/c eb .
( , ) = (7.40)
4k
2k 1 1 1 b 1/c
e n + eb n1/c ,
m= y = cosh q =
c r 2
en virtud de (6.28) y (7.38) respectivamente, con n = / .
3.o Por ltimo Lagrange reduce a una el nmero de variables indepen-
dientes, designada con la letra . En efecto, en el meridiano principal se
tiene + = 2k vase la Seccin 6.3, luego se puede sustituir ( , ) por
( + , ) en (7.40):
c h i
() = ( + )1+1/c ( )11/c eb + ( + )11/c ( )1+1/c eb ,
4k
(7.41)
182 7. Puntos geodsicos de proyecciones conformes
n 1
= 2k y = 2k .
1+n 1+n
Adems,
eb = eq0 n1/c con eq0 = tg (/4 + 0 /2),
en virtud de (7.23). Entonces (7.41) es () = ( ; c , n) donde c y n son
incgnitas que se determinan con las condiciones:
d d2
(0 ; c , n) = 0 y (0 ; c , n) = 0.
d d 2
Estas conducen a las dos ltimas ecuaciones de [Lagrange, 1779, 38] respec-
tivamente; la primera de ellas es (7.39). Al resolverlas se obtiene (omitimos
los detalles):
p c sen 0
c= 1 + cos2 0 y n= , (7.42)
c + sen 0
a = 0 ,
1 2
Re S0 2 t0 Im S0
Hg(x0 ) = ,
1
Im S0 r02 K0 Re S0 t20
2
donde K0 es la curvatura de Gauss del elipsoide de revolucin en x0 . En las
proyecciones de Lagrange-Lambert, la schwarziana es S(f )(z) = c2 /2 para
todo z = + iq , luego la matriz anterior se convierte en
1 2
2
(c t0 ) 0
H= 2 . (7.45)
2 1 2 2
0 r0 K0 (c t0 )
2
La aproximacin cuadrtica de g en x0 ecuacin (7.8) depende de esta
matriz. Si la matriz fuera nula, el comportamiento de g en un entorno de
x0 sera semejante al del caso ideal: g idnticamente constante. El primer
elemento de la diagonal de H es positivo debido a (7.44). El segundo, que es
2 2
igual a g/q , se anula si y solo si
M (c) = 2c1 arc tgh c1 |t0 | arc tgh|t0 | + e arc tgh (e|t0 |).
y
bL () = q 2 c1 1
L arc tgh c L sen . (7.49)
Adems, la hessiana de g en x es
" #
r2 K 0
H= .
0 0
p
cL () = 1 + cos2 + 2 e02 cos4 , (7.50)
q q q
q(0 ) < 0 q(0 ) = 0 q(0 ) > 0
p
bL = arc tgh sen 2 c1 1
cL = 1 + cos2 , L arc tgh cL sen (7.51)
y a = . cL es el p
El valor de que obtiene Lagrange vase (7.42). En este
caso, se tiene que sen = 2 c2L , donde el signo positivo
se corresponde
con > 0 y el negativo con < 0. Si = 0 entonces cL = 2, bL = 0 y x es
el nico punto geodsico. Si 6= 0 la proyeccin tiene dos puntos geodsicos,
uno de los cuales es x. La hessiana de g = log en x es
" #
cos2 0
H= , (7.52)
0 0
Ejemplo
Para nalizar esta seccin ofrecemos el ejemplo que cierra las dos memo-
rias de Lagrange [1779, 42]:
Sea x0 = (0 , 0 ) con
9
1.419
9
1
90 0 90 90 0 90
g = log cL + log cosh q log cos [cL ( a)] + cosh [cL (q bL )] ,
" #
0.3702 0
H= .
0 0
7.3. Optimizacin local de Lagrange 187
0.653
0.6544
26.0417 31.0417 36.0417
0.0281
0.6544
1.0844
5 1.0811 5
0.61
0.62
0.62
0.625
0.63
0.64 0.63
0.65 0.635
0.66
0.64
0.67
0.645
0.68
11.0417
0.65
0.655
31.0417
0.66
0.665
51.0417
72.525
52.525 0.67
Longitud
32.525
Latitud
0.61 0.62
0.62
0.625
0.63
0.63
0.64
0.635
0.65
0.64
0.66
0.645
0.67
0.65
0.655
31.0417
0.66
0.665
52.525
Longitud
Latitud
" #
1 c2 t20 0
H= ,
2 0 c2L c2
q
cL (0 ) = 2 r02 K0 + t20 . (7.54)
1 2 1 2
c t20 cL c2 .
1 = g = y 2 = gqq = (7.55)
2 2
1 2
c2E = cL + t20 .
(7.56)
2
Si utilizamos (7.54) y (7.32), se expresa as:
gqq
r02 K0
r02 K0 /2
c
|t0 | cE cL
1 1
Q(x) = g0 + 1 ( 0 )2 + 2 (q q0 )2 ,
2 2
pues la base ortonormal {v1 , v2 } coincide con la base cannica. Analicemos
cada uno de los tres casos.
7.4. Clasicacin de los puntos geodsicos 191
1. Punto parablico
Si c = cL , el punto geodsico x0 es parablico. En virtud de (7.54) y (7.55)
se tiene que 1 = r02 K0 , luego la aproximacin cuadrtica de g en x0 es
1 2
Q(x) = g0 + r0 K0 ( 0 )2 ,
2
que representa un cilindro parablico vase la gura 7.19. En la esfera
se tiene
1
Q(x) = g0 + cos2 0 ( 0 )2 .
2
Si llamamos = g(x) g0 , entonces las dos rectas
1/2
2
| 0 | = 2
, (7.58)
r0 K0
q q0
x0 0
x0 q q0
0
c3 senh [c (q b)]
gqqq (a , q) = 2 r2 K sen 1 + 2e02 cos2 +
.
(1 + cosh [c (q b)])2
Si aadimos las condiciones gq (x0 ) = 0 y gqq (x0 ) = 0 (punto geodsico para-
blico), la frmula anterior se reduce:
2. Punto hiperblico
Si c > cL , el punto geodsico x0 es hiperblico. Como det H < 0, entonces
x0 es un punto silla de g [Marsden y Tromba, 1991, 4.2, Teorema 5 y
comentarios]. La aproximacin cuadrtica de g en x0 es
1 2 1 2
c t20 ( 0 )2 c c2L (q q0 )2 ,
Q(x) = g0 +
4 4
que representa un paraboloide hiperblico o silla de montar vase la gu-
ra 7.20. Las hiprbolas
c2 t20 ( 0 )2 c2 c2L (q q0 )2 = 4,
3. Punto elptico
c < cL , el punto geodsico x0 es elptico. En este caso, det H > 0
Si
luego x0 es un mnimo de g [Marsden y Tromba, 1991, 4.2, Teorema 5]. La
aproximacin cuadrtica de g en x0 es
1 2 1 2
c t20 ( 0 )2 + cL c2 (q q0 )2 ,
Q(x) = g0 +
4 4
que representa un paraboloide elptico vase la gura 7.22.
Las elipses centradas en x0 :
c2 t20 ( 0 )2 + c2L c2 (q q0 )2 = 4,
(7.59)
7.4. Clasicacin de los puntos geodsicos 193
0 x0
q q0
q q0 q q0 q q0
x0 0 x0 0 x0 0
>0 =0 <0
2 1/2 2 1/2
aEW = 1/2
y aN S = 1/2
,
(c2 t20 ) (c2L c2 )
a2EW c2L c2
n2 = = , (7.60)
a2N S c2 t20
es decir, n2 = gqq /g .
Las curvas de nivel son circunferencias si y solo si
n = 1, condicin que implicac = cE , donde c2E = 1 + e02 cos4 0 segn (7.57);
este caso, en la esfera, se corresponde con la proyeccin estereogrca. La
gura 7.23 ilustra nuestro anlisis.
194 7. Puntos geodsicos de proyecciones conformes
x0 q q0
0
n(c)
c
|sen 0 | cE cL
aN S
x0 aEW x0 x0
c < cE c = cE c > cE
1 n2
c2 = 1 + cos2 0 . (7.61)
1 + n2
7.4. Clasicacin de los puntos geodsicos 195
cos2 0 + c2 1 2 cos2 0 c2 + 1 2
x + y = constante, (7.62)
cos2 0 cos2 0
donde (x , y) son las coordenadas cartesianas de las imgenes de puntos
prximos a x0 mediante la proyeccin estereogrca centrada en x0 . La ecua-
2
cin (7.62) coincide con (7.59) excepto el factor sec 0 , debido a que nosotros
utilizamos la parametrizacin ( , q), es decir, la proyeccin de Mercator. En
efecto, la escala innitesimal de esta proyeccin es = dS/ds = sec , donde
dS y ds son los respectivos elementos de arco del plano y la esfera. Entonces
la elipse (7.59) se corresponde, en la esfera, con la elipse semejante cuyos
semiejes miden
2 1/2 2 1/2
1/2
cos 0 y
1/2
cos 0 .
(c2 t20 ) (c2L c2 )
Si aplicamos a esta elipse la proyeccin estereogrca centrada en x0 , cuya
escala innitesimal es igual a 1 en este punto, obtenemos la elipse de Chebys-
hev (7.62).
c2 sen2 0 2 + c2L c2 q 2 = 4,
(7.63)
4
(1 + ) 2 + (1 ) q 2 = . (7.65)
r02 K0
Sntesis
En una proyeccin de Lagrange-Lambert (del elipsoide de revolucin) de
exponente c y centro a + ib, los puntos geodsicos en el meridiano principal
tienen coordenadas geogrcas (a , ), donde la latitud es solucin de la
ecuacin
arc tgh sen 2c1 arc tgh c1 sen e arc tgh (e sen ) = b.
M (c) = 2c1 arc tgh c1 tmin arc tgh tmin + e arc tgh (etmin )
y
" p #1/2
1 + 1 + 8e02 (c2 1)
tmin (c) = 1 .
4e02
7.4. Clasicacin de los puntos geodsicos 197
En la esfera se tiene tmin (c) = 2 c2 . Por otra parte, tmin (cL ) = |sen | y
M (cL ) = |b(cL )|. La gura 7.24 ilustra el resumen precedente; obsrvese que
las grcas de M (c) y b(c) son tangentes en c = cL . En efecto, se comprueba
que
0 1 |sen | 2 |sen |
M (cL ) = + arc tgh ,
cL r 2 K cL cL
valor que coincide con b0 (cL ) si <0 y con b0 (cL ) si > 0. Por ltimo,
establecemos dos teoremas que amplan el Teorema 7.4.
1. Elptico si c 1.
M (c) = 2c1 arc tgh c1 tmin arc tgh tmin + e arc tgh (etmin )
(7.67)
gqq
r2 K
r2 K/2
c
|sen | cE cL
M
|b|
c
1
p
cL 2(1 + e02 )
q
cL (t) = 2 t2 + 2 e02 (1 t2 )2 ,
el valor (7.66) que determina, comparado con c, la categora del punto geo-
dsico. La funcin cL (t) es par y adems es estrictamente decreciente en
0 < t < 1, porque
p
Por otra parte, dado 1 < c < 2(1 + e02 ), se tiene que c = cL (sen ) en
virtud de (7.68), luego c = cL (tmin ). Se concluye que
|t| > tmin cL (t) < c hiperblico,
|t| = tmin cL (t) = c parablico,
|t| < t
min cL (t) > c elptico.
funcin que fue analizada en la Seccin 7.2. La gura 7.25 muestra su grca
y resume las siguientes conclusiones.
3. Si |b| < M (c) hay tres soluciones: una con |t| < tmin , punto geodsico
elptico, y dos con |t| > tmin , puntos geodsicos hiperblicos.
hiperblico
parablico
elptico
e arc tgh (et) en el intervalo |t| < 1, cuando 1 < c < 2(1 + e02 ).
Ejemplos
Presentamos dos ejemplos donde utilizamos los Teoremas 7.6 y 7.7. Lo
0
hacemos para el elipsoide grs80: e = 0.081819191 y e = 0.082094438. Para
dibujar la funcin g = log hemos tenido en cuenta que en las proyecciones
de Lagrange-Lambert se tiene (suponemos k = 1)
g( , ) = log c log r log cos [c ( a)] + cosh [c (q b)] ,
donde
cos
r= y q = arc tgh sen e arc tgh (e sen ).
(1 e2 sen2 )1/2
7.4. Clasicacin de los puntos geodsicos 201
En r hemos omitido el factor semieje mayor del elipsoide pues solo es una
constante aditiva en g.
1. Sea x0 = (0 , /6) un punto del elipsoide de revolucin. Se tiene que
sen 0 = 1/2. Existen innitas proyecciones de Lagrange-Lambert que admi-
ten a x0 como punto geodsico en el meridiano principal:
1.252
1.254
1.256
1.258
1.26
1.262
1.264
1.266
1.268
1.27
40
10
30
0
20 10
Latitud
Longitud
1.256
38
36
1.258
34
32 1.26
Latitud
30
1.262
28
26 1.264
24
1.266
22
8 6 4 2 0 2 4 6 8
Longitud
0.245
0.25
0.255
0.26
0.265
0.27
40
10
30
0
20 10
Latitud
Longitud
38 0.25
36 0.252
34 0.254
32 0.256
Latitud
30 0.258
28
0.26
26
0.262
24
0.264
22
0.266
8 6 4 2 0 2 4 6 8
Longitud
0.8
0.254
0.1
0.254
0.8
1 0.7501 0 0.7501 1
0.2707
0.4594
0.5235
Optimizaciones intermedia y
global de las proyecciones de
Lagrange-Lambert
M () = g C 2 () : g = r2 K
en ,
206 8. Optimizaciones intermedia y global de las proyecciones de Lagrange-Lambert
Proyeccin estereogrca
Sea = D(x0 , ) el disco geodsico de centro x0 y radio (0 , ) en la
esfera unidad vase la gura 8.2. La escala innitesimal de la proyeccin
2
estereogrca centrada en x0 es = sec (/2) en virtud de (1.16), donde
0< es la distancia geodsica respecto a x0 . Entonces
0.84
0.82
0.8
0.78
0.76
0.74
0.72
0.7
0.68
-0.16 -0.14 -0.12 -0.1 -0.08 -0.06 -0.04 -0.02 0 0.02 0.04
N
g()
x0
0
S
donde
sen ( 0 )
X = 2R cosh q0 cos ( 0 ) + cosh (q + q0 )
(8.9)
senh (q + q0 )
Y = 2R cosh q0
cos ( 0 ) + cosh (q + q0 )
son las ecuaciones de la proyeccin en virtud de (6.19). En las proyecciones
de Lagrange-Lambert, la escala innitesimal en funcin de las coordenadas
distancia es [Lagrange, 1779, 36, segunda ecuacin]: = c/(2kr), que se
deduce de (6.28) y la identidad mr = 1. En nuestro caso se tiene: c = 1,
r = R sech q y, segn (6.26), exp q = 1 exp(q0 ). Entonces
1 q0 2 q0 2
= e + e .
8R2 cosh q0
Al sustituir (8.8) y simplicar, obtenemos
1 h 2 2
i
(X , Y ) = 1 + X + (Y 2R senh q0 ) . (8.10)
4R2
Esta ecuacin determina, para cada valor de , las curvas de nivel de la escala
innitesimal:
X 2 + (Y 2R senh q0 )2 = 4R2 ( 1),
que son circunferencias centradas en el punto (0,2R senh q0 ), que es la imagen
de (0 , q0 ), el centro de la estereogrca. En efecto, en virtud de (8.9), se
tiene X = 0, Y = 2R senh q0 en (0 ,q0 ). Obsrvese que = 1 en dicho punto,
segn (8.10).
Por ejemplo, si (0 , 0 ) = (0 , /4) es el centro de la estereogrca en la
esfera unidad, entonces la ecuacin de las curvas de nivel de es
X 2 + (Y 2)2 = 4 ( 1);
0.5
0.5
1.5
2
1
3.1416
0
0
1
3.1416
Latitud 2
Longitud
0.1
0.1
0.2
0.3
0.4
0.5
0.6
4
3
2
1
1.1781
0
1 0
2
3 1.1781
Latitud
Longitud
y adems |b| < M (c), donde M (c) est determinado por (7.67). Vase
la gura 8.4.
80
60
40
20
Latitud
0
20
40
60
80
150 100 50 0 50 100 150
Longitud
30
20
10
10
Latitud
20
30
40
50
60
70
60 40 20 0 20 40 60
Longitud
(1 + ) 2 + (1 ) q 2 = k, (8.12)
donde = 0 , q = q q0 y
4 4
k= = , (8.13)
r02 K0 cos2 0 (1 + e02 cos2 0 )
k k
aEW = y aN S = (8.14)
1+ 1
respectivamente. Por tanto
1 a2EW /a2N S
= . (8.15)
1 + a2EW /a2N S
<0 =0 >0
1/2
R= 2 a2 + b2 .
2
R= k luego R= p . (8.16)
cos 0 1 + e02 cos2 0
1.5
0.5
0.5
1.5
las diferentes elipses la longitud del dimetro medio, que est igualmente
inclinado hacia los dos ejes.
0.86
0.84
0.82
0.8
0.78
0.76
0.74
0.72
0.7
0.68
0.66
T : R2 R2
x 7 y = T (x) = (1 + )1/2 , (1 )1/2 q ,
0.1554
0.1127
1 0.3801 0 1
T 1 : R2 R2
y 7 x = T 1 (y) = (1 + opt )1/2 0 , (1 opt )1/2 q 0 ,
2 2
Ropt 2 02 2
Ropt
0 = cos 0 1 + e cos 0 = r02 K0 . (8.20)
4 4
Resolucin computacional
Utilizamos el software matlab para construir el cdigo minChebyshev
que mostramos ms abajo. Su ejecucin resuelve el problema de encontrar la
elipse ptima de Chebyshev que circunscribe a un pas. La entrada, varargin,
es el nombre del pas escrito con comillas simples. Estos nombres guran en la
base de datos worldhi (High-Resolution World Atlas Data; vase Mapping
Toolbox Reference Guide, versin 1.2, 2000, The MathWorks, Inc.). Dicha
base de datos proporciona las coordenadas geodsicas ( , ) de la frontera
del pas, y suponemos que estn referidas al elipsoide grs80, pues los datos
se ofrecen sin ninguna referencia.
Llamamos radiomin a la funcin R(), que denimos gracias al cdi-
go minboundcircle, escrito por John R. D'Errico (2007), que forma parte
de A suite of minimal bounding objects (suite of tools to compute minimal
bounding circles, rectangles, triangles, spheres, incircles, etc.) y se encuentra
en
http://www.mathworks.com/matlabcentral/leexchange/34767-a-suite-
of-minimal-bounding-objects/.
8.2. Problema de Chebyshev 221
http://www.mathworks.com/matlabcentral/leexchange/25580-ellipse/.
En las proyecciones de Lagrange-Lambert se tiene (suponemos k = 1) que
g( , ) = log c log r log cos [c ( a)] + cosh [c (q b)] ,
donde
cos
r= , q = arc tgh sen e arc tgh (e sen ). (8.21)
(1 e2 sen2 )1/2
En r hemos omitido el factor semieje mayor del elipsoide pues solo es una
constante aditiva en g.
Observacin. El cdigo minboundcircle utiliza convhulln, funcin interna de
matlab que calcula el polgono convexo ms pequeo que contiene a un conjunto nito
de puntos. Dicho polgono se denomina envolvente convexa (convex hull). Intuitivamen-
te imagnese una banda elstica estirada que rodea al conjunto; si se suelta adopta la
forma de la envolvente convexa. Su construccin y aplicaciones son objeto de la Geome-
tra computacional; consltese por ejemplo [Shamos, 1978, Captulo 3]. La circunferencia
ms pequea que circunscribe a un conjunto de puntos coincide con la ms pequea que
circunscribe a la envolvente convexa. Esta propiedad reduce el tiempo de clculo.
function [centroEiso,centroEgeo,alphaopt,aEW,aNS,a,b,c,distor,...
distorAprox] = minChebyshev(varargin)
%% Datos iniciales
global x y
p = almanac('earth','ellipsoid','meters'); % Elipsoide GRS80 por defecto
e = p(2); % Primera excentricidad
ep2 = e^2/(1-e^2); % Cuadrado de la segunda excentricidad
% Regin
Pais = worldhi(varargin);
k = floor(max(Pais.area));
Pais = worldhi(varargin,k); % Quitamos islas
222 8. Optimizaciones intermedia y global de las proyecciones de Lagrange-Lambert
%
latBorde = deg2rad(Pais.lat);
t = sin(latBorde);
qBorde = atanh(t)-e*atanh(e*t);
%
x = deg2rad(Pais.long);
y = qBorde;
%% El mnimo de los radios mnimos y el parmetro de forma respectivo
opciones = optimset('Display','notify','TolFun',1.e-12,'TolX',1.e-12,...
'MaxFunEvals',1500,'MaxIter',1500);
[alphaopt,Ropt] = fminbnd(@radiomin,-1,1,opciones);
%% Isomorfismo T. Centro de la circunferencia ptima
Tx = sqrt(1+alphaopt)*x;
Ty = sqrt(1-alphaopt)*y;
[centroC,~] = minboundcircle(Tx,Ty);
%% Inversa de T. Centro de la elipse ptima
centroEiso = [centroC(1)/sqrt(1+alphaopt),centroC(2)/sqrt(1-alphaopt)];
q0 = centroEiso(2);
phi0 = convertlat(p,q0,'isometric','geodetic','rad');
t0 = sin(phi0);
centroEgeo = degrees2dms(rad2deg([centroEiso(1);phi0]));
%% Semiejes de la elipse ptima
aEW = Ropt/sqrt(1+alphaopt);
aNS = Ropt/sqrt(1-alphaopt);
%% Distorsin (global) en aproximacin de segundo orden
r2K = cos(phi0)^2*(1+ep2*cos(phi0)^2);
distorAprox = Ropt^2*r2K/4; %
%% Proyeccin de Lagrange-Lambert y distorsin (global)
a = centroEiso(1);
c = sqrt(t0^2+(1+alphaopt)*r2K);
b = q0-2*atanh(t0/c)/c;
%
rB = cos(latBorde).*(1-e^2.*t.^2).^(-1/2); % Radio de los paralelos
gB = log(c)-log(rB)-log(cos(c*(x-a))+cosh(c*(y-b)));
gMax = max(gB);
r0 = (1-e^2*t0^2)^(-1/2)*cos(phi0);
gMin = log(c)-log(r0)-log(1+cosh(c*(q0-b)));
distor = gMax-gMin;
%% Figuras
plot(x,y,centroEiso(1),centroEiso(2),'r.','MarkerSize',12)
hold on
ellipse(centroEiso(1),centroEiso(2),aEW,aNS,0,10000,'r','LineWidth',1.25);
grid on
axis equal
print -depsc2 ElipseOptimaPais
%% Subfuncin
function R = radiomin(alpha)
% Isomorfismo que transforma elipses en circunferencias
xp = sqrt(1+alpha).*x;
8.2. Problema de Chebyshev 223
yp = sqrt(1-alpha).*y;
[~,R] = minboundcircle(xp,yp);
end
end
Si c 1, lap
proyeccin es elptica pura y x0 es mnimo absoluto de g = log .
Si 1 < c < 2(1 + e02 ), es elptico-hiperblica y x0 es mnimo relativo.
1. Espaa. Utilizamos una base de datos de 4002 puntos del contorno
de Espaa peninsular, facilitada por el Instituto Geogrco Nacional. Estos
datos estaban inicialmente en coordenadas utm (huso 30 extendido), y los
transformamos al sistema ed50 (European Datum 1950) cuyo elipsoide es el
internacional o de Hayford 1924 (f = 1/297, e = 0.081991889979), datum en
Potsdam (Alemania) y las longitudes referidas a Greenwich.
Las grcas de la elipse ptima de Chebyshev para Espaa y de la funcin
R(), radio de la circunferencia ms pequea que circunscribe a T (),
estn expuestas a lo largo de esta seccin: guras 8.8 y 8.9 respectivamente.
La elipse y la frontera de Espaa tienen tres puntos en comn. La siguiente
tabla recoge los resultados obtenidos.
1 a2EW /a2N S
opt = = 0.4631.
1 + a2EW /a2N S
El exponente de la proyeccin, segn (8.11), es c2 = 1 + opt cos2 0 , y se
comprueba que c = 0.8846. Por ltimo, max = a2 b2 /2(a2 + b2 ) [Zinger, 1906,
p. 211], luego
0.0558
0.0324
1 0.4681 0 1
2
Ropt
2
( 0 ) = ,
1 + opt
0.96
0.95
0.94
0.93
0.92
0.91
0.9
Fig. 8.11. Elipse ptima de Chebyshev para Suiza. Los ejes estn
en coordenadas isomtricas ( , q).
0.0822
0.0409
1 0 1
0.8
0.79
0.78
0.77
0.76
0.75
0.74
0.73
0.72
0.71
0.7
x3 = (1 550 18.7200 , 36 00 3.9100 ), Tarifa (faro);
x = (7 00 11.8600 , 42 190 8.8000 ), Cabo de Creus.
4
donde r() y q
estn dados por (8.21). En el elipsoide de Struve se tie-
2
ne [Laplaza, 1941, p. 162] e = 0.00677436. Para resolver el sistema no li-
neal (8.23) utilizamos la funcin fsolve de matlab con valores iniciales
(a , b , c , s) = (0 , 0 , 1 , 1), que estn asociados, en la esfera, con la proyeccin
estereogrca ecuatorial y meridiano principal = 0, que pasa por Madrid.
La solucin obtenida es
arc tgh sen 2c1 arc tgh c1 sen e arc tgh (e sen ) = b,
c2 (1 + e02 cos4 0 )
= , e02 = e2 /(1 e2 ),
cos2 0 (1 + e02 cos2 0 )
y obtenemos = 0.3146.
En resumen, sea la regin determinada por Espaa peninsular. Por los
cuatro vrtices escogidos por Laplaza pasa una curva de nivel de la funcin g
asociada a pE (x0 ,), que es un valo en un entorno de x0 vase el comienzo
de la Seccin 8.2. La aproximacin cuadrtica de este valo es una elipse
que contiene en su interior casi la totalidad de como se comprueba en la
gura 8.14. La ecuacin de esta elipse es (8.12). La distorsin de la proyeccin
pE en el interior del valo, regin que llamamos , es
s
(g , ) = sup g nf g = log s g(x0 ) = log .
(x0 )
c = 0.90435876,
0 = 0 100 3.11200 , 0 = 40 90 38.50100 ,
(g , ) = 0.00185129,
8.2. Problema de Chebyshev 231
coinciden con los de Laplaza [1941, p. 162]. Resaltamos este hecho, la extra-
ordinaria precisin manejada por Laplaza en un trabajo de los aos cuarenta,
donde el sistema a resolver (8.23) no es lineal y exige anlisis numrico. Por
otra parte, su mtodo se basa en la eleccin ptima de los cuatro vrtices,
un inconveniente que detallamos al nal de este apartado.
Para comparar los de Laplaza con nuestros resultados (Seccin 8.3) y con
los obtenidos cuando resolvimos el Problema de Chebyshev para Espaa,
hemos transformado las coordenadas de los vrtices escogidos por Laplaza al
sistema ed50, elipsoide internacional y longitudes referidas a Greenwich:
x3 = (5 360 29.7400 , 36 00 8.8400 ), Tarifa (faro);
x = (3 190 1.3600 , 42 190 12.8100 ), Cabo de Creus;
4
0.86
0.84
0.82
0.8
0.78
0.76
0.74
0.72
0.7
0.68
0.66
0.15 0.1 0.05 0 0.05
L'ellipse no 8 [razn de ejes 0,7] est celle qui correspond au minimum. Lors-
qu'on la place sur la carte auxiliaire de manire envelopper l'Espagne, elle
en touche le contour aux points suivants: cap Ortgal, cap Saint-Adrien, le
de Tarifa, cap de Creus.
Observamos que Laplaza coincide con Tissot en dos vrtices: Tarifa y Cabo
de Creus. Los otros dos, Limo y Villano, estn muy prximos a los Cabos de
Ortegal y San Adrin, segn comprobamos en las guras 8.14 y 8.15, esta
ltima tomada del tercer volumen de los Apuntes de Cartografa del Servicio
Geogrco del Ejrcito [1971, Captulo 9, 176, p. 156] donde se analiza el
trabajo de Tissot citado.
8.3. Distorsiones relativa y absoluta 233
(g , ) = sup g nf g ,
M () = g C 2 () : g = r2 K en
Distorsin relativa
Denimos la distorsin relativa de una proyeccin conforme p en como
la amplitud de la diferencia g g0 :
sup (/0 )
R (p , ) = sup (g g0 ) nf (g g0 ) = log .
nf (/0 )
234 8. Optimizaciones intermedia y global de las proyecciones de Lagrange-Lambert
g = log c log r log cos [c ( a)] + cosh [c (q b)] ,
Teorema 8.2. Sea una regin del elipsoide acotada por una curva cerrada
simple. La distorsin relativa de una proyeccin conforme p en es igual a
la amplitud de g = log en la frontera de ,
R (p , ) = sup g nf g.
R (p , ) = sup (g g0 ) nf (g g0 ) = sup (g g0 ) nf (g g0 ).
8.3. Distorsiones relativa y absoluta 235
g(x , c) = log r(q) log cos [c ( a)] + cosh [c (q b)] .
Distorsin absoluta
Segn dijimos al comienzo de esta seccin, la distorsin absoluta de una
proyeccin conforme en una regin es
(g , ) = sup g nf g ,
g(x , c) = log r(q) log cos [c ( a)] + cosh [c (q b)] .
0.86
0.84
0.82
0.8
0.78
0.76
0.74
0.72
0.7
0.68
0.66
0.96
0.95
0.94
0.93
0.92
0.91
0.9
0.89
0.1 0.11 0.12 0.13 0.14 0.15 0.16 0.17 0.18 0.19
0.8
0.78
0.76
0.74
0.72
0.7
Resumen de resultados
Para cerrar este ltimo captulo de la Tesis agrupamos los resultados ms
importantes obtenidos a lo largo de l. Dada una regin , consideremos los
siguientes elementos de la familia de proyecciones de Lagrange-Lambert:
pch
pA p0
pR
utm
Proyecciones conformes
Suiza
pch pR pA
a 0.1394 0.1394 0.1394
b 1.7273 1.7282 1.7282
c 0.8835 0.8834 0.8834
0 7 590 12.1900 7 590 9.7900 7 590 9.8000
0 46 470 42.2000 46 470 12.3200 46 470 12.3200
R 0.0001094 0.0001082 0.0001082
0.0001251 0.0001234 0.0001234
242 8. Optimizaciones intermedia y global de las proyecciones de Lagrange-Lambert
Portugal
pch pR pA
a 0.1368 0.1377 0.1372
b 0.1346 0.1897 0.1425
c 1.2602 1.2273 1.2553
0 7 500 21.5400 7 530 29.7700 7 510 41.3700
0 40 110 36.5600 40 270 6.4700 40 40 25.2800
R 0.0002559 0.0002312 0.0002437
0.0002520 0.0002491 0.0002453
R = 0.001537 y = 0.001866.
Espaa (104 )
0 lag l utm
7.487 18.56 23.02 33.38
Suiza (105 )
0 lag l utm
5.080 12.34 14.92 67.52
Portugal (105 )
0 lag utm l
6.979 24.53 28.25 101.2
0 lag l utm
Espaa
104 7.487 33.38
0 lag l utm
Suiza
105 5.080 67.52
0 lag utm l
Portugal
105 6.979 101.2
1
mS(f ) = (2 )q + (1 ) i (1 )q ,
2
5. Caracterizamos a las proyecciones de Lagrange mediante la ecuacin
S(f ) = constante real. Resolvemos esta ecuacin y clasicamos sus soluciones
en tres clases que son transformaciones racionales lineales de las siguientes
funciones:
Cilndricas conformes
z
Unipolares
Pseudopolares
ecz
Apolares
Cnicas y acimutales conformes
eicz
De Lagrange-Lambert.
19 % menor que la mejor cnica conforme,
Espaa: = 0.001856
44 % menor que utm (huso 30).
17 % menor que la mejor cnica conforme,
Suiza: = 0.0001234
82 % menor que utm (huso 32).
Lneas de investigacin
Entre las cuestiones de inters que el trabajo desarrollado en esta Tesis
sugiere, algunas ya en desarrollo, destacamos las siguientes.
Primera memoria
sean rectas paralelas, y que todos los paralelos al ecuador sean igualmente
rectas que crucen a los meridianos en ngulos rectos; y en segundo lugar
que los grados de latitud y de longitud en el Mapa conserven entre ellos las
mismas proporciones que aquellos grados tienen en la supercie del globo; de
modo que, como los grados de longitud se suponen constantes en el Mapa y
que en el globo son los grados de latitud los que son constantes, es necesario
que en el Mapa los grados de latitud crezcan en la misma razn que los de
longitud decrecen en el globo, es decir en razn inversa al coseno de la latitud,
o, lo que es lo mismo, en razn directa a la secante de la latitud; de donde
se concluye adems por el Clculo integral que la distancia entre el ecuador
y un paralelo cualquiera debe ser proporcional al logaritmo de la tangente
del semi-complemento de la latitud de este paralelo; lo cual es el fundamento
conocido de la construccin de las Cartas reducidas.
El difunto Sr. Lambert fue el primero que consider la Teora de los Mapas
desde el punto de vista general que voy a exponer, y en consecuencia el que
tuvo la idea de determinar las lneas de los meridianos y de los paralelos
segn la nica condicin de que todos los ngulos formados en el Mapa
sean iguales a los ngulos correspondientes en la supercie del globo. Este
Problema, del que se encuentra una solucin general en el tercer Volumen
de los Beytrge zum Gebrauche der Mathematik, etc., despus fue resuelto
tambin por el Sr. Euler en el Volumen que acaba de publicarse de las Actes
de l'Acadmie de Ptersbourg del ao 1777; pero estos dos ilustres Autores
a continuacin se contentaron con hacer ver que las Teoras conocidas de
la proyeccin estereogrca y de las Cartas reducidas estn contenidas en
esa solucin, y nadie se ha encargado todava de dar a estas Teoras toda la
extensin de la que son susceptibles, determinando todos los casos en los que
la solucin en cuestin puede dar circunferencias para los meridianos y los
paralelos.
Esta investigacin, interesante igualmente por los articios analticos que
requiere y por la utilidad que puede tener para la perfeccin de los Mapas, me
parece digna de la atencin de los Gemetras y propia para proporcionar la
materia de una Memoria. En primer lugar resolver el mismo Problema segn
un mtodo distinto del de los Sres. Lambert y Euler, y, si no me equivoco,
ms sencillo y ms general en algunos aspectos; a continuacin aplicar la
solucin general en el caso particular en que se supone que los meridianos y los
paralelos son circunferencias, que son las nicas curvas que se pueden emplear
fcilmente en la construccin de los Mapas; y adems resolver algunas otras
cuestiones relativas a este objeto y de donde resultan varias consecuencias
tiles.
1. Supongo primero, para mayor generalidad, que la Tierra es un esferoide
cualquiera engendrado por la revolucin de una curva dada alrededor de un
257
eje jo; esta curva ser la de todos los meridianos de la Tierra, y su eje ser al
mismo tiempo el eje de la Tierra. Reero la misma curva a su eje por medio
de dos coordenadas rectangulares p y q , de las cuales p es la abscisa tomada
en el eje desde el polo de la Tierra, y q es la ordenada perpendicular al eje.
Adems llamo s al arco correspondiente, es decir, al arco de un meridiano
contado desde el polo, y t al ngulo que el plano de este meridiano forma
con el primer meridiano cuya posicin es arbitraria. Es obvio que la posicin
de un lugar cualquiera en la supercie de la Tierra estar determinada por
el arco s del meridiano, que pasa por ese lugar, y por el ngulo t de este
meridiano con el primer meridiano; se ve al mismo tiempo que en el caso de
la Tierra esfrica el arco s ser (tomando el radio de la Tierra como unidad)
la distancia al polo, o el complemento de la latitud del lugar, y el ngulo t la
longitud de ese mismo lugar; y se tendr en ese caso
p = cos s y q = sen s .
En general, cualquiera que sea la forma de la Tierra, con tal que sea un
esferoide, el ngulo t siempre ser igual a la longitud, y el arco s del meridiano
ser una funcin dada de la latitud.
Formulado esto, imaginamos que el mismo lugar se coloca en el Mapa de
modo que su posicin se determine por dos coordenadas rectangulares x e y,
siendo x la abscisa tomada en un eje cualquiera, e y la ordenada perpendicular
a este eje; es claro que estas dos cantidades x e y deben depender de las
cantidades s y t, es decir ser funciones de estas dos ltimas cantidades; y es
obvio que, si en esas funciones se hace constante la variable t, se obtendrn
las coordenadas de la curva que representa al meridiano cuya longitud es t;
al contrario, si se hace s constante, se obtendrn las coordenadas de la curva
que representa al paralelo al que corresponde el arco de meridiano s.
2. Consideremos ahora dos lugares innitamente prximos que estn de-
terminados en la supercie de la Tierra por las variables s y t, y s + ds y
t+dt, y en el Mapa por las variables correspondientes x e y , y x+dx e y +dy ;
y busquemos las distancias de esos dos lugares en la supercie de la Tierra y
en el Mapa. Es evidente que la primera de esas distancias se expresar como
p
ds2 + q 2 dt2 , puesto que ds es la diferencia de los dos arcos de meridiano
que pasan por los dos lugares, y qdt es el arco de paralelo comprendido en-
tre esos dos meridianos; y que la segunda lo estar por la frmula ordinaria
p
dx2 + dy 2 , pues x e y son coordenadas rectilneas y rectangulares.
Ahora bien un Mapa perfecto sera aquel en que esas distancias fuesen
iguales, pues en tal caso todas las dems distancias pequeas y grandes seran
tambin las mismas en la supercie de la Tierra que en el Mapa; pero, para
dar a nuestras investigaciones toda la generalidad posible, supondremos que
258 A. Traduccin de las dos Memorias de Lagrange
esas distancias estn entre ellas en una proporcin cualquiera expresada por
1 : m, de modo que se tenga
p p
ds2 + q 2 dt2 : dx2 + dy 2 = 1 : m ,
ds
= du y mq = n ,
q
la ecuacin propuesta se convierte en esta:
1 = sen2 + cos2 ,
2 2
observando que el producto de los dos cuadrados sen + cos por los
2 2
dos cuadrados du + dt se puede poner en forma de dos cuadrados de esta
manera:
(sen du cos dt)2 + (cos du + sen dt)2 ;
obtendr pues as la transformada
y
dy = n (cos du + sen dt) .
259
n sen = y n cos = ,
dx = du dt y dy = du + dt ,
que deben ser integrables y a las que se puede aplicar el mtodo conocido del
Sr. D'Alembert.
Segn ese mtodo, se multiplica la segunda por 1, despus se suma a
la primera, y se resta, lo que dar estas dos:
dx + dy 1 = + 1 du + dt 1
y
dx dy 1 = 1 du dt 1 ,
que como deben ser asimismo integrables, resulta que + 1 no puede ser
sino una funcin de u + t 1, y 1 una funcin de u t 1; y estas
dos funciones al ser integradas darn los valores de x + y 1 y x y 1,
de donde se obtendrn x e y .
Denotemos, en general, por las caractersticas f y F dos funciones in-
determinadas cualesquiera, de modo que f (z) y F (z) sean dos funciones
0 0
cualesquiera de z ; denotemos adems por f (z) y F (z) los diferenciales de
esas funciones, de modo que
df (z) dF (z)
f 0 (z) = y F 0 (z) = ;
dz dz
se har:
+ 1 = f 0 (u + t 1)
y
1 = F 0 (u t 1) ,
y se tendr:
x + y 1 = f (u + t 1)
y
x y 1 = F (u t 1) ;
260 A. Traduccin de las dos Memorias de Lagrange
de donde se obtiene:
f (u + t 1) + F (u t 1)
x=
2
e
f (u + t 1) F (u t 1)
y= ;
2 1
las funciones designadas por f y F siguen siendo arbitrarias.
4. Tales son las expresiones ms generales de las coordenadas x e y que
determinan en el Mapa la posicin que debe tener cada lugar de la Tierra, en
virtud de la condicin supuesta, que la distancia de dos lugares cualesquiera
innitamente prximos en la supercie de la Tierra sea a la distancia de los
mismos lugares en el Mapa en la proporcin 1 a m (2). Ahora bien, habiendo
supuesto ( ) 3
mq = n
y adems
n sen = y n cos = ,
se tendr p
n= 2 + 2 ,
y por consiguiente
p
2 + 2
m= ;
q
pero
2 + 2 = + 1 1 = f 0 (u + t 1) F 0 (u t 1);
luego se obtendr
q
f 0 (u + t 1) F 0 (u t 1)
m= .
q
Se ve en esta frmula que el valor de m es una funcin de las variables
nitas t y u, es decir de t y s, debido a que u es una funcin de s. De donde
resulta que la distancia de dos lugares cualesquiera de la Tierra innitamente
prximos entre ellos, de los que uno responde a t y s y el otro a t + dt
y s + ds, ser a la distancia de los mismos lugares colocados en el Mapa
en una proporcin dependiente nicamente de t y s; por consiguiente todos
los lugares de la Tierra situados alrededor de un lugar dado, a distancias
innitamente pequeas de ese lugar, se encontrarn colocados en el Mapa de
modo que formarn una gura semejante a la que forman en la supercie de
261
los cuales, debido a las dos funciones arbitrarias f (u) y F (u), pueden ser,
como se ve, funciones cualesquiera de u. As se puede suponer que el primer
meridiano del Mapa es una curva cualquiera, y que adems los cambios de
latitud en ese meridiano siguen tambin una ley cualquiera.
En efecto supongamos que para ese meridiano se tuviera
x = (u) e y = (u) ,
f (u) = (u) + (u) 1 y F (u) = (u) (u) 1 .
(u + t 1) + (u t 1) (u + t 1) (u t 1)
x= + 1
2 2
e
(u + t 1) + (u t 1) (u + t 1) (u t 1)
y= + ;
2 2 1
262 A. Traduccin de las dos Memorias de Lagrange
dx = du dt y dy = du + dt ;
luego en los meridianos se tendr:
d 2 d 2
dx = du , dy = du , d2 x = du y d2 y = du ;
du du
por consiguiente, si se llama r al radio osculador de un meridiano cualquiera,
se obtendr
d d
1
= du du .
3
r (2 + 2 ) 2
263
d 2 d 2
dx = dt , dy = dt , d2 x = dt y d2 y = dt ;
dt dt
luego, llamando al radio osculador de un paralelo cualquiera, se obtendr
d d
1
= dt dt .
3
2 2
( + ) 2
Observo ahora que, por la condicin de integrabilidad de la frmulas
du dt y du + dt ,
se tiene
d d d d
= y = ;
dt du dt du
luego las expresiones precedentes de 1/r y de 1/ pueden transformarse en
estas:
d d d d
1
+ 1 +
= dt dt y = du du ,
3 3
r (2 + 2 ) 2 (2 + 2 ) 2
a saber:
1 1
dp dp
1 2 + 2 1 2 + 2
= y = .
r dt du
Ahora bien hemos hallado ms arriba ( ) que 4
2 + 2 = f 0 (u + t 1) F 0 (u t 1) ;
1
= q ,
f 0 (u + t 1) F 0 (u t 1)
1 d 1 d
= y = .
r dt du
8. Esa cantidad sirve tambin para determinar el valor de m; pues es
obvio que se tendr (4)
1
m= .
q
264 A. Traduccin de las dos Memorias de Lagrange
Ahora bien, como q es una funcin del arco s del meridiano dada por la forma
de ese meridiano y
ds
du = ,
q
resulta que tambin se puede ver q como una funcin de u.
Luego, si se quisiera que la cantidad m fuera constante o que fuera una
funcin cualquiera solo de u, es decir, que se mantuviera igual en todos los
puntos de un mismo paralelo, sera necesario que fuera una funcin solo
de u sin t; por consiguiente sera necesario que d/dt = 0; luego se tendra,
por el apartado precedente, 1/r = 0, a saber r = ; por consiguiente sera
preciso que todos los meridianos del Mapa fuesen rectas. Pero veremos ms
abajo que la condicin = 1/(mq), en la hiptesis m funcin solo de u,
requerira que la Tierra tuviera una forma dada.
9. Supongamos ahora, en general, que todos los meridianos del Mapa
son circunferencias cualesquiera, lo que encierra tambin el caso precedente
donde los meridianos eran rectas. Ser necesario pues que el valor de r sea
constante en cada meridiano y no vare sino de un meridiano a otro; luego r
y por consiguiente d/dt no podr ser ms que una funcin solo de t; luego
la diferencia de d/dt, al hacer variar solo u, deber ser nula; as la condicin
para que todos los meridianos sean circunferencias ser
d2
= 0.
dt du
Si se multiplica esta ecuacin por dt y se integra haciendo variar solo t, se
obtendr
d
= U,
du
siendo U una funcin cualquiera de u sin t; luego se tendr
1
= U;
lo que hace ver que los paralelos son tambin circunferencias, ya que siendo
su radio osculador una funcin solo de u debe mantenerse igual en toda la
extensin de cada paralelo. Se probara del mismo modo que suponiendo los
paralelos circulares los meridianos tambin lo seran. Y la condicin comn
2
a la circularidad de unos y otros ser d /dtdu = 0. Veamos pues cul debe
ser la forma de las funciones f y F para que se cumpla esta condicin.
10. Para facilitar esa bsqueda, primero tomo otras dos funciones que
denoto por las caractersticas y , y que supongo tales que
1 1
(z) = p y (z) = p ;
f 0 (z) F 0 (z)
265
= (u + t 1) (u t 1) ;
diferencio ahora esta cantidad dos veces seguidas, haciendo variar prime-
0 00 0 00
ro u y despus t; obtendr as (denotando por y , y por y
0
las diferencias de las funciones y , de modo que (z) = d(z)/dz,
00 (z) = d2 (z)/dz 2 , 0 (z) = d(z)/dz y 00 (z) = d2 (z)/dz 2 ):
d
= 0 (u + t 1) (u t 1) + 0 (u t 1) (u + t 1)
du
y
d2 h
= 00 (u + t 1) (u t 1) 0 (u + t 1) 0 (u t 1)
dudt
i
00 (u t 1) (u + t 1) + 0 (u t 1) 0 (u + t 1) 1 ;
00 (u + t 1) 00 (u t 1)
= ;
(u + t 1) (u t 1)
estas cantidades no solo han de ser iguales, sino idnticas, es decir, deben
ser la misma cantidad independientemente de cualquier ecuacin entre
u y t;
luego, como una es funcin de u + t 1 y la otra es funcin de u t 1,
resulta que no pueden llegar a ser idnticas a menos que sean iguales a una
misma constante cualquiera.
Sea pues k una constante arbitraria; se tendrn estas dos ecuaciones:
00 (u + t 1) 00 (u t 1)
=k y = k,
(u + t 1) (u t 1)
o bien (siendo indiferente cualquiera que sea la variable bajo los signos de las
funciones) se obtendrn ms sencillamente estas dos:
00 (z) 00 (z)
=k y = k,
(z) (z)
266 A. Traduccin de las dos Memorias de Lagrange
a saber:
d2 (z) d2 (z)
=k y = k,
(z) dz 2 (z) dz 2
que son integrables por las reglas conocidas.
Se obtendrn pues, integrando:
(z) = M ez k
+ N ez k
y (z) = P ez k
+ Qez k
,
1 1
(z) = p y (z) = p ;
f 0 (z) F 0 (z)
luego se tendrn:
0 1 e2z k
f (z) = 2 = 2
M ez k + N ez k M e2z k +N
y
1 e2z k
F 0 (z) = 2 = 2 ;
P ez k + Qez k P e2z k +Q
pero
df (z) dF (z)
f 0 (z) = y F 0 (z) = ;
dz dz
luego, multiplicando las ecuaciones precedentes por dz e integrando, se ob-
tendrn:
1
f (z) = + G
2M M e2z k +N k
y
1
F (z) = + H,
2P P e2z k +Q k
siendo G y H nuevas constantes arbitrarias.
As la forma de las funciones arbitrarias est determinada, y poniendo
en f (z): u + t 1 en lugar de z, y en F (z): u t 1, se obtendrn estas
expresiones:
1
f (u + t 1) = + G
2M M e2u k+2t k +N k
267
y
1
F (u t 1) = + H,
2P P e2u k2t k +Q k
que no habr ms que sustituir en los valores de x e y 3
( ).
11. Pero, antes de hacer esa sustitucin, observo que, pudiendo ser la
cantidad k igualmente positiva o negativa, se obtendrn frmulas diferentes
en los dos casos, y toda la diferencia consistir en que las cantidades t y u se
encontrarn una en el lugar de la otra; esto es evidente con respecto al valor
de f u + t 1 ; para hacerlo ver tambin respecto al de F u t 1 ,
pongo en lugar de la constante arbitraria
H la cantidad tambin arbitraria
1/(2P Q k) + H , y reduciendo a comn denominador las dos fracciones,
2u k2t k
dividiendo despus en la fraccin resultante arriba y abajo por e ,
obtengo
1
F (u t 1) = + H,
2Q Qe2u k+2t k +P k
expresin que resulta evidentemente de la precedente cambiando el signo de
k, y poniendo t en lugar de u y P en lugar de Q, y recprocamente. De aqu
concluyo por tanto que basta considerar el caso en que k es una cantidad
positiva, y que despus no habr ms que intercambiar t por u para tener el
de k negativo. En efecto es fcil ver por la ecuacin fundamental
1 1
y= +
4cM M e2cu+2ct 1 +N 1 4cP P e2cu2ct 1 + Q 1
GH
+ ,
2 1
donde hay que determinar las constantes arbitrarias G, H , M , N , P y Q de
modo que las partes imaginarias se cancelen.
Se tendr pues primero:
G+H GH
=A y = B,
2 2 1
268 A. Traduccin de las dos Memorias de Lagrange
e2cu
(x A)2 + (y B)2 = ,
4a2 c2 a2 e2cu + 2ab cos (2ct + g h) + b2 e2cu
de donde extraigo
e2cu
a2 e2cu + 2ab cos (2ct + g h) + b2 e2cu = ,
4a2 c2 (x A)2 + (y B)2
269
xA
= 2ac ae2cu cos [2 (ct + g)] + b cos (g + h)
2
(x A) + (y B)2
e
yB
= 2ac ae2cu sen [2 (ct + g)] + b sen (g + h) ,
2
(x A) + (y B)2
2 2
sen [2 (ct + g)] cos [2 (ct + g)]
xA+ + yB+
4abc sen (2ct + g h) 4abc sen (2ct + g h)
1
= 2 ,
4abc sen (2ct + g h)
1
r= ,
4abc sen (2ct + g h)
1
(X A) cos(g + h) (Y B) sen(g + h) + = 0,
4abc
que dar el lugar de todos los centros en cuestin, es decir, de todos los centros
de las circunferencias que representan a los meridianos; y se ve que este lugar
es una recta que forma con el eje de abscisas un ngulo cuya tangente ser
dY
= cotg(g + h) ,
dX
de modo que ese ngulo ser igual a 90 g h.
270 A. Traduccin de las dos Memorias de Lagrange
15. Eliminamos ahora el ngulo t en las frmulas del n.o 13 para obtener
las curvas de los paralelos, y se obtendr esta ecuacin:
2
xA
+ 2abc cos(g + h)
(x A)2 + (y B)2
2
yB
+ 2abc sen(g + h) = 4a4 c2 e4cu ,
(x A)2 + (y B)2
a saber:
2 2
b cos(g + h) b sen(g + h)
xA + yB+
2ac (a2 e4cu b2 ) 2ac (a2 e4cu b2 )
e4cu
= ,
4c2 (a2 e4cu b2 )2
e2cu
= ,
2c (a2 e4cu b2 )
b
=A+ cos(g + h) e2cu ,
a
y
b
=B sen(g + h) e2cu .
a
Y, si se elimina la variable u de estas ltimas ecuaciones, se obtendr,
para el lugar de todos los centros de las circunferencias que representan a los
paralelos, la ecuacin
( A) sen(g + h) + ( B) cos(g + h) = 0 ,
que es una recta inclinada con el eje de abscisas un ngulo cuya tangente
ser
d
= tg(g + h) ;
d
271
de modo que ese ngulo ser 180 g h; por consiguiente esa recta ser
perpendicular a la que encierra todos los centros de los meridianos (apartado
precedente).
16. Busquemos tambin el valor de la cantidad m que expresa la propor-
cin segn la cual cada regin de la Tierra est aumentada o disminuida en
el Mapa, guardando no obstante su forma natural.
8
Hemos visto ( ) que m = 1/(q ); as no hay ms que buscar el valor de
la cantidad . Ahora bien, si en la expresin de del n.o 10 se sustituye en
lugar de las funciones denotadas por y sus valores hallados en el mismo
apartado, se obtiene
= M P e2u k
+ N Qe2u k
+ M Qe2t k
+ N P e2t k
,
1
m = 2 2cu .
q a e + 2ab cos (2ct + g h) + b2 e2cu
17. El valor precedente de puede dar una prueba de la exactitud de
nuestras frmulas; pues, habiendo visto ( ) que los radios 7 r y de los meri-
dianos y de los paralelos se determinan, en general, por las frmulas
1 d 1 d
= y = ,
r dt du
ser necesario que, al sustituir por su valor, resulten los mismos valores de r
y que hemos hallado ms arriba segn las ecuaciones de las circunferencias
que representan a los meridianos y a los paralelos. Ahora bien esto se verica
en efecto como puede comprobarse por la diferenciacin de la cantidad .
18. Aqu es el lugar para examinar las condiciones necesarias para que
la cantidad m sea constante, o al menos una funcin de u sin t. Ya hemos
8
visto ( ) que en ese caso todos los meridianos del Mapa deberan ser rectas;
as las frmulas halladas ms arriba, en el caso en que los meridianos fueran
circunferencias cualesquiera, tambin tendrn lugar en el caso presente. No
se tratar pues ms que ver si la expresin de m del n.o 16 puede hacerse
una funcin solo de u. Luego, como q puede suponerse una funcin de u, ser
necesario que el trmino 2ab cos(2ct + g h), que encierra t, desaparezca; lo
que no puede suceder sino cuando
a=0 o b = 0.
272 A. Traduccin de las dos Memorias de Lagrange
1
m= ,
qb2 e2cu
y en el otro
1
m= ;
qa2 e2cu
luego se tendr, en general:
AeBu
q= ,
m
siendo A y B constantes cualesquiera; ecuacin que servir para determinar
la forma del meridiano, al mismo tiempo que m estar dada segn u. Al
diferenciar logartmicamente, se obtendr
dq dm
= Bdu ;
q m
luego R
B m ds + C
q= ;
m
lo que dar q segn s, si m ya est dada segn s.
Luego, si se quisiera que m fuera constante, se obtendra
C
q = Bs + ;
m
lo que evidentemente da una recta para los meridianos de la Tierra, y por
consiguiente un cono recto para la forma de la Tierra.
19. Hasta ahora nuestras frmulas son independientes de la forma de los
meridianos de la Tierra; pero, para poder aplicar esas frmulas a la cons-
truccin de los Mapas, es necesario conocer qu funcin de la latitud es la
variable u, que hemos supuesto tal que du = ds/q , siendo s el arco de me-
ridiano contado desde el polo y q la ordenada perpendicular al eje de la
Tierra ( ).3
273
q = sen s ,
y el arco s ser al mismo tiempo la distancia al polo o el complemento de la
latitud. Luego en ese caso se tendr
ds
du = ;
sen s
cuya integral es
1 1 cos s s
u= log = log tg ;
2 1 + cos s 2
de modo que al aadir una constante arbitraria log k , se obtendr en general
s
u = log k tg ,
2
y de ah
s c
ecu = k tg ;
2
as las exponenciales desaparecern completamente, y no habr ms que senos
y cosenos. Pero, para dar a nuestra solucin toda la generalidad de la que es
susceptible, es necesario determinar los valores de q y de u sin constreirse a
la hiptesis de la Tierra esfrica.
Supondremos pues que la Tierra es un esferoide elptico achatado por los
polos; y haremos el radio del ecuador o el semieje mayor de la elipse que
forma los meridianos igual a 1, y el semieje menor de esa elipse, es decir, el
semieje de la Tierra, igual a . Al tomar las abscisas p en este semieje desde
su vrtice, con arreglo a las suposiciones del n.o 1, se obtendr para la elipse
la ecuacin
(1 p)2 + 2 q 2 = 2 ,
de donde se obtiene por diferenciacin
dp 2q
= ;
dq 1p
ahora bien es obvio que dp/dq es igual a la tangente del ngulo que la per-
pendicular a la elipse forma con el eje de abscisas p; as en el caso presente
dp/dq ser igual a la tangente del ngulo que expresa la distancia al polo o
el complemento de la latitud.
274 A. Traduccin de las dos Memorias de Lagrange
2
1p= p ,
2 + tg2 z
y de ah
tg z
q=p .
2 + tg2 z
Diferenciando, se obtendr:
2 tg z d tg z 2 d tg z
dp = 3 y dq = 32 ;
2 + tg2 z 2 2 + tg2 z
luego
p
2
p 1 + tg2 z
ds = dp2 + dq 2 = 3 d tg z ;
2 + tg2 z 2
3 du = ds/q; luego
pero se tiene ( )
p
2 1 + tg2 z 2 dz
du = d tg z = .
tg z 2 + tg2 z sen z 2 cos2 z + sen2 z
Sea
1 2 = 2 ,
de modo que sea la excentricidad de la elipse que forma los meridianos de
la Tierra; se tendr
2 dz dz 2 sen z dz
du = = ;
sen z 2 + 2 sen2 z sen z 1 2 cos2 z
275
1 1 cos z z
log = log tg ,
2 1 + cos z 2
2 sen z dz
la integral de es
1 2 cos2 z
1 cos z
log ;
2 1 + cos z
luego se obtendr, aadiendo una constante arbitraria log k ,
" 2 #
z 1 + cos z
u = log k tg .
2 1 cos z
2
z 1 + cos z
tg = tg ,
2 2 1 cos z
2 2 2 3
= z 2 sen z + sen 2z sen 3z + ,
2 3
276 A. Traduccin de las dos Memorias de Lagrange
suponiendo
(1 cos z) 2 (1 + cos z) 2
= ,
(1 cos z) 2 + (1 + cos z) 2
o bien, reduciendo en serie,
4 ( 2)( 4)
2 cos z + cos2 z +
= 46 .
3 ( 2)
2+ cos2 z +
4
Despreciando las cantidades del orden 4 , se obtendrn:
2 cos z 2
= y =z+ sen 2z ;
2 2
y esta aproximacin tiene toda la exactitud que se puede desear.
20. As pues hemos resuelto de un modo general el Problema geogrco
del que la proyeccin estereogrca no proporciona ms que una solucin par-
ticular. Lo que hace esta proyeccin tan til para la construccin de Mapas
son las dos propiedades de las que hemos hecho mencin al comienzo de esta
Memoria, y que consisten: 1.o en que cada parte de la supercie de la Tierra
tiene en el Mapa una forma semejante a la que tiene en la Tierra, y no se
altera ms que en su tamao; 2.o en que todos los meridianos y paralelos de
la Tierra se encuentran representados en el Mapa por circunferencias. Hemos
tomado estas dos condiciones como los datos del Problema, y hemos llegado
a una solucin general que contiene necesariamente todas las formas posi-
bles de satisfacer esas mismas condiciones. Como hay varias consecuencias
a extraer de esta solucin, las desarrollaremos en la continuacin de estas
Investigaciones, que ser el objeto de una segunda Memoria.
Segunda memoria
21. En primer lugar observo que las frmulas halladas en la primera Me-
moria (12 y 16) contienen dos soluciones diferentes, ya que se ha visto (11)
que est permitido cambiar t por u y u por t; pero observo al mismo tiem-
po que la solucin que resultara de esta permutacin sera ms curiosa que
cmoda en la prctica, ya que contendra exponenciales del ngulo t y senos
y cosenos de la cantidad u que, hemos demostrado, es una cantidad logart-
mica ( 19); mientras que la solucin que inmediatamente dan las frmulas en
cuestin no encierran ms que senos y cosenos de los ngulos t y z, a causa
278 A. Traduccin de las dos Memorias de Lagrange
de
2
u z 1 + cos z
e = k tg .
2 1 cos z
Por eso nos contentaremos con examinar esta solucin.
Ella encierra, como se ve, algunas constantes arbitrarias, de las cuales
unas contribuyen a su generalidad, pero las otras no dan sino una genera-
lidad aparente, puesto que dependen de la posicin arbitraria de los ejes
de coordenadas; se puede pues, determinando estas ltimas de una forma
conveniente, ganar una mayor simplicidad, sin perder nada de generalidad.
Para esto observo que, como las dos rectas que son los lugares de los
centros de todos los meridianos y de todos los paralelos del Mapa son per-
pendiculares una a otra, se pueden tomar estas mismas rectas como los ejes
de coordenadas.
Supondremos pues que la recta de los centros de todos los meridianos es
el eje de coordenadas y, y que la recta de los centros de todos los paralelos
es el eje de abscisas x; para esto ser necesario ( y 14 15
): 1.o que el ngulo
90 gh sea recto, lo que da g+h = 0, y por consiguiente h = g ; 2.o que se
tenga, en general, X = 0, lo que da A = 1/(4abc); 3.o que se tenga tambin,
en general, = 0, lo que dar B = 0. Luego si se hacen estas sustituciones, y
se pone en lugar de u y de q sus valores en funcin de z del n.o 19; adems se
c c
cambia a por a/k , b por bk , 2c por c, y 2g por cg , lo que evidentemente
est permitido, ya que a, b, c, g y k son constantes arbitrarias; y se hace,
para abreviar,
2
z 1 + cos z
= tg = tg ,
2 2 1 cos z
se obtendrn:
a2 c b2 c
x= ,
2abc a2 c + 2ab cos [c (t g)] + b2 c
sen [c (t g)]
y= 2 c ,
c a + 2ab cos [c (t g)] + b2 c
1 cotg [c (t g)]
= 2abc sen [c (t g)] , Y = ,
r 2abc
1 a2 c + b2 c
= c a2 c b2 c ,
=
2abc a2 c b2 c
y
1 2 cos2 z
m= .
sen z a2 c + 2ab cos [c (t g)] + b2 c
279
1 1
=0 y = 0;
r
por consiguiente
r= y = ;
lo que da rectas para los meridianos y los paralelos; este es el caso de las
Cartas reducidas.
Para determinar pues en este caso la posicin de los diferentes meridianos
y de los diferentes paralelos, se har c = 0 en las expresiones de x e y , o mejor
solo se supondr c innitamente pequeo, observando que se tiene
c = 1 + c log y c = 1 c log ;
y se hallar:
ab a2 + b 2 tg
x= + log e y= ;
2abc (a + b) 2ab (a + b)2 (a + b)2
ahora bien, siendo c nulo, para que x no sea innito es necesario que ab
sea nulo al mismo tiempo que c; luego
a b = ch y b = a ch ,
o ms sencillamente:
x = A + B log e y = C + Bt ,
y = C + Bt
x = A + B log
es la ecuacin comn a todos los paralelos. As las primeras son rectas para-
lelas al eje de abscisas y cuya distancia a ese eje crece proporcionalmente a
la longitud t; y las ltimas son rectas paralelas al eje de ordenadas y cuya
distancia a ese eje crece proporcionalmente a los logaritmos de .
En las Cartas reducidas ordinarias se supone la Tierra esfrica, lo que da
= 0, y por consiguiente
z
= tg ;
2
lo que concuerda con la Teora conocida de esos tipos de Mapas. Pero al tener
en cuenta el achatamiento de la Tierra, se tendr
= tg ;
2
as pues en ese caso no habr ms que emplear la distancia al polo corregi-
da 19) en lugar de z .
(
Respecto al valor de m, ser, poniendo B en lugar de 1/(a + b)2 ,
B 1 2 cos2 z
m= .
sen z
23. Despus de haber examinado el caso en que la cantidad c es nula,
supondremos que esta cantidad tiene un valor real cualquiera; y observaremos
primero, en general, que al hacer c negativo en las frmulas del n.o 21, se
obtiene el mismo resultado que si se cambia solamente a por b. De donde
resulta que, para tener todos los casos posibles, basta dar a c valores positivos.
Veamos primero si hay meridianos y paralelos que estn representados en
el Mapa por rectas.
Para esto es necesario buscar los valores de t y de que dan r = y
= ; y es obvio que la suposicin r= dar
sen [c (t g)] = 0 ,
281
y por consiguiente
t=g o t = 180 + g ;
y que = dar
a2 c b2 c = 0 ,
de donde se obtiene
b
c = .
a
Al hacer estas sustituciones en las expresiones de x e y, una y otra se hacen
nulas. De donde se concluir primero que el eje de abscisas es l mismo un
meridiano que responde a la longitud t = g, y que el eje de ordenadas es l
mismo un paralelo que responde a una distancia al polo corregida tal que
c
b
tg = .
2 a
c
b h
= tg .
a 2
24. Ahora, como todos los meridianos deben cortarse en los polos, resulta
que los polos del Mapa estarn colocados en el eje de abscisas. Para determi-
narlos no habr ms que hacer z = 0 y z = 180 ; al contar comnmente las
distancias al polo desde el polo boreal de la Tierra, la suposicin z = 0 dar
el polo boreal del Mapa, y la suposicin z = 180 dar el polo austral. Ahora
bien z = 0 da = 0, y z = 180 da = ; haciendo pues estas suposiciones
en las expresiones de x e y, se obtendr para el polo boreal:
1
x= e y = 0,
2abc
y para el polo austral:
1
x= e y = 0;
2abc
donde se ve que los dos polos estn colocados a una parte y a otra del centro
a distancias iguales.
282 A. Traduccin de las dos Memorias de Lagrange
Llamaremos a la parte del eje de abscisas que est entre ambos polos, y
que est dividida en dos igualmente por el centro del Mapa, el eje del Mapa,
y designaremos este eje por la cantidad 2 . Se tendr pues = 1/(2abc), y
de ah:
1
ab = ;
2c
esta ecuacin, siendo combinada con la precedente:
c
b h
= tg ,
a 2
servir para determinar las dos constantes a y b. Donde se ve que el eje
del Mapa tambin es arbitrario, y por consiguiente puede determinarse a
voluntad segn el tamao que se quiera asignar al Mapa mismo.
25. Veamos ahora cmo se debe proceder para trazar los meridianos y los
paralelos de un Mapa cuyo centro y eje estn dados.
Sea C el centro del Mapa (g. 1), B su polo boreal, de modo que BC = ;
con centro C BC se describe la circunferencia BDAE , y se trazan
y radio
los dos dimetros BCA y DCE perpendiculares entre ellos; el punto A ser
el polo austral del Mapa; el punto C ser el origen de coordenadas x e y ; la
lnea AB ser el eje del Mapa y al mismo tiempo el eje de las abscisas x, que
sern positivas yendo de C hacia A, y negativas yendo de C hacia B ; y la
lnea DE ser el eje de las ordenadas y , que sern positivas yendo de C hacia
283
a2 c b2 c = 0 ;
a4 2c 2a2 b2 + b4 2c = 0 ;
sen [c (t g)]
y= ,
2abc cos [c (t g)] 1
c (t g) c (t g)
y = tg o = cotg .
2 2
Se tomarn pues los arcos BT y AT 0 con un nmero de grados igual al
ngulo c(t g), siendo tg la diferencia de longitud entre el meridiano que
se intenta trazar y el meridiano que pasa por el lugar que se supone est en el
0
centro del Mapa; y habiendo trazado desde el punto A las cuerdas AT y AT ,
los puntos M y N, donde estas cuerdas cortan la lnea DE prolongada si es
necesario, sern los dos extremos del dimetro MN de la circunferencia que
representar al meridiano buscado; de modo que no habr ms que describir
284 A. Traduccin de las dos Memorias de Lagrange
c (t g) c (t g)
CM = tg y CN = cotg .
2 2
27. Venimos ahora a los paralelos, y buscamos del mismo modo los puntos
donde cada paralelo debe cortar el eje BA. Se supondr pues y = 0, lo que
dar
sen [c (t g)] = 0 ,
y por consiguiente
c (t g) = 0 o = 180 ;
se har esta sustitucin en la expresin de x y se obtendr
a2 c b2 c
x= ,
2abc (a2 c 2ab + b2 c )
que se reduce a
b
c c
a 2 b 2 c
x= c = a .
c
2abc a 2 b 2 b
2abc c
a
Ahora bien:
= tg ,
2
siendo la distancia al polo corregida del paralelo, y
c
b h
= tg ,
a 2
siendo h la distancia al polo corregida del lugar que responde al centro del
Mapa, la cual se supone dada, siendo por otra parte a voluntad los signos
ambiguos; luego, puesto que 1/(2abc) = , se obtendr
c c
h
tg tg
2 2
x = c c .
h
tg tg
2 2
285
h h
tg tg sen
x = 2 2 = 2 ,
h h
tg tg sen
2 2 2
que es muy cmoda para el clculo logartmico. Para la construccin se cam-
biar sen[(h )/2] por su equivalente:
h h h
sen h = sen h cos cos h sen ;
2 2 2
y sustituyendo se obtendr
h
x = cos h sen h cotg .
2
Si se toma el arco AH con un nmero de grados igual al ngulo h, y
0
los arcos BZ y BZ con un nmero de grados igual al ngulo ; y desde el
0
punto H se trazan las secantes HZP y HQZ , que cortan el eje AB en P y
en Q; estos dos puntos sern por los que deber pasar la circunferencia del
paralelo en cuestin.
En efecto est claro que se tendr (al trazar la cuerda HGH 0 perpendi-
cular al eje BA):
CG = cos h y GH = sen h ;
0 0
adems el ngulo Z HH ser (180 h )/2 , y el ngulo ZHH 0 ser
(180 h + )/2 ; luego
h+ h
GQ = sen h cotg y GP = sen h cotg ;
2 2
por consiguiente
h+
CQ = sen h cotg cos h
2
y
h
CP = sen h cotg cos h ;
2
luego
x = CQ o = CP ;
286 A. Traduccin de las dos Memorias de Lagrange
luego etc.
29. Si con centro G y radio GH se describe la circunferencia Hzbz 0 H 0 , y
se toma en la circunferencia el arco Hb con un nmero de grados igual a h,
y los arcosbz y bz 0 con un nmero de grados igual a ; despus se trazan las
0
secantes Hz , Hb y Hz prolongadas hasta el eje AB , ellas cortarn este eje
en los puntos P , B y Q. Pues se tendr: el ngulo bHG = (180 h)/2 , el
0
ngulo z HG = (180 h )/2 y el ngulo zHG = (180 h + )/2 ; luego
h h+
GP = sen h cotg , GQ = sen h cotg
2 2
y
h h
GB = sen h cotg = 2 cos2 = + cos h ;
2 2
lo que concuerda con los resultados de arriba.
Esta ltima construccin ser til cuando la posicin del punto G del
Mapa est dada, en lugar de la del centro C; y veremos ms abajo que ese
punto G tiene la propiedad de que la cantidad m es un mnimo de acuerdo
con la hiptesis de la Tierra esfrica ( 36).
Por otra parte, a poco que se examine esta construccin, es fcil ver
la conformidad que se da con los principios de la proyeccin estereogrca
ordinaria; la longitud g y la distancia al polo h sern las que respondan al
lugar del ojo en la supercie del globo; y el punto G del Mapa, que responde
a la misma longitud g y a la distancia al polo 180 h, ser el centro de
la proyeccin, es decir el punto del plano de proyeccin por el que pasa el
dimetro del globo que lleva al lugar del ojo; por ltimo la lnea GH ser
igual a la distancia desde el ojo a ese mismo plano.
De ello se concluir pues que el caso c = 1 da la conocida proyeccin
estereogrca; y que as nuestras frmulas generales encierran a la vez los
dos tipos de Mapas ms utilizados. Adems se ve por esas frmulas con
cunta facilidad se puede tener en cuenta el achatamiento de la Tierra en
la misma proyeccin, puesto que no se trata sino de tomar, en lugar de la
verdadera distancia al polo z, la distancia corregida , que hemos visto ( 19)
es poco ms o menos igual a
2
z+ sen 2z.
2
30. En la supercie de la Tierra la circunferencia de cada paralelo est
dividida por los meridianos en partes proporcionales a las diferencias de lon-
gitud; veamos pues cmo la circunferencia de los paralelos del Mapa estar
dividida por los meridianos.
287
RS = y, BC = y CS = x;
luego
BS = + x,
y por consiguiente
y
tg RBA = .
+x
Si se sustituyen x e y por sus valores dados por las frmulas generales del
n.o 21, se hallar, a causa de = 1/(2abc):
b sen [c (t g)]
tg RBA = .
ac + b cos [c (t g)]
Ahora bien se tiene en las frmulas del n.o 27 (tomando los signos superiores):
b ac
CQ = x = ;
2abc (ac + b)
luego
c 1
BQ = CQ = y AQ = + CQ = ;
bc (ac + b) ac (ac + b)
luego
BQ ac
= ;
AQ b
sustituyendo este valor en la expresin precedente de tg RBA, se obtendr
AQ sen [c (t g)]
tg RBA = ;
BQ + AQ cos [c (t g)]
lo que proporciona la siguiente construccin para hallar el ngulo RBA.
Si se describe con centro Q y radio QA una circunferencia, y se divide
la circunferencia comenzando en el polo A en partes que respondan a los
ngulos c(t g); si a continuacin se traza desde el otro polo B a cada
una de estas divisiones rectas BR prolongadas si es necesario; estas lneas
dividirn el paralelo P RQ en partes QR correspondientes a la diferencia de
longitud gt entre los meridianos BA y BRA.
La circunferencia en cuestin se llama, a causa de esta propiedad, una
circunferencia divisora ; y en la proyeccin estereogrca, para la cual se tiene
288 A. Traduccin de las dos Memorias de Lagrange
2 a2 2c ac
1.o = , = ,
2 b2 b
1 2
2.o = a2 b2 c4 a2 c + 2ab cos [c (t g)] + b2 c ;
2 2
y de ah
1
= abc2 a2 c + 2ab cos [c (t g)] + b2 c .
c
Si en esta ltima ecuacin se sustituye por su valor b/(a) obtenido
de la primera, se tendr
1 2 2 2
=a b c + 2 cos [c (t g)] + ,
a saber, al multiplicar por y al sustituir abc por su valor 1/(2),
4 2 = 2 + 2 cos [c (t g)] + 2 .
BA = 2, BR = y AR = ,
289
y por consiguiente
BRA = 180 c (t g) .
De modo que se obtendr t g , es decir la diferencia de longitud de los
meridianos BA y BRA, igual a (180 BRA)/c .
Respecto a la primera ecuacin:
ac
= ,
b
RA : R0 A = RV : V A = V A : R0 V ,
y por consiguiente
2 2 2 2 2
RA : R0 A = RV : R0 V ; luego RA R0 A : R0 A = RR0 : R0 V .
y
c c c
RB R0 B R00 B 0 00
: : = tg : tg : tg ;
RA R0 A R00 A 2 2 2
lo que proporciona como se ve cuatro ecuaciones, las cuales bastarn para la
determinacin de los dos puntos A y B.
El Problema en cuestin se reduce, en general, a este: dados tres puntos:
R, R0 y R00 , construir sobre una misma base AB tres tringulos cuyos vrtices
estn en los puntos dados, y que sean tales que: 1.o las diferencias de los
ngulos en el vrtice: BRA, BR0 A y BR00 A, estn dadas; 2.o las razones
de los lados que comprenden estos ngulos, es decir, RB/RA, R0 B/R0 A y
R00 B/R00 A, estn entre ellas en razones dadas.
Ahora bien este Problema me parece bastante difcil para resolver con
Geometra; y en cuanto a la solucin algebraica, yo no lo he intentado, sea
por no apartarme demasiado de mi tema, sea tambin porque me parece
que no tendra ningn uso, a menos que se pudiera reducir despus a una
construccin fcil.
Por lo dems, si se quisiera emprender esa solucin, tambin se podran
utilizar las frmulas generales del n.o 21. Pues al suponer que las coordenadas
x e y responden al punto R, y designando por x0 e y0 las coordenadas del
292 A. Traduccin de las dos Memorias de Lagrange
punto R0 , y por x00 e y 00 las coordenadas del punto R00 , se obtendrn estas
tres ecuaciones:
2 2 2
(x0 x) + (y 0 y) = RR0 ,
2 2 2
(x00 x) + (y 00 y) = RR00
y
2 2 2
(x00 x0 ) + (y 00 y 0 ) = R0 R00 .
0
Sustituyendo pues x, y , x , y 0 , x00 e y 00 por sus valores, en los que las cantidades
0 00 0
t, t y t , as como , y 00 estn dadas, se obtendrn tres ecuaciones que
servirn para determinar las tres constantes a, b y g ; y el Problema estar
resuelto en cuanto se conozcan los valores de estas constantes.
Mediante este Problema se podr pues construir un Mapa en el que estn
situados a voluntad tres lugares cualesquiera; lo que puede ser til en algunas
ocasiones.
35. Consideremos ahora la alteracin causada por la proyeccin en el ta-
mao de los distintos lugares de la supercie de la Tierra, y veamos los modos
de disminuirla. Ya hemos visto ( 21) que suponiendo el radio del ecuador de
la Tierra igual a 1, el tamao natural de cada lugar est aumentado o dismi-
nuido en el Mapa segn la proporcin 1 : m, determinndose la cantidad m
por esta frmula:
1 2 cos2 z
m= ,
sen z a2 c + 2ab cos [c (t g)] + b2 c
la cual, poniendo 1/(2) en lugar de abc, tg(/2) en lugar de y [tg(h/2)]c
en lugar de b/a, se convierte en esta:
2c 1 2 cos2 z
m= " h c # .
tg 2 c
tg 2
sen z + 2 cos [c (t g)] +
tg h2 tg 2
Primero es evidente que, respecto a la variable t, el valor ms pequeo
de m ser cuando t = g, en cuyo caso la variacin de m ser nula; pues al
hacer t = g + , se tendr, mientras sea muy pequeo:
c2 2 c4 4
cos [c (t g)] = 1 + ,
2 234
donde se ve que el trmino que contiene la primera potencia de no se
2
encuentra; en cuanto al trmino que contiene , ser imposible eliminarlo, a
menos que se suponga c = 0, lo que da el caso de las Cartas reducidas ( 22).
293
1c
h z 1 + cos z 2
tg = tg = tg 21);
(
2 2 2 1 cos z
z
2 tg
sen z = 2 ;
z
1 + tg2
2
luego, al sustituir el valor precedente, se obtendr
2
sen z = ,
1 1 h 1 1 h
c c
cotg + c c tg
2 2
294 A. Traduccin de las dos Memorias de Lagrange
y por consiguiente
c 1+ 1c 1 1c h 1 1c 1+ 1c h
m= tg + cotg ,
4 2 2
expresin general del valor de m en un punto cualquiera R del Mapa, la cual
no depende ms que de las dos distancias: = RB y = RA, desde ese
punto a los dos polos.
37. Si se hace c = 1 para tener el caso de la proyeccin estereogrca (29),
se obtendr
h h
2 tg + 2 cotg 2 2 2 2
m= 2 2 = + ( ) cos h .
4 4 sen h
Ahora bien se tiene (g. 1):
2 2 2 2 2
2 = RB = RS + BS = RS + CB CS
y
2 2 2 2 2
2 = RA = RS + SA = RS + CA + CS ;
luego (a causa de CA = CB ) se obtendr:
2 2 2
2 + 2 = 2 RS + 2 CA + 2 CS
y
2 2 = 4 CA CS ;
adems se tiene
luego
2 2 2
RS + CA + CS + 2 CS CG
m= ;
2 GH
ahora bien
2 2 2
CA = CG + GH ;
y, uniendo los puntos G y R por la recta GR, se tiene tambin
2 2 2 2 2 2
GR = RS + SG = RS + CS + 2 CS CG + CG ;
2 2
GR + GH
m= .
2 GH
295
+ = AB = 2;
c 1+ 1c 1 1c h 1 1c 1+ 1c h
m= tg + cotg
4 2 2
c c + 1 1 1 1 c 1 1+ 1 1 h
+
c c c c tg
4 c c 2
c 1 1 1+ 1 c + 1 1 1 1 h
+ c c c c cotg
c c 2
2 2
c c + 1 1 1 1 1 2(c 1) 1 1 c 1 1+ 1 1 1 h
+ 2
c c 2
c c 2 c c tg
4 c c c 2
2
c 1 1 1 1+ 1 2(c 1) 1 1 c + 1 1 1 1+ 1 h
+ 2 c c c c + 2 c c cotg
c c2 c 2
h 1 1 1 1
i h
(c + 1) c 1 c (c 1) 1+ c c tg
2
h 1 1 1 1
i h
+ (c 1) c 1+ c (c + 1) 1 c c cotg = 0,
2
a saber, al hacer / = n y reduciendo,
1 h 1 h
n c c + 1 (c 1) n tg + n c c 1 (c + 1) n cotg = 0,
2 2
296 A. Traduccin de las dos Memorias de Lagrange
1 h
n c c + 1 2 c2 1 n (c 1) n2 tg
2
1 h
n c c 1 + 2 c2 1 n (c + 1) n2 cotg = 0;
2
y se podrn satisfacer estas dos ecuaciones a la vez por medio de las canti-
dades c y n vistas como incgnitas.
39. Ahora bien si se llama $ a la distancia al polo elevado o complemento
de la latitud del lugar situado en el meridiano rectilneo BA en el que las
dos ecuaciones en cuestin sern observadas, se obtendr, al sustituir en la
frmula del n.o 36: 1c
z h
tg = tg ,
2 2
$ en lugar de z y n en lugar de /, se obtendr, digo,
$ 1 h
tg = n c tg ;
2 2
luego, a causa de
h 1
cotg = ,
2 h
tg
2
1
las dos ecuaciones del nmero precedente, al ser multiplicadas por n c tg(h/2),
se convertirn en:
$
c + 1 (c 1) n tg2 + c 1 (c + 1) n = 0
2
y
$
c + 1 2 c2 1 n (c 1) n2 tg2
2
c + 1 2 c2 1 n + (c + 1) n2 = 0.
La primera da
$
(c + 1) tg2+c1
n= 2 ,
$
(c 1) tg2 + c + 1
2
297
6 $
h 2 i
2 2 2
(c + 1)(c 1) (c 1)(c + 1) 2 c 1 1 + tg
2
h
+ 2 (c 1)(c + 1)2 2 (c + 1)(c 1)2 2 c2 1 (c 1)2
2 i 2 $ $
2 c2 1 (c+1)2 +(c+1)3 (c1)3 2 c2 1 + tg4
tg = 0,
2 2
que se reduce a esta:
$ $ $
c2 1 1 + tg6 + 3c2 7 tg2 + tg4 = 0;
2 2 2
de donde se obtiene
$ $ $
1 + 7 tg2 + 7 tg4 + tg6
c2 = 2 $
2
3
2 ,
1 + tg2
2
a saber
$
4 tg2
c2 = 1 + 2 = 1 + 4 sen2 $ cos2 $ ,
$ 2 2 2
1 + tg2
2
o ms sencillamente:
c2 = 1 + sen2 $ y c= 1 + sen2 $ .
c cos $
n= .
c + cos $
El valor de c ser el exponente de la proyeccin ( 22), n dar
y el valor de
la razn BK/AK de las partes del eje BA del Mapa en el punto K en
que tendrn lugar las condiciones propuestas, y cuya longitud ser g y la
latitud90 $.
40. Por tanto el lugar en cuestin tendr esta propiedad: la cantidad m
ser ms o menos constante en todos los lugares circunvecinos; de modo que
el tamao de las regiones circunvecinas estar alterado lo menos posible, y
conservarn por consiguiente ms o menos su forma natural, ya que por otro
298 A. Traduccin de las dos Memorias de Lagrange
1
h KA c $
tg = tg ;
2 KB 2
y se obtendrn todos los elementos necesarios para la construccin del Mapa
propuesto.
41. Cuando el exponente de la proyeccin, c, est dado, como en la pro-
yeccin estereogrca donde c = 1 (29), no se puede hacer desaparecer en
la expresin de m ms que los trminos afectados de la primera dimensin
de , tomando ( 39)
KB c cos $
n== ;
KA c + cos $
y es obvio que la variacin de m y por consiguiente la deformacin del Mapa
ser siempre ms grande en este caso que en el caso precedente, donde se
299
1 cos $ $
n= = tg2 ;
1 + cos $ 2
pero se tiene, en general, cuando c = 1,
$ 1 h h
tg = n c tg = n tg ;
2 2 2
luego
h h 1 + cos h GB
n = n2 tg2 y n = cotg2 = = ;
2 2 1 cos h GA
pero n = KB/KA; luego el punto K cae en G, lo que concuerda con lo que
hemos visto ms arriba ( 37).
Ahora bien, por la expresin general de m dada en ese nmero, es fcil
ver que el valor de m en los lugares situados en el eje BA a una distancia
cualquiera desde el punto G ser
2
GH + 2
;
2 GH
de donde resulta que, por mucho valor que pueda tener la cantidad GH , jams
podr desaparecer la segunda dimensin de del valor de m, a menos que se
suponga GH = , lo que sera absurdo, pues entonces se obtendra tambin
m = . Luego no desaparecer tampoco en el caso del n.o 39, cuando el valor
de $ sea tal que c = 1, lo que ocurre al hacer sen $ = 0, y por consiguiente
$ = 0 o = 180 , es decir, cuando uno o el otro polo deben ocupar el centro
del Mapa, en cuyo caso se obtendra la proyeccin estereogrca polar; de
esto tambin puede convencerse por las frmulas mismas de los n.os 38 y 39.
En efecto si se supone, lo que es lo mismo, sen $ innitamente pequeo
e igual a i, se tendr:
i2 i2
c=1+ y cos $ = 1 ,
2 2
luego
r
i2 $ 1 cos $ i
n= y tg = = ,
2 2 1 + cos $ 2
luego, a causa de tg($/2) = n1/c tg(h/2), se obtendr:
h 1 h
tg = y cotg = i.
2 i 2
300 A. Traduccin de las dos Memorias de Lagrange
Ahora bien:
=n y + = 2;
se tendr pues
= i2 y = 2.
Sustituyendo estos diferentes valores en la expresin general de m del n.o 38
y despreciando lo que se debe despreciar a causa de i innitamente pequeo,
se obtendr:
2
m = 2i i + ,
2i
donde se ve que el trmino afectado por desaparece al hacer i = 0, pero no
el que contiene 2 . Este es el nico caso en el que los resultados generales del
n.o 39 tienen una excepcin; lo que ocurre es que la ecuacin que proviene
2
de la eliminacin del coeciente de ha sido multiplicada por la cantidad
1+1/c
n tg(h/2), la cual en el caso presente se convierte en i3 /4. He credo que
deba entrar en este pequeo detalle para levantar la contradiccin aparente
que se habra podido observar entre los resultados de los n.os 37 y 39.
42. Supongamos que se tratase de construir un Mapa cuyo centro deba
estar ocupado por la ciudad de Berln; se tendr pues:
g = 31 20 1
2
y 90 $ = 52 310 21 ,
por consiguiente
$ = 37 280 12 ;
de ah se hallar
q
c = 1 + sen2 37 280 21 = 1, 1706 ,
y
0, 3770
n= = 0, 19194 .
1, 9642
Se tomar pues como exponente de la proyeccin, c, el nmero 1,17, que
diere poco, como se ve, de la unidad; de modo que la proyeccin no se alejar
mucho de la proyeccin estereogrca; despus, al suponer que Berln est en
el punto K , se determinarn los polos B y A de modo que KB/KA = 0, 192,
es decir, se tomar KB : KA como 19 es a 100 aproximadamente.
Referencias
Adams, O. S., 1919, General theory of polyconic projections, U.S. Coast and
Geodetic Survey, Special Publication 57, Washington D. C. Reimprimido
en 1934.
Brown, B. H., 1935, Conformal and equiareal world maps, American Mathe-
matical Monthly, vol. 42, nm. 4, pp. 212-223.
Carne, K., 1990, The Schwarzian derivative for conformal maps, Journal fr
die reine und angewandte Mathematik, vol. 408, pp. 10-33.
Cayley, A., 1881, On the Schwarzian derivative, and the polyhedral functions,
Transactions of the Cambridge Philosophical Society, vol. 13, part I, pp.
5-68. En The Collected Mathematical Papers Of Arthur Cayley, Cambridge
University Press, London, vol. 11, nm. 745, pp. 148-216, 1896.
Craig, T., 1882, A treatise on projections, U.S. Coast and Geodetic Survey,
Washington.
Daners, D., 2012, The Mercator and stereographic projections, and many in
between, American Mathematical Monthly, vol. 119, nm. 3, pp. 199-210.
Darboux, J. G., 1887,Leons sur la thorie gnrale des surfaces et les appli-
cations gomtriques du calcul innitsimal. Premire partie: Gnralits.
Coordonnes curvilignes. Surfaces minima, Gauthier-Villars, Paris.
Dearing, P. M., Zeck, C. R., 2009, A dual algorithm for the minimum covering
ball problem in Rn , Operations Research Letters, vol. 37, nm. 3, pp. 171-
175.
Dienger, J., 1852, Du trac gographique des surfaces courbes les unes sur les
autres, et application de ce trac la construction des cartes gographiques,
Nouvelles annales de mathmatiques, Primera serie, vol. 11, pp. 252-268.
Dombrowski, P., 1979, 150 years after Gauss' disquisitiones generales circa
supercies curvas, with the original text of Gauss, Astrisque, vol. 62, pp.
1-153, Socit Mathmatique de France.
Driencourt, L., Laborde, J., 1932, Trait des projections des cartes gograp-
hiques l'usage des cartographes et des godsiens, Cuatro volmenes, Li-
brairie Scientique Hermann, Paris.
Gehring, F. W., 1978, Spirals and the universal Teichmller space, Acta Mat-
hematica, vol. 141, nm. 1, pp. 99-113.
Germain, A., 1866, Trait des projections des cartes gographiques, reprsen-
tation plane de la sphre et du sphrode, Arthus Bertrand, Paris.
Goodman, A. W., 1968, Curvature under an analytic transformation, Journal
of the London Mathematical Society, vol. 43, pp. 527-533.
304 Referencias
Hille, E., 1959, Analytic function theory, vol. 1, Second edition, Chelsea Pu-
blishing Company, New York.
Klein, F., 1884,Vorlesungen ber das Ikosaeder und die Ausung der Glei-
chungen vom fnften Grade. Traduccin inglesa de G. G. Morrice: Lectures
on the icosahedron and the solution of equations of the fth degree, 1888.
Second revised edition, Dover Publications, 1956, New York.
Knig, R., Weise, K. H., 1951, Mathematische grundlagen der hheren geo-
dsie und kartographie, tomo 1: Das erdsphroid und seine konformen ab-
bildungen, Springer-Verlag, Berlin.
Kreyszig, E., 1968, Introduction to dierential geometry and riemannian geo-
metry, University of Toronto Press, Birkenhead.
Referencias 305
Kummer, E., 1836, ber die hypergeometrische Reihe..., Journal fr die reine
und angewandte Mathematik, vol. 15, pp. 39-83 y 127-172.
Marsden, J. E., Tromba, A. J., Weinstein, A., 1993, Basic multivariable cal-
culus, Springer-Verlag, New York.
Milnor, J., 1969, A problem in cartography, American Mathematical Monthly,
vol. 76, nm. 10, pp. 1101-1112.
Needham, T., 1997, Visual complex analysis, Oxford University Press, New
York.
Snyder, J. P., Steward, H., 1988, Bibliography of map projections, U.S. Geo-
logical Survey Bulletin 1856, Second edition, 1997, Washington D. C.
Snyder, J. P., Voxland, P. M., 1989, An album of map projections, U.S. Geo-
logical Survey professional paper 1453, Washington D. C.
Tissot, N. A., 1881, Mmoire sur la reprsentation des surfaces et les projec-
tions des cartes gographiques, Gauthier-Villars, Paris.
Volkovyski, L., Lunts, G., Aramanovich, I., 1984, Problemas sobre la teora
de funciones de variable compleja, Editorial Mir, Mosc.
VonderMhll, K., 1868, Ueber die Abbildung von Ebenen auf Ebenen, Crelle's
Journal (Journal fr die reine und angewandte Mathematik), vol. 69, pp.
264-285.