AreConcyclic Command
From GeoGebra Manual
- 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.
Note: See also AreCollinear, AreConcurrent, AreCongruent, AreEqual, ArePerpendicular, AreParallel commands.