|
>
|
solve( 2*y - (x - 1)^2 = 2, y );
|
| (4.1) |
>
|
solve( x^2 - x = 2025, x );
|
| (4.2) |
パラメータを無視するには、それについて解く変数を指定します。
>
|
solve( {(a^2*c^2 - 4*b^2)/b = a^6*b - 4*a^3*b}, {c} );
|
| (4.3) |
solve コマンドは線形システムを解くことができます。
>
|
solve( {32*x + 13*y + 42*z = 50, 87*x + 190*y + 112*z = 940, 10*x + 10*y/4 + 10*z = 10}, {x, y, z});
|
| (4.4) |
solve コマンドは不等式を解くことができます。
>
|
solve( {x + y < 10, x^2 = 9}, {x, y} );
|
| (4.5) |
パラメータに対して前提条件を使用すると、より具体的な解を得ることができます。また、変数をリストとして与えた場合は出力形式が変わることにご注目ください。
>
|
solve(x^2=a,[x]) assuming a::negative;
|
| (4.6) |
>
|
solve(b < a*x, [x]) assuming a>1;
|
| (4.7) |
高次多項式の陽的解は非常に長い場合があるため、解は RootOf 式を用いたプレースホルダーとして返される可能性があります。

| (4.8) |
1 変数の非代数方程式の陽的解を求められなかった場合、RootOf 式がプレースホルダーとして使用される場合があります。
>
|
solve( cos(x^2) = 2*cos(x)+x, x );
|
| (4.9) |
|