AreConcyclic Command

From GeoGebra Manual
Jump to: navigation, search

AreConcyclic( <Point>, <Point>, <Point>, <Point> )
Decides if the points are concyclic.

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

Example: AreConcyclic((1, 2), (3, 4), (1, 4), (3, 2)) yields true since the points are lying on the same circle.
© 2018 International GeoGebra Institute