Лемма о велосипедистах гласит, что: если даны две пересекающиеся окружности, то через любую точку их пересечения можно провести прямую, которая отсечет на окружностях два отрезка, и существует фиксированная точка, равноудаленная от концов этих отрезков.