WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

SolveAlways[eqns,vars]

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

詳細とオプション
Details and Options Details and Options
例題  
例  
スコープ  
オプション  
WorkingPrecision  
アプリケーション  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
履歴
引用書式

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を使って同じ問題を解く：

SubresultantsとSolveを使っても同じ問題を解くことができる：

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

特性と関係  (1)

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

SolveとEliminateを使った等価の構築：

SolveとResolveを使った等価の構築：

次は，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_2025_solvealways, author="Wolfram Research", title="{SolveAlways}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/SolveAlways.html}", note=[Accessed: 03-November-2025]}

BibLaTeX

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