Difference between revisions of "ArePerpendicular Command"

From GeoGebra Manual
Jump to: navigation, search
(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


Warning 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.
© 2024 International GeoGebra Institute