Definitions of perpendicular Bisectors and circumcenters with explanations of perpendicular Bisectors theorem and Circumcenter theorem.