148 Sample Chapter
148 Sample Chapter
148 Sample Chapter
F ( x, y , z , a ) = 0 (1)
represents on infinitely many surfaces, each surface being determined by a value of the para
meter a. We call such a system oneparameter family of surfaces.
Let F(x, y, z, ) = 0 be the one parameter family of surfaces. The curve of intersection of two
surfaces of the family corresponding to the values of and + , is given by
F ( x, y, z , α ) = 0, F ( x, y, z , α + δα ) = 0
F ( x, y, z , α + δα ) − F ( x, y, z , α )
or F ( x, y, z ) = 0, =0
δα
∂
F ( x, y, z , α ) = 0, F ( x, y , z , α ) = 0 (2)
∂α
The curve given by (2) is thus a characteristic of the family of surfaces F(x, y, z, a) = 0 for
a = . Clearly each value of of a determines a characteristic.
Envelopes and Developables • 81
Let the family of surfaces be given by ƒ(x, y, z, a) = 0. Let us consider the equations to the two
neighbouring characteristics for the values a = and a = + as
f ( x, y, z ,α ) = 0, fα ( x , y , z , α ) = 0 (1)
and f ( x, y, z , α + δα ) = 0, fα ( x, y, z , α + δα ) = 0 (2)
The above two characteristics (1) and (2), in general, intersect in a point. The position of the
point of intersection of two neighbouring characteristics, as → 0, is called a characteristic
point.
The locus of all characteristic points of a oneparameter family of surfaces is called the edge
of regression.
Thus, equations (1) and (2) together, as → 0, on eliminating yield the edge of regression
or cuspidal edge of the envelope.
f ( x, y, z , α ) = 0, fα ( x, y, z , α ) = 0 and fαα = 0
∂2 f (3)
f =
∂α 2
αα
Equation (3) determines a characteristic point. The equation of edge of regression is obtained
by eliminating from equation (3).
Theorem 1
Each characteristic touches the edge of regression.
Proof:
The edge of regression is given by
f ( x, y, z , α ) = 0 and f α ( x, y , z , α ) = 0 , (1)
If b = a, then we get
∂f ∂f
f ( a, b ) = 0, +λ += 0
∂a ∂b
and when a, b → 0,
∂f ∂f
f ( a, b ) = 0, +λ =0
∂a ∂b
As a and b are independent, thus can take any value. Thus, limiting position of the curve
depends on and will be different for different values of . However, for all values of , the
limiting positions will pass through the point or points given by
∂f
f ( a, b ) = 0, f a = 0, f b = 0 fa ≡ etc. (2)
∂a
These are called characteristic points and the locus of these points is the envelope of the family
of surfaces. We get the equation of envelope by eliminating a and b from equation (2).
∂f ∂f
= 0, =0 (3)
∂a ∂b
as the equation of the envelope. The normal to the envelope is parallel to the vector
∂a ∂b ∂a ∂b ∂a ∂b
f x + f a ∂x + f b ∂x , f y + fa
∂y
+ fb ,
∂y
f z + fa
∂z
+ fb ;
∂z
∂f ∂f
heere f a = , fb = ,
∂a ∂b
But this vector is parallel to the normal to a surface of the family at the point (x, y, z). Therefore,
the envelope has the same normal and so the same tangent plane to a surface of the family at
a characteristic point. Thus, we have the following: The envelope touches each surface of the
system at the corresponding characteristic points.
* * * * * * * * *
84 • Differential Geometry and Tensors
solved example 1
Q1: Find the envelope of the plane 3xt2 - 3yt + z = t3, and show that its edge of regression is
the curve of intersection of the surfaces y2 = xz, xy = z.
Solution:
f ≡ 3 xt 2 − 3 yt + z − t 3 = 0 (1)
∂f
∴ = 0 = 6 xt −−
3 y 3t 2 = 0 (2)
∂t
Let us multiply (2) by t and subtracting from (1), we get
xt 2 − 2 yt + z = 0 (3)
t2 1 1
= =
−2 xz + 2 y 2
xy − z −2 y + 2 x 2
which on eliminating t, gives equation of envelope as
( xy − z )2 = 4 ( x 2 − y )( y 2 − zx ) (4)
f tt ≡ 2 x − 2t = 0 ⇒ t = x
2t 2 − 3 yt + z = 0 and y = t2;
i.e., x = t, y = t2, z = t2
On eliminating t, we get
y 2 = xz and xy = z
Q2: The envelope of osculating plane of a curve is a ruled surface generated by the tangents to
the curve and has the curve for the edge of regression.
Solution:
Let the curve be given by r = r(s) and osculating plane at any point on it is given by
( R − r ) ⋅ b = 0; (1)
( R − r ) ⋅ b′ − r ′⋅ b = 0
⇒ (R − r)⋅ n = 0 (2)
as r′ b = t b = 0 by Frenet’s formula.
Equations (1) and (2) simultaneously determines a characteristic. Equation (2) gives rec
tifying plane and intersection of (1) and (2), therefore represents the tangent line to the
curve.
Thus, the envelope is the locus of tangent line, that is, it is a ruled surface generated by
the tangents to the given curve. This proves the first part.
( R − r ) ⋅ (τ b − kt ) − r ′⋅ n = 0
⇒ ( R − r ) ⋅ (τ b − kt ) = 0 ( r ′⋅ n = t ⋅ n = 0 )
⇒ ( R − r ) ⋅ t = 0 ( by (1)) (3)
Now, equations (1), (2) and (3) simultaneously represent the edge of regression. But (1),
(2) and (3) are planes whose intersection is point p(r). Hence, the points on the edge of
regression coincide with the points on the curve. Hence, the curve itself is the edge of
regression.
Q3: Find the envelope of the planes lx + my + nz = p when a2l2 + b2m2 + 2np = 0.
Solution:
l m n
Let = λ, = µ and = ν,
p p p
86 • Differential Geometry and Tensors
a 2 λ b2 µ 1 a 2 λ 2 + b2 µ 2 + ν ν
= = = =−
x y z ∂x + µ y + ν z 1
x y 1
⇒ λ= 2 , µ= 2 , ν=−
a z b z z
unsolved exercise 1
Q1. The envelope of the surfaces ƒ(x, y, z, a, b, c) = 0, where a, b, c are the parameters con
nected by the equation (a, b, c) = 0 and ƒ and are homogeneous with respect to a, b, c
fa f f
is obtained by eliminating a, b, c between the equations f = 0, φ = 0, = b = c.
φ a φb φ c
x y z
Q2. Show that the edge of regression of the envelope of plane + + = 1 is the
a+λ b+λ c+λ
Q4. (a) A plane makes intercepts a, b, c on the rectangular axes, so that a-2 + b-2 + c-2 = k-2,
show that it envelopes a conicoid which has the axes as equal conjugate diameters.
(b) If a2 + b2 + c2 = constant, prove that envelope is x2/3 + y2/3 + z2/3 = constant.
Q5. Find the envelope of the cones (x - a)2 + y2 = z2tan2 , where is same for all cones.
Envelopes and Developables • 87
Q6. Prove that the envelope of the family of paraboloids is the circular cone x2 + y2 = z2.
Q8. Find the envelope of the plane lx + my + nz = 0, where al2 + bm2 + cn2 = 0.
x2 y 2 z 2
Q9. A tangent plane to the ellipsoid + + = 1 meets the axes in A, B, C. Show that the
a 2 b2 c2
envelope of the sphere OABC is ( ax ) + (by ) + ( cz ) ( )
23 23 23 23
= x2 + y 2 + z 2 .
answers 1
Q5. y2 = z2tan2
x2 y 2 z 2
Q8. + + =0
a b c
* * * * * * * * *
A surface which is generated by the motion of oneparameter family of straight lines is called
a ruled surface.
The straight line itself is called the generating line, generator, or ruling. Examples of ruled
surfaces are cylinders, cones, conicoid, etc.
Hyperboloid of one sheet and hyperbolic paraboloids are skew surfaces as shortest distance
between their consecutive generators do not vanish.
Envelopes and Developables • 89
where r is position vector on the base curve and g is unit vector along the generator at that
point. Let r, g be functions of single parameter u. Then R is a function of two parameters u, v.
Thus, equation (1) defines a surface
R1 = r1 + vg1 and R2 = g
[R - r, r1 + νg1, g] = 0.
A surface generated by one parameter family of planes is called developable surface or simply
developable.
r ⋅ n = p,
where n and p are functions of single parameter t, and p is length of perpendicular from the
origin to the plane.
V = 0 = V ; V + δ V = 0 = V + δ V
i.e., V = 0 = V ; V + V δ t = 0 = V + Vδ t
Clearly the two consecutive lines lie in the plane V + Vδ t = 0 . Thus, the consecutive charac
teristics intersect. Hence, ruled surfaces, i.e., the envelope of oneparameter family of planes
is developable.
90 • Differential Geometry and Tensors
edge of regression
The edge of regression of the envelope, of one parameter family of planes V = 0 is given by
V = 0, V = 0, V = 0,
From equations (iv) and (vi), we notice that both r and r are ⊥ to N, it follows that r ×
r is paral
r is perpendicular to the osculating plane and N being perpendicular to the plane
lel to N; but r ×
r ⋅ N − p = 0 and hence the osculating plane of the edge of regression at any point is the tangent
plane to the developable at the same point.
or pX + qY - Z = px + qy - z = (say) (1)
∂f ∂f
where p = ∂x , q = ∂y .
If z = f (x, y) is developable surface, then the tangent plane to it should involve only one param
eter t (say),
By eliminating t between (2), we can express p and as functions of q. But when p is a function
of q,
∂ ( p, q )
= 0, p = p ( x, y ) , q = q ( x, y ) (3)
∂ ( x, y )
∂ (φ , q )
Similarly, = 0; is a function of q. (4)
∂ ( x, y )
∂p ∂q ∂φ ∂q
∂x ∂x ∂x ∂x ∂ 2 z ∂p
= 0 and =0 r = = , etc.
∂p ∂q ∂φ ∂q ∂x 2
∂x
∂y ∂y ∂y ∂y
r s rs + sy s
i.e., = 0 and =0
s t sx + ty t
⇒ rt - s2 = 0
Since the equation to the three principal planes, namely, osculating plane, normal plane and
rectifying plane contain only a single parameter which is usually taken to be the arc length s,
hence their envelopes are developable surfaces and they are called osculating developable or
tangential developable, polar developable and rectifying developable respectively. Also the
generators of polar developable and rectifying developable are known as polar lines and recti
fying lines respectively.
Let the curve be given by r = r(s) and at any point r on the curve, the equation of the
osculating plane is
In order to get the edge of regression, let us differentiate (3) and use (2), we get
( R − r ) ⋅ (τ ′b − k ′t ) + k = 0 (5)
Since the rectifying line is parallel to t + kb, the point R on the edge of regression is such
that,
Thus, the point on the edge of regression corresponding to the point r on the curve is
k (τ t + kb )
R=r+ (7)
k ′τ − kτ ′
This gives the edge of regression.
Thus, we obtained by putting the value of l = k / k ′τ − kτ , which we get from (5) and (6).
The reason for the term, rectifying, applied to this developable lies in the fact that, when
the surface is developed into a plane by unfolding about consecutive generators, the origi
nal curve becomes a straight line.
We here notice in passing that, if the given curve is a helix k/ is constant, and then angle
will be constant and then the curve in space will be helix. Thus, rectifying lines are
the generators of the cylinder on which the helix is drawn, and rectifying developable
is the cylinder, itself.
* * * * * * * * *
solved example 2
Given ( z − c )2 = xy = z − c = xy
or z = c + xy
∴ ∂z 1 y ∂z 1 x
p= = , q= =
∂x 2 x ∂y 2 y
∂2 z 1 1/ 2 −3 / 2 ∂2 z 1
r= = − y x , t = = − x1/ 2 y −3 / 2
∂x 2
4 ∂y 2
4
Envelopes and Developables • 95
∂2 z 1
s= = x −1/ 2 y −1/ 2
∂x∂y 4
∴ rt − s 2 = 0
⇒ Surface is developable.
Q3: Show that the line given by y = tx - t3, z = t3y - t6, generates a developable surface.
Solution:
x − t2 y z + t6
= = 4
t t t
Here (
r = t 2 , 0, −t 6 ) and g = (1, t, t ) 4
r = ( 2t , 0, −6t ) , g = ( 0,1, 4t )
5 3
g × g = ( 3t , −4t , 1)
4 3
= ( 6t , −0, −6t )
5 5
=0
⇒ The given line generates a developable surface.
Q4: Show that tangent to a curve generates a developable surface and principal normal gener
ates skewsurface.
Solution:
Let the space curve be given by r = r(s) and let t be the unit tangent vector at any point on
it whose position vector is r. Thus, tangent line is given by
R = r + ut, u is a scalar
Here g = t , g ′ = t ′ = kn
∴ [t , g , g ′] = [t , t , kn] = 0
⇒ Surface is developable.
96 • Differential Geometry and Tensors
R = r + un
here g = n, g ′ = n ′ = (τ b − kt )
∴ [t , g , g ′ ] = [t , n, τ b − kt ]
= τ [ t , n, b ]
= 0, ( τ ≠ 0)
⇒ Surface generated by the principal normal is skew.
Q5: Show that the edge of regression of the developable that passes through the parabola
3x y z
x = 0, z2 = 4ay; x = a, y2 = 4az, is given by = = .
y z 3( a − x )
Solution:
z a λa
x = a, y= − 2+ (2)
m m m
Clearly if this line is tangent to the parabola x = a, y2 = 4az then, it must be of the form
a
x = a, y = Mz + (3)
M
Comparing (2) and (3), we get
1 1 1 λ
M= , =− 2 +
m M m m
98 • Differential Geometry and Tensors
(R − r)⋅ n = 0 (2)
Again the polar developable being the envelope of normal planes the polar developable
of c1 is the envelope of family of planes
( R − r1 ) ⋅ t1 = 0 (3)
Now, we shall prove that (2) and (3) are same. Differentiate (1) w.r.t. s, we get,
ds1
t1 = t + ( c − s ) kn + ( −1) t = ( c − s ) kn (4)
ds
On squaring (4), we obtain
2
ds1
= (c − s ) k
2 2
ds
ds1
Let us put in (4), we get
ds
t1 = n (5)
R − ( r + ( c − s ) t ) ⋅ n = 0,
⇒ (6)
(R − r)⋅ n = 0
which is same as (2). Conversely putting
{R − r + ( c − s ) t } ⋅ t
1 1 =0 (In view of (5) and (1))
or ( R − r1 ) ⋅ t1 = 0 ( t ⋅ t1 = t ⋅ n = 0) (7)
Q8: Find the equation of developable surface which has the curve x = 6t, y = 3t2, z = 2t3 for its
edge of regression.
Solution:
x − 6t y − 3t 2 z − 2t 3
= =
x y z
Envelopes and Developables • 99
x − 6t y − 3t 2 z − 3t 3
or = =
6 6t 6t 2
x − 6t y − 3t 2 z − 3t 3
⇒ = =
1 t t2
or ty - 3t3 = z - 2t3, i.e., ty = t3 + z (1)
The developable surface is generated by the tangent to its edge of regression, i.e., it is the
locus of the tangent to the edge of regression. Consequently, for the required developable
surface, we require to eliminate t between (1) and (2). This gives
3t2 - tx + y = 0 (3)
or xt2 - 4y + 3z = 0 (4)
t2 t 1
= =
3 zx + 4 y 2
xy − yz −12 y + x 2
4 y 2 − 3 zx 2 ( xy − 9 z )
2
or =t =
x 2 − 12 y ( )
2
x 2 − 12 y
* * * * * * * * *
unsolved exercise 2
parameter of distribution
where is the angle between consecutive generators PG1 and QG2. Consequently
P (u ) =
[ r ′, g , g ′ ] , where r ′ =
dr
g′ 2
du
R = r + νg.
Let g be a unit vector along the direction of PG1. Now as we know that S.D. of PG1 and a
consecutive generator, in the limiting position, is in surface. Hence, if d be limiting direction
of S.D., then
d N = 0, and as d is ⊥ to g, therefore d g = 0.
∴ d ⋅(g + δ g) = 0 ⇒ d ⋅δ g = 0 ⇒ d ⋅ g′ = 0
∂g
in the limit when Q → p and g ′ = , putting d = g × N in it, we get
∂u
Hence, R1 × R2 = HN = ( r ′ + vg ′ ) × ( g )
102 • Differential Geometry and Tensors
( g ′ × g ) ⋅ ( r ′ + vg ′ ) × g = H ( g ′ × g ) ⋅ N = 0
⇒ ( g ′ × g ) ⋅ [ r ′ × g + vg ′ × g ] = 0
⇒ g ′ ⋅ r ′ + vg ′ 2 = 0 (2)
since g2 = 1⇒ g ⋅ g′ = 0
Equation (2) determines ν uniquely provided g′2 ≠ 0 and for this value of , we have the central
point given by
R = r + g.
* * * * * * * * *
solved example 3
2 2 2
Q1: Find the line of striction of hyperboloid x + y + z = 1.
2 2 2
a b c
Solution:
x − a cos (θ + ∂θ ) y − b sin (θ + ∂θ ) z
and = =
a sin (θ + ∂θ ) −b cos (θ + ∂θ ) c′
λ ⋅ a sin θ + µ ( −b cos θ ) + vc = 0
and λ ⋅ a sin (θ + ∂θ ) + µ ( −b cos (θ + ∂θ )) + cv = 0
λ µ
∴ =
−bc cos θ + bc cos (θ + ∂θ ) ac sin (θ + ∂θ ) − ac sin θ
ν
=
− ab sin θ cos (θ + ∂θ ) + ab cos θ sin (θ + ∂θ )
Envelopes and Developables • 103
λ µ ν
or = =
−bc sinθ ∂θ ac cosθ ∂θ ab ∂θ
λ µ ν
= =
or −bc sinθ ac cosθ ab
Now, if we take (x, y, z) as a point where S.D. (shortest distance) meets the consecutive
generators, the normal at (x, y, z) must be perpendicular to the given generator and also
to the shortest distance.
− x sin θ ⋅ bc y z
and 2
+ 2 ( ac cos θ ) − 2 ⋅ ab = 0
a b c
x sin θ y cos θ z
or − − =0
a b c
sin θ cos θ 1
where = =
(
− yz c b3 3
) (b 2
+c 2
) (
− zx a c2 2
)(a 2
+c 2
) (
− xy b c
3 3
) (b 2
+ a2 )
Elimination of and by simplification, we get for the lines of striction the intersection of
the surface and the following curve.
2
a2 1 1 b2 1 1 2
c 1 1
2 2
+ 2
+ 2 2 + 2 z 2 a 2 − b2
=
x b c y c a
(α ′b′ − a′β ′) (1 + a 2 + b 2 )
a′2 + b′2 + ( ab′ − a′b )
2
Solution:
Line is given as
x −α y −β z
= =
a b 1
106 • Differential Geometry and Tensors
or λ [ b, ∂ b, t ] = ∂ s [ t , b + ∂ b , t ] ( [α , β, γ ] = 0)
or − λτ ∂ s [b, n, t ] = 0
or λτ ∂ s = 0
but τ ≠ 0, ∂s ≠ 0 ∴ λ=0
That is the central point lies on the curve and hence the curve is line of stricion.