DiaryINDEX｜past｜will
| 2009年12月10日(木) | Maxima悲喜交々 |
2009/12/10(木)16:05:14
Maxima悲喜交々。
定数交じりの方程式・・・
solve([x^2+ax+b=0], [x]);
(%o54) [x=-sqrt(-b-ax),x=sqrt(-b-ax)]
非常に呆れましたが・・・
何か定数に関しては設定が必要なんでしょうかね。
solve([x^2-cos(x)=tan(x)], [x]);
[x^2=(sin(x)+cos(x)^2)/cos(x)]
答えになっとらんし・・・。
それに、不定積分の公式を何本か試してみましたが
定数交じりのはまず解釈してくれません・・・。
risch(1/sqrt(1-x^2), x);
integrate(1/(sqrt(1-x)*sqrt(x+1)),x)
これも答えになっていない・・・
rischは不定積分
risch(cos(1/x), x);
cos(1/x)*x-integrate(sin(1/x)/x,x)
これも、不定積分では手に負えないから
定積分に投げている・・・
と見ていいんでしょうかね。
もっとも、
integrate(1/(sqrt(1-x)*sqrt(x+1)),x);
asin(x)
と出てくれますし。
integrate(sin(1/x)/x,x)
こいつは駄目らしい・・・。
答えが問いと同じになる。
不可能公理や連続理論
とか言う以前に
システムがちゃんと機能するかどうかの
検証や習熟の方が大変そうです・・・。
