Assertion: curve's point | /r/HasProperty | equidistant
Facets:
value: from f
type: OTHER
value: from the directrix
type: OTHER
value: from t
type: LOCATION
value: from the focus
type: OTHER
Source sentences:
text: In the following proof, the fact that every point on the parabola is equidistant from the focus and from the directrix is taken as axiomatic.
text: All points on the bisector MP are equidistant from F and T, but Q is closer to F than to T.