Definition: 3.01: Congruent Circles

Equal circles are (circles) whose diameters are equal, or whose (distances) from the centers (to the circumferences) are equal (i.e., whose radii are equal).

Modern Formulation

Two circles \(\odot AB\) and \(\odot CD\) are called congruent (written \(\odot AB\cong\odot CD\)), if their radii are equal, otherwise they are unequal (written \(\odot AB\neq CD\)).

Examples

In the following figure, we have the following congruences: \(\odot AB\cong\odot A_1B_1\) and \(\odot A_2B_2\cong\odot A_3B_3\), however, \(\odot AB\ncong\odot A_2B_2\).

equalcircles

Proofs: 1 2 3 4 5 6
Propositions: 7 8 9 10 11


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Fitzpatrick


References

Adapted from (subject to copyright, with kind permission)

  1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"