From GeoGebra Manual
- AreCollinear( <Point>, <Point>, <Point> )
- Decides if the points are collinear.
Normally this command computes the result numerically. This behavior can be changed by using the Prove command.
AreCollinear((1, 2), (3, 4), (5, 6))yields true since all the three points lying on the same line.