Prove コマンド

このページは印刷とpdf用の公式マニュアルの一部です。構造上の問題から通常のユーザーはこのページを編集できません。誤りを見つけた場合は私たちに連絡して下さい。ユーザーが編集できるバージョンへ

Prove( <論理式> ): 与えられた論理式が一般的に真か偽かを返す．

通常、GeoGebraは数値計算を用いて論理式論理式が true か false かを判断する．しかし，Proveコマンドは記号演算(英文)を使用して，一般に文が真偽を判断する．GeoGebraが答えを導き出せない場合，結果は 未定義 となる．

例:

３つの自由点A=(1,2), B=(3,4), C=(5,6)を定義する．

AreCollinear(A,B,C) コマンドは，点の現在の座標を数値チェックを行うため，true を返す.Prove(AreCollinear(A,B,C)) を使用すると,false を返す．これは，一般的に３点が共線上にない，つまり点を変更すると共線上に並ばないためである．

例:

頂点A, B, C を持つ三角形を定義し，D=MidPoint(B,C), E=MidPoint(A,C), p=Line(A,B), q=Line(D,E)　と定義する．三角形の中線は常に対応する辺に平行であるため，p∥q および Prove(p∥q)の両方が true となる．

メモ: こちらも参照： ProveDetails コマンド．真偽値, GeoGebra Automated Reasoning Tools: A Tutorial （英文）， technical details of the algorithms（英文）．

Prove コマンド

Prove

コマンドのカテゴリ (すべてのコマンド)