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

Pedal_circle.mac