SolveAlways

SolveAlways[eqns,vars]

変数 vars のすべての値について方程式 eqns を成立させるパラメータの値を与える.

詳細とオプション

  • 方程式は lhs==rhs の形式で与える.
  • 連立方程式はリストや&&で組むことができる.
  • 単一の変数,または変数のリストを指定することができる.
  • SolveAlwaysは,主に線形および整方程式に機能する.
  • SolveAlwaysは,eqns に現れるパラメータ間の関係式を作成するが,変数 vars のリストに現れるものには作成しない.
  • SolveAlways[eqns,vars]は,Solve[!Eliminate[!eqns,vars]]と同値である.

例題

すべて開くすべて閉じる

  (1)

xの任意の値について式がホールドになる条件を求める:

スコープ  (6)

一変数整方程式:

多変数整方程式:

整方程式のリスト:

根基を含む方程式:

非等式:

方程式と非等式のブール結合:

オプション  (1)

WorkingPrecision  (1)

デフォルトで,SolveAlwaysは厳密解を求める:

次は20桁数で解を計算する:

アプリケーション  (2)

三次多項式が三重根を持つ条件を求める:

Reduceを使って同じ問題を解く:

SubresultantsSolveを使っても同じ問題を解くことができる:

級数展開で未定係数について解く:

特性と関係  (1)

数値解は方程式を完全に同じように真にする:

SolveEliminateを使った等価の構築:

SolveResolveを使った等価の構築:

次は,Reduceを使って同じ問題を解く:

考えられる問題  (1)

SolveAlwaysは一般解を与える:

パラメータが他の追加的な方程式を満足する場合は,方程式は完全に同じように真ではないことがある:

次は,解が正しくなくなるパラメータの条件を求める:

Wolfram Research (1988), SolveAlways, Wolfram言語関数, https://reference.wolfram.com/language/ref/SolveAlways.html.

テキスト

Wolfram Research (1988), SolveAlways, Wolfram言語関数, https://reference.wolfram.com/language/ref/SolveAlways.html.

CMS

Wolfram Language. 1988. "SolveAlways." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SolveAlways.html.

APA

Wolfram Language. (1988). SolveAlways. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SolveAlways.html

BibTeX

@misc{reference.wolfram_2024_solvealways, author="Wolfram Research", title="{SolveAlways}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/SolveAlways.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_solvealways, organization={Wolfram Research}, title={SolveAlways}, year={1988}, url={https://reference.wolfram.com/language/ref/SolveAlways.html}, note=[Accessed: 22-November-2024 ]}