Assertion: curve's length | /r/HasProperty | r sin
Facets:
Source sentences:
text: Comparing this with the last equation above shows that the focal length of the parabola in the cone is r sin θ.