DOCUMENTATION CENTER SEARCH
Mathematica >
Mathematicaチュートリアル関数 »|チュートリアル »

一般的な解と一般的ではない解

方程式が2x0なら，唯一の可能な解がx->0であることは明白である．しかし，方程式がax0になると，話は少々複雑になる．aが0以外のとき，解はx->0のみであるが，aが0のときは，xはどのような値でもよい．Reduceを使うとこれが分かる．
Solveでは，パラメータaが特殊な値0を取らないことを前提に解法が進められる．
In[1]:=
Click for copyable input
Out[1]=
一方，Reduceではaについて何も仮定されず，可能なすべての解が求まる．
In[2]:=
Click for copyable input
Out[2]=
ReduceとSolveの基本的な違いは，Reduceでは与えた方程式について可能なすべての解が求まるのに対して，Solveでは「一般的な」解だけが求まる．ここで，一般的な解とは，解法の対象になった変数に関連した条件は考慮するが，他のパラメータに関する条件は入らない解を意味する．さらに，解の出力形式として，Reduceが等式の組合せとして解を返すのに対して，Solveは変換規則として返す，という点でも異なる．
Solve[eqns,vars]方程式の「一般的な」解を求める
Reduce[eqns,vars]すべての解を含む形で，方程式を簡約する

方程式の解法

Solveを使い，任意の1次方程式を解く．
In[3]:=
Click for copyable input
Out[3]=
Reduceを使い解いてみる．ab0の条件も考慮した完全な解法が得られる．得られた出力において，&&は||より優先度が高いことに注意．
In[4]:=
Click for copyable input
Out[4]=
一般2次方程式の持つすべての解を求める．結果として3組の解が得られる．aが0以外のとき，2次方程式はxについて2つの解を持つ．aが0のとき，方程式は1次式になる．また，a，b，cが0のとき，xの値は何でもよい．
In[5]:=
Click for copyable input
Out[5]=
いくつかの連立方程式があるとき，Reduceを使うとどのような条件下でそれらの方程式が解を持つかが分かる．Solveは一般的な解があるかどうかを示す．
これらの連立方程式を同時に満足させるxの値は存在しない．
In[6]:=
Click for copyable input
Out[6]=
aが1のときに限り解が存在する．
In[7]:=
Click for copyable input
Out[7]=
存在する解は一般的な解ではないので，Solveを使うと何も求まらない．
In[8]:=
Click for copyable input
Out[8]=
aが1であるという制約を付けると，今度は，Solveでも解が求まる．
In[9]:=
Click for copyable input
Out[9]=
この方程式はxがどのような値を取っても成立する．
In[10]:=
Click for copyable input
Out[10]=
方程式が常に成立するとき，Solveの返す解はこのように表記される．
In[11]:=
Click for copyable input
Out[11]=
連立1次方程式を解くとき，一般的な解を求めるにはSolveを使い，解が存在するためのパラメータの値を調べるにはReduceを使うのがよいだろう．
(i, j)要素が i+j である行列を例に見てみる．
In[12]:=
Click for copyable input
Out[12]=
行列式はゼロになる．
In[13]:=
Click for copyable input
Out[13]=
3つの方程式を連立させる．
In[14]:=
Click for copyable input
Out[14]=
Solveでは解けず，一般的な解は存在しないことが分かる．
In[15]:=
Click for copyable input
Out[15]=
それでも，Reduceを使うと，パラメータがa2b-cになる特殊な条件のもとでは，解が存在し得ることが判明する．
In[16]:=
Click for copyable input
Out[16]=
非線形な方程式では，解が存在するための条件がはるかに複雑になることがある．
連立した単純な非線形方程式を例に見てみる．
In[17]:=
Click for copyable input
Out[17]=
Solveでは解が求まらず，一般的な解が存在しないことが分かる．
In[18]:=
Click for copyable input
Out[18]=
それでも，Reduceを使うと，解が存在するための条件が得られる．
In[19]:=
Click for copyable input
Out[19]=
© 2008 Wolfram Research, Inc. japanese.gif
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team