[math-fun] Galileo and the cycloid