Difference between revisions of "ArePerpendicular Command"
From GeoGebra Manual
(Created page with "<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}} {{command|logical}} {{warning|This GeoGebra command is heavily under construction. Expect to encounte...") |
|||
Line 3: | Line 3: | ||
{{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.}} | {{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> ] | ;ArePerpendicular[ <Line>, <Line> ] | ||
+ | :Decides if the lines are perpendicular. | ||
+ | Normally this command computes the result numerically. This behavior can be changed by using the [[Prove Command|Prove]] command. | ||
+ | {{example| 1=<div><code><nowiki>ArePerpendicular[Line[(-1, 0), (0, -1)], Line[(0, 0),(2,2)]]</nowiki></code> yields ''true'' since the given lines are perpendicular.</div>}} | ||
+ | {{Note| See also [[AreCollinear Command|AreCollinear]], [[AreConcurrent Command|AreConcurrent]], [[AreConcyclic Command|AreConcyclic]], [[AreEqual Command|AreEqual]], [[AreParallel Command|AreParallel]] commands.}} |
Revision as of 08:34, 16 April 2013
This page is about a feature that is supported only in GeoGebra 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.
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.