148 Sample Chapter

Download as pdf or txt
Download as pdf or txt
You are on page 1of 19

2

Envelopes and Developables

2.1 Family oF surFaces (one parameter)

An equation of the form

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 one­parameter family of surfaces.

characteristic of a 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
δα

Now as  → 0, the curves tend to limiting position given by


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

2.2 edge oF regression

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 one­parameter 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.

When  → 0, equations (1) and (2) become

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)

provided ƒ (x, y, z,  ) = 0, so that  is a function of x, y, z.

The tangent line to a characteristic curve ƒ = 0, ƒ = 0 is ⊥ to the normals to the surfaces

ƒ(x, y, z,  ) = 0 and ƒ (x, y, z,  ) = 0

at any point (x, y, z) on them.


Envelopes and Developables • 83

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).

Let ƒ(x, y, z, a, b) = 0, where a and b are functions of x, y, z given by

∂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 

which in view of (3) is


( f x, f y, fz)

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:

Now family of planes is given by

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)

Now in view of (2) and (3), we have

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)

Now from (2) on differentiation, we get

f tt ≡ 2 x − 2t = 0 ⇒ t = x

Putting value of t = x in (1) and (2), we get,

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

which represents the edge of regression.


Envelopes and Developables • 85

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)

where r and b are functions of s.

In view of (1), on differentiation w.r.t. s, we get,

( 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.

Now, differentiating (2) w.r.t. s, and in view of Frenet’s formula, we get

( 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

the equation of plane becomes


ƒ ≡ x + y + z - 1 = 0 (1)
when a2 2 + b2 2 + 2 = 0 (2)
Differentiation of (1) and (2) gives
xd + yd + zd = 0
and a2 d + b2 2d + d = 0
Comparing the above two equations, we have

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

Putting  ,  ,  in (1), we get


x2 y 2
+ = 2 z.
a 2 b2

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+λ

cubic curve given by x =


( a + λ )2 , y=
( b + λ )2 , z=
( c + λ )2 .
( c − a ) (b − a ) (c − b)( a − b) ( a − c ) (b − c )
x y z
Q3. Prove that the envelope of plane cos θ sin φ + sin θ sin φ + cos φ = 1 is given by
a b c
x2 y 2 z 2
+ + = 1.
a 2 b2 c2

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.

Q7. Find the envelope of the sphere ( x − a cos θ ) + ( y − a sin θ ) + z 2 = b 2.


2 2

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

Q7. (x2 + y2 + z2 + a2 - b2)2 = 4a2(x2 + y2)

x2 y 2 z 2
Q8. + + =0
a b c

* * * * * * * * *

2.4 ruled surFaces

A surface which is generated by the motion of one­parameter 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.

types of ruled surfaces


(1) Developable surface: If consecutive generators intersect, the ruled surface is called
developable.
Example: cones and cylinders.
(2) Skew surfaces: If consecutive generators do not intersect, the ruled surface is called
skew­surface or scroll.

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

Hence, equation of tangent plane to the ruled surface is

[R - r, r1 + νg1, g] = 0.

2.6 developable surFace

A surface generated by one parameter family of planes is called developable surface or simply
developable.

If n is unit normal to the plane, then equation of a family of plane is

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.

envelope of a plane involving one parameter


Here we shall prove that the envelope of a plane whose equation involves one parameter is a
developable surface.

In order to prove this, let a plane be given by


r ⋅ n = p or V ≡ r ⋅ n − p = 0, (1)
where n and p are functions of one­parameter t. In view of (1), we get, on differentiating w.r.t. t,
V ≡ r ⋅ n − p = 0 (2)
Equations (1) and (2) together determine a characteristic of the family (1). Since (1) and (2)
are planes, therefore characteristic is a straight line. Hence, the locus of characteristic, that is,
envelope of family of planes is a ruled surface.

Now, we consider two consecutive characteristics, given by

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 one­parameter 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,

i.e., (i) r ⋅ N − p = 0 (ii) r ⋅ N − p = 0  − 


(iii) r ⋅ N p=0

where r is regarded as function of t.

In view of (i) , we get on differentiation w.r.t., t


r ⋅ N + r ⋅ N = p
or r ⋅ N = 0 ( by ii) (iv)

Again from (ii),


r ⋅ N + r ⋅ N
 = 
p
or r ⋅ N = 0 ( by (iii )) (v)

Again from (iv)


r ⋅ N + r ⋅ N = 0

or 
r⋅N =0 ( by use of ( v)) (vi)

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.

Note: Here in place of n, we have taken N but the meaning is same.

condition for the surface z = f (x, y) to be developable


The equation of the tangent plane at the point (x, y, z) to the surface z = f (x, y) is

(X - x)ƒx + (Y - y)ƒy + (Z - z)ƒz = 0

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),

p = f 1(t), q = f 2(t),  = f 3(t) (2)


Envelopes and Developables • 91

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 )

In view of (3) and (4), we obtain

∂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

i.e., rt - s2 = 0 and x(rt - s2) = 0

