AreCongruent Command

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.

Example: AreCongruent(Circle((0, 0),1),x^2+y^2=1) and AreCongruent(Circle((1, 1),1),x^2+y^2=1) yield true since the two circles have the same radius.

Note: See also AreEqual, AreCollinear, AreConcyclic, AreConcurrent, ArePerpendicular, AreParallel, IsTangent commands.