ArePerpendicular Command

From GeoGebra Manual
Jump to: navigation, search

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