{pedal curve} [ریاضی] برای خمی مفروض نسبت به نقطۀ ثابت P، مکان هندسی پای عمود وارد از P بر مماس متغیری بر آن خم