sx1205高次方程的公式解与群论.docVIP

专题5 高次方程的公式解与群论 引言 关于一般高次方程的几个基本问题 1．是否每个代数方程都有一个根？一个一般 n次方程有多少个根？ 2．有多少个实根、复根、正根、负根？如何判定？ 3．方程的数值解 ─ 近似计算。 4．方程的根式解：是否存在，如何判定，如何具体得到。 一、古代：二次方程的公式解 1．巴比伦 2．希腊。欧几里得《原本》中“几何化的代数” 3．中国。《九章算术》；赵爽；刘徽；一行。 二、16世纪：三次、四次方程的公式解及其他相关问题 1．背景 1494年，帕乔利 (Pacioli ) 在《算术、几何、比及比例全书》中猜测三次方程不可解。约1505～1515年间，费罗 ( Ferro) 解出形如 x3＋px＝q 的三次方程。 1530年，塔尔塔利亚 (Tartaglia ) 解出形如 x3＋mx2＝n 的三次方程，1535年获得了形如 x3＋px＝q和 x3＝px＋q (p和q 均为正数）的方程的解法。 1541年，塔尔塔利亚对于 p，q ＞ 0 解出了 x3± px2＝ ±q x3± px ＝ ±q 1539年，在卡尔达诺 (Cardano ) 的恳求下，塔尔塔利亚将自己关于三次方程 x3＋px＝q 和 x3＋q＝px 的解法告诉了他。在此基础上，卡尔达诺于1545年在他的《大术》一书中公布了三次方程解法的所谓“卡尔达诺公式”，用几何方法给出了证明，同时还公布了他的学生费拉里 (Ferrari ) 得到的四次方程求根公式，即费拉里公式。1546年，塔尔塔利亚出版《各种问题和发明》，叙述了他发现三次方程求根公式的经过，以及他与卡尔达诺交往的经过。1547年，费拉里公开向塔尔塔利亚挑战。1548年8月10日，双方在米兰大教堂公开辩论。 2．三次方程的求根公式 设给定代数方程 x3＋bx2＋cx＋d ＝ 0 (1) 作变换 x ＝ y － b／3，于是 (1)化为 y3＋py ＝ q (2) 设 y ＝ m1/3－n1/3, 其中 m － n ＝ q， (mn) 1/3＝ p／3, 可以解出 m ＝ (1／2)q ＋ √[(1／2·q)2 ＋ (1／3·p)3] n ＝ －(1／2)q ＋ √[(1／2·q)2 ＋ (1／3·p)3] 设α= m1/3，β= n1/3，则有 x1＝α－β－b／3； x2＝ωα－ω2·β－b／3； x3＝ω2·α－ωβ－b／3 其中，ω＝(1／2)(－1＋√3·i)；ω2＝(1／2)(－1－√3·i) 卡尔达诺是第一位明确得到三次方程的三个根并指出所有三次方程均有三个根的数学家。 3．四次方程的求根公式 看方程 x4＋ax3＋bx2＋cx＋d＝0 （1) 若 x4的系数不为 1，由于是四次方程，首项系数不能是 0，故可化为 1. 移项 x4＋ax3＝－bx2－cx－d （2） 两边加（(1／2)ax）2，配方： x4＋ax3＋((1／2)ax）2 ＝(x2＋((1／2)ax)2＝((1／4)a2－b)x2－cx－d 两边加（x2＋(1／2)ax）y＋(1／4)y2： （x2＋(1／2)ax）2＋(x2＋(1／2)ax)y＋(1／4)y2 ＝（(1／4)a2－b＋y)x2＋((1／2)ay－c)x＋(1／4)y2－d （3) 如果能使右边这个 x的二次式的判别式为 0，就能使这一边成为 x的一次式的完全平方，于是设 （(1／2)ay－c）2－4((1／4)a2－b＋y)((1／4)y2－d)＝0 （4） 这是 y的一个三次方程。 选取上述关于 y的三次方程的任一个根代入 (3)中的 y，根据左边也是一个完全平方这一事实，取平方根，得到 x的一个二次式，它等于 x的两个互为正负的线性函数之一。解出这两个二次方程便得到 x的四个根。若从 (4)选取另一个根就会从 (3)引出一个不同的方程，但得到同样的四个根。 4．韦达（Viete）的整理 对于三次方程 x3＋bx2＋cx＋d＝0 （1) Viete 先设 x＝y－b／3 代入（1)得到约简的三次方程 y3＋px＋q＝0 （2) 再作一次变换，令 y＝z－p／3z