标题: 一元三次方程的通解是什么?
性别:未知-离线 KYOKO
(★御姐控★)

唐国公
荆南节度使
★★

Rank: 22Rank: 22Rank: 22Rank: 22
柱国(正二品)
组别 节度使
级别 大将军
功绩 1456
帖子 65615
编号 32
注册 2003-8-19
来自 BWL


发表于 2007-5-13 02:04 资料 个人空间 短消息 只看该作者
一元三次方程的通解是什么?

Ax^3+Bx^2+Cx+D=0的通解用A,B,C,D怎样表达?

以前看到解法,好复杂


顶部
性别:男-离线 青石
(临照轩)

木禾侯
谏议大夫

Rank: 16
组别 翰林学士
级别 征东将军
功绩 380
帖子 5724
编号 18288
注册 2004-9-25


先化简成 X^3+aX^2+bX+c=0
然后令X=Y-a/3,变成X^3+pX+q=0的形式

对于X^3+pX+q=0
令X=u+v,则X^3=3uvx+(u^3+v^3)=-px-q
对照两边系数
uv=-p/3
u^3+v^3=-q
再解这两个方程组
u^3*v^3=-p^3/27
u^3+v^3=-q
所以u^3和v^3是一元二次方程t^2+qt-p^3/27=0的根
用求根公式解出
然后开方得出u和v
再代入X=u+v

本帖最近评分记录
青木风亮 2007-5-14 23:44 +100 好帖奖励


顶部
性别:男-离线 asky
(春意思)

Rank: 15Rank: 15Rank: 15Rank: 15Rank: 15Rank: 15
组别 羽林都尉
级别 骠骑将军
功绩 94
帖子 8938
编号 16632
注册 2004-8-29


发表于 2007-5-13 10:30 资料 个人空间 短消息 只看该作者
这个在数学史上还有典故。
顶部
性别:男-离线 夜雨落枫
(欧阳枫)

Rank: 9Rank: 9Rank: 9
组别 校尉
级别 安东将军
好贴 1
功绩 48
帖子 3224
编号 79763
注册 2006-8-20
家族 网络曹操传


发表于 2007-5-13 11:08 资料 个人空间 短消息 只看该作者 QQ


QUOTE:
原帖由 KYOKO 于 2007-5-13 02:04 发表
Ax^3+Bx^2+Cx+D=0的通解用A,B,C,D怎样表达?

以前看到解法,好复杂

以前查过资料,要化成X3+pX+q的形式解

[ 本帖最后由 夜雨落枫 于 2007-5-13 11:09 编辑 ]
顶部
性别:未知-离线 KYOKO
(★御姐控★)

唐国公
荆南节度使
★★

Rank: 22Rank: 22Rank: 22Rank: 22
柱国(正二品)
组别 节度使
级别 大将军
功绩 1456
帖子 65615
编号 32
注册 2003-8-19
来自 BWL


发表于 2007-5-13 13:19 资料 个人空间 短消息 只看该作者
还有,如何证明一元三次以上方程是没有通解的?特殊形式的例外
顶部
性别:女-离线 天宫公主
(司徒家的颖颖)

虞国公主

Rank: 12Rank: 12Rank: 12
组别 限制发言用户
级别 大将军
好贴 6
功绩 517
帖子 11552
编号 1037
注册 2004-10-25
来自 天津
家族 司徒实业


发表于 2007-5-13 13:27 资料 主页 短消息 只看该作者 QQ
青石的解法没错,不过我更喜欢用三角函数的方法。原因是四次方的通解,可以把三角函数推广成椭圆函数而得。

椭圆函数可以想象成在复平面上有双周期的解析函数。五次方程之上就没有通解了。
顶部
性别:未知-离线 KYOKO
(★御姐控★)

唐国公
荆南节度使
★★

Rank: 22Rank: 22Rank: 22Rank: 22
柱国(正二品)
组别 节度使
级别 大将军
功绩 1456
帖子 65615
编号 32
注册 2003-8-19
来自 BWL


发表于 2007-5-13 13:30 资料 个人空间 短消息 只看该作者
公主说得是吗?怎么我记得四次方程就没有通解了
顶部
性别:女-离线 天宫公主
(司徒家的颖颖)

虞国公主

