1 Darboux Approach to Bertrand Surface Offsets Mehmet ÖNDER
Celal Bayar University, Faculty of Science and Arts, Department of Mathematics, Muradiye Manisa, Turkey. E-mail: [email protected]
Abstract
In this paper, we study Bertrand surface offsets by considering the dual geodesic trihedron(dual Darboux frame) of the ruled surfaces. We obtain the relationships between the invariants of Bertrand trajectory ruled surfaces. Furthermore, we obtain the conditions for these surface offset to be developable.
AMS:
Keywords:
Ruled surface; Bertrand offset; dual angle.
1. Introduction
In the space, a continuously moving of a straight line generates a special surface called ruled surface. A ruled surface can always be described (at least locally) as the set of points swept by a moving straight line. These surfaces are one of the most fascinating topics of the surface theory and also used in many areas of science such as Computer Aided Geometric Design(CAGD), mathematical physics, moving geometry, kinematics for modeling the problems and model-based manufacturing of mechanical products. Especially, the offsets of the ruled surface have an important role in (CAGD)[6,7]. In [8], Ravani and Ku defined and given the generalization of the theory of Bertrand curve for Bertrand trajectory ruled surfaces on the line geometry. By considering the E. Study mapping, Küçük and Gürsoy have studied the integral invariants of closed Bertrand trajectory ruled surfaces in dual space[5]. They have given some characterizations of Bertrand offsets of trajectory ruled surfaces in terms of integral invariants (such as the angle of pitch and the pitch) of closed ruled surfaces and they have obtained the relationships between the projection areas for the spherical images of Bertrand surface offsets and their integral invariants. They have also found that if the Bertrand offsets of trajectory ruled surfaces are developable then their striction lines are Bertrand partner curves. In this paper, we examine the Bertrand offsets of the ruled surfaces in view of their dual geodesic trihedrons(dual Darboux frames). Using the dual representation of the ruled surfaces, we give some theorems and the results characterizing Bertrand surface offsets.
2. Dual Numbers and Dual Vectors
Let { } ( , ) : ,
D IR IR a a a a a IR ∗ ∗ = × = = ∈ be the set of the pairs ( , ) a a ∗ . For ( , ) a a a ∗ = , ( , ) b b b D ∗ = ∈ the following operations are defined on D : Equality: , a b a b a b ∗ ∗ = ⇔ = = Addition: ( , ) a b a b a b ∗ ∗ + ⇔ + +
Multiplication: ( , ) ab ab ab a b ∗ ∗ ⇔ +
The element (0,1) D ε= ∈ satisfies the relationships ε ≠ , ε = , 1 1 ε ε ε= = (1) Let consider the element a D ∈ of the form ( , 0) a a = . Then the mapping : , ( , 0) f D IR f a a → = is a isomorphism. So, we can write ( , 0) a a = . By the multiplication rule we have that 2 ( , )( , 0) (0, )( , 0) (0,1)( , 0) a a aa aa aa a ε ∗ ∗ ∗∗ == += += + Then a a a ε ∗ = + is called dual number and ε is called dual unit. Thus the set of dual numbers is given by { } : , , 0 D a a a a a IR ε ε ∗ ∗ = = + ∈ = (2) The set D forms a commutative group under addition. The associative laws hold for multiplication. Dual numbers are distributive and form a ring over the real number field[2]. Dual function of dual number presents a mapping of a dual numbers space on itself. Properties of dual functions were thoroughly investigated by Dimentberg[2]. He derived the general expression for dual analytic (differentiable) function as follows ( ) ( ) ( ) ( ) f x f x x f x x f x ε ε ∗ ∗ ′= + = + , (3) where ( ) f x ′ is derivative of ( ) f x and , x x IR ∗ ∈ . This definition allows us to write the dual forms of some well-known functions as follows cos( ) cos( ) cos( ) sin( ),sin( ) sin( ) sin( ) cos( ),, ( 0).2 x x x x x xx x x x x xxx x x x xx ε εε εε ε ∗ ∗∗ ∗∗∗ = + = − = + = + = + = + > (4) Let D D D D = × × be the set of all triples of dual numbers, i.e., { } ( , , ) : , 1, 2,3 i D a a a a a D i = = ∈ = (cid:1) , (5) Then the set D is called dual space. The elements of D are called dual vectors. Similar to the dual numbers, a dual vector a (cid:1) may be expressed in the form ( , ) a a a a a ε ∗ ∗ = + = (cid:2) (cid:2) (cid:2) (cid:2)(cid:1) , where a (cid:2) and a ∗ (cid:2) are the vectors of IR . Then for any vectors a a a ε ∗ = + (cid:2) (cid:2)(cid:1) and b b b ε ∗ = + (cid:2) (cid:2)(cid:1) of D , the scalar product and the vector product are defined by ( ) , , , , a b a b a b a b ε ∗ ∗ = + + (cid:2) (cid:2) (cid:2)(cid:2) (cid:2) (cid:2)(cid:1)(cid:1) , (6) and ( ) * a b a b a b a b ε ∗ × = × + × + × (cid:2) (cid:2) (cid:2)(cid:2) (cid:2) (cid:2)(cid:1)(cid:1) , (7) respectively, where , a b (cid:2)(cid:2) and a b × (cid:2)(cid:2) are the inner product and the vector product of the vectors a (cid:2) and a ∗ (cid:2) in IR , respectively. The norm of a dual vector a (cid:1) is given by , , ( 0) a aa a aa ε ∗ = + ≠ (cid:2) (cid:2)(cid:2) (cid:2)(cid:1) (cid:2) . (8) A dual vector a (cid:1) with norm 1 0 ε + is called dual unit vector. The set of dual unit vectors is given by { } ( , , ) : , 1 0 S a a a a D a a ε= = ∈ = + (cid:1) (cid:1) (cid:1) (cid:1) , (9) and called dual unit sphere[1,3].
3. Dual Representation of Ruled Surfaces
In the Euclidean 3-space IR , an oriented line L is determined by a point p L ∈ and a unit vector a (cid:2) . Then, one can define a p a ∗ = × (cid:2) (cid:2) (cid:2) which is called moment vector. The value of a ∗ (cid:2) does not depend on the point p , because any other point q in L can be given by q p a λ = + (cid:2) (cid:2) (cid:2) and then a p a q a ∗ = × = × (cid:2) (cid:2) (cid:2) (cid:2) (cid:2) . Reciprocally, when such a pair ( , ) a a ∗ (cid:2) (cid:2) is given, one recovers the line L as { } ( ) : , , L a a a a a E IR λ λ ∗ ∗ = × + ∈ ∈ (cid:2) (cid:2) (cid:2) (cid:2) (cid:2) , written in parametric equations. The vectors a (cid:2) and a ∗ (cid:2) are not independent of one another and they satisfy the following relationships , 1, , 0 a a a a ∗ = = (cid:2) (cid:2) (cid:2) (cid:2) (10) The components , i i a a ∗ (1 3) i ≤ ≤ of the vectors a (cid:2) and a ∗ (cid:2) are called the normalized Plucker coordinates of the line L . From (6), (9) and (10) we see that the dual unit vector a a a ε ∗ = + (cid:2) (cid:2)(cid:1) corresponds to the line L . This correspondence is known as E. Study Mapping: There exists a one-to-one correspondence between the vectors of dual unit sphere S (cid:1) and the directed lines of the space IR . By the aid of this correspondence, the properties of the spatial motion of a line can be derived. Hence, the geometry of ruled surface is represented by the geometry of dual curves lying on the dual unit sphere S (cid:1) . The angle * θ θ εθ = + between two dual unit vectors , a b (cid:1)(cid:1) is called dual angle and defined by * , cos cos sin a b θ θ εθ θ = = − (cid:1)(cid:1) . (11) By considering the E. Study Mapping, the geometric interpretation of dual angle is that, θ is the real angle between the lines , L L corresponding to the dual unit vectors , a b (cid:1)(cid:1) , respectively, and * θ is the shortest distance between those lines[3]. Let now ( ) k (cid:1) be a dual curve represented by the dual vector ( ) ( ) ( ) e u e u e u ε ∗ = + (cid:2) (cid:2)(cid:1) . The unit vector e (cid:2) draws a curve on the real unit sphere S and is called the (real) indicatrix of ( ) k (cid:1) . We suppose throughout that it is not a single point. We take the parameter u as the arc-length parameter s of the real indicatrix and denote the differentiation with respect to s by primes. Then we have , 1 e e ′ ′ = (cid:2) (cid:2) . The vector e t ′ = (cid:2)(cid:2) is the unit vector parallel to the tangent of the indicatrix. The equation ( ) ( ) ( ) e s p s e s ∗ = × (cid:2) (cid:2) (cid:2) has infinity of solutions for the function ( ) p s (cid:2) . If we take ( ) o p s (cid:2) as a solution, the set of all solutions is given by ( ) ( ) ( ) ( ) o p s p s s e s λ = + (cid:2) (cid:2) (cid:2) , where λ is a real scalar function of s . Therefore we have , , o p e p e λ′ ′ ′ ′= + (cid:2) (cid:2) (cid:2) (cid:2) . By taking , o o p e λ λ ′ ′= = − (cid:2) (cid:2) we see that ( ) ( ) ( ) ( ) o o p s s e s c s λ + = (cid:2) (cid:2) (cid:2) is the unique solution for ( ) p s (cid:2) with , 0 c e ′ ′ = (cid:2) (cid:2) . Then, the given dual curve ( ) k (cid:1) corresponding to the ruled surface ( ) ( ) e c s ve s ϕ = + (cid:2) (cid:2) (12) may be represented by ( ) e s e c e ε = + × (cid:2) (cid:2) (cid:2)(cid:1) (13) where , 1 e e = (cid:2) (cid:2) , , 1 e e ′ ′ = (cid:2) (cid:2) , , 0 c e ′ ′ = (cid:2) (cid:2) . (14) Then we have det( , , ) 1 e t c e t ε ε′ ′= + = + ∆ (cid:2) (cid:2)(cid:2) (cid:2)(cid:1) (15) where det( , , ) c e t ′∆ = (cid:2)(cid:2) (cid:2) . The dual arc-length s of the dual curve ( ) k (cid:1) is given by 4 ( ) (1 ) s s s s e u du du s du ε ε′= = + ∆ = + ∆ ∫ ∫ ∫ (cid:1) (16) From (16) we have 1 s ε′ = + ∆ . Therefore, the dual unit tangent to the curve ( ) e s (cid:1) is given by ( )1 de e e t t c tds s εε ′ ′= = = = + ×′ + ∆ (cid:2) (cid:2)(cid:1) (cid:1) (cid:1) (cid:2)(cid:1) (17) Introducing the dual unit vector g e t g c g ε = × = + × (cid:2) (cid:2) (cid:2)(cid:1)(cid:1) (cid:1) we have the dual frame { } , , e t g (cid:1)(cid:1) (cid:1) which is known as dual geodesic trihedron or dual Darboux frame of e ϕ (or ( ) e (cid:1) ). Also, it is well known that the real orthonormal frame { } , , e t g (cid:2)(cid:2) (cid:2) is called the geodesic trihedron of the indicatrix ( ) e s (cid:2) with the derivations , , e t t g e g t γ γ ′ ′ ′= = − = − (cid:2) (cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2) (18) where γ is called the conical curvature[4]. Similar to (18), the derivatives of the vectors of the dual frame { } , , e t g (cid:1)(cid:1) (cid:1) are given by , , de dt dgt g e tds ds ds γ γ= = − = − (cid:1)(cid:1) (cid:1)(cid:1) (cid:1)(cid:1) (cid:1) (19) where ( ) γ γ ε δ γ = + − ∆ , , c e δ ′= (cid:2) (cid:2) (20) and the dual darboux vector of the frame is d e g γ= + (cid:1) (cid:1) (cid:1) . From the definition of ∆ and (20) we also have c e g δ′ = + ∆ (cid:2) (cid:2) (cid:2) (21) The dual curvature of dual curve(ruled surface) ( ) e s (cid:1) is R γ= + (22) The unit vector o d (cid:1) with the same sense as the Darboux vector d e g γ= + (cid:1) (cid:1) (cid:1) is given by o d e g γγ γ= ++ + (cid:1) (cid:1) (cid:1) (23) Then, the dual angle between o d (cid:1) and e (cid:1) satisfies the followings γρ ργ γ= =+ + (24) where ρ is the dual spherical radius of curvature. Hence sin , cot R ρ γ ρ= = [9].
4. Darboux Approach to Bertrand Ruled Surfaces
Let e ϕ and e ϕ be two ruled surfaces generated by dual unit vectors e (cid:1) and e (cid:1) and let { } ( ), ( ), ( ) e s t s g s (cid:1)(cid:1) (cid:1) and { } ( ), ( ), ( ) e s t s g s (cid:1)(cid:1) (cid:1) denote the dual Darboux frames of e ϕ and e ϕ , respectively. Then e ϕ and e ϕ are called Bertrand surface offsets, if ( ) ( ) t s t s = (cid:1) (cid:1) (25) holds, where s and s are the dual arc-lengths of e ϕ and e ϕ , respectively. By this definition, the relation between the trihedrons of the ruled surfaces e ϕ and e ϕ can be given as follows 5 cos 0 sin0 1 0sin 0 cos e et tg g θ θθ θ − = (cid:1) (cid:1)(cid:1) (cid:1)(cid:1) (cid:1) (26) where θ θ εθ ∗ = + , (0 , ) θ π θ ∗ ≤ ≤ ∈ (cid:3) is the dual angle between the generators e (cid:1) and e (cid:1) of Bertrand ruled surface e ϕ and e ϕ . The angle θ is called the offset angle and θ ∗ is called the offset distance(Fig. 1). Fig. 1.
E. Study Mapping of the Bertrand surface offsets.
Then, θ θ εθ ∗ = + is called dual offset angle of the Bertrand ruled surface e ϕ and e ϕ . If 0 θ= and / 2 θ π= then the Bertrand surface offsets are said to be oriented offsets and right offsets, respectively[5]. Now, we give some theorems and results characterizing Bertrand surface offsets. First we give the following theorem which is also given in [5] and proved by considering Blaschke frame. Then we give the new theorems and corollaries for Bertrand surface offsets. Theorem 4.1.
Let e ϕ and e ϕ form a Bertrand surface offset. The offset angle θ and the offset distance θ ∗ are constants. Proof.
Suppose that e ϕ and e ϕ form a Bertrand offset. Then from (26) we have cos sin e e g θ θ = − (cid:1) (cid:1) (cid:1) . (27) By differentiating (27) with respect to s we get (cos sin ) de dt gds ds θθ γ θ= + − (cid:1) (cid:1) (cid:1) . (28) Since deds (cid:1) and g (cid:1) are orthogonal, from (28) we have 0 dds θ = , i.e., θ θ εθ ∗ = + is constant. Then, we obtain that the offset angle θ and the offset distance θ ∗ are constants. Theorem 4.2. If e ϕ and e ϕ form a Bertrand surface offset, then there is the following differential relationship between the dual arc-length parameters of e ϕ and e ϕ cos sin dsds θ γ θ= + . (29) Proof.
Suppose that e ϕ and e ϕ form a Bertrand offset. Then, from (26) and Theorem 4.1 we have (cos sin ) de ds tds ds θ γ θ= + (cid:1) (cid:1) . (30) Since de tds = (cid:1) (cid:1) , from (30) we obtain Eq. (29). Real part of (29) is obtain as follows cos sin dsds θ γ θ= + , (31) and it gives the relation between the arc-length of the real indicatrixes ( ) e s (cid:2) and ( ) e s (cid:2) . Theorem 4.3.
Let e ϕ and e ϕ form a Bertrand surface offset. Then there are the following relationships between the arc-length parameters of e ϕ and e ϕ cos sin( ) sin cos cos sin ss s s s s s dsdu ds du ds s θ γ θγ γ θ θ θ γ θ θ ∗ ∗ = + ∆ = ∆ + + ∆ + − ∫∫ ∫ ∫ ∫ (32) Proof. If e ϕ and e ϕ form a Bertrand surface offset, then Theorem 4.2 holds and from (29) we have cos sin s s s ds ds θ θγ= + ∫ ∫ . (33) Since θ is constant, equality (33) may be written as cos sin s s s ds θ θ γ= + ∫ . (34) By separating the right side of (34) into real and dual parts and using the fact that s s du ∗ = ∆ ∫ we obtain cos sin ( ) sin cos cos sin . s s s s s s ds ds du ds s θ γ θ ε γ γ θ θ θ γ θ θ ∗ ∗ = + + ∆ + + ∆ + − ∫ ∫ ∫ ∫ (35) From (16) we have s s s du ε= + ∆ ∫ . Then from (35) we find the equalities (32). Corollary 4.1.
Let e ϕ and e ϕ form a Bertrand surface offset and let e ϕ be a developable ruled surface generated by dual unit vector e (cid:1) . Then, e ϕ is developable if and only if sin cos sin 0 s s ds ds s γ θ θ γ θ θ ∗ ∗ + − = ∫ ∫ (36) holds. Proof.
Assume that e ϕ and e ϕ form a Bertrand surface offset and let e ϕ be developable. Then we have ∆ = . From Theorem 4.3, the condition to satisfy ∆ = is that sin cos sin 0 s s ds ds s γ θ θ γ θ θ ∗ ∗ + − = ∫ ∫ . Conversely if e ϕ is developable and (36) holds, then from (32) we have that ∆ = , i.e, e ϕ is developable. From (32) we can give the following result Result 4.1. i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset then the real indicatrixes ( ) e s (cid:2) and ( ) e s (cid:2) have the same arc length parameter, i.e, s s = and s s s du du ds θ γ ∗ ∆ = ∆ + ∫ ∫ ∫ . ii) If the ruled surfaces e ϕ and e ϕ form a right offset then the following equalities holds , ( ) ss s s ds du ds s γ γ γ θ ∗ ∗ = ∆ = ∆ + − ∫ ∫ ∫ . Theorem 4.4.
Let e ϕ and e ϕ form a Bertrand surface offset. The offset distance θ ∗ is found as follows cos sincos sin δ θ θθ δθ γ θ ∗ − ∆= −+ . (37) Proof.
Let e ϕ and e ϕ form a Bertrand surface offset and the striction lines of e ϕ and e ϕ be ( ) c s and ( ) c s , respectively. Then by the definition of Bertrand offset we can write c c t θ ∗ = + (cid:2)(cid:2) (cid:2) . (38) Differentiating (38) with respect to s we have
11 1 ( ) dc dc dsg eds ds ds θ γ ∗ = + − (cid:2) (cid:2) (cid:2) (cid:2) . (39) From (20) we have / , dc ds e δ = (cid:2) . Then from the real part of (26) and (39) we obtain ( ) cos / , cos sin / , sin dsdc ds e dc ds g ds δ θ θ θ θ θγ θ ∗ ∗ = − − − (cid:2) (cid:2) (cid:2) (cid:2) . (40) Using the equalities / , dc ds e δ = (cid:2) , / , / , det( / , , ) dc ds g dc ds e t dc ds e t = × = = ∆ (cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2) (cid:2) (cid:2) , (41) from (40) we have cos sincos sin δ θ θθ δθ γ θ ∗ − ∆= −+ . Result 4.2. i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset then θ δ δ ∗ = − holds. ii) If the ruled surfaces e ϕ and e ϕ form a right offset then θ δγ ∗ ∆= − holds. Theorem 4.5.
Let e ϕ and e ϕ form a Bertrand surface offset. The relationship between ∆ and ∆ is given by cos sin ( cos sin )cos sin θ δ θ θ γ θ θθ γ θ ∗ ∆ + + −∆ = + . (42) Proof.
We know that det( / , , ) dc ds e t ∆ = (cid:2)(cid:2) (cid:2) . Then from (26) and (39) we obtain ( ) det ( ) , cos sin ,det , , cos det , , sin det( , , ) cos det( , , ) sin . ds dc g e e g tds dsds dc dce t g t g e t e g tds ds ds θ γ θ θθ θ θ γ θ θ ∗ ∗ ∆ = + − −= − + + (cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2)(cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2) (cid:2) (cid:2) (43) Writing det( / , , ) dc ds e t ∆ = (cid:2)(cid:2) (cid:2) and det( , , ) det( , , ) , 1 e g t g e t g e t = − = − × = − (cid:2) (cid:2) (cid:2)(cid:2) (cid:2) (cid:2) (cid:2) (cid:2) (cid:2) , det , , , , dc dc dcg t g t eds ds ds δ = × = − = − (cid:2) (cid:2) (cid:2)(cid:2) (cid:2)(cid:2) (cid:2) (cid:2) . in (43), we have equality (42). Corollary 4.2.
Let e ϕ and e ϕ form a Bertrand surface offset and let e ϕ be developable. Then, the Bertrand offset e ϕ is developable if and only if sinsin cos δ θθ θ γ θ ∗ = − , (44) holds. Proof.
Let e ϕ be a developable ruled surface, i.e, 0 ∆ = . Then from Theorem 4.5, the condition to satisfy ∆ = is that sinsin cos δ θθ θ γ θ ∗ = − . Conversely if e ϕ is developable and (44) holds, then from (42) we have that ∆ = , i.e, e ϕ is developable. From Theorem 4.5 we can give the following result. Result 4.3. i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset, then θγ ∗ ∆ = ∆ + holds. ii) If the ruled surfaces e ϕ and e ϕ form a right offset, then δ θγ ∗ −∆ = holds. Theorem 4.6.
Let e ϕ and e ϕ form a Bertrand surface offset. There is the following relationship between the conical curvatures γ and γ , cos sincos sin γ θ θγ θ γ θ−= + . (45) Proof.
From (18) and (26) we have 9 , (sin cos ),( cos sin ) . g td e g tds dsds γ θ θγ θ θ ′= −= − += − (cid:2)(cid:2) (cid:2)(cid:2) (cid:2)
From (31) we have (45).
Corollary 4.3.
Let e ϕ and e ϕ form a Bertrand surface offset. Then the offset angle is given by arctan 1 γ γθ γγ −= + . (46) Proof.
From (44) we have (46) immediately.
Result 4.4. i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset, then γ γ = . ii) If the ruled surfaces e ϕ and e ϕ form a right offset, then γγ = − . Theorem 4.7. If e ϕ and e ϕ form a Bertrand surface offset, then there exists the following relationship between γ and γ , (cos sin ) cos (sin cos ) sincos sin ( cos sin )( cos sin ) cos sin . ds ds dsds ds ds dsdsdsds γ θγ θ ε θ θ γ θ θθ θ γ θ θ δγ θ θ θ γ θ θ ∗ = − + − − ∆ + − − − − + + (47) Proof.
From (20), (37), (42) and (45), by direct calculation we have (47)
Result 4.5.i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset then ( ) (1 ) γ γ ε γ δ γ θ ∗ = + − ∆ + − + holds. ii) If the ruled surfaces e ϕ and e ϕ form a right offset then γγ ε δ θγ γ γ ∗ += − + −∆ + − , (48) holds. Theorem 4.8.
Let e ϕ and e ϕ form a Bertrand surface offset. Then, the dual curvature of e ϕ is given by R A B A ε − − = + − + , (49) where ( ) ( )( ) ( cos sin ),sin cos cos sin( cos sin ) cos sin . dsA dsdsB A A Ads A γ θ θθ θ θ θ δγ θ θ θ γ θ θ ∗ = − = − + ∆ + − − + + + (50) Proof.
From (22) and (48), (49) and (50) are obtained immediately.
Theorem 4.9.
Let e ϕ and e ϕ form a Bertrand surface offset. Then, the dual spherical radius of curvature of e ϕ is given by ( ) ( ) cos 1 1 A A BA A ρ ε − −− = + + + , (51) where A and B are same as in (50). Proof.
From (24) we have sin R ρ = . Then by (4) and (47) we get
1/ 2 3/ 22 21 1 1 sin 1 , cos 1
A B A ρ ρ ρ − −∗ = + = − + . (52) By using the trigonometric relation sin cos 1 ρ ρ+ = and considering (52), we have cos 1
A A ρ − = + . (53) By writing (53) in the second equality of (52) we obtain ( ) BA A ρ ∗ −= + . (54) Then by using the extension cos cos sin ρ ρ ερ ρ ∗ = − , from (52)-(54) we have (51). Corollary 4.4.
The relationship between the offset angle θ and the real spherical radius of curvature ρ is given by cos sincot cos sin γ θ θρ θ γ θ −= + . (55) Proof.
The proof is clear from (31), (52) and (53).
Result 4.6. i)
If the ruled surfaces e ϕ and e ϕ form an oriented offset then the relationship between the real spherical radius of curvature ρ and conical curvature γ is given by cot ρ γ= . ii) If the ruled surfaces e ϕ and e ϕ form a right offset then the relationship between the real spherical radius of curvature ρ and conical curvature γ is given by ρ γ= .
5. Conclusions
In this paper, we give the characterizations of Bertrand offsets of ruled surfaces in view of dual geodesic trihedron(dual Darboux frame). We find new relations between the invariants of Bertrand surface offsets. Furthermore, we give the relationships for Bertrand surface offsets to be developable. 11
References [1] Blaschke, W., “Differential Geometrie and Geometrischke Grundlagen ven Einsteins Relativitasttheorie Dover”, New York, (1945). [2] Dimentberg, F. M., “The Screw Calculus and its Applications in Mechanics”, (Izdat. Nauka,
Moscow, USSR, 1965) English translation: AD680993, Clearinghouse for Federal and Scientific
Technical Information. [3] Hacısaliho ğ lu. H. H., "Hareket Gometrisi ve Kuaterniyonlar Teorisi", Gazi Üniversitesi Fen-Edb. Fakültesi, (1983). [4] Karger, A., Novak, J., “Space Kinematics and Lie Groups”, STNL Publishers of Technical Lit., Prague, Czechoslovakia (1978). [5] Kucuk, A., Gursoy O., “ On the invariants of Bertrand trajectory surface offsets”,
App. Math. and Comp., 151, pp. 763-773, (2004). [6] Papaioannou, S.G., Kiritsis, D., “An application of Bertrand curves and surfaces to CAD/CAM”,
Computer Aided Design 17 (8) (1985) 348-352. [7] Pottmann, H., Lü, W., Ravani, B., “Rational ruled surfaces and their offsets”,
Graphical Models and Image Procesing, vol. 58, no. 6, pp. 544-552, 1996. [8] Ravani, B., Ku, T. S., “Bertrand Offsets of ruled and developable surfaces”,
Comp. Aided Geom. Design, (23), No. 2, (1991). [9] Veldkamp, G.R., “On the use of dual numbers, vectors and matrices in instantaneous spatial kinematics”,