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.
AreConcyclic[(1, 2), (3, 4), (1, 4), (3, 2)]yields true since the points are lying on the same circle.