符号运算

无心人

Post个界面吧

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

mathe

无心人

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

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

无心人

界面不错

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

mathe

刚刚试着用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

重新计算了一下，结果又挺简单，有意思:
$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$

无心人

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

mathe

最后可以得到公式：
$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 11:56 发表
是不是对变量进行赋值就可以了

不是，是利用solve函数。里面所有=表示等号而不是赋值。maxima里面赋值用:,挺麻烦的

无心人

哦

感觉挺复杂的
你安装的能直接导出taTex么