On the determination of a developable spherical orthotomic ruled surface

In this paper, a method for determination of developable spherical orthotomic ruled surfaces is given by using dual vector calculus. We show that dual vectorial expression of a developable spherical orthotomic ruled surface can be obtained from coordinates and the ﬁrst derivatives of the base curve. The paper concludes with an example related to this method.

surfaces have a very important place in mathematics and engineering such as motion analysis or designing cars and ships.
Let α be a regular curve and − → T be its tangent, and let u be a source. An orthotomic of α with respect to the source (u) is defined as a locus of reflection of u about tangents − → T [8]. Bruce and Giblin applied the unfolding theory to the study of the evolutes and orthotomics of plane and space curves [3][4][5]. Georgiou, Hasanis and Koutroufiotis investigated the orthotomics in the Euclidean (n + 1) space [7]. Alamo and Criado studied the antiorthotomics in the Euclidean (n + 1)-space [1]. Xiong defined the spherical orthotomic and the spherical antiorthotomic [20]. Also, an orthotomic concept can be applied to surface. For a given surface S and a fixed point (source) P, orthotomic surface of S relative to P is defined as a locus of reflection of P about all tangent planes of S [11].
Dual numbers were defined by Clifford (1873) with the aid of real numbers. After him E. Study has done fundamental research with dual numbers and dual vectors on the geometry of lines and kinematics [2] introducing what is now called the Study mapping. This mapping constitutes a one-to-one correspondence between the dual points of dual unit sphere S 2 and the directed lines of space of lines R 3 [19]. Therefore, the motion locus of a straight line in R 3 can be identified by a point on the source of dual unit sphere S 2 in D Module D 3 . Afterwards Guggenheimer studied relationship between a ruled surface in R 3 and unique dual curve on the surface of S 2 [9].
Köse introduced a method for determination of developable ruled surfaces [13]. In this study, by using methods given [13], we construct a method for determination of developable orthotomic ruled surfaces and obtain a linear differential equation of first order.

Preliminaries
If a and a * are real numbers and ε 2 = 0 with ε / ∈ R, a dual number can be written as a = a + εa * , where ε = (0, 1) is the dual unit.
The set { a = a + εa * |a, a * ∈ R } of dual numbers forms a commutative ring over R and is denoted by D. Then the set becomes a module over the ring D which is called D Module, under addition and scalar multiplication on D [14]. The elements of D 3 are called dual vectors. Thus, a dual vector has the form − → a = − → a + ε − → a * , where − → a and − → a * are real vectors in R 3 .
For any vectors − → a and − → b in D 3 , the inner product and the vector product of these vectors are defined as The dual vector − → a with norm 1 is called a dual unit vector. The set of dual unit vectors is called the dual unit sphere.

Theorem 1 The Study
Mapping is a one-to-one mapping between the dual points of a dual unit sphere, in D Module, and the oriented lines in the Euclidean line space E 3 [10].
According to Theorem 1, the unit dual vector − → a = − → a + ε − → a * corresponds to only oriented line; where the real vector − → a shows the direction of this line and the real vector − → a * shows the vectorial moment of the unit vector − → a with respect to the origin point. Let − → e 3 denote the unit dual sphere, the center of S 2 and dual orthonormal system at O, respectively, where Let S 3 be the group of permutations of {1, 2, 3} , then it can be written as In the case that the orthonormal system is the system of E 3 . By using the Study Mapping, we can conclude that there exists a one-to-one correpondence between the dual orthonormal system and the real orthonormal system. Now, define of spherical normal, spherical tangent and spherical orthotomic of a spherical curve α.
The spherical normal of α is the great circle, passing through α(s), that is normal to α at α(s) and given by where x is an arbitrary point of the spherical normal. The spherical tangent of α is the great circle which tangent to α at α(s) and given by where y is an arbitrary point of the spherical tangent.
Let u be a source on a sphere. Then, Xiong defined the spherical orthotomic of α relative to u as to be the set of reflections of u about the planes, lying on the above great circles (2.1) for all s ∈ I and given by

The dual vector formulation
Let L be a line and x denotes the direction and p be the position vector of any point on L. Dual vector representation allows us the Plucker vectors x and p ∧ x. Thus, dual vector x(t) can be written as where ε is called the dual unit and ε 2 = 0. By using the dual vector function , a ruled surface can be given as It is known that the dual unit vector x(t) is a differentiable curve on a dual unit sphere and also having unit magnitude [15]: The dual arc-length of the ruled surface x(t) is defined bŷ The integrant of the Eq. (3.1) is the dual speed δ of x(t) and is The curvature function is the well-known distribution parameter (drall) of the ruled surface.
Hence, we conclude that a dual curve x(t) = x(t) + εx * (t) can be written as
Let q(t) be a curve. Then we can find a developable spherical orthotomic ruled surface such that, its base curve is the curve q(t) and by (4.3), we have Now we need to determine θ(t). The solution of (4.5) gives cot θ . This solution includes an integral constant, thus we have infinitely many developable spherical orthotomic ruled surfaces such that each of them has a base curve q(t).
Moreover, note that θ * (t), given by (4.6), has two values; by using the minus sign, then we obtain the reciprocal of the spherical orthotomic ruled surfaces obtained by using the plus sign for a given integral constant.
We obtain the distribution parameter same as the first choosing. But in this case unknowns Q 1 , Q 2 , and Q 3 are Q 1 = θ * sin ϕ, Q 3 = −ϕ * . Consider the same curve q(t) = (t 2 , t 2 , 2t +1), the spherical orthotomic ruled surface is obtained as The graph is the same as the previous. For the plane spanned by − → e 1 , − → e 2 , we obtain the same distribution parameter and the same differential equation with Q 1 = θ * sin ϕ, For q(t) = (t 2 , t 2 , 2t + 1), the spherical orthotomic ruled surface is m(u, t) = t 2 − ut √ 2 , t 2 + ut √ 2 , 2t + 1 . and the graph is the same as the other ones.