Кстати, может имеет смысл сделать подраздел "Проверка, является ли отрезок точной" и на него потом ссылаться?

А вариант в АлгоЛисте - это параметрическая запись уравнения прямой. Типа нужна прямая, проходящая через точку М0(х0;у0) и направленная по вектору а{p;q}. Тогда уравнение имеет вид:
- Код: Выделить всё • Развернуть
х = х0 + t * p
y = y0 + t * q
Ну а вектор если не известен, а известны его начало (х1; у1) и конец (х2;у2), то
- Код: Выделить всё • Развернуть
p=x2-x1
q=y2-y1
А дальше принадлежность надо проверять просто по t - попадает ли между t для начала отрезка и t для его конца.