Rank: 12Rank: 12Rank: 12
组别 限制发言用户
级别 大将军
好贴 6
功绩 517
帖子 11552
编号 1037
注册 2004-10-25
来自 天津
家族 司徒实业


发表于 2007-5-13 13:30 资料 主页 短消息 只看该作者 QQ
在数学中,特别是抽象代数理论中,由埃瓦里斯特·伽罗瓦得名的伽罗瓦理论提供了域论和群论之间的联系。应用伽罗瓦理论,域论中的一些问题可以化简为更简单易懂的群论问题。

伽罗瓦最初使用置换群来描述给定的多项式的根与根之间的关系。由戴德金、利奥波德·克罗内克、艾摩·阿廷等人发展起来的现代伽罗瓦理论引入了关于域扩张及其自同构的研究。

伽罗瓦理论的进一步抽象为伽罗瓦连接理论。

在经典问题上的应用

伽罗瓦理论的诞生最初是由于如下的现在称之为阿贝尔-鲁菲尼定理的问题:

    "为什么五次及更高次的代数方程没有一般的代数解法,即这样的方程不能由方程的系数经有限次四则运算和开方运算求根?"

伽罗瓦理论不仅对于这个问题提供了一个漂亮的解答,而且详细的解释了为什么四次及更低次方程有代数解,以及它们的代数解为什么是那样的形式。

伽罗瓦理论还给出了一些有关尺规作图的问题的清晰洞察。它给出了所有可以尺规作图的长度比的一个优雅的描述。这样,一些经典几何问题的解答变得相对容易:

    "哪些正多边形是可以尺规做出的?"
    "为何不能三等分任意角?"

[编辑] 伽罗瓦理论的置换群描述

如果我们给定一个多项式,它的一些根可能是被不同的代数方程联系起来的。例如,有两个根 A 和 B,它们满足方程 A2 + 5B3 = 7。伽罗瓦理论的核心思想是考虑具有以下性质的根的置换:这些根所满足的任何代数方程,在置换之后也依然成立。一个重要的限制条件是我们要把代数方程的系数限定为有理数。(其实也可以把系数限定在其他的一个给定的域,但是为了简单起见,我们限制在有理数域。)

这些置换形成了一个置换群,也称为这个多项式(在实数域上)的伽罗瓦群。这可以很清晰的举例说明。

[编辑] 第一个例子:二次方程

考虑如下的一元二次方程:

    x2 − 4x + 1 = 0.

应用一元二次方程的求根公式,我们可以求出它的两个根为

    A = 2 + √3,   和
    B = 2 − √3.

A 和 B 满足的代数方程例如:

    A + B = 4,   和
    AB = 1.

显然在这些方程中,如果我们交换 A 和 B,我们同样能得到真命题。例如,方程 A + B = 4 简单的变成了 B + A = 4。进一步的,这对于 A 和 B 满足的所有可能的代数方程都成立。证明这个结论需要对称多项式的理论。

我们可以总结出,多项式 x2 − 4x + 1 的伽罗瓦群由两个置换构成:保持 A 和 B 不变的恒同变换,以及交换 A 与 B 位置的对换。它是一个二阶循环群,因此同构于 Z/2Z。

这里会有人产生疑问: A 和 B 同样满足另一个代数方程 A − B − 2√3 = 0,但交换 A 和 B 时这个方程并不能保持不变。其实这并不是个问题,因为它不是有理系数方程:√3 是一个无理数。

类似地可以讨论任意二次多项式 ax2 + bx + c, 其中 a, b 和 c 都是有理数。

    * 如果多项式只有一个根,例如 x2 − 4x + 4 = (x−2)2, 那么伽罗瓦群是平凡的;也就是说,它只包括恒同变换。
    * 如果多项式有两个不同的有理根,例如 x2 − 3x + 2 = (x−2)(x−1), 伽罗瓦群同样是平凡的。
    * 如果多项式有两个无理根(包括根是复数的情况), 那么伽罗瓦群包括上面例子中所描述的两个置换。

[编辑] 第二个例子 — 有些技巧性

考虑多项式

    x4 − 10 x2 + 1,

也可以写成

    (x2 − 5)2 − 24.

我们同样希望在有理数域上描述这个多项式的伽罗瓦群。这个多项式有四个根:

    A = √2 + √3,
    B = √2 − √3,
    C = −√2 + √3,
    D = −√2 − √3.

