函数与导函数的结式的特殊性质定理

书中玉

已于 2024-06-11 11:38:06 修改

阅读量659

点赞数 10

文章标签：矩阵线性代数抽象代数

于 2024-06-07 10:35:12 首次发布

本文链接：https://blog.csdn.net/tianwangwxm/article/details/139520571

版权

【定理】

设

$\sum_{i = 0}^{n}{a_{i}x^{i}}\mathcal{\in R}\lbrack x\rbrack$

这里 $\deg(A,x)$ ，而 $\mathcal{R}$ 为一个代数闭域。设 $\alpha_{i}(i = 1,\ldots,n)$ 别是 $A$ 代数闭域上的零点，设 $A^{'}(x)$ 为 $A (x)$ 的导函数，那么有恒等式：

$res\left( A,A^{'},x \right) = ( - 1)^{\frac{n(n - 1)}{2}}a_{n}^{2n - 1}\prod_{1 \leq j < i \leq n}^{}\left( \alpha_{i} - \alpha_{j} \right)^{2}$

【证明】

因为

$a_{n}\prod_{i = 1}^{n}\left( x - \alpha_{i} \right)$

所以

$A^{'}(x) = a_{n}\sum_{i = 1}^{n}{\prod_{\begin{array}{r} j = 1 \\ j \neq i \end{array}}^{n}\left( x - \alpha_{j} \right)}$

又因为

$a_{m}^{n}\prod_{i = 1}^{m}{B\left( \alpha_{i} \right)}$

这里 $\deg(A,x)、n = \deg(B,x)$

从而

$res\left( A,A^{'},x \right)$

$a_{n}^{n}\prod_{i = 1}^{n}{A^{'}\left( \alpha_{i} \right)}$

$\begin{array}{r} = a_{n}^{n}a_{n}^{n - 1}\prod_{i = 1}^{n}{\sum_{k = 1}^{n}{\prod_{\begin{array}{r} j = 1 \\ j \neq k \end{array}}^{n}\left( \alpha_{i} - \alpha_{j} \right)}} = a_{n}^{n}a_{n}^{n - 1}\prod_{i = 1}^{n}{\prod_{\begin{array}{r} j = 1 \\ j \neq i \end{array}}^{n}\left( \alpha_{i} - \alpha_{j} \right)} ① \end{array}$

$\begin{array}{r} = ( - 1)^{\frac{n(n - 1)}{2}}a_{n}^{2n - 1}\prod_{1 \leq j < i \leq n}^{}\left( \alpha_{i} - \alpha_{j} \right)^{2}② \end{array}$

注意：

前面的 $①$ 等号是因为只有当 $k = i$ 时，才有

$\prod_{\begin{array}{r} j = 1 \\ j \neq k \end{array}}^{n}\left( \alpha_{i} - \alpha_{j} \right) \neq 0$

后面的 $②$ 等号成立是因为有序对 $(i, j)$ （ $i > j$ ）的个数恰好为 $\binom{n}{2} = \frac{n(n - 1)}{2}$ ，而一个有序对 $(i, j)$ 对应一个有序对 $(j, i)$ ，所有 $\left( \alpha_{j} - \alpha_{i} \right)$ 需要调整符号的次数恰好为 $\frac{n(n - 1)}{2}$