符号运算

无心人

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么