The pedal circle of a point P with respect to a triangle ABC is the circumcircle of its pedal triangle.