then the vector (cos α, sin α) is parallel to the segment "px", and the length of "px", which is the distance from the tangent line to the origin, is "p". so "x" is represented by the polar coordinates ("p", α) and replacing ("p", α) by ("r", θ) produces a polar equation for the pedal curve.