Difference between revisions of "ArePerpendicular Command"

From GeoGebra Manual
Jump to: navigation, search
Line 1: Line 1:
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{betamanual|version=5.0}}
+
<noinclude>{{Manual Page|version=5.0}}</noinclude>{{command|logical}}{{betamanual|version=5.0}}
{{command|logical}}
+
 
 
{{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.
 
: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.
 
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>}}
+
:{{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.}}
 
{{Note| See also  [[AreCollinear Command|AreCollinear]], [[AreConcurrent Command|AreConcurrent]], [[AreConcyclic Command|AreConcyclic]], [[AreEqual Command|AreEqual]], [[AreParallel Command|AreParallel]] commands.}}

Revision as of 12:20, 22 July 2014



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