A pedal curve as an envelope of circles
The blue curve is called Napoleon's bicorn.
The red curve is the pedal w.r.t. to the origin O of the bicorn. The Locus command is used.
The green curve is the envelope of the family of circles with diameter OA, where A runs over the bicorn. The Envelope command is used.
Compare the curves; what happened?