令 g(x,y) = f(x,y)+f(x0,y0)
如果 g 表示的曲线和 f 表示的曲线相交,则存在(x1,y1),使得
f(x1,y1)=g(x1,y1)=0,也就是
f(x1,y1)=f(x1,y1)+f(x0,y0)=0,也就是
f(x0,y0)=0.这与P不在C上矛盾