Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
O F T HE
HIS T O R IC AL D EVEL O P M EN T O F
P S E U D O S P H E R IC AL S U R FA C E S
FRO M 1 8 2 7 TO 1 887 .
DO C T O R O F P H I L OS O P H ! , IN T H E FAC U L T ! OF P UR E S C I E NC E ,
COL U M B I A UN I V E R S IT! .
B!
EMIL! C O DDIN G T O N .
P as s: 0!
hi s NE! ERA P n n m u c C ou n l
L ua n n . PA
1905
A BRIEF ACCO UNT O F THE HISTO RICAL DEVELO P MENT O F
P SEUDO SP HERICAL SURFACES FRO M 18 27 TO 188 7
E n n e p e r s surfaces
.
II .
T HE S U R F A CE CENTERS AN D T HE TR A N S F OR M A T I ON O F
OF . O NE
P S E UD O S P HER I C AL S U R F A CE I NTO A NOTHER .
3 . Wei n garte n s t w o theorems o n s urfaces w ho s e ra dii of c u r vat ure are fu nct iona lly
related .
B OO KS O F RE F ERENCE .
4 . L ob ats ch e w s ky Ka s an e r B o t o n 1 8 2 9
, Ne u e An fan gs gru n d e der G e o m e tric n ebs t
,
.
i n to F re n ch by J H o iie l . .
E . M . C O DD I N GTO N .
M indin g , E F A . . .
, U eber die B iegun g ge w isser Fl a che n . J . fur M ath .
,
XVII I ,
1 8 38 .
XX .
,
1 8 40 .
S err e t J , . A .
, N ote sur u n e equ a tio n au x d riv es partielles . J our n de M ath . .
,
X III .
,
1 8 48 .
Bo nn e t ,
M moire sur la th orie g n rale des surfaces . J de 1 Ec Pol cah
.
. . .
XXXII 1 8 48 .
,
.
18 50 .
6
2
log A A
L i ouv ill e , J S ur l qu atio n a u x diffe re n ces partielle s Jour n
11 .
, t 0 .
de M ath XV II I 1 8 5 3 .
, ,
.
I rish Academ y V0 1 2 2 1 8 5 3 ,
.
,
.
1859 .
15 C o d azz i Nota i n tor n o 1e s u p e r c ie che ha nn o costa n te i1 prodo tto dei due raggi
, ,
C re lle , 5 7 , 18 60 .
M ath L IX 1 8 6 1 .
,
.
,
.
18 . Enn e p e r A U eber ei n i g e F ormel n a u s der a n aly t ische n G eome t rie der F l a che n
, .
, .
S ct m ilc hZ .
,
VII .
,
1 8 62 .
XXXIX 1 8 62 .
,
.
di M at VI 1 8 6 4 .
, .
,
.
A nn ali di M at VII 1 8 6 5 .
, .
, .
M at VII 1 8 6 6 .
,
.
, .
31 .
Bonn et M moire sur la th orie des surfaces applicables sur u n e sur face do nn e
,
.
J de l Ec Pol cah X L II 1 8 67
.
. . .
,
.
,
.
Normale VI ,
.
, . .
, . . .
,
1 8 68 .
italian a I 18 68 .
,
.
36 .
D ie c yklis c he n F l a che n S c t m ilc hZ XIV 1 8 69 . .
,
.
,
.
37 . Bel tram i E T eoria fon dame nt ale degli spaz ii d i curvatur a cost ant e A nn al i
, .
, .
di M a t II 1 8 69 . .
,
.
I L 1 8 69 ,
.
d U n i v T oscan a 18 6 9
. .
, .
40 . , .
, GO tt . .
N achr .
,
1 8 70 .
41 U eber asymptotische Li n ie n GO tt Na c hr 1 8 70 . . .
,
.
. . .
,
.
1 8 71 .
Fra n k u t a 1 8 71 '
. .
47 . D ini , U .
, S opra al cun e formole ge n erali della t eoria delle s u p e r c ie . A nn ali di
M at IV 1 8 7 1. .
,
.
d o s fe ric he B att G X 1 8 72 . . .
,
.
,
.
52 . En n e p e r A B emerku n ge n ii b e r g e o datis c he Li n ie n
, . S c t m iloh Z XVII I
, . . .
, ,
1 8 73 .
mu n g Wie n B er L XIX 1 8 74 : . . .
,
.
,
G O tt N a c hr . .
,
1 8 74 .
55 . K l ein P U eber Nicht E uk lidi s che G eome trie M ath Ann VII 1 8 74
, .
,
-
. . .
,
.
,
.
N a chr .
,
18 76 .
58 . B o ckw oldt, G .
, U eber die E n n e p e rc hen Fl a che n m it co n s tan te m positi v em
Kr m m un gs m a ss . D iss . G O ttin ge n ,
1 8 76 .
E . M . C O DD IN GTO N .
N a tu rv IV 18 79 .
,
.
,
.
si n d Arch for M at o g Na tu r v IV 1 8 79
. . . . .
,
.
,
.
62 . K las s ika tio n der F l ache n n ach der T ra n s fo rm a tio n s g ru pp e ihrer geod a
t ische n C u rve n U n ive rs ita ts p ro g r C hristian ia 1 8 79 . .
,
.
A nn ali di Pi s a II 1 8 79 ,
.
,
.
XV 1 8 79 .
,
.
XX I X 1 88 0 ,
.
G O ttin ge n ,
1 8 79 .
D a rb o u x B ull IV 1 8 80 . .
,
.
N a tu rv .
, V .
,
1 88 0 .
A nn X VI 1 880 .
, ,
.
. .
A nn XVII 1 88 0 .
,
.
,
.
XIX 1 8 8 1 .
,
.
D ortmu n d 1 88 1 ,
.
73 .
, ung .
(1 W
Arch for M at o g N atu rv VI 1 8 8 1
. . . .
,
.
,
.
74 .
, F (z) . . . 0g . N a tu rv .
,
VI .
,
188 1 .
75 . B ackl un d , A V . .
, . M ath A nn XIX . .
, .
,
18 8 1 .
F l ache n B erl B er 1 88 2 . . .
,
.
X CVII 1 8 8 3 .
, .
c R X C VII 1 88 3
. .
, .
,
.
83 .
Bi an chi , L .
,
S opra alcun e classi di sistema t ripl i ciclici di s u p e r c ie o rt o g o n ali ,
Batt . G .
,
XXL , 1 88 3 .
. C hristian ia F orb .
,
XVIII .
,
18 8 3 .
85 .
Kuen U eber F l a che n v o n c o n s ta n te m Kriim m u n gs m ass M iin c h B er 1 88 4
, T h, .
. . .
,
.
86 .
B ackl und A V O m yto r med ko n s tan t n egat i v krO kn in g L u n d Arss kr 18 8 4
, . .
,
. . .
,
.
XXXVII 1 88 4 .
,
.
1 88 4 .
89 .
S opra una cla sse di sist emi t ripli di s u p e r cie or togo n ali A nn ali di M a t . .
XIII 1 88 5 .
,
.
188 5 .
91 .
S opra i s istemi t ripli or t ogo n ali d i We in g arte n . Rom Acc . . L . Re n d .
I , 1 88 5
. .
92 . V o l terra , V .
, S ulla deforma z io n e delle s u p e r c ie e s s ib ili ed in e s te n dib ili . Rom .
Acc L Ren d . I 18 8 5
. . .
,
.
93 .
Bi anchi L Aggiu n te alla memori a ; S opra i sis t emi t ripli or t ogo n ali di Wei n
, .
,
94 .
S opra i s is temi t ripli ort ogo nali che co nt e n go n o u n sistema di s u p e r c ie ,
F l a che J fur M at h V ol C 1 8 8 6 . . .
,
. .
,
.
97 . , .
, ,
98 .
Bi anchi L S opra i s istemi doppiame n te in n iti di raggi Rom Acc L Re n d
, .
, . . . . .
III 1 8 8 7 .
,
.
XXX 1 8 8 7 .
,
.
z io n i Napoli Re n d
. II 1 8 8 8 . .
, .
1 06 . , .
, .
B ologn a Acc Re n d 1 8 88 . .
, .
1 08 . Wein garte n J U eber ei n e E ige n schaft der F l a che n bei de n e n der ei n e H aupt
, ,
American J X 1 8 8 8 .
,
.
, .
au ty p e (le Liouville C R C IX 1 8 8 9 . . .
, .
,
.
c R I C VIII 1 8 8 9
.
,
.
,
.
Norm VI 1 8 8 9 .
,
.
,
.
1 889 .
B att G XXVII 1 8 8 9 . .
, .
, .
l Ec Norm
VII 1 8 9 0
. . .
,
.
R CX 1 8 9 0 .
, .
, .
. . . .
,
XXIII 1 89 0 .
, .
Rom Acc L Re n d . 1 8 90 . . . .
A nn ali di M at XVIII 1 8 9 0 . .
,
.
VI , 1 8 90 . .
1 28 Rib an co ur, A .
, M moire sur l a th e orie g n rale des s urface s courbes . J our n de .
M ath VII 1 8 9 1
Voss A Z ur theorie der Kriim m u n g der F l a che n M athA nn XXXIX 1 8 9 1
. . .
,
129 , .
, . . .
,
.
,
.
C XIII 1 8 9 1 .
,
.
C XIII 1 8 9 1 .
, .
a d Ruhr 1 8 9 1
. .
, .
u
S p eciali I st Lomb Re n d XXIV 1 8 9 1 . . . . .
, .
Rom Acc L Re n d . 18 9 2 . . . .
A nn ales VI 18 9 2 ,
.
,
.
B ia n chi C R C XV 1 8 93 . . .
,
.
,
.
A nn ales VII 1 8 9 3 , .
, .
poi n t xe C R C XVI 18 9 3 . . .
,
.
,
.
14 6 .
, .
, .
D iss Wiirzb u rg 18 9 3
.
, .
Acc L Re n d . 1 894 . . .
1 48 . Applicazio n i geometri che del me t odo delle appros s ima zio n i s uccessi v e di
Picard Rom Acc L Re n d . 1894 . . . . .
151 . S o le r
, 8 0 p m u n a certa deformat a della sfera Palermo Re n d V III 18 9 4 . .
, .
,
.
C R C XVIII 1 8 9 4
. .
,
.
, .
1 8 94 .
18 94 .
157 . B usse P U eber diej e n ige pu n kt w eise ei n deu t ige Be z iehu n g z w eier F l a che n
, .
,
. .
,
.
1896 .
G eometrie M ath A nn 4 9 1 8 9 7 . . .
, ,
.
N ac hr ,
No 7 1 8 9 7 .
,
.
M un ch B er 2 7 1 8 9 7 .
, ,
.
P aris 1 8 98 , .
Nom 1 5 18 98 .
,
.
1 77 . M e tz le r , G . P .
, S ur faces of ro tatio n w i th con st an t mea su re o f cur v ature . Am J . .
of M ath 20 1 8 9 8 .
, ,
.
Ho he s c hu le B riin n ,
1 33 , 1 8 99 .
18 2 . H ilbe rt , D .
, U eber F l a che n v o n c o n s tan te r G au ss ic her Krii m m u n g . T r an s . Am .
M ath S oc 1 1 9 01 . .
,
.
1 8 3 Z u hlk e P
. U eber die g e o datis c he n li n ie n u n d D reiecke auf de n F l a che n C o n
, .
,
Kr m m u n gs m as s e s au f die
I n the follo w i n g pages t he n otatio n of the v arious authors quoted has bee n tra n s
lated i nt o th e n o t atio n used by B ian chi i n his book e n ti tled L e zion i di ge om e tria di e r
special i n terest .
I .
1 . S urfa c es
wh o se measu r e of c urvat ur e at every p o int is co nstant and nega
tive were called pseudosphe r i c al surface s by B eltrami in 1 8 68 in order as he , ,
innitely sm all a r eas that correspond to o ne a n other on the c u rved surface and
o n the s phe r e H e remark e d further that the p o siti o n o f a g ur e o n th e
.
u r es the one o n the surfa c e the o the r on the s phe r e is simila r he call e d the
, , , ,
c urved surface a convex o con v ex sur face or a s u rface with posi t ive c ur vat u re
-
, .
When the p o sition of the g u re is in v erse to that of the gure on the s u rface he
call e d the surface a concavo con vex su r face or a surface with n e gative cu r vat ur e
-
.
2
DD D
E
E0 F
"
whe r e D D F and 0 functi o n s of d a re th e of
'
, D , E, , u an r, c o e i c ie n ts
10 E . M . C O DD I N GTO N .
the rst and s e c o nd fundamental differ e ntial expressio n s of the surface the one ,
the other
2 (7d D du 2
2 D du dv D WI)
'
where X , ! ,
Z are th e di r ection cosines of a n o r mal to the su r face at a p o int
:6 , y, 2 .
it al o ne and F vanishes so that the expression for the line eleme n t assumes the
,
form
2 2 z
d8 d u d ,
v curve makes with an arbitrary but xed v curve and u is the arc length o f
- - -
each geodesic f r om the point then G is a function whi ch sa tises the equations ,
= 1,
and that if the v c urves fo r m a g e odesic parallel system that is if the v geo
r -
, ,
= 0
u =0
L astly h e wrote
2
rt 8
(1
whe r e the surface is r e presented by
z = f (w a y)
and p g , , r, s , t have thei r usual meaning as the partial derivatives of z with
r esp e ct t o a: and y .
2 2
6x 6 2: 6 2:
E = 2 F: 2 G
6a 60
6X 8 2: 6 X 6 2: 6X 6 2: 6X 8 2:
D = D , 2 2 2: D/ -
2 '
ea . da 60 .
au 8a 60 80 60
B ia n chi ls " ,
33 , 4 6 .
H I S TO R I CA L D EVE L O PM E N T O F P S EU D OS P H E R I CA L SU R F AC E S .
D upi n but these denition s have not re co mmended themselves and are n o w
,
almost forgotten .
G auss did not write directly o n th e subject o f pseudosphe r ical surfaces but ,
in his me m oir j u st qu o ted h e published two impo r tant discoveries which were
afterwa r ds easily applied to the special case of these surfaces T o G auss is .
due the c e lebrated theorem on the t o tal cu r vature (curvatura integra) of a geo , ,
desic trian gle for making use o f the geodesic polar system he found that the
,
A+ B + C w
rega r ded as the rst the o rem in the geometry of pseudosphe r ical surfaces is
that the area o f a geodesic trian gle on one of these surfaces is proportional to
its spherical de c iency This theorem was p r oved by Be rtram i in 1 868 *
.
b e ndin g that is any disturbing of the shape o f the surface which does n o t
, ,
'
inv o lve stretching or crushi n g leaves the value o f If at any point unaltered
, .
which mo r e will sho r tly be said disc u ssed the sufciency of G auss theorem for
,
the applicability of one s ur face up o n anothe r and established that for su r faces ,
of constant c u rvat ur e and for these only is G auss theo r em a sufcie n t as well
, ,
1
K :
I/ G
assuming K to be con stant and had obtained the expressi o n for the linear ele
,
ment
618
2
du 2 [ sin
ww o r dv
K
When ab o ut to apply one surface upon an other he accordi n gly wrote for the
exp r essions f o r their linear element s
'
*
Page 37 .
12 E . M . C O DD IN GTO N .
z
s in
( en /F ) 2
ds dc ,
VK
2 'z 2
ds du
'
dv
,
in which the primes indicate the elements wit hrefere n ce to the seco n d surface .
he satised by puttin g
=u =
'
u , v a + v
where a may have any value from zero to innity T he rst equatio n shows .
that an y point o n the rst surface may be made to correspond with any poi n t o n
the second surface and the second equation that any geodesic curve o n the r st
surface p r oceeding from the p o int may be made to correspo n d with any geodesic
curve on the second surface proceeding from a corresponding point T hus the .
3
surfaces a r e applicable upo each other in
n 00 ways or to quote M in ding O n e , ,
can place two arbitrary points of the one upon two arbitrary points of the other ,
pro v ided that the lengths of the sho r test lines upo n the surface between the
pai r s o f points are equal to each other .
z
fi z 0 2
2
E
as dz
g
wh ere If : a constant .
This integration he said ,
has never bee n e e c te d up to the present time
,
special case
6z
h ( h a constan t ) .
a?
A r st int e g ration gave him
K 1
(
I
dz : t dr a
2 = con stan t of i ntegration
tion is f u llled he said the equati o n for 8 represents a curve which gene r ates
, ,
H IS T O RIC A L D EVE L O P ME N T O F P SEU D OS P H E R I CAL SU R F AC ES . 13
the surface in the same way as the straight line gene r ates the helic o idal surface
namely by a revolution ab o ut the axis of 8 while at the sam e tim e all its points
gated by Dini and called the D ini helic o idal su r face When the sec o nd .
conditio n exists M inding found that the surface be c omes a surface of r o tation
,
and the 2 curves become its meridian lines He discovered th r ee types of thes e .
surfaces those for whi ch a has a positive value th o se fo r which it has a neg
,
2
,
ative value and th o se for which it is equal t o zero It was probably his .
2 2
8m 11 2
ds du d
ie
or
2 ?
cn ( 216 sinh dv
2
a (K : 1)
z :
f a: a
2
s in hqs) d
2 .
2
while for a n egati ve value fo r a he natu r ally introd u ced the analogous exp r es
sion
z =
f i
( 1/ 1
Finally , when a
2
0 he put
1
r z f
c) tanh (I
) .
cosh d)
T his last equation for shows that it represents a t r actrix but M inding did not
8
c all the curve by its name although he remar ked that it approa c hes the axis of
,
rotation asymptotically He drew pictures o f the meridia n cu r ves o f these three
.
each other he 7 wished to bring their linear element into the same for m
,
613
2
du 2
s in hu dv
z z
.
He perceived that this could be easily acc o m plished f o r surfaces o f the r st kind
but that f o r those o f the second o r third kind it is necessary to nd fo r the par a
met r ic li n es a system o f ge o desic lines that go out from the same p o int H e .
1
l _
( s
2
( v
2
+ 7
1
2 _ 2 2 2
by writing rst
2 ? g
ds da? df
i dr e
r d wr
l -
l lu lu
i ,
dr
h
J
(I (Z
t I P h ,
and
e
v d .
T he next yea r he wo r ked out a set of equation s f o r transfo rming this general
exp r essi o n f or the linea r element i n to the one ref e rred to a ge o desic polar system
2 2 2
ds (Z0 sinh
T aking two points co r responding to c o cirdin ate s ( t v ) ( t , v ) of the same sys
' ' '
'
, ,
te m an d den o ting the length of the geodesic line which co nn ects them by a a n d
the angle which this line makes with the curve 1) a consta n t by 6 he stated ,
6
'
ctn 6 tan b (t
'
t ) tanh a
'
?
v s in b)
'
v
,
an d
2
sinh s in 6 1
'
v
r
0
'
v
'
b 2
v cosh
where
b = z
a
2
g
-
O au d h= O
and that these be c ome
v
r -
(t t
'
) sinh 0
'
cos 6,
7 a 0
when I
) 0
.
He did not f o rmally state the conclusion of this a r gume n t that the two sets
o f c o O rdin ate s v t and a 6 may be rega r ded as ly in g on two di fferent surfaces
, ,
and that the n these equations instead of changing the express i on for the linear
,
one surface into another and that if the rst surface is supposed to be a surface
, ,
of r otation for which t a constan t and c a constan t are the meridian curves
and the parallels respe c tively the surface will be one of the three types o f which
,
so that the above equatio n s will then transform a surface of one of those th r ee
types into one of the rst type .
16 E . M . C O DD I N GTO N .
by putti ng 66 for 7 an d r f or
1 i
Finally writing
,
(1
of constan t negative curvature upon which all the su rfaces of the same curvat u re
are applicable he fou n d to be the sur face ge n erated by the tractrix revolving
about its asymptote .
1
C oda z zi was the n ext mathematician after L iouville to make a study of
5
pse u dosphe r ical surfaces He was the rst to derive the expression fo r the linea r
.
1 a2 1/ G
K
l/
0
G
with the condition s that
1
[ l/ GJ =0u
1 u =0
p
that he makes i n connection with surfaces o f revolution and the formula for
2
d8 foll o ws .
H is chief contributi o n to the subject was to the pseudosphe r ical t r igo n omet r y .
H e developed M inding s formula for showing the relation bet wee n the sides and
C hoosing fo r his co O rdin ate s a geodesic polar system and writi n g the expres
sion for the linear eleme n t i n the form
d8 2
h
t e
2
sinh 2
u dv 2
he took for his triangle the area bounded by two geodesic lines goin g out f r om
the o r igin 2) 0 and v
, a co n stan t and by a thir d geodesic line making a n
'
,
an gle 71 8 with v
'
v
'
a constant He the n integ r ated G auss equatio n for a geodesic li n e which
.
d6 + dv = 0 .
an
By means of his equ atio n for the lin ear element an d the equatio n for cos 6,
( ha
cos 6
d8
c tn hu du c tn 6d 6 0
wher e u a and s are the arc lengths that form the sides of the triang le and 8
,
-
4 D ini
.
2 29 22 ' 2 4
was acq u ainted with the wo r k of M inding and in the years
5*
t r ansforming a pseud o spherical su r face of ro tation of one of the three types i nto
that of another and the determination of the form o f a helic o idal surface with
c onstant negative curvature .
that o f his predecessors T aking the di e re n tial equation for the length of the
.
radius of curvature of a meridian curve at a certain point and the one fo r the ,
len gth of the normal betwee n the same point o n the curve and the axi s of the
2
revoluti o n he found the equation for the total curvature
,
l/ to be
a
z
dz d z
1
dz (2
?
c
dz
1
dr l
dz a
2
1 1
( 17 2
'
dz
(2 ) ( r Z
(s L
. _ p
sinh
2
? 2 ?
(1 ) d3 ( a; a dr
2
2
( ) ds du z
dz: 2
(3 ) d8 2
du 2
a
2
co sh 2 3 a vg
(6
where u and 1) r ep r esent the parallel and me r idian curves respectively The .
surfaces ( l) (2 ) an d
, he said are the only surfaces of rev o lution with con
,
shall se e they c o nstit u te as t o their application three classes of sha r ply distinct
s u rfaces T he se co nd of these classes ( l 0) is made up of a single surface
.
,
the su r face which has for its m e r idian the curve with tangents of constant length ,
H I STO RICA L D EVE L O P M E N T O F P S EU D OS P HE R I CA L SU R F AC E S . 19
2
In the special case when at a he called the rst su r face
2
the imaginary
sphere a su r face which was afterwards studied by Beltrami 8 and C ayley
,
4
meridian c ur ves of the two coincide b o th surfaces must be o f the same type
, .
H e then p r oceeded to examine the n ature o f the curves o n the deformed surface
into which the me r idian cu r ves of the original surface pass when the two sur
faces are of di fferent types For this purpose he rst s o ught the equati o ns
.
When a surface o f the rst type is applied upon one of the second h e put ,
a for sinh for by means of this substituti o n the linear element of the
,/
r
a form given by L iouvill e f o r the pseudosphere and the meridian c ur ves and ,
the pa r allel circles go over into a family o f geodesics meeting at a point and
their o r thogonal trajecto r ies He found that the def o rmati o n of a su r face of
.
the third type into a pseudosphe r e is more co mpli c ated In his rst paper .
he had developed the impo r tant theo r em that a surface that p o ssesses a syste m
of geodesics intersected at equal distances by curves each of which m eets the
ge o desi c s at the same constant angle not a right angle and va rying by a xed
, ,
transfo rmed a surface with constant c ur vature referred to such a system of geo
de sic s and their t r aj e cto r ies fo r parameters into a surface o f r o tati o n by tw o
m ethods By the applicatio n o f the rst method the trajectories of the ge o d e
.
sics on the r st surfa c e pass o v e r int o parallel circles on the surfa c e of r o tati o n
and the family of curves that c ut the trajecto r ies o r thogonally become its me
r idian c ur ves H e f o und n o t o nly the eq u ation s fo r this tran sformati o n but
.
22 1"
also those fo r the revers e O peration 63
f o r defo r mi n g a surfac e of r o tati o n in
,
such a way that its parallels go over into a system of t r ajectories intersecting
eq u al lengths o n a family o f ge o desic lines .
O n the o ther hand when he def or med the geodesic lines o n his o r iginal sur
,
dro m es He found that this last t r ansformation leads to but one su r face of
.
rotation the pseudosphe r e and he int ro du c ed i n this connecti o n for its linear
element the now well known ex pr essi o n 9 7"
, ,
2 2' '
2 2 zu z
ds du e c
P . 40 .
20 E . M . C O DD I N GTON .
a
i nto a pseudosphere whose linear element is
2 z zu l a
ds du f e dvf
u u a
a cosh sm h
a a
u u
1 + 1)
1
l o g S i nh
a a
t '
0
1
.
H e found that the parallels of the rst surface pass over into loxodromes o n
the pseudosphere an d that the meridians of the r st s u rface pass into the ortho
gon al trajectories of these loxodromes He proved that the c osine of the angle
.
at which these loxo dromes meet the me r idian c ur ves is eq u al to cosh n /a that ,
they possess a constant geodesic curvat ur e and that their orthogonal trajectories
are geodesic lines .
He rem arked that the intermediate s u rface obtained by using the rst eq u a ,
D ini was very much interes te d in surfaces of this nat ur e to which he devoted
9 2
,
one paper exclusively in 1 8 6 6 but before tak ing u p the examinati o n o f its con
,
ters so that w hen the surface is bent the lines of reference remain the sa m e
, , ,
.
Referring both su r faces to minim al lines he denoted the linea r element of the
s ur face which h e w ished to deform by
2
ds 2
m
(w 30
and chang e d the expression fo r the linear element of the pse u dosphe r e ,
P . 16 .
H I STO R I CAL D EVE L O PMEN T O F P S EU D O S P HE R I CA L S U R F AC E S . 21
21 1
2 2 A
rl8 ( lu 6 dc 2,
,
nto
I
4 A2
( is da dB
2
(a
where l/A is the total curvature of both su r faces
2
.
1
a c , 8
, c (a , b an d o a re constants ) ,
a3
] b
their values in terms of u and v the parallel and me r idian curves of the surface
'
,
the rst second and third type respec tively into a pseudosphere :
,
1 u
c e
l
a
a si n h
sm
a
( )
1
161
u u
e
= s1n h c o s 'v cosh
E g
n /a
u 1
_ e
a
e 2 2 2 u /a
,
0 a e
(2 )
v
vl , 2 2 Zu /a
0 d e
u
u a I0g cosh av
,
;
(3)
u v
v
1
= a ta n h e
identical with D ini s fo r expressed in the same n o tatio n Dini s equatio n s become
The v alidity of tran sformi n g the general expressio n for the linear element
2 2 z
ds E da 2q dc d
P ag e 14 .
22 E M C O DD I N GTO N
. . .
( 26 1 760
( curvature )
2
ds x
was investigated by IVe in garte n 79 three years later He decided that such a .
t r ansf o rmation is permissible for surfaces of constant cur v ature an d that then ,
the reciprocal of the di e re n tial qu o tient 6 6 /6 u must satisfy two partial dif
fe re n tial eq u ations .
D ini and b o th appeared side by side in the Italian j ournals during the years
1 8 64 and 1 8 6 5 .
th e special case of pseudosphe r ical su r faces all of which theorems will be dis ,
equivalent to saying that the pseudosphere is always bent into a pseud o sphere ,
stant R where I/R is the total curvature of the surface H aving p r oved
2
.
the pseudosphere is so deformed that its meridian curves remain meridian curves ,
the r adius of a geodesic cur vature of eve r y parallel cir cle of the de formed surface
is B that its meridians a r e theref o re curves with tangents of constant length
, ,
and that they must therefore be identical in fo r m with the meridians of the
o r iginal su r face since to o ne v alue fo r the tangent length there corresp o nds but
,
one t r actrix .
He also showed at this time that the area and volume of a pseudosphere are
, ,
5 . to 1 868 the only su rfa c es of constant negative curvature that had bee n
Up
determined and studied were surfaces of rotation and heli co idal surfaces T o .
memoir written in that year h e determined all the su r faces of co n stant curva
tu r e one o f whose families o f lines of curvat u r e is comp o sed of plan e curves or
,
the one system meet in a straight line and the c ente r s of the spheres of the other
systems lie on that line T he surfaces p o ssessing these char acteristics whether
.
,
s u rfaces .
for surfaces of rotation the lines of the one system are in planes all of which
pass t hrough the same st r aight line and the ce n tres of the spheres o n which are
traced the spherical li n es of curvature can lie o n a right line .
1 1
R 1132 9
2,
1 1 1 t 1l 1 + t
(1 ) _
B, 9 1 + t
R2 g l
t
6 2) 18 , R
I: 6c da Ez Rl 6n
1 1 + t 1 l t
3 1/ E VG
D e n oti n g by a the angle the plane it a co n stant makes with the surface si n ce ,
H I STO R I CA L D EV E LO PMEN T O F P SEU D OS P HE R I CAL S U R F AC ES . 25
R1 B 2 a
( )
4 ct n a a functi o n of it alone ,
1/ 5 21
.
1
2
A cosh 2n B sinh 214, 0,
S in
,
<7
contain s three arbitrary co n stants T he form o f the surface depends upo n the
.
value of these constants and the relation that exists between them .
was overlooked .
(In
,
= 0 + A c o s h2u , 1 ,
a;
formed a chief element he proved that the planes of the lines of curvature u
,
lie on sphe r es that cut the surface orth o g o n ally and whose centers lie on the
st r aight line
.
x s in
dc!
) sin '
0
7. 6 c!
)
( C A co s h2 v, ) dv
dv sin 2
or Ou
where (I
) satises the equatio n
2 2
0 1 4
sin '
o .
2
9
.
26 E M C O DD I N GTO N
. . .
expressed thr o ugh the elementary fun ctions namely when a is con stant a n d B , ,
"
1
0 2
sm
'
0
z =
Z + l/ g
1 z z z 2
tan i
co s a
g s n a (v fl/
i z 2 2
S 111 0 10 g
g sin a + n s n a x y
g
'
z xz z
g s in a
n s in a
y
an equation which shows that the surface is generated by a tractrix whose ver
tex describes a helix on a right circular cylinder T his is Dini s helicoidal sur .
spherical surface from another w hen the geodesic curves with reference to which
they a r e d e rived meet at a point at innity ?
6 G eodesic lines and their orthogonal trajecto r ies were the only curves co n
.
1
s ide re d on pseudosphe r ical surfaces until 1 870 when En n e pe r began to write
on asymptotic cu rves S ince re al asy m ptotic curves cannot exist except o n sur
.
properti e s that render them imp o rtant in the innitesim al defor m ation of a s u r m
60 60 6F
E
H F ZF
a E D
6 D a
76 F
Z
3 VE G F 2 2 (E G ) l/ E G F 2
Page 5 6 .
H I S TO R I CAL D EVE L O PME N T O F P S EU D O S P HE R I CA L SU R F AC E S .
60 6E
E F
au av D D
0
BF 6C 60
QG F G
a
a D a av au D
an 2 (E G F 2
) 1/ E 0 _ F 2
6E 6
G F
TE 76
. D
0
N E G F
a
"
the v alues D 0 D and K
,
a consta n t which are the condi
0 : l/R 2 ,
z
c urves on a sur face with curvature B
l/ H e thus r educed the equations to .
CE 6G 60 6E
0 F m E F f
5 ? ar af
m
alone so that the expressio n for the linear eleme n t may be written
,
z 2
d3 2
du 2q dv ( 20
the square of the r adius o f torsion of an asy m ptotic c u rve at every point is equal
to the product of the principal radii of curvature of the surface at that point ,
with the minus sign placed before it In proving this theorem he obtained the
.
two follo wing equations for the curvature l /p an d the torsion l /r o f the v v
VI?
'
1 6v 1 D
the rst of which shows that its geodesic curvature is equal t o its curvature ,
and the second that its torsio n squa r ed is equal i n value but O pp o site in sign to
the curvature o f the surface an d is co n sequently constant when the curvature of
,
only of asymptotic curves o n the rst surface can by any possibility pass over
into asymptotic curves on the second su r face as for example the generators of , , ,
a skew surface .
In the same year D ini made a study of aym pto tic curves
,
7
S upposing the .
( 78
2
E da 2
N e w ( 1 G dt
z
i
"
H e de r ived the C odazz i M aina r di eq u ations fo r the coeffi ci e nts E F and G
-
for the coefcients D D D of the second f u nda m ental di fferential expres
'
, , ,
sion f o r the s u rface and int r od u cing the conditions necessary in order that the
pa r ametri c lines on the sphe r e shou ld represent the asy m ptotic curves of a sur
face o f n egative cu r vat ur e #
2
he red u ced these equations to
,
%
l I
E
a 5
? a
_ F
a
F
6 1) 6 26 7)
6
and to
"
CE 60
_ 0 0
an 6 2
when u is a constant
,
. .
th
2 2 z
ds 2 F du de cin
'
e
d8 2 a
,u.
for in an ea rlier paper he had re m a r ked that the a r c lengths of asymptotic curv e s
are always p r opo r tional to the arc lengths o f thei r spheri c al image in the ratio
of the c urvatu r e of the sphere to the cu r vature of the su r face and that the angle
between two asymptotic cu r ves on the su r face is the supplement of the angle
between the two lines that represent them on the sphere .
D ini was the r st t o obse r ve f ro m the fo r m of this exp re ssion that asym p
to tic curv e s divide a surfa c e into innitely small lozenges
H a zz idakis
59
went .
a step f u rther than D ini and f o und the ar e a of one of thes e loz enges to be
A B 0 + D 2 7: whe r e A B 0 D r epresent its four angles
, ,
He ,
.
o btained this val u e by integrating along its bo u ndary the equation f o r the ar ea
of the quad r ilate r al
H I S TO R I CA L D EVE L O PMEN T O F P SEU D OS P HE R I CAL S U R F AC ES . 29
ff s in 2 wdu dv ,
2
1 6 2w
K : 1
sin 2 a) an 6 2)
V oss 71
approached the subject of asymptotic c u rves f r om the c o nside r ation of
equi distan t c u rves He gave that na m e to a system of curves o n a surfa c e which
-
.
form a net work of quad r ilaterals whose opposite side are equal H is expres
-
.
( 28
2
du 2
2 cos 2 m du dc dc z
the equi distant curves are asy m ptotic lines he made the necessary substitutions
-
D = O,
. D
H
= O
F : 1 G 1,
curvature can a system of equi distant c ur ves be composed of asympt o tic lines
-
.
Voss also found the characteristic equati o n for surfaces of constant negative
curvat ur e 1 /B 2
6 2 2 a) sin 2w
2
au av B
by deforming the meridian and pa r allel c urv es of the pseudosphe r e into equ i
distant curv e s .
shows the natu r e of its contents In o r der to obtain a set of eq u ati o n s for the
.
su r face h e called the axis of r otation the axis of z the plane of the m axim u m ,
parallel circle the 06 y plane the angle measured on this plane that an y meridian
,
30 M C O DD I NG TO N
. .
makes with a xed meridian the an gle 4) and the acute angle that the tan gent
to the meridian at any poi n t makes with the axis of rotation the angle 6 His .
2
d3 2
( ctn 6 d 6 2
sin2 6 dd? )
and may be transformed into the usual form
( 23
2
(I
n
2
9
3
6
4 "
d
RI = r c tn 6, E2 = r t an
~
6 .
Beltrami began the study of asym ptotic curves from a very interesting point of
view He considered rst a curve which he dened as the curve of in te rse c
.
tion of the surface with the tangent plane to it at the point 6 6 of the m eri 0
dian lying in the m2 plane He proved with respect to this curve that it has
.
two branches goi n g out from the point of tangency ( 6 60 ) each of which
makes an angle 6 with the tan gent to the meridian curve and that when very
0
small arc len gths of the osculating circles of those two bran ches meas u red from
the bran c h point are revolved about the axis of 2 they will generate a surface
differing by a quality of the fourth order o n ly from the original surface The .
two branches of the c urve of intersection since their planes of osculation are the ,
tangent plane to the surface at the point 6 6 will coi n c ide respectively with 0
the two asymptotic curves of the surface goi n g thro u gh that point ; accordingly
Beltrami remarked that if two asymptotic lines be drawn through a point on a
meridian curve they will each make an angle with the tangent to the meridian
at that point that is equal to the angle which that same tangent makes with the
axis of rotation He built up the following series of propositions on this
.
theorem :
S ince the equation for the sine of the angle I which any curve makes with
the geodesic meridian c urve 6 60 is given by
6 1/ G (Z
1) 7 s n
'
i 6d
2
an a; ( 18
and when the curve is an asympto tic c u i ve p 6, the arc length of an a sym p
to tic curve is given by
32 E . M C O DD IN G TO N
. .
1 65 am ? are
da
d
)
an
.
a?) 2 8 7) au
l/ E G
2
F
He moreover showed that since the linear ele m ent of the s u rface remain s
, ,
uncha n ged when the surface is bent and e is so small that when raised to the ,
2 dw dn = 0 ,
one at every point is equal to the distance of the tangential plane at correspond
ing points of the other from the origin the total curvature of one of the s u r ,
fa c es must be n egative The disco very both of the existence of such pairs of
.
from time to time to the development of their theory so as to make them take
an important position in the class of surfaces of constant curvature co ns idering ,
them merely as a ne c essary adjunct to the completion of the study of that class ,
another topic of more general interest was attracting the attention of men all
over the world This matter was none other than the recognition tha t; E u clid s
.
fth postulate equivalent to the statement that only one line parallel to a xed
,
line can be drawn throu gh a point is not capable of demonstration from the pre
,
ceding hypotheses .
Grau s s among others gave some study to the subject and recogni z ed in con
2
n e c tio n with it the existence of a new geometry which he called the non ,
E uclidian and which he distinguished from the E uclidian by the essential char
,
ac te r is tic that in it there is never any similitude in the gures without equality .
latter that he gave the now familiar expression for the semi circumference of a -
WA
7 '
1
7
K K
( e e
) (K z a c o n s ta n t)
2
H ISTO RI CAL DE V EL OPM EN T OF PS E U D OSPH ER I CA L SU R F ACE S .
and remarked that for the E uclidian geometry If becomes innitely great but ,
L o b atche wsky .
h k
In 1 83 1 L o b atc e ws y produced a pamphlet on the theory of parallel lines
,
of which G auss said in another letter to S c humacher I have found in the work ,
on the hypothesis that two lines parallel to a third may be drawn through a
point and demonstrate d a series of propositions analogous to those of the E uclid
ian geometry I n 1 8 5 4 Riemann 3 wrote his renowned Habilitatio n s chrift in
.
which he introduced for hyperspace of any di m ensions the idea of three kinds of
c onstant curvature positive zero and negative In particular he c onsidered
, ,
.
two fold space and stated that all surfaces of positive curvature are developable
-
upon a sphere and all those of z ero curvature upon a cylinder S urfaces of .
negative c urvature he said will touch the cylinder externally and be found
, ,
like the inner position (towards the axis ) of the surface of a ring He made .
the further statement that the surfaces with positi ve curvature can always be
so formed that gures may also be moved arbitrarily about upon them without
bending namely they may be formed into sphere surfaces ; b u t not those with
,
negati ve curvature He thus suggested the idea of a geometry on surfa c es of
.
with the geometry of pseudospherical surfaces until Beltrami wrote his essay
o n the non E uclidian geometry in
-
which he showed analytically that all the
propositions and theorems of the new geometry can be reali z ed by means of
g u res lying upon such a surface .
His method of proof was based upon such a choice of parameters at and 1) that
a linear equation between them represents a geodesic line on the surface C on .
sequently the surface may be represented upon a plane in such a way that its
geodesic lines become straight lines Beltrami 28 wrote a paper in 1 8 6 5 on this
.
representation showing that it is possible only for surfaces with constant curva
ture and that it is analogous to the central projection of a sphere together with
,
so that the equations for transforming the one into the other are
34 E M C O DD I NG TO N
. . .
v = y,
and the plan e and surface correspond to each other point to point .
I
2 ( du d 2
v d 2
u dv ) 0 E G _F 2
( )
'
6 13 6F 6G 5E 6E 6F
2E
+ G 3F + 2 F
du g d?)
an j
dz 6 16 Eu au
6E 60 80 5F 60 3
6
2G +E du d 2
20
+ 3F 2 0
E E W 55 5
he saw that the coef cient of each term of the right hand member of the equa -
R 2
R 2 2 2
E F
uv
G
(u + a
)
He was thu s able to write down at once the expression for the linear element
of a surface with con stant positive curvature
z
R ( )
2 2 2 2 2 3
2 ( a
0
) du i du d v ( at u
) dv
d .
? 2 2 2
( u + v + a
)
l
)
z
R 2
v
2
) du
2
q du dv (a
2
2
) dv
2
ds
This expression for the linear element w as his starting point for his investi
gatio n s on the non E uclidian geometry in 1 8 6 8 and from it he developed other
-
constant that
l/ a
z u z vz
a
cos 6 ,
si n 6=
By using polar co o rdinates r and (1) he found a second expression for the linear
element for the surface
HI STO R I CAL DE V EL OPM EN T O F PS E U D OSPH ER I CAL SU R F ACE S .
2 2 2
7
,
d4)
( 173
2
R 2
2 2 2
a r
1
?
From this he derived equations for the length p of a geodesic line (I) a con
stant and for the are 0 of a geodesic circle r
'
geodesic circumference ,
R
p
_
lo g
a
m 10 g
a + r
2 2 a
-
a l/ u
g
Fp
7
~
7 = a tan h
r
p
a = qSR s in h .
His expression for the circumference of a geodesic circle is therefore simi lar to
to the one found by G auss ,
R R
) R ( P / P/
7r e e
M 0
2
a
2
bounds the region of real values He remarked that when the surface is re pre
.
sented upon a plane this curve becomes a circle which he called the limiting
circle because all the points corresponding to real points on the surface lie
within it all those corresponding to the ideal or imaginary points on the surface
,
lie without it and the points on its circu mference correspond to innitely far off
poin ts on the surface He also showed that the geodesic lines of the surface
.
become chords of th is circle and that since two points fully determine a chord
, ,
From the equation for 6 he further observed the nature of the parametric lines
on the surface that they consist of two systems of geodesic lines which are so
,
related to each other that the two fundamental lines o 0 v 0 meet at right , ,
angles at the origin while the co o rdinate lines u a con stant are orthogonal to
v 0 and the co o rdinate lines o a constant are orthogonal to u 0
He showed by a rigorous proof that any two lines that o u t each other o rtho g
o n ally may be chosen for the fundamental lines in stead of u 0 v 0 and ,
that conseque n tly any geodesic line may be made to c oincide wit hany other and
the surface superposed upon itself for changing the pair of orthogonal geo
,
desic lines intersecting at the origin into any other set of orthogonal geodesic
lines through any other point does not alter the form of the expression for the
linear element .
These two characteristics the s u pe rpo s ab ility of the surface upon itself and
,
the determination of a geodesic line by two points Beltrami called the funda ,
36 E M C O DD I NG TO N
. . .
mental criteria of elementary geometry and since they belong equally to pseudo ,
evident that the theorems of the plane non E uclidian geometry exist u n c o n -
ditio n ally for all the surfaces of constant negative curvature .
straight lines can be drawn through an y xed point parallel to a given straight
line Beltrami proved this proposition by means of his geodesic representation
.
sented by I and the angle on the plane between two chords corresponding to the
'
geodesic lines be represented by [ and the angles which the chords make with
r
equation
Ml/
'
2 2 v2 s in
( a u
) \l
r
tan l
xr
2 '
cos sin u )
a c o s xr
l ( v co s p
u s in
v :2 a
? 2 2
the right hand member of which can only be zero when u
-
0 a that is '
,
when the two chords meet on the perimeter of the circle consequently the angle ,
is 0 only when the geodesic curves meet at a point at innity which corresponds
with the point of intersection of the chords on the peri m eter of the limiting
circle .
When a given geodesic and a given point on the surface are represented by a
chord of the limiting circle on the plane and a point within its perimeter two ,
of the chords drawn through that point will meet the rst chord at its e xtre m i
ties o n the circumference of the circle therefore the two geodesic lines which , ,
correspond to the two chords will meet the given geodesic line at innity mak ,
ing with it an angle 0 and they will therefore both be parallel to it though
dra w n through one poi nt .
dened the angle of parallelism II as half the angle between the two geodesic
lines drawn through a xed point parallel to a gi ven geodesic line To deter .
mine tan II he constructed the corresponding angle and lines on the plane He .
chose the center of the limiting circle to represent the xed point and the line
corresponding to the geodesic bisector of the angle of parallelism for the axis of
so so that the co ordinates of the extremities of the chord representing the given
l/ a
z 2
x
tan II = g=
a:
= 1/ u 2 + = tan hB le n g th of g e o d esi c b is ec to r )
z
r v a .
(p
R
,
x a tanh I1 ,
B
so that on the sur face
1
tan H a
sinh 1
R
By means of the above equation he was able to express M inding s equation
for the an gl e of a geodesic triangle in terms of the angles of parallelism of the
sides and thu s obtain the fundamental equation of the non E uclidian trigonometry -
sin II ( 6 ) sin H ( 0 )
cos A co s II ( 6 ) cos II ( c ) 1
sin II ( a )
where a b c are the sides and A B 0 the angles of the triangle
, , , ,
.
2
a uu
0
2 w p
cosh
l/
z z 2 2 R
( )( a 3) u
0 at u 0
and by mean s of it he deduced that the expression for the linear element assumes
one of the three di fferent forms given by D ini ,
2
u z 2
ds 2
(du sinh dv ) ,
R
2 2 zu R z
ds (du e dv ) ,
2 2 2
ds (du cosh
the plane the corresponding points lie w ithin the limiting circle on its pe rimeter
, ,
or entirely without it .
He also remarked upon the peculiar properties of the three types of geodesic
38 E . M C O DD I NG TO N
. .
circumferences how those of the third type with a common center are parallel
, ,
but which b elongs only to geodesic circles with an ideal center on a pse u do sphe ri
cal surface ; how a geodesic circle of the second type is identical with what is
known as the limiting circle or ho ricycle of L o b atc he wsky that is a cur ved , ,
line such that all the perpendiculars erected at the middle point of its chords are
parallel to each other ; how the geodesic lines orthogonal to a family of geodesic
circles of the rst type go through a common point usually chosen for the origi n
(u v 0
In this same paper in speaking of the three types of surfaces of rotation
,
which correspond to the above three forms of the linear element he remarked ,
that in the actual application of a surface of rotation of the rst type upon a
pseudospherical surface of a di fferent form it is necessary to make a slit in the ,
the second surface He went on to observe that surfaces of rotation of the sec
.
ond or third type have each a minimum parallel circle that for the last named ,
surface this minimu m circle is the geodesic curve to which all the other par
,
allel circles are parallel and that at equal distances from it on either side lie two , ,
m aximum parallel circles between which lies the re al part of the surface and that
scribed by him nor were they spoken of in any of the papers previously mentioned .
pseudosphere m aking therein a partic u lar study of its asymptotic and geodesic
,
curves His theorems on geodesic lines following in natural order after his
.
,
z e Za /r
ds do e d 2
where the parameter 0 represents the arc length of any meridian curve and the
parameter ct denotes the angle that that meridian makes with a xed meridian
measured on the plane of the maximum parallel the general equation for the ,
p :
z 27 '
2
)
y
O d
40 E. M C O DD I NG TO N
. .
that the L o batche wskian geometry is a geometry such as that of the imaginary
spherical surface X 2
1 2
Z2= 1 (spoken of by D ini page 1 8 ) and that
7
,
the i m aginary surface may be bent without extension or contraction into the real
surface considered by Beltrami .
He remarked that this bendi ng is an imaginary process for the points and
lines on the rst surface are imaginary and those on the second are real whil e ,
the angles and distances are real on both su rfaces He denoted the co o rdinates
'
2 2 7 2 2
( 23 d) ? ( 21 olZ
v
'
e
2L
6
x = co s sm 6, y= sm sm 6, z = lo g c tn cos 6,
.
Having established the fact that the ima ginary sphere is transformable into a
real pseudosphere C ayley proceeded to consider the geodesic curves on the r st
,
d X + 61 + 7
CZ 0 (a ,
b,
but C ayley observed that since for a point corresponding to a real poin t of a
pseudosphere X is a pure imaginary and ! and Z are real we se e that for a , ,
AP + B Q +
HISTO R I C AL D E V EL O P M E NT O F PS E U D OSPH ER I CAL SU R F ACE S . 41
which is the form obtained by Beltrami for the geodesic curves on a pseudo
sphere.
Thus C ayley proved that the imaginary surface and the real surface are so
related to each other that to every point and to every geodesic line of the one
there corresponds a point and a geodesic line of the other .
C ayley applied the same method of projection on the plane of the greatest
parallel to the case of a geo desic line that cuts a meridian curve at right angles ,
projected line he saw that it continues to cut at right angles the radius of the
maximum circle into which the meridian is projected that in the neighborhood ,
of the circumference of the circle it is almost a straight line and that the further
away the point of intersection of the meridian cur ve with the geodesic line on
the surface lies from the plane of the unit circle the nearer the projectio n of the
,
line approaches the center of the circle and the more curved it becomes while ,
ical surface on a plane may represent the whole plane of L o b atche wsky s geom
82
e tr
y was asked by Hilbert and answered by him in the negative for he
1
,
face can be constructed and showed that in that case it will be completely
,
proved that no one of these lines ever intersects one of the curves of the family
to whi ch it does not belong more than once and never intersects a member of
its o wn family and that they have no double points or singularities of any kind
,
.
He then saw that the surf ace can be regarded as bounded by four of these
asymptotic lines no matter what its extent may be and that by D ini s theorem
its area will never be greater than 271 O n the other hand he recalled G auss
expression for the area of a geodesic circle with radius p on a surfa c e of curva
ture 1 R2 ,
R w (e P R
e
and saw that if he supposed the surface to be bounded by such a circle with a
,
r adius indenitely great its area must be greater than 2 72 S uch an in co n s ist
,
ency between the two methods of measurement showed him that there must be
singularities somewhere on the surface and that therefore the projection of such
,
an analytic s u rface does not represent the whole of L o b ats c he w Sky s plane
.
42 E . M C O DD I NG TO N
. .
9 . I t remained for Klein ;to reconcile these two geometries the P seudo ,
spherical geometry of Beltrami and the non E uclidian geometry of L o b atche wsky -
considered the distance between t wo points (x1 y,) and (x2 y2) on a plane as , ,
.
,
that the rst formula might represent the angle between the polars of the points
with respect to a conic whose equation is
+ y = 0
2 2
x
and the second the angle between the polars of the points with respect to a
,
Therefore in order to measure the distance between any two points on a plane ,
he assumed an imaginary conic which he called the absolute and formed the
expression
-
1
CO S
l/ (a , b, c l , y, , b, c
Q a
c
z, y, ,
w, yl , 2
1
x2 , y2 , z
2 po m ts
2 2 2 2
( a , b, o
g r
e , y , z
) ( L90 by 02 : O ,
He observed the fact that the two points together with the points of inter
section of their binding line with the absolute are in involution and that two
system s in involution are ho m o grapically related He also discovered that if ,
line co o rdinates are used instead of point c o erdin ate s exactly the same formula
will measure the angle between two lines and that in that case these lines and , , ,
the tangents drawn to the absolute from their point of intersection are in in vo
lu tio n .
C ayley himself never applied his theories to the case of pseudospherical sur
faces but Klein perceiving that if he assumed a general formula
, .
HI STO R I CA L DE V ELOPM EN T O F PS E U D OSPH ER I CA L SU R F ACE S .
_1 (a , be 0
0 55 1,
z )
z
2i 0 00 8
for the measure of distance between two points on a plane he could derive from ,
it C ayley s expression by puttin g for U the value i/2 and the expression of the
sothat the general expression for the distance between two points a: and y
becomes
a .
y
V m
w
where and 0 W are the expressions which result when the c o O rdin ate s
u
.
1
ge
l , :3
3
of the point
,
x or the co O rdin ate s y
, y, y,
of the point y are se t in , ,
Q and,
is the consequence of putting the co Ordin ate s of a: in the polar of y
or con versely .
n e w
and observed that the expression under the sign of the logarith m is the anhar
monic ratio formed by the two points x and y and the points of intersection
with the absolute of the line joining them .
He obtained a similar expression for the distance between two lines re pre
sented by u an d v namely
<I
D (I
)
0 log it no
when (I) 0 is the equation of the absolute in ho mogeneous line c o O rdin ate s .
He saw that both expression s u nder the sign of the logarithm are anharmonic
ratios the rst formed of four points the second of four lines each of which
, , , ,
point in a line except the points of its interse c tion with the absolute may be
linearly transformed in every other point and every ray in a pencil except the ,
two tangent to the absolute may be linearly transformed into every othe r ray
,
.
Klein investigated the nature of the absolute and discovered its characteristic
p roperties ; rst that since for an imaginary value of 0 it is imaginary for a
, ,
44 E M C O DD I NG TO N
. . .
real value of 0 it m ust be re al and that in that case since only real distances
, , ,
are considere d the anharmonic ratio is positive and all real points lie within its
,
circle with a: as its center and y a point on its circumference its radius w ill be ,
2
1
0
22 0
1
co s
an
n
and will become innitely great when y lies on the circumference of the conic
0 0 third that it is impossible to determine the region outside of the ab so
,
W
lute the ideal region for by means of a linear transformation a man starting
, ,
from any point within the conic to walk to its innitely far o ff circumference at -
a uniform velocity will never reach it much less then will he know what lies ,
beyond .
He therefore concerned himself only with the points and angles within the
absolute and saw that for every line the fundamental elements are real but that ,
for each pen cil of rays they are ima ginary since no re al tangent can be drawn ,
from an interior point to the conic He then put for 0 the value 73 2 so that .
the sum of the an gles about a point i s the same as in ordinary plane geometry .
This description of the absolute that it is a real circle at innity within whose
,
circumference lie all real points is exactly the same as the denition of Belt
,
for the length of a geodesic li ne from the center of this circle is exactly the same
as Klein s if 0 R /2 C onsequently the propositions proved by Beltrami with
, .
respec t to parallel lines the angle of parallelism and trigonometrical ratios belong
,
This geometry Klein called the Hyperbolic geometry and the spherical and
E uclidean geometries he called E lliptic and P arabolic respectively making the ,
distinction between them depend upon whether the right line has two real ,
of the Hyperbolic and E lliptic geometries the general metrical determ ination , ,
that the two may coincide at a point or in the n eighborhood of a point but that ,
at points at a dist ance from the point of contact the general m etrical determina ,
tion is greater or less than the special according as to whether the fundamental ,
.
of the respective gain and loss and found that it is the same at every point and
, ,
that it is equal to 0 2
.
HISTO R I CAL DE V ELOPM EN T OF PSE U D OSPH ER I CA L SU RF ACE S . 45
'
He regarded all the points and line s on the plane as the p rojections of lines
'
and planes in space and the absolute as the section of a cone whose vertex lies
at a determined point in space and whic h passes through the circle of innity ,
and was able to prove that projective geometry can be completely developed
although absol u tely free from the question of metrical determination He thus
.
showed that the hyperboli c geometry since it has a real value for U is the geom
,
e try of surfaces with constant negative curvature and that the non E uclidian -
geometry the pseudospheri c al geometry and the hyperbolic geometry are essen
,
1
1. The theorem that 00 new pseudospherical surfaces may be derived from
one that is known an d the geometrical method for the determination of the n e w
63
surfaces were derived by Bianchi for a simple case only in 1 8 7 9 I n 1 8 8 1 the .
in 1 8 8 7
.
constant lengths on these tangent lines will lie upon a second surface which has
also constant negative curvature 1 /R and which can be completely determined
2
This theorem as here written was not announced all at one time nor was it
the work of a single man but i t is the result of the discoveries of many other
,
right lines for which the two pseudospherical surfaces are the focal surfaces .
Thus he pointed out that the whole theory of deriving new pseudospherical sur
faces fro m a gi ven one is dependent u pon Kummer s theorems
.
used by Bianchi in the development of this theory may be brie y stated as fol
2
lows : suppose a syste m of ra y s to be composed of 00 right lines if all the rays ,
each ray is determined by its dire c tion cosines A ! Z and the co o rdinates
'
, ,
rectangular c o O rdin ate s in space I f the linear element of the surface of refer
.
46
48 E M C O DD I NG TO N
. . .
property that at every point one of their principal radii of curvature is a func
tion of the other and which are now called IV surfaces S urfaces with con
,
-
.
stant negative curvature come under this heading and they are also connected
with this class of surfaces by the fact that every pseudospherical surface is a
n appe of the evolute of a W su rface .
17
J o u r n a l In the rs t p ublished in 1 8 6 1 he proved the theorem that the two
.
, ,
surface of rotation and that if the rst nappe corresponds to the lines of curva
, ,
ture u a constant of the in volute surface along which the principal radius of
curvature is denoted by R and the secon d n appe correspon ds to the lines of
,
curvature v a constant of the in volute surface along with the principal r adius
of curvature is represented by the expression for the linear elements of the
rst nappe assumes the form
(IR ;
ds i R:
(Z c
f z
du i
,
He also de m onstrated the con verse of this theorem that if a surface is develop , ,
second theorem that the spherical representation of the linear element of such
a surface referred to its lines of curvature for parameters may be denoted by
1 2
d
2
d3
K
where and K are functions of u and v of such a nature that they dene the
principal radii of curvature R 1 R , of the surface by mean s of th e equation s
,
R. MK ) . R. = MK )
H ISTO R I CA L DE V EL OPM EN T OF PS E U D OSPH ER I CA L SU R F ACE S .
The expression for the linear element of the W su rface itself when expressed in ,
g
do
4> ( E )
Beltrami in a series of articles on the application of analysis to geometry ,
published in 1 8 65 proved both Weingarten s theorem and its converse and for
,
the latter foun d that a ruled helicoidal surface forms a case of exception for ,
nappe of a surface of centers He showed at this time that the curves on the
.
nappe of a surface of centers which are enveloped by the norm als to the involute
surface are geodesic lines he therefore remarked that if the geodesic lines of an
,
evolute surface become right lines the tangents to them at every point instead
of lling all space red u ce to a system of s traight lines with a single parameter
and are not sufcient to generate an orthogonal surface he discovered rather
that then the geodesics themselves can generate a ruled surface which if it is
, ,
29
D ini also investigated this case of exception to the con verse of Weingarten s
theorem in his paper on helicoidal surfaces in the same year He found that
, .
the r uled helicoid that is applicab le upon a c atenoid is a screw surface generated -
by a right line that moves along a helix lying on a cylin der making a right ,
angle with the helix at every point and a constant angle with the cylinder and ,
that it may be regarded as the locus of the normals of another helicoidal surface
upon which these same helices lie .
2
A
I n the same treatise on the application of nalysis to G eometry Beltrami
made known several very important theorems concerning the surface of centers .
He denoted a surface whose principal radii of curvature are function ally related
by S its lines of curvature by u
, a constant and v a constant its principal ,
radii of curvature and the two nappes of its evolute surface corresponding to
those lines of curvature respectively by R , and S I 8 2 , .
First he demonstrated the general theorem that if two systems of curves one
, ,
gents be drawn to two of the geodesic lines that lie innitely near each other at
points a , an d a 2 where they meet a curve of the other system these tangents will ,
meet at a point which is the center of geodesic curvature of a curve which passes
through the point a , and is orthogonal to all the geodesic curves of the rst
,
lute surface o f a l/V surfa c e he obtained the results rst that since the norm als
-
, ,
to the surface S taken along its lines of curvature u a constant touch the rst
50 E. M C O DD I NG TO N
. .
nappe of the surfac e of centers S 1 along a family of geodesic lines which are the , , ,
evolutes of these lines of curvature and which may also be denoted by u a con
stant and the normals to the surface taken along the lines of curvature v a con
,
'
stant are tangent to this same nappe along curves which as Kummer has shown *
, , ,
are conj ugate to the geodesic lines so a constant S is the locus of the centers of , 2
that when n , denotes the arc length of a curve in the nappe S l which goes
,
He rst found the equation of relation connecting the principal radii of curva
ture R 1 and R 2 of any W surface dened by the equation -
R2
and the principal radii of curvature R ; of the surface of rotation on which is
developable one of the nappes of its evolute surface He wrote the equations for .
R ; and R ; in the usual form for the principal radii of curvature of the surface
of rotation ,
1
19; __
I
Rl _
d I
r
du l g
where the radius of a parallel circle and u , the arc of a meridian curve .
2
05 7
(1 m
C 1
1 1
r
z
e
IMHO
,
l
(In
,
so
l
( du i (u 1
P . 47 .
derived from Weingarten s form for the linear element of the surfac e of rota
R IB 2
I ! [ u
l [ u
l
T
I
R;
du ; 1
du ;
the equation of a minimal surface which shows that the nappes of the evolute
,
the equation
1 16
l Re m K
/
R2 RI K R l/K
Ae Be K
R l/
R2 RI K c tn h m
which shows that the surface of rotation has parallels with constant geodesi c
curvature and must be a pseudosphere Beltrami therefore announced the .
, ,
theorem that the evolute surfac e of surfac es which have at every point the dif
feren ce of their principal radii of curvature constant and equal to If is a su r
face o f constant negative curvature
This same theorem was proved in a more direct way by En n e pe r in 1 8 6 8
3 5
.
He used the subscripts ( 1 ) and ( 2 ) to denote the quantities on the rst and
second nappe respectively of an evolute surfac e and from the equations for the ,
c o erdin ate s of a point on each obtained all the coe fcients of their two funda
52 E M . . C O D DIN GI O N
'
.
mental for m s He then found for the measure of curvature of each X , and K3
.
, ,
the expressions
1 dB 2 1 d1?1
K1 E
R
,
d dR z
Z
( I Z)
which necessitates that the curvature of each nappe is constant and negative .
4 The correspondence between the lines of curvature and that of the a sym p
.
the expression for the linear element of the initial surface referred to its lines
of curvature as co O rdin ate s in the form
( 18
2
= f zdu 2 g dv
z z
,
He O btained for the lines of curvature on the rst nappe the equation
(Z R; a du
( R, do
l af
he
t
f 6% 9 dv
and for those on the second nappe the equation
R,
(Z 6dr
( R, 1 g l af
(Z
n
7 a
g ?)
Therefore the condition that the lines on the nappes shall correspond is
,
dR ; dR ,
or that R , RI a constant and bo th nappes have constant negative curva
.
ture he wrote the equations for the asymptotic lines in the form
,
1 69 6B; l ad
d = 0
2 ; 2
dv 3F .
f an 60 9 592) an
and
dv i du = 0
f au a u g av Bu
B i an chi , 16 a64 , 12 7 , 1 2 8 .
HI STO R I CAL DE V EL OPM EN T OF PS E U D O S PH ER I CA L SU R F ACE S
series of propositions in regard to the class of surfaces which he called c yclic ,
and dened as a system of surfaces that have a family of circles for orthogonal
traje c tories By so doing b e virtually laid the foundation of the Transforma
.
negative constant curvature from one that is known but the conne c tion between ,
this theory and a cyclic system was not seen until Biicklu n d pointed it o u t ten 6
years afterwards .
surfaces form part of a triply orthogonal system whose other two families are
composed of the envelopes of spheres and that they are intimately connected
with the theory of deformation second that in order to n d all the trajectory ,
3
.
2
2 1 MI 62 1 6 HI 62
_
H H.
5 P 5 P1 59 <3
9. 59
and that this equation is integrable at once w hen the lines of curvature for (A)
are geodesic circles ; third that in the special case when the circles lie in the
, , ,
tangent plane of a given surface and have all the same con stant radius the ,
surfaces orthogon al to these circles are all applicable upon a surface (A) which is
itself applicable up on a pseudosphere ; fourth that if a system of curves are ,
normal to family of surfaces that form part of an orthogonal system the o sculat ,
ing circles of those curves will be normal to a family of surfac es that belongs
to a cyclic system .
33 ss
5 P roofs of these theorems were worked o u t ten years later by L Bianchi
. .
, .
89 90 9 3 9
in a series of elaborate treatises but during these ten years the transforma
,
tion theory itself was formally established by means of which all pseudospherical ,
gave the rst conception of the theory in 1 8 79 and p u blished a more concise
statement of his results in 1 8 8 0 He regarded a pseudospherical surfac e as on e .
of the nappes of the evolute of an unknown W s u rfac e and proved that the .
second nappe which he called the complementary surface may be one of an
,
,
nappe .
From the theorems of Weingarten and Beltrami he knew that the tangents
Pa ge 59 .
54 E M C O DD I NG TO N
. . .
common to the two nappes touch them along geodesic lines that both nappes ,
are developable into surfaces o f rotation and that either is the locus of the
centers of geodesic curvature of the orthogonal trajectories of the geodesic lines
o n the other to which the normals of the in volute surface are tangent C hoos .
ing then a family of geodesic lines on the rst nappe that became meridian
, ,
curves when the surface is deformed into one of rotation he obtained the second ,
extremes is the surface S , complementary to S 1 .
those that go out from a poin t at innity and those that go out from an im ag
in a ry point Bianchi discovered that the surface comple m entary to a pseudo
,
.
He wrote down the equations of the relation between the radii of curvature
of the involute su rface of surfaces of curvature 1 /a 2 for the three cases as ,
U C
Rl B, = a tam b
a
121
U/ C
R, R, = a c tn h
a
2
a
z
as ; dR ; d
-
e ,
( IS
2
c tn h 4
R?
(Z csch 2
do
.
published in the A r c h i v f o r M a t h e m a t i k u n d N a t u r v i d e n s k a b he
introduced a method for nding by means of a quadrature alone the geodesic
lines of the Surface of centers of a W su rface and especially for the case when ,
the surface of centers is composed of pse u do s phe re s This problem for deter .
mining the geodesic lines he observed is equivalent to determining the lines
, ,
, , ; I
lute surface as function s of these parameters He w rote the expression for the .
linear element on the nappe S l referred to a family of geodesic lines and their
9
orthogonal trajectories as parameters and of curvature 1 /a in the usual form ,
gR lm z
as : d e -
dv .
and observed that the quantity under the sign of the radical is of the form
X 0 . 30M
7
{ ( en
w ds: + 1 0 6
a ,
where X and ! are functions of a: and y only so that he could at once obtain ,
had given a surface S I with cur vature l/a he could bring its linear element
z
,
referred to a family of geodesic lines going out from a point at innity and their
orthogonal trajectories and considering this surface as the rst nappe of a s u r
,
face o f centers he could derive an involute sur face corresponding to one of those
innite systems of geodesic lines From this involute surface he could obtain
.
e .
go di rectly fro m one nappe to a second without stopping to obtain the in volute
surface .
101
I t may here be remarked that several years later in 1 8 8 8 Wein garten
developed another method for nding the lines of curvature on a W su rface and
P ag e 12 .
H ISTO R I CA L DE V EL OPM EN T O F PS E U D O SPH ER I CAL SU R F ACE S .
according to is more precise but less direct than that of
L ie .
Afte r having developed this method for determining the geodesic lines of a
pseudospherical surface L ie next called attention to a method for transforming
one surface into another that had been discovered by Bonnet many years before .
45 ~
applicable upon an innite number of surfaces of the same sort and that such
a surface is parallel to a surface of constant total curvature and obtainable
from it by dilatation L ie suggested therefore that if a parallel surface be
.
Bianchi s operation had been perform ed upon the original surface of constant
negative curvature .
He S howed moreover that the asymptotic curves of a surface of con stant curva
ture may be found by a simple integration and that they correspond to the
minimal lines of a parallel surface a theorem which furnished the means of ,
L ie used for the linear element of the surface referred to its lines of curvature
20
u a constant and v a con stant the expression due to Weingarten 1
'
d8 2 _ du 2
dv2
?
t ) .10 2
K
t
2
a ; (t
4
f
,
: 0 .
TP age 4 9 .
58 E . M . C O D D IN GT O N .
l
<>
RI R2
He did not prove his theorem in detail nor give the equations of transformation
1 9 75
deduced from Bonnet s theorem but D arb o u x
5
, in his celebrated work con ,
cerning surfaces gives a simple proof for the correspondence between the asym p
,
to tic lines on the surface with con st an t curvature an d the minim al lines on the
surface with constant mean curvature and then denoting the linear element on, ,
an d the line a
r element of a parallel minimal surface referred to its minimal lines
a s parameters by
ds 2
da dB,
where 2 w is the angle between the asy m ptotic lines and also the angle between the
minimal lines he pointed out that when either sur face is transformed in to a new
, ,
a ,
where 2 0 is the an gle between the asymptotic lines of the new surface with con
stant curvature or the angle between the m inimal lines of the n e w surface with
constant mean cu rvature and a is a constant .
The next y e ar L ie 57 raised the question whether the surfaces obtainable from
one that is known by Bianchi s method of transformation are all distinct from
2
it whether those surfaces of constant curvature 1 /a which are derived by
,
,
the in nitely repeated successive application of Bian chi s operation from one
that is given must satisfy still other di e re n tial equations besi de the equation
,
2
7 3
7 8
He answered this question in the negative and his method of proving his answer
correct applies to surfaces of constant positive curvature as well as to those of
constant negative curvature .
"+
( QC
(y in ) (z
PO O -
w. ) + a( r y. ) (z 0.
y ) 0.
p .0 6
.
p ly) + qlq + 1 0
where ( :c y z p q ) and
, , y;
, , determine an eleme n t o n the rst ,
The rst equation shows that the distance be twee n corresponding points o n
the nappes is constant the last three that tangent planes to the nappes at cor
, ,
responding points meet at right angles along a common tangential line I n this .
planes lie the circles with constant radius of a Ribau co u r cyclic system and the
family of surfaces normal to the circles are identical respectively with Bianchi s
initial surface and the innite number of its complementary surfaces for these ,
3 = f (x yl )
1 1
and since he had four O f them from which to eliminate the ve variables he saw ,
, , , ,
2
so that to the 00 elements that go to make up the original
y; ,p l,
3 3
surface there corresponds 00 new elements and he proved that these 00 new ,
elements can form 00 1 surfaces when the curvature is co n stan tf" By applying
hi s equations for transfor m ation he was th u s able to o btain 00 surfa c es (A
1
;
from
2
one su rface F and from these derived surfaces (p; 00 new surfaces F , among ,
.
which may be the rst surface F By repeating su c cessi vely this operation he .
one class are nitely distinct from those of the other but he had still to decide ,
whether he could deriv e all the p seudospherical surfa c es in this way or only a ,
He considered two surfaces F and F , which di e r so little that the one may
, ,
working out the equations for this innitesimal transformation he found three
different equations for 8p and 59 the increments of p and q for dete rmining , ,
He then assumed that this element could not go over into all the new elements
C f pag 6 5
. e .
60 E M C O DD I NG TO N
. . .
but only into a certain nu mber of them which form a locus dened by the equation
y, za
p ,
0
He saw that this locus must be deformed into itself by the same operation s
which transform the elements in n ite sim ally and that therefore it must satisfy , ,
fo u nd that the partial derivatives of the rst order of f with respect to each of
the ve variables vanish independently that consequently the locus f cannot ,
exist but that each element passes over in all the new elements and the given
,
In like manner he found that the gi ven surfac e c an satisfy no partial differen
tial equation of the second or third order and accordin gly may be transformed
into 00 5 or 00 9 n ew surfaces but he could not arrive at any general result by
,
points of all the surface elements along a strip is an asymptotic curve it may be
deformed into 00 1 n e w asymptotic curves If that the arc length of each n e w ,
curve K is equal to the corresponding arc length of C and that the curvature
1 /R I of each new curve is related to the curvature 1 R of 0 by the equation
a a
_ 2 s 1n v
R Rl
.
where vis the angle that a line joining a _po in t on the one curve to a corre
s o n din
p g point on the other curve makes with the tangent to either curve at the
point where the curve is met by the lin e He derived no 2 n e w asymptotic .
resol ves itself into the question is there any limit to the number of asymptotic
,
curves that are thus derived ? Reasoning in the same way as for the in n ite si
mal transformation of surfaces he found that the number of asymptotic curves
,
that can be derived from one that is known will be reduced only if these derived , ,
2 sin u
is n o relation between 0 and its derivatives of the second or third order with
'
respect to 3 nor indeed between 1) and its derivatives of any order for on
, ,
of asymptotic lines that can be obtained from a given one by the e quations of
transformation .
He then turned back to the case of the surfaces and by means of his new ,
results increased the number of surfac es that can be derived from a kno wn one
,
9
which passes through two intersecting asymptotic curves from 00 to oo thus
establishing his theorem * .
asym ptotic lines of a surface divide it into loz enges a net work of lo zenges on ,
-
one surface S is transformable into a net work of loz enges on each of the deri ved
-
surfaces and the lines of curvature which are their diagonals pass over into
,
lines of curvature .
of con stant curvature from a given one B ackl u nd 70 7 was publishing the results
,
'
5
Among other proposition s B iic klu n d c onsidered the question whether two
70
surfaces may be transformed into eac h other when the relation between them is
of such a nature that it is dened by four arbitrary partial differential equation s
of the rst order .
s , , ,
' ' ' ' '
B i an c hi ,
5 247 .
62 E . M C O DD I NGTO N
. .
'
the partial derivatives of the rst and second order of z with respect to x
'
and
F2 <
F3 (
F4 (
the resulting equations for w and y expressing them in terms of the accented
variables only By means of these results he cou ld by m aking the proper
.
,
F, 0 and F4 0
' ' '
to equations containing az , y , z , p , q only in which case he denoted them by
,
F;= 0 and F ;= 0 .
'
He could then obtain the function z by means of these equations provided that
they are compatible The equation of condition which must be satised by 2
.
'
are compatible may be O btained by rst taking the total derivatives of eachof
these equations which are also equal to z ero then solving the resulting equation s
, ,
6F 6F aF ;+ 0F
; 6F
; ; ,
I (73
'
5 3/
dy
I
6E ;+ sF ; 6F ; 5E ;
aF ; ,
69 6p 5a 1) cs c
.
g
5F ; e
m ar
'
g
)
5F ; 6F ;
'
5p
'
Eq 822 5x
d9 _ dy
' '
ai
r
at air 4 ,
aF 1
aF 4 4
4 4
+p ' '
(32 629
' '
69 619
for in that case in stead of two partial di e re n tial equation s of the third order
, ,
for z there wi ll be one single partial di fferential equ ation of the second order ,
The integral of this last equation will contain an arbitrary constan t which proves
'
the theorem that there are 00 1 surfaces 2 f x y ) corresponding to one sur
'
,
'
face z (Has ,
=f (w a y
'
z ) y)
'
2
as the two n appes of the evolute surface whose radii of curvature are connecte d
by the relation
R, RI a
The two relations existing bet ween the two nappes that the distance between ,
2 a2 = 0
'
z
) .
be c ome equal to z ero He saw from this equation and from a similar o n e for z
.
,
ve rs i te t s Ar s s k
and entitled C oncerning S urfaces w i th C onstant N ega
r if t
tive C u rvature he rst revie wed the contributions made to the theory of the
,
pointing out the close connection between the theories of Bian c hi and those of
Rib au co u r he then extended Bian c hi s theorem to t a more general case namely
, , ,
when the given surfa c e and the derived surface are not the nappes of an evolute
surface but are s o related to each other that planes tangent to them at corre
s po n din g points cut ea c h other at a constant angle but not at right angles and , ,
where K is the cosine of the angle formed by the t ivo tangent plane s and is a
constant .
=
0 o c c
lt
S
'
, ( 1
a
and that a like one exists for z SO that in the general case also both surfac e s
'
have constant nega tive cur vature By putting for ( 1 K ) /at a c onstant .
3 2
2
mation for surfaces only whose cur vature is 1 /m an d in particular those for
Bianchi s complementary transformation when E 0 and m a : .
and z are the c o O rdin ate s of an arbitrary point in the strip and :3 0 yo the co O rdi
'
, ,
nates of its initial point a su rface passing through this strip and satisfying a
,
known di fferential equation may be dened by a convergent Taylor s series in
terms of (a: mg) (g go) where the singular points of the surface are not con
,
s ide re d thus
,
z Z =
. P .(w a) y.) s x.
)
2
+ was y.) My 2 M}
1
3
3 100 ( x o
+
3 lu o ( m xo ) '
) (y
66 E. M C O DD I NG TO N
. .
Fo rthe surfaces under discussion he obtained the valu es of the coef cients 3,
r dcc s cl
y, dq s dx tdy
1
= 2
rt + 22 you
~
2
1
(3
? 2 2
9 q ) C 90Z
m
I n genera l only one s u rface can be found passing through the strip but when ,
1
( Z
p dx (
q y 0 and d9 ?
+1 9
2 2
0333 0
B acklund saw that there are an innity of surfaces having contact of the rst
order along the lines dened by those equation s and that these lines are the
characteristic curves of the integral surface S ince the rst of these equations .
,
shows that each curve may have for its plane of osculation at every point the
tangent plane to the surface on which it lies at that point and the second equa
tion shows that the torsion of the curve is constant B iicklu n d thus proved that ,
, , ,
derived from a strip r on the original surface S by m ean s of the set of equations ,
of tran sformation satises a partial differential equation of the Riocati type and
that consequently every strip 7"corresponds to a solution of su c h an equation
, , .
This nal result may then be stated as follows I f the surface S is known all ,
the surfaces S may be derived from it for every strip 7 on S passes over in to
,
'
a Ri o cati equation an d when o n e such surfa c e is determined all the others may ,
be found by quadrature alone since that is the only operation re quired to obtain
,
all the solution s of a Ri o cati equation when one is known B acklund has proved .
'
geometrically that the asymptotic c u rves on the n e w surfaces S are the deformed
asymptotic curves of the original surface S and that they also satisfy an equation
of the Ri o cati form .
In 1 8 83 and 1 8 8 4 Bianchi 83 39 90 93 9 9
published his in vestigations of Ribau
,
' ' '
2
cour s propositions concerning a system of surfaces which have a family of co
circles for their orthogonal trajectories B acklund had already observed that
56
.
,
HISTO R I CA L DE V EL OPM EN T O F PS E U D OSPH ER I CAL SU R F ACE S .
when the circles allhave the same constant radius and lie in the tangent planes of
a known surface this known surface and the surfaces orthogonal to the circles are
,
tity of the two families of surfac es by establishing the theorem that a surface
orthogonal to a family of 00 2 circles can be regarded as the nappe of the evolute ,
e very circle with the planes tangent to the orthogonal surface at its point of con
tact withthat circle envelopes geodesic lines on the surface and by showing that
those enveloped curves are geodesic lines when the radius of the circles is always
the same Bianchi s construction of a cyclic system of surfaces is as follows :
.
on the tangent planes of a second surface S and let the points of tangency of ,,
those planes with the surface S , be the centers of the circles L e t u a con .
stant an d v a constant denote the lines of curvature of the surface S , and let
6 be the angle that a radius of the circle m n drawn to meet an orthogon al , ,
passing throu gh that point The radius of the circle m n being tangent to the
.
orthogonal surface S l must lie in the tangent plan e at m and is the line of inter
section of the plane of the circle with the corresponding tangent plane of the
orthogonal surface S L e t u and c be the lines of curvature of S , Le t
'
. .
,
be the angle which this line of intersection m ake s with the tangent to the line
of curvature of S 0 a constant at the point of contact m
I
'
When the sur ,
.
Bian chi 83 denoted by (I) a constant the curves on the orthogonal surface S ; ,
which are the orthogonal trajectories of the curves on that surface that are
enveloped by the lines of intersection of the planes of the circles with the corre
spo n din
g tangent planes of the surface S , When the linear element of this .
he showed that (I
) must be a solution of the di fferential equation
1 al/ E 1 / G 6 CD
(Bl
em f an 6n 6 1) 6n an
1/ Z
7
Q 8 04 ; B I ANC H I
15 9
{3 1 79
* 16
D AR B O U X , , ,
.
68 E M C O DD IN G TO N
. . .
H
_ e also proved Rib au co u r s statement that it is necessary to be able to
integrate this equation in order to nd all the cyclical systems of which the sur
face S , fo rm s a part for he deri ved for R and (I) the functions by which a
, ,
1 1 1
te
a
co m p R a
which can be found when the surface S , and a value of d) are known .
From his equations for expressing the condition that the circles are orthogona l
to a surface S , Bianchi was able to Sho w t hat when the circles have all the
,
tangent planes the circles lie wi ll both have constant negati ve cur vat ure
,
1 /R 2
.I n that case he s aw that
A, (I) a constant ,
or that (I) a constant are geodesic parallel circles and that the curves enveloped
by the lines of intersection of the planes of the circles with the correspon ding
tangent planes of the orthogonal surface S , and whi c h are the orthogonal tra
j e c to rie s of (I
) a constant wi ll be geodesic lines M oreover he found that .
,
that when R is constant they are the deformed ho ricycle s of the pseudosphere
o n which the surface S
,
of cur vat u re l/R is applicable The fact that the
2
.
curves on the surface S , that are en veloped by the lines of intersection of the
planes of the circles with the corresponding tangent planes to the surface S , are
geodesic lines was the only condition Beltra m i required i n order to prove that
the surfaces S and S , form the nappes of an e volute surface for these lines of
, ,
intersection being tangent to the su rface S , along geodesic lines may be regarded
, ,
as the rays of a normal congruence of which the surfa ces S , and S , are the
focal surfaces .
1
are orthogonal to three surfaces they will be orthogonal to co surfaces and the
theorems relating to the triply orthogonal systems to whi c h these surfaces
80
belong but it is important to consider a proof given by D arb o u x in 1 8 8 3 for
,
the establishment of the theorem regarding the existence of this triply ortho
gon al system for in that connection
,
developed for the rst
time the now well known set of equations for performing a complementary trans
formation He regarded as known the surface S , o f curvature
. 1 on whose
tangent planes lie the circles of the system He chose the lines of curvature .
9 9
8 4 1 atb
a
s
( ) av E
B IANC HI, 1 60 35 , 8 6
HISTO R I CA L DE V EL OPM EN T OF PSE U D OSPH ER I CAL SU R F ACE S .
of this surface for its lines of reference and wrote the linear element in the form
'
2 2 2
( 13 cos da 2 z
co s in wdn ,
referred to both Rib au co u r and Bianchi and using the notation of the latter ,
and expressing the condition that this line 77m whose direction cosines with
respect to the te trahedron s axes are
6 6
sin 6d6 cos wdu
5 sin a,
6 6
co s 6d6 sin a dv da co s 6 .
66 66 66
dd
a
P . 28 .
70 E . M C O DD I NG TO N
. .
in the expression s for the displacement of m and brought them to the form
66
cos 6 ( cos a) co s 6da s in a) S in sin 6 da ,
E
66
sin 6 ( co s w co s 6da s in co sin 6dr ) 00 8 6 6101 ,
37
c o s a) s in 6dr sin (0 co s 6 da ,
da ,
aa
a form u la which demon strates the existen ce of the triply orthogonal system .
2
d3 cos 2
co du 2
sin 2
m dv
z
,
and denoting by a the complement of the angle bet ween the tangent p lanes at
correspondin g points of this surface and a deri ved surface he rst wrote these ,
6n 6 2) R co s a
'
66 6 a) co s 6 s in w + s in o
~
s in 6 co s w
6n 6 25 R cos 0 '
and by using asymptotic lines on the initial surface for parameters instead of
,
1 + s in 0
'
6 21 , B OO S O
'
( u, =u v,
'
v1 = u + v)
a) 1 sm o
w
6 2) 1 R 00 3 6
)
He saw that these equation s are compatible if the curvature of the initial surface
is constant and negative an d that they form a Ri o cati equation for tan 6 2 such
,
a
*
P age SB .
72 E M C O DD I NG TO N
. . .
s u rface S , there belongs a single inn ity of pseudospherical con gruences for
which S , is the common focal surface .
I n order to answer his original question and demonstrate that two focal sur
faces o f a pseudospheric al con gruence are developable into each other by a
B acklund transformation he regarded one of these surfaces S , as known and
,
constant an d denoted by 6 the an gle which a ray touching this surface at any
, ,
point P and going out in the direction of the other focal surface S , which is to
be determined makes with a lin e of curvature of S 1 passing through P
, He .
then proved that S I and S are connected by the operations for a B acklun d
,
transformation so that the one surface S may be transformed into the other l
surface S by this method that the angle 6 has the s ame signi cance for S I as
, ,
d3 2
sin 2
6du 2
cos2 6612 9 ,
complementary surface from one arbitrarily chosen for he had only to select on , ,
when the surface derived by that m ethod from a known surface degenerates into
a straight line Represen tin g the linear element on the derived surface referred
.
and using the rst expression reduced his former equations of tran sformation to
,
6 m s in w 6w tan s in a)
'
an R co s o
" 6 2) R
v s in u
w a -
+6
tan 6
2
tan e
R o us e
z a
but in either case as Bianchi said The initial pseudospherical surface corre
, ,
s po n din g to this value of w is D ini s screw surface
that is the surface derived , ,
turned to ,
'
such a system as a unit and the transformation of one system into another by a
complementary or B acklund transformation so that if the pseudospherical sur ,
the pseudospherical surfaces of the one family have each a di fferent radiu s of
curvature or each the same radius of curvature .
Bianchi did not devote much time to the study of surfaces of the rst class ,
but wrote several papers on those of the second class which he called a Wein ,
garten system after their discoverer for immediately after Bianchi had pub
,
garten wrote to him suggesting the possibility of deriving from an initial surface
of constant curvature a whole family of surfaces each with the same constant
curvature and each lying at an innitely short dista n ce from the one next to it ,
While the family to which they belong form part of a triply orthogonal system .
In this w ay the transformation theory was rapi dly but continuously developed
without an y o ve rlappin g of results or coincidence of discoveries E ach mathe
'
m atic ian added his completed proposition to the theory and then stood aside
others of the same kind was at the beginning purely geometrical He derived .
that the geodesics consequently the new surfaces are obtainable by quadratu re
, ,
alone derived oo surfaces instead of so 1 from the given one and wrot e down
formation Bianchi proved completely the identity of these two theorems and
.
74 E M C O DD I NG TO N
. . .
s po n din g points of the two surfaces meet at a con stant angle but not at a right
angle Bianchi gave a geometrical method for performing B acklu n d s tran sfo r
.