Вопрос:

Как математически записать, лежит точка на прямой или нет?

Ответ:

Если точка A лежит на прямой a, записывают: \(A \in a\). Если точка B не лежит на прямой a, записывают: \(B \notin a\).