曲线切线问题：GeoGebra给出额外切线解的困惑

给定曲线方程：xy³+2y-x²+3x=-2，点(2,-1)在曲线上（代入验证：2*(-1)³+2*(-1)-2²+3*2=-2-2-4+6=-2，符合方程）。

手动求解切线过程 #

对曲线方程隐函数求导：

d/dx [xy³+2y-x²+3x] = d/dx [-2]
y³ + 3xy²y' + 2y' - 2x + 3 = 0

整理得斜率表达式：
y' = (2x - 3 - y³)/(3xy² + 2)

代入x=2, y=-1：
y' = (4 - 3 - (-1))/(3*2*1 + 2) = 2/8 = 1/4

因此切线方程为y + 1 = (1/4)(x - 2)，整理得-x + 4y = -6，这是正确结果。

GeoGebra额外解的成因 #

GeoGebra给出的另一个解1.58x - 1.99y = 5.14，本质是过点(2,-1)且与曲线其他分支相切的直线，而非该点处的切线，成因如下：

• 该隐函数是多值曲线，存在多个分支，在点(2,-1)附近的其他分支上，存在一个切点，对应的切线恰好经过(2,-1)；
• GeoGebra的数值求解算法在寻找点处切线时，未严格限定切点为目标点本身，而是将所有过该点且与曲线相切的直线都纳入结果，导致误返回了这条不属于目标点的切线；
• 由于是数值近似计算，结果以小数形式呈现，而非精确表达式。

内容的提问来源于stack exchange，提问作者Juniven Acapulco