常系数线性方程解的线性无关的几个不同证明常系数-浙江大学数学系.PDFVIP

常常常系系系数数数线线线性性性方方方程程程解解解的的的线线线性性性无无无关关关的的的几几几个个个不不不同同同证证证明明明 王成波 常系数线性方程解 的线性无关性质 （书上 定理）可 以有很多不 同的证 明，例如 上课时我们讲的利用归纳法 利用课本 中的证明思路 ，导 出矛盾 。参见蔡燧林 《常微分方程》 （第页 定理），王高雄 、周之铭 、朱思铭 、王寿松 《常微分方程》年第 三版 （第页）等书 。 利 用 代数 学基本 定理 证 明 ，可 以参考 复 旦 大 学数 学 系主 编 《常微 分 方 程》年第二版第页定理 利用课本 中的证 明思路 （按照实部排列），归结为 （ 为互异实数） 的线性无关 ，最后归结为 的朗斯基行列式 （本质上归结为行 列式）不为零 。 归结为方程组 ，丁同仁 、李承治 《常微分方程教程》年第二版第页 定理 这里我们给出第一种到第三种证明 。 定定定理理理 假设 为互异复数 则如下 个函数是线性无关的： 证证证 明明明一一一 归归归纳纳纳法法法 仅需证 明对于个非平凡多项式 假设 为 次多项式 的系数非零 是线性无关的 也就是说 ， 我们用归纳法 当 时 显然 若 则乘以 得到 如果 已知 时成立 ，则 由 ，同乘以 ， 然后关于求导 次 ，由法则 ，我们知道 其 中 是某个次数不超过 的多项式 由于 为 次 （非 平凡）多项式 ， 也是