Algebraic Curves∗
Algebraic Curves∗
Algebraic Curves∗
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
curve is<br />
( )<br />
fy<br />
(f y , −f x )H<br />
−f x<br />
κ = ±<br />
‖∇f‖ 3<br />
= ± f2 yf xx − 2f x f y f xy + f 2 xf yy<br />
(f 2 x + f 2 y) 3 2<br />
= ± f2 y f xx − 2f x f y f xy + fx 2f yy<br />
(fx 2 + ,<br />
f2 y )3 2<br />
where the sign ‘−’ is chosen in case the motion along the curve is in the direction of the vector<br />
(f y , −f x ) and where the sign ‘+’ is chosen in case the motion along the curve is in the direction of<br />
the vector (−f y ,f x ).<br />
Proof By Theorem 1, the algebraic curve can be given a regular local parameterization near a<br />
non-singular point by α(t) = (x(t),y(t)). Differentiating the equation<br />
( )<br />
f x(t),y(t) = 0,<br />
using the chain rule, we obtain<br />
α ′ · (f x ,f y ) = 0.<br />
Therefore α ′ is orthogonal to (f x ,f y ), and we have α ′ = (x ′ ,y ′ ) = λ(f y , −f x ) where λ ≠ 0 is a<br />
function of t. On differentiating once more we obtain<br />
( )<br />
α ′′ · (f x ,f y ) + (x ′ ,y ′ x<br />
′<br />
)H<br />
y ′ = 0.<br />
Therefore we have<br />
x ′ y ′′ − y ′ x ′′ = α ′′ · (−y ′ ,x ′ )<br />
Since ‖α ′ ‖ = |λ| · ‖(f y , −f x )‖, we have that<br />
= λα ′′ · (f x ,f y )<br />
( )<br />
= −λ(x ′ ,y ′ x<br />
′<br />
)H<br />
y ′ ( )<br />
= −λ 3 fy<br />
(f y , −f x )H .<br />
−f x<br />
κ = α′ × α ′′<br />
‖α ′ ‖ 3 = x′ y ′′ − y ′ x ′′<br />
‖α ′ ‖ 3<br />
= ± f2 yf xx − 2f x f y f xy + f 2 xf yy<br />
‖∇f‖ 3 .<br />
Corollary 3 The algebraic curve has a point of inflection at a non-singular point (a,b) if and only<br />
if,<br />
f 2 y f xx − 2f x f y f xy + f 2 x f yy<br />
is zero at (a,b) and changes sign as (x,y) moves through (a,b) along the curve.<br />
6