无心人 发表于 2008-6-18 18:32:50

Post个界面吧

如果我喜欢
我也装个
没事做做代数题

mathe 发表于 2008-6-18 18:38:04

无心人 发表于 2008-6-18 18:41:17

晕，我一标记和emacs的接口，连tatex也要装，整个386M，哈

不过基本系统60多，几分钟装上
装上看看

无心人 发表于 2008-6-18 18:42:26

界面不错

我这里linux还没找到在什么地方启动呢
哈

mathe 发表于 2008-6-19 11:37:54

刚刚试着用Maxima计算顶楼链接中问题的通项公式
可以假设对于$n>=1$通项公式为
$a(n)=x*u^n+y*v^n+z*s^n+w*t^n$
其中
$u=1/(root{4}{3/2}-1),v=-1/(root{4}{3/2}+1) ,s=-1/(1+root{4}{3/2}*i),t=-1/(1-root{4}{3/2}*i)$
使用a(1)=12,a(2)=114,a(3)=1068,a(4)=10011可以得到x,y,z,w如图：

不过这种表达式实在意义不大，而且不知道是否可以继续化简
谁知道Maxima里面如何对一个表达式进行数值计算？其实数值解更加有意义

mathe 发表于 2008-6-19 11:47:49

重新计算了一下，结果又挺简单，有意思:
$x=(2^(1/4)*3^(3/4)+sqrt(2)*sqrt(3)+2^(3/4)*3^(1/4)+3)/8,y=(-2^(1/4)*3^(3/4)+sqrt(2)*sqrt(3)-2^(3/4)*3^(1/4)+3)/8,z=((2^(1/4)*3^(3/4)-2^(3/4)*3^(1/4))*i-sqrt(2)*sqrt(3)+3)/8,w=-((2^(1/4)*3^(3/4)-2^(3/4)*3^(1/4))*i+sqrt(2)*sqrt(3)-3)/8$

无心人 发表于 2008-6-19 11:56:25

是不是对变量进行赋值就可以了

mathe 发表于 2008-6-19 12:00:08

最后可以得到公式：
$a(n)=round((root{4}{54}+sqrt(6)+root{4}{24}+3)/{8 * (root{4}{3/2}-1)^n}) $
round表示4舍5入

mathe 发表于 2008-6-19 12:01:47

原帖由 无心人 于 2008-6-19 11:56 发表 http://bbs.emath.ac.cn/images/common/back.gif
是不是对变量进行赋值就可以了
不是，是利用solve函数。里面所有=表示等号而不是赋值。maxima里面赋值用:,挺麻烦的

无心人 发表于 2008-6-19 14:44:03

哦

感觉挺复杂的
你安装的能直接导出taTex么
页: 1 2 3 [4] 5 6 7
查看完整版本: 符号运算