Assertion: curve | /r/HasProperty | cycloid
Facets:
Source sentences:
text: The curve is a cycloid, and the time is equal to π times the square root of the radius (of the circle which generates the cycloid) over the acceleration of gravity.
text: He proved geometrically in his Horologium Oscillatorium, originally published in 1673, that the curve was a cycloid.