Циклоида определяется кинематически как траектория фиксированной точки производящей окружности, катящейся без скольжения по прямой. Далее всюду обозначает радиус производящей окружности.
Примем горизонтальную ось координат в качестве прямой, по которой катится производящая окружность радиуса . Циклоида описывается:
Циклоида — периодическая функция по оси абсцисс, с периодом . За границы периода удобно принять особые точки (точки возврата) вида , где — произвольное целое число.
Для проведения касательной к циклоиде в произвольной её точке достаточно соединить эту точку с верхней точкой производящей окружности. Соединив с нижней точкой производящей окружности, мы получим нормаль.
Длина арки циклоиды равна . Другими словами, длина одной ветви циклоиды равна учетверённому диаметру производящей окружности. Это свойство открыл Кристофер Рен в 1658 году[3]
Зависимость длины дуги циклоиды () от параметра следующая[4]: .