Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 方程式の解法 >
Mathematica 組込みシンボルチュートリアル »|関連項目 »|その他 »

Solve

Solve[eqns, vars]
変数 vars に関する方程式や，連立方程式の解を求める．
Solve[eqns, vars, elims]
変数 elims を消去することで vars に関する方程式の解を求める．
  • 方程式は lhsEqualrhs の形式で与える．
  • 連立方程式は，リストや&&で組むことができる．
  • 単一の変数，または変数のリストを指定することができる．
  • Solve[eqns]は，eqns のすべての変数について解を求める．
  • Solveは，x->sol の形式の規則とした明示的な解を与える．
  • 複数の変数が存在する場合，解は規則のリスト{x->sx, y->sy, ...}として与えられる．
  • 複数の解が存在するとき，Solveは，これらのリストを与える．
  • ある解が重解の場合には，Solveは，対応する解を複数与える． »
  • Solveは，主に線形および整方程式を取り扱う．
  • オプションInverseFunctionsは，より一般的な多項式の解を求める上で，Solveが逆関数を使用するかどうかを指定する．デフォルト設定はInverseFunctions->Automaticである．この場合，Solveは逆関数を使用することができるが，警告メッセージを出力する．InverseFunctionsの注釈を参照． »
  • Solveは，一般解だけを与える．パラメータが特殊な条件を満たすときに限って有効な解を外す．Reduceは，解の完全な組を与える． »
  • Solveでは式の明示的な解を常に得ることはできない．まず可能な分を明示的な解で与え，残りの解を記号的表現でRootオブジェクトにして与える．極めて少ない記号のパラメータであれば，Nを使って解の数値近似を求めることができる． »
  • Solveは，この方程式に可能な解が存在しない場合には{}を与える． »
  • Solveはすべての変数が可能な値すべてを持てる場合には{{}}を与える． »
  • Solve[eqns, ..., Mode->Modular]は，整数剰余に限って等号が成り立つ方程式を解く．使用する特定の剰余を方程式ModulusEqualpを含むことで指定することができる．このような方程式を含めない場合，Solveは，可能な剰余について求解を試みる． »
  • Solveは，近似値係数を持った，疎な連立線形方程式を取り扱うための特別の有効な技術を使う．
例題すべて閉じる
例   (4)
2次方程式を解く：
In[1]:=
Click for copyable input
Out[1]=
 
連立方程式をxとyについて解く：
In[1]:=
Click for copyable input
Out[1]=
 
解は代入リストとして与えられる：
In[1]:=
Click for copyable input
Out[1]=
xに解を代入する：
In[2]:=
Click for copyable input
Out[2]=
xとyの組合せに解を代入し，結果を簡約する：
In[3]:=
Click for copyable input
Out[3]=
yについての解の実部をパラメータaの関数としてプロットする：
In[4]:=
Click for copyable input
Out[4]=
 
3番目の解を拾い出す：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
バージョン 1 の新機能 | バージョン 5 での修正機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team