这四个根有 24 种可能的排列,但这些排列并不都是伽罗瓦群的元素。伽罗瓦群的元素必须保持所有 A, B, C 和 D 满足的有理系数代数方程。这样的方程例如:

    A + D = 0.

因此置换

    (A, B, C, D) → (A, B, D, C)

是不允许的,因为它把真等式 A + D = 0 变成了假等式 A + C = 0,因为 A + C = 2√3 ≠ 0.

这些根满足的另一个等式为:

    (A + 2 = 8.

这也会去掉一些置换,例如:

    (A, B, C, D) → (A, C, B, D).

如此继续下去,我们可以求出满足所有等式的置换只有:

    (A, B, C, D) → (A, B, C, D)
    (A, B, C, D) → (C, D, A,
    (A, B, C, D) → (B, A, D, C)
    (A, B, C, D) → (D, C, B, A),

因此伽罗瓦群同构于克莱因四元群.

[编辑] 现代的域论描述

现代的研究方法是从域扩张 L/K 开始,并分析 L/K 的自同构群。进一步的解释和例子请参见关于伽罗瓦群的文章。

这两种描述的关系如下说明。问题中的多项式的系数应当属于基域 K。扩域 L 应当是在域 K 中添加多项式的根之后所得到的域。 任一满足上述保持多项式性质的根的置换,都对应 L/K 的一个自同构,反之亦然。

在上面的第一个例子中,我们研究的是域扩张 Q(√3)/Q,其中 Q 是有理数域,而 Q(√3) 是在 Q 中加入 √3 之后所得到的域。在第二个例子中,我们研究的是域扩张 Q(A,B,C,D)/Q。

现代的方法比起置换群的方法,有几点优势:

    * 它使得伽罗瓦理论基本定理的描述更为简洁;
    * 在数学中的很多其他领域需要使用 Q 以外的基域。例如,在代数数论中,人们经常在代数数域、有限域和定域场上应用伽罗瓦理论。
    * 它使人们更容易研究无穷扩张。这在代数数论中同样很重要,例如人们经常需要研究 Q 的绝对伽罗瓦群,即当 K 是 Q 的一个代数闭包时,K/Q 的伽罗瓦群。
    * 它使得人们可以研究不可分扩张。这在经典框架中并不成为问题,因为这时总是可以假定为特征0的;但在数论和代数几何中经常出现特征非0的情况。
    * 它去除了人们对多项式求根的依赖性。也就是说,不同的多项式可能产生同一个扩域,现代的方法可以识别这些多项式之间的联系。

本帖最近评分记录
青木风亮 2007-5-14 23:37 +100 好帖奖励
顶部
性别:男-离线 青石
(临照轩)

木禾侯
谏议大夫

Rank: 16
组别 翰林学士
级别 征东将军
功绩 380
帖子 5724
编号 18288
注册 2004-9-25




QUOTE:
原帖由 天宫公主 于 2007-5-13 13:27 发表
青石的解法没错,不过我更喜欢用三角函数的方法。原因是四次方的通解,可以把三角函数推广成椭圆函数而得。

椭圆函数可以想象成在复平面上有双周期的解析函数。五次方程之上就没有通解了。

这个方法初等
很容易懂也容易记住
顶部
性别:男-离线 青石
(临照轩)

木禾侯
谏议大夫

Rank: 16
组别 翰林学士
级别 征东将军
功绩 380
帖子 5724
编号 18288
注册 2004-9-25




QUOTE:
原帖由 KYOKO 于 2007-5-13 13:30 发表
公主说得是吗?怎么我记得四次方程就没有通解了

一元四次方程有根式解
五次以及五次以上没有根式解
顶部
性别:女-离线 天宫公主
(司徒家的颖颖)

虞国公主

Rank: 12Rank: 12Rank: 12
组别 限制发言用户
级别 大将军
好贴 6
功绩 517
帖子 11552
编号 1037
注册 2004-10-25
来自 天津
家族 司徒实业


发表于 2007-5-13 20:13 资料 主页 短消息 只看该作者 QQ


QUOTE:
原帖由 青石 于 2007-5-13 18:25 发表


这个方法初等
很容易懂也容易记住

很遗憾的是,容易明白和容易推广经常是互相矛盾的。
顶部
性别:男-离线 青石
(临照轩)

木禾侯
谏议大夫

Rank: 16
组别 翰林学士
级别 征东将军
功绩 380
帖子 5724
编号 18288
注册 2004-9-25




QUOTE:
原帖由 天宫公主 于 2007-5-13 20:13 发表


很遗憾的是,容易明白和容易推广经常是互相矛盾的。

嗯 这是很难统一
许多题目的简单解法往往强烈依赖于题目的某些特点
而这通常没有普遍性
顶部
性别:未知-离线 fs1012

Rank: 7Rank: 7Rank: 7Rank: 7
组别 校尉
级别 右将军
功绩 22
帖子 1172
编号 113330
注册 2007-2-26
家族 梁山泊


发表于 2007-6-12 15:24 资料 个人空间 短消息 只看该作者
在数学中,特别是抽象代数理论中,由埃瓦里斯特·伽罗瓦得名的伽罗瓦理论提供了域论和群论之间的联系。应用伽罗瓦理论,域论中的一些问题可以化简为更简单易懂的群论问题。

伽罗瓦最初使用置换群来描述给定的多项式的根与根之间的关系。由戴德金、利奥波德·克罗内克、艾摩·阿廷等人发展起来的现代伽罗瓦理论引入了关于域扩张及其自同构的研究。

伽罗瓦理论的进一步抽象为伽罗瓦连接理论。

在经典问题上的应用

伽罗瓦理论的诞生最初是由于如下的现在称之为阿贝尔-鲁菲尼定理的问题:

    "为什么五次及更高次的代数方程没有一般的代数解法,即这样的方程不能由方程的系数经有限次四则运算和开方运算求根?"

伽罗瓦理论不仅对于这个问题提供了一个漂亮的解答,而且详细的解释了为什么四次及更低次方程有代数解,以及它们的代数解为什么是那样的形式。

伽罗瓦理论还给出了一些有关尺规作图的问题的清晰洞察。它给出了所有可以尺规作图的长度比的一个优雅的描述。这样,一些经典几何问题的解答变得相对容易:

    "哪些正多边形是可以尺规做出的?"
    "为何不能三等分任意角?"

[编辑] 伽罗瓦理论的置换群描述

如果我们给定一个多项式,它的一些根可能是被不同的代数方程联系起来的。例如,有两个根 A 和 B,它们满足方程 A2 + 5B3 = 7。伽罗瓦理论的核心思想是考虑具有以下性质的根的置换:这些根所满足的任何代数方程,在置换之后也依然成立。一个重要的限制条件是我们要把代数方程的系数限定为有理数。(其实也可以把系数限定在其他的一个给定的域,但是为了简单起见,我们限制在有理数域。)

这些置换形成了一个置换群,也称为这个多项式(在实数域上)的伽罗瓦群。这可以很清晰的举例说明。

[编辑] 第一个例子:二次方程

考虑如下的一元二次方程:

    x2 − 4x + 1 = 0.

应用一元二次方程的求根公式,我们可以求出它的两个根为

    A = 2 + √3,   和
    B = 2 − √3.

A 和 B 满足的代数方程例如:

    A + B = 4,   和
    AB = 1.

显然在这些方程中,如果我们交换 A 和 B,我们同样能得到真命题。例如,方程 A + B = 4 简单的变成了 B + A = 4。进一步的,这对于 A 和 B 满足的所有可能的代数方程都成立。证明这个结论需要对称多项式的理论。

我们可以总结出,多项式 x2 − 4x + 1 的伽罗瓦群由两个置换构成:保持 A 和 B 不变的恒同变换,以及交换 A 与 B 位置的对换。它是一个二阶循环群,因此同构于 Z/2Z。

这里会有人产生疑问: A 和 B 同样满足另一个代数方程 A − B − 2√3 = 0,但交换 A 和 B 时这个方程并不能保持不变。其实这并不是个问题,因为它不是有理系数方程:√3 是一个无理数。

类似地可以讨论任意二次多项式 ax2 + bx + c, 其中 a, b 和 c 都是有理数。

    * 如果多项式只有一个根,例如 x2 − 4x + 4 = (x−2)2, 那么伽罗瓦群是平凡的;也就是说,它只包括恒同变换。
    * 如果多项式有两个不同的有理根,例如 x2 − 3x + 2 = (x−2)(x−1), 伽罗瓦群同样是平凡的。
    * 如果多项式有两个无理根(包括根是复数的情况), 那么伽罗瓦群包括上面例子中所描述的两个置换。

[编辑] 第二个例子 — 有些技巧性

考虑多项式

    x4 − 10 x2 + 1,

也可以写成

    (x2 − 5)2 − 24.

我们同样希望在有理数域上描述这个多项式的伽罗瓦群。这个多项式有四个根:

    A = √2 + √3,
    B = √2 − √3,
    C = −√2 + √3,
    D = −√2 − √3.

这四个根有 24 种可能的排列,但这些排列并不都是伽罗瓦群的元素。伽罗瓦群的元素必须保持所有 A, B, C 和 D 满足的有理系数代数方程。这样的方程例如:

    A + D = 0.

因此置换

    (A, B, C, D) → (A, B, D, C)

是不允许的,因为它把真等式 A + D = 0 变成了假等式 A + C = 0,因为 A + C = 2√3 ≠ 0.

这些根满足的另一个等式为:

    (A + 2 = 8.

这也会去掉一些置换,例如:

    (A, B, C, D) → (A, C, B, D).

如此继续下去,我们可以求出满足所有等式的置换只有:

    (A, B, C, D) → (A, B, C, D)
    (A, B, C, D) → (C, D, A,
    (A, B, C, D) → (B, A, D, C)
    (A, B, C, D) → (D, C, B, A),

因此伽罗瓦群同构于克莱因四元群.

[编辑] 现代的域论描述

现代的研究方法是从域扩张 L/K 开始,并分析 L/K 的自同构群。进一步的解释和例子请参见关于伽罗瓦群的文章。

这两种描述的关系如下说明。问题中的多项式的系数应当属于基域 K。扩域 L 应当是在域 K 中添加多项式的根之后所得到的域。 任一满足上述保持多项式性质的根的置换,都对应 L/K 的一个自同构,反之亦然。

在上面的第一个例子中,我们研究的是域扩张 Q(√3)/Q,其中 Q 是有理数域,而 Q(√3) 是在 Q 中加入 √3 之后所得到的域。在第二个例子中,我们研究的是域扩张 Q(A,B,C,D)/Q。

现代的方法比起置换群的方法,有几点优势:

    * 它使得伽罗瓦理论基本定理的描述更为简洁;
    * 在数学中的很多其他领域需要使用 Q 以外的基域。例如,在代数数论中,人们经常在代数数域、有限域和定域场上应用伽罗瓦理论。
    * 它使人们更容易研究无穷扩张。这在代数数论中同样很重要,例如人们经常需要研究 Q 的绝对伽罗瓦群,即当 K 是 Q 的一个代数闭包时,K/Q 的伽罗瓦群。
    * 它使得人们可以研究不可分扩张。这在经典框架中并不成为问题,因为这时总是可以假定为特征0的;但在数论和代数几何中经常出现特征非0的情况。
    * 它去除了人们对多项式求根的依赖性。也就是说,不同的多项式可能产生同一个扩域,现代的方法可以识别这些多项式之间的联系。


------------------------------
不是太明白.
顶部
性别:女-离线 天宫公主
(司徒家的颖颖)

虞国公主

Rank: 12Rank: 12Rank: 12
组别 限制发言用户
级别 大将军
好贴 6
功绩 517
帖子 11552
编号 1037
注册 2004-10-25
来自 天津
家族 司徒实业


发表于 2007-6-15 01:08 资料 主页 短消息 只看该作者 QQ
说的简单一些,就是把多项式的每个根互相调整,然后看那些个域在调整过程中保持稳定。
顶部

正在浏览此帖的会员 - 共 1 人在线




当前时区 GMT+8, 现在时间是 2025-2-1 07:52
京ICP备2023018092号 轩辕春秋 2003-2023 www.xycq.org.cn

Powered by Discuz! 5.0.0 2001-2006 Comsenz Inc.
Processed in 0.015286 second(s), 9 queries , Gzip enabled

清除 Cookies - 联系我们 - 轩辕春秋 - Archiver - WAP