Подставляем координаты точки в уравнения прямой и смотрим, являются ли они решением данных уравнений. Да - принадлежит, Нет - не принадлежит.

Рабочая реализация более общей функции есть в разделе структуры геометрических данных.