04/09/15 18:53:09
URLﾘﾝｸ(vladimir.ddo.jp:8888)
こういう微分をさせてみる。絶対値を含んでるとMathematicaでもムリだったりする。
sign()は符号関数で、パラメーターが正なら1、負なら-1,0ならsign(0)を返す。
sign(0)は数ではないので、微分可能な点は数を返し、微分不可能なときは数を返さないという形で
ある程度整合性を持って表現できている模様。
URLﾘﾝｸ(vladimir.ddo.jp:8888)
微分する前とした後をプロットしてみる。分割画面でグラフそのものと
定義を同時に表示。特に定義の方が全部表示されるように分割比率を調節。
URLﾘﾝｸ(vladimir.ddo.jp:8888)
グラフのプロットで定義したy1(x)とy2(x)の交点を求めさせてみる。
なんと解析的に解を出せたりする。（小数点を含んだ近似ではないという意味）
URLﾘﾝｸ(vladimir.ddo.jp:8888)
先ほどの解をペーストしてマトリックス形式に変換する命令に食わす。
座標として見やすい並び方に。
URLﾘﾝｸ(vladimir.ddo.jp:8888)
交点マトリックスを数値に変換して、先ほどのグラフと同時表示させる。
解が正しいことが判る。なお数値は見やすくするために表示時有効数字6桁
にしてある。(内部14桁)
MAXIMAごときでは全く歯が立たないだろう。