- Prove( <Boolean Expression> )
- Returns whether the given boolean expression is true or false in general.
Normally, GeoGebra decides whether a boolean expression is true or not by using numerical computations. However, the Prove command uses symbolic methods to determine whether a statement is true or false in general. If GeoGebra cannot determine the answer, the result is undefined.
C=(5,6). The command
AreCollinear(A,B,C)yields true, since a numerical check is used on the current coordinates of the points. Using
Prove(AreCollinear(A,B,C))you will get false as an answer, since the three points are not collinear in general, i.e. when we change the points.
q=Line(D,E). Now both
Prove(p∥q)yield true, since a midline of a triangle will always be parallel to the appropriate side.