Solve

Solve[expr,vars]
方程式あるいは不等式の系 expr の解を変数 vars について求めようとする.

Solve[expr,vars,dom]
領域 dom 上で解く.領域 dom は一般にRealsIntegersComplexesのいずれかである.

詳細とオプション詳細とオプション

  • expr は以下の任意の論理結合でよい.
  • lhs==rhs方程式
    lhs!=rhs左辺と右辺は等しくない
    または 不等式
    exprdom領域指定
    {x,y,}reg領域指定
    ForAll[x,cond,expr]全称記号
    Exists[x,cond,expr]存在記号
  • Solve[{expr1,expr2,},vars]Solve[expr1&&expr2&&,vars]は等価である.
  • 単一の変数または変数のリストを指定することができる.
  • Solveは,以下の形式の規則の形で解を与える.
  • {}解はない
    {{x->solx,y->soly,},}複数の解
    {{}}全次元の解集合
  • 指定された変数が1つの場合,ある方程式で特定の根が1より大きい重複性を示すときは,Solveは相当する解の複数のコピーを返す.
  • Solve[expr,vars]は,デフォルトで,不等式に代数的に現れる数量は実数値であるが,その他の数量は複素数値であると仮定する.
  • Solve[expr,vars,dom]はすべての変数とパラメータが領域 dom に属すように制限する.
  • domRealsであるかIntegersRationalsのようにその部分集合である場合,すべての定数と関数の値もまた実数に限られる.
  • Solve[expr&&varsReals,vars,Complexes]は変数の実数値について解くが,関数の値は複素数値でもよい.
  • Solve[expr,vars,Integers]は整数領域でディオファントス(Diophantine)方程式を解く.
  • Solve[,xreg,Reals]は,領域 reg 内になるような x を含んでいる.x についての異なる座標はIndexed[x,i]で言及することができる.
  • expr 中の代数的変数で および互いを含まないものは,独立パラメータとして扱われる.
  • Solveは主として線形方程式と整方程式を扱う.
  • expr が実数あるいは複素数領域で整方程式と整不等式のみを含むとき,Solveは理論的には常にすべての について直接解くことができる.
  • expr が超越条件や整数領域を含むとき,Solveはその結果に追加的なパラメータを導入する.
  • Solveは整数領域上のすべての線形方程式と不等式の解の明示的な表現を与えることができ,文献に見られるディオファントス方程式の大部分を解くことができる.
  • expr が実数と複素数の領域上で多項式条件のみを含むとき,Solve[expr,vars]は常に限定子を除くことができる.
  • Solveは一般的な解のみを与える.連続的なパラメータが方程式を満足する場合にのみ有効な解は除かれる.条件付きで有効なその他の解はConditionalExpressionオブジェクトとして表される.
  • ConditionalExpressionの解に含まれる条件には,不等式,Element文,非連続的なパラメータについての方程式や不等式,完全次元の解を持つ方程式が含まれることがある.連続パラメータと変数についての不等式とNotElement条件は除かれる.
  • Solveは不等価変換を使って超越方程式の解を求める.このため,求まらない解があるかもしれず,求まった解の有効性についても厳密な条件が求められない場合もある.
  • Solveは,近似数値係数を持つ線形方程式の疎な系の扱いに特別の効率的な技術を用いる.
  • 使用可能なオプション
  • CubicsFalseすべての三次方程式を解くために明示的な根基を使うかどうか
    GeneratedParametersC生成されたパラメータにどのように命名するか
    InverseFunctionsAutomatic記号的逆関数を使うかどうか
    MaxExtraConditions0連続パラメータにいくつの追加的方程式条件を許すか
    MethodAutomaticどのメソッドを使うべきか
    Modulus0整数に対して取る法
    QuarticsFalse四次方程式を解くために明示的な根基を使うかどうか
    VerifySolutionsAutomatic不等価の変換を使って得られた解を検証するかどうか
    WorkingPrecisionInfinity計算に使う精度
  • MaxExtraConditions->Automaticとすると,連続パラメータについて最少数の方程式条件を必要とする解のみが含まれる.
  • MaxExtraConditions->Allとすると,パラメータについての任意の条件を必要とする解がすべての条件とともにが与えられる.
  • MaxExtraConditions->k とすると,連続パラメータについての最高で k 個の方程式条件を必要とする解のみが含まれる.
  • Method->Reduceとすると,Solveは等価変換のみを用い,すべての解を求める.
  • Solve[eqns,,Modulus->m]m を法とする整数上で方程式を解く.Modulus->Automaticとすると,Solveは方程式に解がある法で最大のものを求めようとする.
1988年に導入
(1.0)
| 2014年に修正
(10.0)