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, AreEqual, ArePerpendicular, AreParallel commands.