VerifySolutions

VerifySolutions

Solveおよびその関連関数のオプションで，解を確かめるかどうかを制御する．

詳細

  • VerifySolutionsは，同等ではない変換あるいは数値メソッドを使って得た解を確かめるべきかどうかを制御する．
  • 可能な設定
  • Automatic確かめるかどうかを自動的に決定する
    True確かめを試みる
    False確かめない

例題

すべて開くすべて閉じる

例  (1)

方程式を解く：

VerifySolutionsを使ってそれが解かどうかをチェックする：

スコープ  (4)

Solveは，非等価変換で得られた解を検証する：

VerifySolutions Falseのときは，Solveは解を検証しない：

VerifySolutions Falseで返される解の中には正しくないものもある：

正しい解の選択に高速の数値テストを使う：

この場合は，数値検証が正しい解集合を与える：

Reduceは正しい解しか返さない：

解を確かめずに，方程式を記号的に解く：

次は，数学的に有効ではない解を与える：

同じ方程式を数値的に解く：

検証されていない解は与えられた方程式を満足しない点に注意のこと：

解を検証すると無効な結果が除去され，解が存在しないことを示す空リストが返される：

Automatic解の検証を使うと，無効である可能性がある結果が検出されて削除される：

特性と関係  (1)

解の検証なしにSolveを使うと，数学的に正しくない結果が与えられる可能性がある：

Reduceを使うと，解が存在しない場合はFalseが返される：

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

テキスト

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

CMS

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

APA

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

BibTeX

@misc{reference.wolfram_2025_verifysolutions, author="Wolfram Research", title="{VerifySolutions}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/VerifySolutions.html}", note=[Accessed: 30-January-2025 ]}

BibLaTeX

@online{reference.wolfram_2025_verifysolutions, organization={Wolfram Research}, title={VerifySolutions}, year={1988}, url={https://reference.wolfram.com/language/ref/VerifySolutions.html}, note=[Accessed: 30-January-2025 ]}