Assertion: curve | /r/HasProperty | px
Facets:
Source sentences:
text: If p is the length of the perpendicular drawn from P to the tangent of the curve (i.e. PX) and q is the length of the corresponding perpendicular drawn from P to the tangent to the pedal, then by similar triangles