分式的带入求值

因为感觉写的东西有极大的可能是错的,所以公开,希望路人指正。

感谢 @黄队 @Elegia 的群中指导!


普通的分式带入求值

分式形如 (F(x) = frac{G(x)}{H(x)}),这里 (G(x))(H(x)) 也可以是分式。

比如当 (G(x) = x)(H(x) = x ^ 2 + 1) 时,(F(x) = frac{x}{x ^ 2 + 1})

(x = 5) 带入,可以得到 (F(5) = frac{5}{26})

易证,对于所有的 (xin R),将 (x) 带入都可以得到合法的值。


带入后分子 (= 0) 分母 ( e 0)

这其实并不是一个很特殊的 case,就是为了让自己区分一下。

比如上面的 (x = 0) 时,分式值 (F(0) = 0)


带入后分子 ( e 0) 分母 (= 0)

大部分情况下这样就当它 ( o infty) 就好了。

比如 (frac{x + 1}{x})(x = 0) 时确实就是挂了(不要无中生有乘个 (x) 上去啊)。

可是这里有一种特殊情况:当分子分母都是类似的类型时。

其实可能还有好多特殊情况,但是萌新只遇到过这种。

比如 (G(x) = frac{x ^ 2}{x - 1})(H(x) = frac{x + 1}{x - 1})(F(x) = dfrac{frac{x ^ 2}{x - 1}}{frac{x + 1}{x - 1}})

(x = 1) 时,那么可以上下同乘 (x - 1),就可以算了。

注:这里需要在带入之前乘,要不然乘 (x - 1) 就变成了乘 (0)
其实就是需要在带入之前合法操作多项式,使得带入之后合法。

应该大部分时候,多乘几个 (x - 1) 上去玩玩都是没问题的,

可是很可能,乘多了会出现 (0 / 0)(infty/infty) 的现象,具体见下文。


带入后分子 (= 0) 且分母 (= 0)

要用到洛必达法则!简单得说,洛必达法则就是

当带入 (x = x_0) 后分式变成 (0/0)(infty/infty) 型的时,(F(x_0) = frac{G'(x_0)}{H'(x_0)})

如果分子分母求导后还是 (0/0)(infty/infty),就再导一次,一直导到不是这样为止。

然后或许就会转到上面的某种情况之一什么的?

至于证明,知乎 上有好多长篇大论,萌新无才,就把证明咕了。

比如 (F(x) = frac{(x - 1)(x + 1)}{x - 1}) 时带入 (x = 1)

根据直觉或约分,可以发现 (lim_{x o 1}F(x) = 2)

根据洛必达法则,(F(1) = frac{2}{1} = 2)。这样勉强验证了它是对的。


其他

感觉分式带入求值什么的有些过于玄学,或许也是萌新探究不深。

有些时候分式带入求值或许有很多种方法,或许都是对的(?)。

比如在求导之前之后处理分式什么的,萌新也不太懂……

就先写到这里了。

原文地址:https://www.cnblogs.com/George1123/p/14510174.html