Huygens also proved that the time of descent is equal to the time a body takes to fall vertically the same distance as diameter of the circle that generates the cycloid, multiplied by π π / 2 . In modern terms, this means that the time of descent is π π r / g , where r is the radius of the circle which generates the cycloid, and g is the gravity of Earth, or more accurately, the earth's gravitational acceleration.