AN APPLICATION OF RITT-WU'S ZERO DECOMPOSITION ALGORITHM TO NULL BERTRAND TYPE CURVES IN MINKOWSKI 3-SPACE

作者：Yildirim Mehmet; Ilarslan Kazim^*

来源：Hacettepe Journal of Mathematics and Statistics, 2010, 39(4): 555-565.

• Mechanical theorem proving
• Ritt-Wu's method
• Bertrand curves
• Mannheim curves
• Minkowski 3-space
• Null curves

Bertrand curves were first studied using a computer by W. -T. Wu in (A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Kexue Tongbao 32, 585-588, 1987). The same problem was studied using an improved version of Ritt-Wu's decomposition algorithm by S. -C. Chao and X.-S. Gao (Automated reasoning in differential geometry and mechanics: Part 4: Bertrand curves, System Sciences and Mathematical Sciences 6(2), 186-192, 1993).
In this paper, we investigate the same problem for null Bertrand type curves in Minkowski 3-space E(1)(3) by using the well known algorithm given by Chao and Gao, and obtain new results for null Bertrand type curves in Minkowski 3-space E(1)(3).

• 出版日期2010-12