Using moving planes to implicitize rational surfaces generated from a planar curve and a space curve

作者：Shi Xiaoran^*

来源：Computer Aided Geometric Design, 2014, 31(9): 631-641.

DOI：10.1016/j.cagd.2014.01.001

• Implicitization
• mu-Basis
• Moving planes
• Rational surfaces

A rational surface
S (s,t) = (A (s)a(t), B (s)b(t), C (s)c(t), C (s)d(t) (1)
can be generated from a rational planer curve P*(s) = (A (s), B(s), C (s)) and a rational space curve P(t) = (a(t), b(t), c(t), d(t)). Let P*(s) pass through the point (1, 1, 1). Then the surface S(s,t) goes through the space curve P(t). Moreover on each z = z*-plane, the cross section of the surface S(s,t) is a stretching or shrinking of the planar curve P*(s), such that the point (1,1, z*, 1) travels to the point P(t) boolean AND {z = z*}. Using moving planes, we provide a new technique to implicitize this kind of rational surface. We find four moving planes that follow the surface from which we construct a sparse matrix whose size is just the degree of the surface with entries linear in x, y, z, w. We prove that the determinant of this matrix is the exact implicit equation of the surface S(s,t) without any extraneous factors. Examples are presented to illustrate our methods.

• 出版日期2014-12
• 单位北京计算科学研究中心; 哈尔滨工业大学