Prove 命令
- Prove( <Boolean Expression> )
-
返回给定的布尔表达式在一般情况下是为真还是为假。
通常，GeoGebra 通过数值计算来决定一个 Boolean_values 是否为真。然而，Prove 命令使用 符号方法 来确定一个命题在一般情况下 真 为真还是 假 为假。如果 GeoGebra 无法确定答案，则结果为 未定义 .
我们定义三个自由点，
A=(1,2)
,
B=(3,4)
,
C=(5,6)
。命令
AreCollinear(A,B,C)
得出
真
，因为对点的当前坐标使用了数值检查。使用
Prove(AreCollinear(A,B,C))
您将得到
假
作为答案，因为这三个点在一般情况下不共线，即当我们改变这些点时。
让我们定义一个顶点为
A
,
B
和
C
，并定义
D=MidPoint(B,C)
,
E=MidPoint(A,C)
,
p=Line(A,B)
,
q=Line(D,E)
。现在两者
p∥q
和
Prove(p∥q)
得出
真
，因为三角形的中位线始终平行于相应的边。另请参阅
本示例的交互式
版本
.
|
另请参阅 ProveDetails 命令， Boolean_values ，以及 GeoGebra 自动推理工具：教程 . |