⇒ rt - s2 = 0

Thus, rt - s2 = 0 is necessary as well as sufficient, for z = f (x, y) to be developable surface.

2.7 developable associated with space curve

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 us prove the following:

1. The curve itself is the edge of regression of the osculating developable.


Proof:

Let the curve be given by r = r(s) and at any point r on the curve, the equation of the
osculating plane is

(R - r)  b = 0, where r = r(s), b = b(s) (i)


94 • Differential Geometry and Tensors

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,

( R − r ) = l (τ t + kb ) , l some number (6)

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

Q1: Prove that surface xy = (z - c)2 is developable.


Solution:

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.

Q2: For z = a 2 xy, show that the surface is developable


(use rt - s2 = 0 for this).

Q3: Show that the line given by y = tx - t3, z = t3y - t6, generates a developable surface.
Solution:

The equation of line can be written as

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

[ r, g , g ] = ( 2t , 0, −6t ) ⋅ ( 3t , −4t , 1)


5 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 skew­surface.
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

∴ R = R(u, s) gives the surface generated by the tangent.

Here g = t , g ′ = t ′ = kn
∴ [t , g , g ′] = [t , t , kn] = 0
⇒ Surface is developable.
96 • Differential Geometry and Tensors

Equation of the principal normal is given by

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:

A straight line touching the parabola x = 0, z2 = 4ay is given by


a
x = 0, z = my +
m
Hence, any tangent plane to the parabola is
a
z − my − + λ x = 0 for all λ
m

(plane through the tangent line)


z a λx
or, y= − 2+ (1)
m m m

Now its section by the plane x = a is the line given by

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

The rectifying developable of c is the envelope of the rectifying planes, given by

(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)

Putting r1 from (1) in (3) and using t1 = n, provided

 R − ( r + ( c − s ) t ) ⋅ n = 0,
⇒   (6)
(R − r)⋅ n = 0
which is same as (2). Conversely putting

n = t1 and r = r1 - (c - s)t in (2)

{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)

which is same as (3). Hence, proved.

Q8: Find the equation of developable surface which has the curve x = 6t, y = 3t2, z = 2t3 for its
edge of regression.

Solution:

The equation of the tangent lines to the edge of regression are

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)

and tx - 6t2 = y - 3t2, i.e., tx - y = 3t2 (2)

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)

and t(tx - y) = 3t3 = 3(ty - z)

or xt2 - 4y + 3z = 0 (4)

∴ From (3) and (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

∴ required developable surface is

(xy - 9z)2 = (x2 - 12y)(4y2 - 2zx).

* * * * * * * * *

unsolved exercise 2

Q1. Prove that the surface xyz = a2 is not developable.


Q2. Show that the developable which passes through the curve z = 0, y2 = 4ax, x = 0, y2 = 4bz
is the cylinder y2 = 4ax + 4bz.
Q3. Show that the line x = 3t2z + 2t(1 - 3t4), y = -2tz + t2(3 + 4t2) generate a skew surface.
Q4. Prove that the generator of the rectifying developable of the skew curve makes with the
tangent to the curve an angle  given by tan = k/t.
Q5. Prove that the rectifying developable of a curve is the polar developable of its involute,
and conversely.
Envelopes and Developables • 101

parameter of distribution

The parameter of distribution p of generator PG1 is defined as

shortest distance (S.D.)


p = lim (1)
δψ
QG2 → PG1

where  is the angle between consecutive generators PG1 and QG2. Consequently

P (u ) =
[ r ′, g , g ′ ] , where r ′ =
dr
g′ 2
du

and ruling of the surface is

R = r + νg.

determination of central point

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.

Thus, d is parallel to g × N. Hence, let d =  g × N. Also d is perpendicular to vector g +  g along


the second generator through Q.

∴ 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

λg′ ⋅(g × N ) = 0 ⇒ (g′ × g)⋅ N = 0 (1)

If generator PG1 is given by R = r +  g, then R is a function of u and v, where r, g are functions


of u.

Hence, R1 × R2 = HN = ( r ′ + vg ′ ) × ( g )
102 • Differential Geometry and Tensors

Let us multiply this by g′ × g scalarly, we obtain, by (1)

( 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:

The two consecutive generators are


x − a cos θ y − b sin θ z
= =
a sin θ −b cos θ c

x − a cos (θ + ∂θ ) y − b sin (θ + ∂θ ) z
and = =
a sin (θ + ∂θ ) −b cos (θ + ∂θ ) c′

If  ,  ,  are direction cosines of the shortest distance between these two,

λ ⋅ 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.

As direction cosines of the normal at (x, y, z) are proportional to x , y , − z , we have


a 2 b2 c2
x ⋅ a sin θ y ( −b cos θ )  z  c
+ + − 2  = 0
a2 b2  c 1

− 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   

Q2: If the line x = az +  , y = bz +  , where a, b,  ,  are functions of t, generate a skew­surface,


the parameter of distribution for the generator is

(α ′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.

You might also like