Difference between revisions of "ArePerpendicular Command"

Revision as of 08:48, 13 September 2014

This page is about a feature that is supported only in GeoGebra 5.0.

Normally this command computes the result numerically. This behavior can be changed by using the Prove command.

Example:

ArePerpendicular[Line[(-1, 0), (0, -1)], Line[(0, 0),(2,2)]] yields true since the given lines are perpendicular.

Note: See also AreCollinear, AreConcurrent, AreConcyclic, AreEqual, AreParallel commands.

@@ Line 1: / Line 1: @@
 <noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical}}{{betamanual|version=5.0}}
-{{warning|This GeoGebra command is heavily under construction. Expect to encounter various problems when trying it out. The syntax or the output of this command may be subject to change.}}
 ;ArePerpendicular[  <Line>, <Line> ]
 :Decides if the lines are perpendicular.