Assertion: pedal curve | /r/HasProperty | the set of such points
Facets:
Source sentences:
text: the pedal curve is the set of such points X, called the foot of the perpendicular to the tangent T from the fixed point P, as the variable point R ranges over the curve C.