如何求一个一元八次方程的符号解

chyanog · 发表于 2013-1-21 16:03:54

69# hujunhua 好主意，试了下，果然分解出来了

wayne · 发表于 2013-1-21 21:20:52

70# mathe radiroot包总是加载不成功，费劲

mathe · 发表于 2013-1-21 21:25:27

整个软件很大，我现在还没下载下来，还不能试验不过按照文档说明，它最多也只能处理15次的不可约多项式

wayne · 发表于 2013-1-21 21:39:27

73# mathe 恩，主要是各种package很多，我现在还在rsync

wayne · 发表于 2013-1-21 23:29:35

搞定了：

f := UnivariatePolynomial( Rationals, [2,-16,-40,-32,-4,0,0,0,1] );
RootsOfPolynomialAsRadicals(f);

复制代码

数学星空 · 发表于 2013-1-21 23:49:00

呵呵，的确很神奇哟………… 是否能根式解的都能给出表达式吗？例如求解一下： $6484591447895521-3109710821335221600*y+367081320495641587776*y^2-16753488126971906739456*y^3+385092117683114579108352*y^4-5103856857770702945685504*y^5+$ $42049992724818030982324224*y^6-225294153564237402600603648*y^7+806880282203535092765097984*y^8-1963620676373502637045186560*y^9+3275395806763778081820770304*y^10-$$3751220300859755209194209280*y^11+2928086932006564898870919168*y^12-1524285912484356749116047360*y^13+504730181549077650531680256*y^14-$ $95946081158798277328502784*y^15+7958661109946400884391936*y^16$

wayne · 发表于 2013-1-22 12:34:51

其实axiom 也很不错的 http://axiom-developer.org/axiom ... /section-8.13.xhtml

mathe · 发表于 2013-1-22 19:02:35

呵呵，的确很神奇哟………… 是否能根式解的都能给出表达式吗？例如求解一下： 6484591447895521-3109710821335221600*y+367081320495641587776*y^2-16753488126971906739456*y^3+385092117683114579108352*y^4- ... 数学星空发表于 2013-1-21 23:49

次数高了不一定行

wayne · 发表于 2013-1-22 19:49:19

76# 数学星空 这个函数不是算出根式解，而是算出根所在的代数域的单位元素。计算花了点时间：

17.pdf (17.69 KB, 下载次数: 8)

数学星空 · 发表于 2013-1-22 20:53:44

根所在的代数域的单位元素?? 不太理解，与我们说的方程根有什么关系呢？

账号		自动登录	找回密码
密码			欢迎注册

[提问] 如何求一个一元八次方程的符号解