製品
製品の一覧
Mathematica
Mathematica
学生エディション
Mathematica
ホームエディション
Wolfram
CDF Player
(無料ダウンロード)
CDF(計算可能ドキュメント形式)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Wolfram
SystemModeler
Wolfram
Finance Platform
Mathematica
アドオン
Wolfram|Alpha関連製品
ソリューション
ソリューションの一覧
工学
航空宇宙工学と防衛
化学工学
制御系
電気工学
画像処理
生産工学
材料科学
機械工学
オペレーションズリサーチ
光学
石油工学
バイオテクノロジーと医学
バイオインフォマティクス
医用画像処理
金融,統計,ビジネスの分析
保険数理
データの解析とマイニング
計量経済学
経済学
金融工学と数学
財務リスク管理
統計
ソフトウェア工学とコンテンツ配信
オーサリングと出版
インターフェース開発
ソフトウェア工学
Web開発
科学
天文学
バイオサイエンス
化学
環境科学
地球科学
社会・行動科学
デザイン,芸術,娯楽
ゲームデザイン・特殊効果・ジェネレーティブアート
教育
高等教育
短大・専門学校
初等・中等教育
学生
テクノロジー
CDF(計算可能ドキュメント形式)
高性能並列計算(HPC)
参照:テクノロジーガイド
ご購入
オンラインストア
他の購入方法
Volumeライセンスとサイトライセンス
販売部へのご連絡
ソフトウェア
サービス
アップグレード
トレーニング
書籍
Wolframグッズ
サポート
テクニカルサポートページ
Mathematica
ドキュメント
知識ベース
ラーニングセンター
テクニカルサービス
コミュニティ & フォーラム
トレーニング
サイトライセンスの確認
Wolframユーザポータル
会社概要
会社概要
ニュースとイベント
Wolframブログ
パートナーシップ
採用情報
Mathematica
の歴史
Stephen Wolframのホームページ
連絡先
Wolfram Webサイト
サイトの一覧
Wolfram|Alpha
デモンストレーションプロジェクト
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE
DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
数学とアルゴリズム
>
微積分
>
離散微積分
>
DifferenceRootReduce
>
Mathematica
>
数学とアルゴリズム
>
離散数学
>
離散微積分
>
DifferenceRootReduce
>
MATHEMATICA 組込みシンボル
DifferenceRoot
DifferentialRootReduce
FunctionExpand
RSolve
RootReduce
関連項目 »
|
離散微積分
バージョン7.0の新機能のまとめ
バージョン7.0の新機能:アルファベット順のリスト
その他 »
DifferenceRootReduce
DifferenceRootReduce
expr
を
n
の関数として単一の
DifferenceRoot
オブジェクトに簡約しようと試みる.
詳細
DifferenceRootReduce
は任意の式を
DifferenceRoot
オブジェクトとして表そうと試みる.
expr
の
DifferenceRoot
オブジェクトがゼロシーケンスに等しいとき,
DifferenceRootReduce
は常に厳密な
を返す.
DifferenceRootReduce
は方程式および不等式と同様にリストにも自動的に縫い込まれる.
DifferenceRootReduce
[
f
]
は純関数あるいは純粋な
DifferenceRoot
オブジェクトに作用する.
例題
すべて閉じる
例
(2)
フィボナッチ(Fibonacci)数列を
DifferenceRoot
オブジェクトに簡約する:
値を比べる:
カッシーニ(Cassini)の恒等式を証明する:
フィボナッチ(Fibonacci)数列を
DifferenceRoot
オブジェクトに簡約する:
In[1]:=
Out[1]=
値を比べる:
In[2]:=
Out[2]=
In[3]:=
Out[3]=
カッシーニ(Cassini)の恒等式を証明する:
In[1]:=
Out[1]=
スコープ
(8)
多項式関数:
有理関数:
超幾何項:
加算:
項別の乗算:
多分法:
一般式:
DifferenceRootReduce
は自動的にリストに縫い込まれる:
オプション
(1)
DifferenceRootReduce
は非同次方程式を与えることがある:
オプション
Method
を使って同次方程式を得る:
アプリケーション
(2)
有限和:
差分方程式は
のすべての値が奇数であることを示している:
パドヴァン(Padovan)数を定義する:
再帰関係を証明する:
和の恒等式を証明する:
関連項目
DifferenceRoot
DifferentialRootReduce
FunctionExpand
RSolve
RootReduce
その他
離散微積分
バージョン7.0の新機能のまとめ
バージョン7.0の新機能:アルファベット順のリスト
バージョン 7 の新機能