From GeoGebra Manual
- AreCongruent[ <Object>, <Object> ]
- Decides if the objects are congruent.
Normally this command computes the result numerically. This behavior can be changed by using the Prove command.
AreCongruent[Circle[(1, 1),1],x^2+y^2=1]yield true since the two circles have the same radius.