He found the length of an arc of the cycloid using an exhaustion proof based on dissections to reduce the problem to summing segments of chords of a circle which are in geometric progression .
Siya natagpuan ang haba ng isang Arc ng saykloyd gamit ang pagkaubos ng isang patunay na base sa dissections upang mabawasan ang mga problema sa lagom segment ng Chords ng isang bilog na kung saan ay sa geometriko paglala.