Comando SonCocíclicos

[.small]##

SonCocíclicos(<Punto>, <Punto>, <Punto>,<Punto>): Decide si los puntos son cocíclicos.

Normalmente este comando comprueba el resultado numéricamente. Este comportamiento puede ser cambiado usando el comando Demuestra

SonCocíclicos((1, 2), (3, 4), (1, 4), (3, 2)) da true dado que los puntos pertenecen a la misma circunferencia.