Beruflich Dokumente
Kultur Dokumente
of Mathematics
Faculty of Sciences
Ankara University
Tandogan, Ankara, 06100, TURKEY
1 email: fertem@science.ankara.edu.tr
3 Department of Mathematics
Faculty of Sciences and Arts
Bilecik University
Bilecik, TURKEY
October 6, 2010
Correspondence
author
146
o n
are t , n , b . t ,
n , b is called Frenet frame or Frenet threshold. Also
n
o
Frenet vectors of the curve is showed as V1 , V2 , V3 . Here V1 = t , V2 =
n,
vector field of the curve and b be the binormal vector field of the curve .
Then
: I M E3
s (s).
: I E 3 is a curve in E 3 with k(s)k = 1. Then is called unit velocity. Let
sn I be the
arc length parameter of . In E 3 for a curve with unit velocity,
o
t ,
n , b Frenet vector fields are calculated as follows:
t = (s),
(s)
n =
,
k (s)k
b = t
n,
see [5].
n
o
Strip vector fields of a strip which belongs to the curve are ,
, .
These vector fields are:
Strip tangent vector field is t = ;
is a unit strip vector field of a surface M at the point (s), than we have
147
or
0
c b
= c 0
a ,
b a 0
= c b,
= c + a,
= b a.
(1)
o n
o
,
, , t ,
n , b and be the unit strip vector fields, the unit
the vectors
, ,
n , b are in the same surface then we obtain the following
Let
equations
D
E
t , = 0,
D
E
t ,
n = 0,
D
E
t , b = 0,
D
E
t ,
= 0.
2.4.1. The Equations of the Strip Vector Fields of the Frenet Vector
Fields
n
o n
o
Let t ,
n, b , ,
, and be the Frenet vector fields, strip vector
= t,
= cos
n sin
= sin n + cos
b,
b,
or in matrix form
t
1
0
0
0
cos
sin
0 sin cos
b
148
2.4.2. The Equations of the Frenet Vector Fields of the Strip Vector
Fields
We can write
t = ,
n = cos
+ sin ,
b = sin
+ cos ,
or in matrix form
t
1
0
0
= 0 cos sin .
0 sin cos
b
149
bc bc
,
b2 + c2
see [3], [8]. This equation is a relation between (torsion or second curvature
of ) and the a, b, c curvatures of a strip that belong to the curve .
And also we can write
a = + .
The special case: if =constant, then = 0. So the equation is a = .
That is, if the angle is constant, then torsion of the strip is equal to the torsion
of the curve.
Definition 4. Let be a curve in M E 3 . If the geodesic curvature
(torsion) of the curve is equal to zero, then the curve-surface pair (, M ) is
called a curvature strip, see [8].
3. General Helix
Definition 5. Let be a curve in E 3 and V1 be the first Frenet vector
field of .U (E 3 ) be a constant unit vector field. If
hV1 , U i = cos (constant)
, and Sp{U } are called a general helix, slope angle and slope axis, see [1],
[2].
Definition 6. A regular curve is called general helix if its first and second
curvatures , are not constant but is constant, see [1], [2], [11].
Definition 7. A curve is called a general helix or conical helix if its tangent
makes a constant angle with a fixed line in space. A curve is a general helix if
and only if the ratio is constant, see [4], [5], [9].
Definition 8. A helix is a curve in 3-dimensional space. The following
parametrisation in Cartesian coordinates defines a helix, see [10].
x(t) = cos t
y(t) = sin t
150
As the parameter t increases, the point (x(t), y(t), z(t)) traces a right-handed
helix of pitch 2 and radius 1 about the z-axis, in a right-handed coordinate
system. In cylindrical coordinates (r, , h), the same helix is parametrised by
r(t) = 1,
(t) = t,
h(t) = t.
Definition 9. If the curve is a general helix, the ratio of the first
curvature of the curve to the torsion of the curve must be constant. The ratio
151
and we obtain
D
E
(s), U = cos = constant.
Definition 10. Let be a helix that lies on the conic. A helix which lies
on the conic is called a conical helix.
Definition 11. Let M be a conic in E 3 , and be a helix on M. We define
a surface element of M as the part of a tangent plane at the neighbourhood of
a point of the conical helix. The locus of the surface element along the conical
helix is called a helix strip.
Definition 12. Let M be a conic in E 3 , and be a helix on M. The part
of the tangent plane on the conical helix is called the surface element of the
conic. The locus of the surface element along the conical helix is called a strip
of conical helix.
Let be the angle between the tangent vector field and slope vector u of
a strip of cylindrical helix. Since .u = cos is constant, we have
0 = (.u) = u = .u.
152
(s1 ) =
m + c 1 (s1 ).
d1
d
=c
.
1=
ds1
ds1
By (1),
1 = c(b1 1 a1
1 ),
(3)
153
Figure 1
and we obtain a1 = 0 and b1 = 1.
Let c be the distance between gravity center of the conic and (s1 ). We
denote c = 1. If
m is a position vector of the gravity center of conic, then
m
must be a constant vector.
Since a1 = 0 (, C) is a curvature strip. By the strips (, C) and (, M )
are curvature strips and by nTheorem
o 3.2, we see that is non-zero constant.
v (s ). Then we write
1
d
m d 1
d
d
=
+
+
(cos 1 + sin
1 )
ds1
ds1
ds1
ds1
154
d(cos 1 + sin
1 )
. (5)
+ (s1 )
ds1
d
d 1
d(cos 1 + sin
1 )
=
+ (s1 )
ds1
ds1
ds1
or
d
d 1
d
d1
d
d
1
=
+ (s1 )(
sin 1 + cos
)+
cos
1 + sin
.
ds1
ds1
ds1
ds1
ds1
ds1
By (1), we see that
d
d
d
= 1 (
+ c1 ) sin 1 + (
+ c1 ) cos
1 cos 1 .
ds1
ds1
ds1
(6)
Since the conical helix and the surface M have the same tangent plane along
the curves and , we can write
d
, 1 = 0.
ds1
By subsitituting (6) in the last equation, we obtain cos = 0. By using that
equation (6), we have
d
= (1 c1 ) 1 .
(7)
ds1
If we calculate the second and third derivatives of the curve , then we get
d2
= c1 1 + (1 c1 )c1
1 (1 c1 ) 1 ,
2
ds1
h
i
d3
2
=
c
(1
c
)c
(1
c
)
1
1
1
1
1
3
ds1
i
h
1
+ c1 c1 c1 c1 + (1 c1 )c1
+ (c1 c1 ) 1 .
Since the same result is obtained by using the other form of (7), we use the
d
= (1 c1 ) 1 of (7) in the rest of our proof. By differentiating both
form ds
1
sides of (7), we obtain
d
=(1 c1 ) 1 ,
ds1
155
d2
= c1 1 + (1 c1 )c1
1 (1 c1 ) 1 ,
2
ds1
i
d3 h
2
=
c
(1
c
)c
(1
c
)
1
1 1
1
1
3
ds1
i
h
1 + 2c1 1 .
+ 3c1 c1 + c1
n o
By applying Gram-Schmidt method to the , , , we have
F1 = (1 c1 ) 1 ,
F2 = (1 c1 )c1
1 (1 c1 ) 1 ,
F3 =
(1 c1 )c1 c1
(1 c1 )c1
1 .
1 +
2
2
c1 + 1
c1 + 1
By [8], we have
21 = b21 + c21 , b1 = 1
and
12
(8)
b c1 b1 c1
= a1 + 1 2
, a1 = 0.
b1 + c21
(9)
1 =
c1
.
21
(10)
F3 = (1 c1 )1
1 (1 c1 )c1 1 1 .
If we calculate 2 and 2 , then we have
2 =
1
|1 c1 |
2 =
1
.
|1 c1 |
and
By dividing 2 to 2 , we obtain
1
2
=
.
2
1
We obtain the proof of theorem from last equation.
(11)
156