Mathematicaチュートリアル

仮定の使用

Mathematica は通常，オブジェクトの処理に必要なだけの最小限の仮定しかしない．これによりその結果も可能な限り一般的になる．しかし，場合によってこれらの結果は，より多くの仮定がなされた場合よりもかなり複雑になってしまうこともある．

Refine[expr,assum]	仮定を用いて expr を約す
Simplify[expr,assum]	仮定の下で簡約する
FullSimplify[expr,assum]	仮定の下で完全に簡約する
FunctionExpand[expr,assum]	仮定の下で関数を展開する

仮定の下で演算を行う

デフォルトのSimplifyはこの式に本質的には何もしない．

In[1]:=

Out[1]=

その理由は異なるx を選択をすると，全く異なった値になるからである．

In[2]:=

Out[2]=

x>0と仮定すると，Simplifyは式を直ちに0にする．

In[3]:=

Out[3]=

x とy について仮定をしないと，何も実行されない．

In[4]:=

Out[4]=

x とy が両方とも正であると仮定された場合，対数が展開される.

In[5]:=

Out[5]=

SimplifyとFullSimplifyを適当な仮定の下で方程式や不等式に適用すると広範な定理を確立することもできる．

x に関する仮定を行わないと，この方程式の真偽を決定することができない．

In[6]:=

Out[6]=

これによりSimplifyで方程式が真であるという証明ができる．

In[7]:=

Out[7]=

これにより算術平均が幾何平均よりも大きいという普遍的結果が確立される．

In[8]:=

Out[8]=

erf (x)がすべての正の引数に関して (0, 1)内にあるということを証明する．

In[9]:=

Out[9]=

SimplifyとFullSimplifyは常に式の最も簡単な形を求めようとする．しかし，場合によってはMathematica に特定の前提条件の下で通常の評価過程を進ませたいこともあるだろう．そのような場合にはRefineを使うとよい．Refine[expr, assum]はexpr 中の変数が前提条件assum を満たす数式で置き換えられたならばMathematica が自動的に行うであろう変形と同じ変形を行う．

これ以上簡単な形はSimplifyには見付けられない．

In[10]:=

Out[10]=

Refineは明示的な負の数xであるかのようにLog[x]を評価する．

In[11]:=

Out[11]=

仮定において重要なことは，あるオブジェクトが特定の領域の要素であるということを主張することである．x

dom を用いてそのような仮定を設定することができる．ここで，

文字は

または\[Element]として入力できる．

xdomまたはElement[x,dom]	x は領域dom の要素である
{x₁,x₂,...}dom	すべてのx_i は領域domの要素である
pattdom	patt と合致するような任意の式が領域dom の要素である

オブジェクトは領域の要素である

が実数領域の要素であるということを確かめる．

In[12]:=

Out[12]=

これらの数は，すべて代数的数の要素である．

In[13]:=

Out[13]=

Mathematica は，

は代数的数ではないことを知っている．

In[14]:=

Out[14]=

現代数学でも，e+

が代数的数か否かまだ分かっていない．

In[15]:=

Out[15]=

記号xが実数領域の要素であるということを表している．

In[16]:=

Out[16]=

Complexes	複素数の領域
Reals	実数の領域
Algebraics	代数的数の領域
Rationals	有理数の領域
Integers	整数の領域
Primes	素数の領域
Booleans	ブール値（TrueおよびFalse）の領域

Mathematica がサポートする領域

n が整数の仮定の下でsin (n

)はゼロである．

In[17]:=

Out[17]=

x が実数の仮定の下でcosh (x)≥1の定理を確立する．

In[18]:=

Out[18]=

ある変数が不等式を満たしていると述べると，Mathematica は自動的にその変数が実数であるとみなす．

In[19]:=

Out[19]=

Simplify，FullSimplifyおよびFunctionExpandを仮定の下に使用することで，Mathematica の広大な数学的事実のコレクションにアクセスできる．

正接関数の周期性を用いる．

In[20]:=

Out[20]=

k/2

Integersの仮定はkが偶数である必要があるということを意味している．

In[21]:=

Out[21]=

Mathematica は，正数x に関してlog (x)<exp (x)であることを知っている．

In[22]:=

Out[22]=

FullSimplifyは，特殊関数の知識にアクセスする．

In[23]:=

Out[23]=

Mathematica は，連続を扱う数学と同様に，離散数学と数論も扱える．

結果を簡約するためウィルソンの定理を用いる．

オイラーのファイ関数の乗積特性を用いる．

Simplify[expr, assum]あるいはRefine[expr, assum]のようなものには使いたい前提条件を明示的に与える．しかし，操作全体に1組の前提を指定したい場合もあるだろう．そのような場合はAssumingを使うとよい．

Assuming[assum,expr]	前提条件 assum を使って exprを評価する
$Assumptions	デフォルトの前提条件

より大きなスコープでの前提条件の指定

こうするとSimplifyがデフォルトの前提条件x>0を使う．

In[26]:=

Out[26]=

これは与えられた2つの前提条件を組み合せる．

In[27]:=

Out[27]=

SimplifyやRefineのような関数は使うべきデフォルトの前提条件を指定するオプションAssumptionsを取る．デフォルトでは，このオプションの設定はAssumptions:>$Assumptionsである．Assumingは，Blockにおけるように局所値を$Assumptionsに割り当てるという方法で作用する．

Assumptionsオプションを取るためにAssumingを使って前提条件を指定できる関数はSimplifyとRefineの他にもたくさんある．FunctionExpand，Integrate，Limit，Series，LaplaceTransform等がその例である．

Integrateでは自動的に前提条件が使われる．

In[28]:=

Out[28]=