C OMPOSITIO M ATHEMATICA
K. N. K AMALAMMA
The congruence of tangents to a system of curves on a surface
Compositio Mathematica, tome 13 (1956-1958), p. 247-256
<http://www.numdam.org/item?id=CM_1956-1958__13__247_0>
© Foundation Compositio Mathematica, 1956-1958, tous droits réser- vés.
L’accès aux archives de la revue « Compositio Mathematica » (http:
//http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utili- sation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
The congruence of tangents
to asystem of
curves on asurface
by
K. N. Kamalamma.
1. Let the surface of reference be taken as the
given
surfaceS,
the curvilinear co-ordinates of any
point
on which are uand v,
We consider in this paper the congruence of
tangents
to agiven system
of curves on the surface. Inparticular,
someintercsting properties
are set forthregarding
the congruence oftangents
tothe lines of curvature and the
asymptotic
lines of the surface.Notations
r
= position
vector of anypoint
of the surface.n = the unit normal vector at the
point.
d = the unit
tangent
to the curve of the congruence.a,
b, b1,
c and e,f,
g are the co-efficients ofthe
first and the secondquadratic
forms associated with the congruence.The suffixes 1 and 2 denote differentiation with
respect
to2c and v
respectively. E, F, G,
andL, M,
N are themagnitudes
ofthe
first and second orders for the surface.We have
Through
each line of a rectilinear congruence, there pass two ruled surfaces whose lines of striction lie on the surface of reference.These are
given by
theequations [1].
If 0 is the
angle
between the twolines
ofstriction,
weeasily
obtain
b = bl is the nccessary and sufficient condition that the congruen-
ce be normal.
Hence we have
THEORElB1 1. The necessary and
sufficient
condition that the congruenceof tangents
to asystem of
curves on asurface forni
anormal congruence is that the two ruled
surfaces
whose linesof
striction lie on the
surface
coincide.2. The distances rl, r2 of the limit
points
of any ray of the congruence aregiven by [2].
where h2 = eg -
f2
rhe two limit
points
are therefore onopposite
sides of S.;imilarly
the distances of the focalpoints
aregiven by
)ne
of the focalpoints
thus lies on thesurface,
which fact is ,bvious fromgeometrical
considerations.The roots m1 and m2 of the
quadratic (2)
areThe
expression
for theparameter
of distribution isgiven by [3]
The value ml of m
gives fi
= 0. One of the surfaces whose lines of triction lie on thegiven
surface is therefore adevelopable.
’his fact also follows
easily
fromgeometrical
considerations.3. Choose the
given system
of curves as v = constant and1eir
orthogonal trajectories
as u = constant. We have[4]
249
Substituting
in(3)
weget
The congruence is normal if and
only
ifE2
= 0 i.e. if E is afunction of u
only.
This is the condition that thegiven
curvesv = constant are
geodesics.
This is a well known result.0 is a
right angle
if G is a function of vonly,
whieh is the condi- tion that the eurves v = constant form asystem
ofgeodesic parallels.
Hence we have
THEOREM 2. For the congruence
of tangents
to af amily of geodesic parallels
on asurface,
the two ruledsurfaces
whose linesof
striction lie on the
surface
intersect atright angles
at thepoint of
the ray on the
surface.
If
03B21
and03B22
are theprincipal parameters
thenwhich reduces to
If 1.1
and r2 are the distances of the limitpoints
Hence
we haveThe
product of
the distancesof
the limitpoints froln
thesurface
isnumerically equal
to the squareof
the meanparameter.
It is known
[5]
- that for any rectilinear congruenceusing (13)
and(14),
weget
Hence we have
THEOREM 3. In the congruence
of tangents
to asystem of
curveson a
surface,
thedifference
between theprincipal parameters of
any ray isequal
to thedifference
between the distancesof
the limitpoints
measured
from
thesurface.
4. We shall now consider the two congruences formed
by
thetangents
to thesystem
of curves v = constant and thetangents
to their
orthogonal trajectories
u = constant. For the congruence oftangents
to v = constant the surfaces whose lines of striction lie on thegiven
surface areusing (2)
and(5) given by:
i.e. v = constant and
E2
du -G,
dv = 0.Similarly
for the congruence oftangents
to u = constant if03BB is the unit vector
along
thetangent,
then[6]
The surfaces of the congruence whose lines of striction lie on
the
given
surface aregiven by
u = constant and
E2
du -G1 dv
= 0We note that the
equation E2 du - G1 dv
= 0 is common to thetwo congruences.
Hence,
we haveTHEOREM 4. For the congruence
of tangents
to asystem of
curveson a
surface,
oneof
the twosystems of surfaces
whose linesof
strictionlie on the
surface
coincides with oneof
the two similarsystems for
thecongruence
of tangents
to theorthogonal trajectories o f
thegiven
curves.In
§§
5 - 9 we set forth someproperties
of the congruence oftangents
to thesystem
of lines of curvature of a surface.5.
Choosing u
= constant and v = constant as the lines of curvature, we have for the congruence oftangents
to thesystem
v = constant
[7]
From
(4)
and(6),
weeasily
obtain251
If ~
is theangle
between the focalplanes,
it is well known thatHence we
get
If
03B21
andfJ2
are theparameters
of distributioncorresponding
to the mean rules
surfaces,
we haveusing (7), (12)
and(14)
It is known
[8 ]
iffi
= edu2 +2f du dv
+gdv2
the differential
equation
Where
J
stands for theJacobian, represents
the characteristic ruled surfaces of the congruence. Theparameter
of distribution of the characteristic ruled surfaces of any raygiven by [9]
If the congruence is
normal, E2
= 0, the curves v = constant willbe
geodesics
as well as lines of curvature and henceplane
curves.The characteristic ruled surfaces coincide with the surfaces whose
spherical representations
are minimal lines. The same result is true whenG,
= 0 i.e. when v = constant aregeodesic parallels
i.e.when u = constant are
geodesics.
6. The
equation giving
thedevelopable
surfaces of the con-gruence,
viz.
(a f
-b1e)du2 + (ag
+b f
-bl f
-ce )
dudv+ (bg
-cf)dv2
= 0reduces in virtue of
(16)
to dudv = 0. Thedevelopables
thereforemeet the
given
surfacealong
its lines of curvature, and are there- fore the same for the two congruences definedby
thetangents
to the two
systems
of lines of curvature. Thegiven
surface itself is one focalsurface,
while the other focal surface is definedby
It is known
[10]
that the lines of the congruence aretangents
to the curves u = constant on this focal
surface,
so thatR2 ,
r2 = 0 This can be verifieddirectly,
as follows:Suppose
noiv that the focal surfacescorrespond
withorthogo- nality
ofcorresponding
linearelements,
so thatRI.
r1 = 0i.e. F = 0 on the second focal surface. Hence the congruence of
tangents
to asystem
of lines of curvature is a Guichard con-gruence.
Conversely
if the congruence oftangents
to asystem
of lines of curvature is a Guichard congruence, thenIt follows
H/G1
is a function of v aloneHence we have
THEOREM 5. A necessary and
sufficient
condition that thecongruence
o f tangents
to a3ystein o f
linesof
curvature on asurface
Sform
a Guichard congruence is that thesurface
S and the otherfocal surface
shouldcorrespond
withorthogonality of corresponding
lineareleinents.
7. Let us consider now the congruences of
tangents
to bothsystems
of lines of curvature on a surface S. We take the lines ofcurwàture
as u = constant and v = constant and we shall denote253
by
thesubscripts u
and v the functionscorresponding
to the twocongruences.
From formulae
(5), (10)
and(16),
we obtainSimilarly
for the congruence oftangents
to u - constantwhere K is the Gaussian curvature of S.
Hence we have
THEOREM 6.
Considering
the congruencesof tangents
to the twosystems ol lines o f
curvature on asurface,
theproduct of
the distancesof
the tzvopairs o f limit points o f
the two rays which meet at apoint
on
S,
isequal
to1 16K2.
Using (13)
we alsoget
that theproduct of
the sumso f
the para’meters
of
distributiono f
the mean ruledsurfaces
isequal to -
8. If the
parameter
of distributioncorresponding
to thecharacteristic ruled surfaces of the two congruences are
03B2v and 03B2u
where j
is the first curvature of S.If ~
is theangle
between the focalplanes
of the first congruencesimilarly
for the other congruenceHence
Hence,
we haveTHEOREM 7. The suni
of
theparaineters o f
distributionof
thecharacteristic ruled
surfaces of
the two congruences, at apoint
on Sis
equal
to2 1 tan K tan ~1.
This vanishes when thesurface
S is aminimal
surface.
The two focal
planes
at apoint
are theosculating plane
to thecurve and the
tangent plane
to the surface.Hence ~
will beequal
to the
angle
between the binormal to the curve and the normal to the surface at thepoint. Therefore ~ = 03A0 2 -
w where w is theangle
between the normal to the surface and the
principal
normalWe have also
where
K,
andK2
are theprincipar curvatures
at thepoint.
Hence,
we haveTHEOREM 8. The
parameters of
distributionof
the characteristic ruledsurfaces of
the two congruences at apoint
areproportional
to theprincipal
curvatures at thepoint.
9. The ratio of the focal distances of the two congruences is
equal
towhere
03B8v
is theangle
between the two lines of striction of the congruence oftangents
to v = constant.Similarly
This is
implicitly
contained in Theorem 4.255
10. The congruence
o f tangents
to asystem o f aSYlnptotic
lines on asurface
S.This congruence has been
briefly
studied in[11].
We add one ortwo
properties
here.Let v - constant be one
system
ofasymptotic
lines and let theirorthogonal trajectories
be u - constant. We have[12]
The
parameters
of distribution for the mean ruled surfaces areobtained from the
expression
which
gives
the two valuesHence,
one of the mean ruled surfaces is adevelopable.
The
parameter
of distributioncorrcsponding
to the character- istics ruled surfaces vanishes and therefore the characteristic ruled surfaces are identical with thedevelopables
of the congruence.Hence,
theparameters
of distributioncorresponding
to themean ruled surfaces are
respectively equal
to zero and the radius of torsion of theasymptotic
line.We have also
If r is the distance between the limit
points,
since thepoint
on Sis the middle
point,
we haveHence,
we haveTHEOREM 9. In the congruence
of tangents
to asystem of
asymp- totic lines on asurface,
the distance belween the limitpoints of
any ray isequal
to the radiusof
torsionof
thecorresponding asymptotic
line.
[131
1 express my thanks to Dr. C. N.
Srinivasiengar
forhaving
discussed this paper with me, and for
helpful suggestions.
REFERENCES.
C. E. WEATHERBURN,
[1] Differential geometry Vol. 1, page 185.
C. E. WEATHERBURN,
[2] Differential geometry, Vol. 1, page 185.
C. E. WEATHERBURN,
[3] Differential geometry, Vol. 1, page 192.
C. F. WEATHERBURN,
[4] Differential geometry, Vol. 1, page 91.
C. N. SRINIVASIENGAR,
[5] Proc. Indian Acad. Sc. Vol. XII. 1940, page 352.
C. E. WEATHERBURN, [6] loc. cit. page 91.
C. E. WEATHERBURN, [7] loc. cit. page 205.
BEHARI RAM,
[8] Lectures on Differential geometry of Ruled Surfaces. Page 59.
BEHARI RAM,
[9] Lectures on Differential geometry of Ruled Surfaces. Page 61.
K. N. KAMALAMMA,
Journal of the Mysore University. Vol. XV - page 51.
L. P. EISENHART,
[10] Differential Geometry 1909. Page 403.
C. E. WEATHERBURN, [11] loc. cit. Page 205.
C. E. WEATHERBURN, [12] loc. cit. Page 205.
BIANCHI,
[13] Geometria, differenziale. Vol. I, page 472.
Maharani’s College for women,
Bangalore.
(Oblatum 30-10-1956).