В геометрии часто задают вопрос: «Можно ли провести одну прямую, проходящую через любые три заданные точки?» Ответом является не просто «да» или «нет», а более глубокое понимание того, когда такие точки называют коллинеарными, и как это связано с линейной зависимостью координат.
Краткое введение
В евклидовой плоскости любые две точки определяют прямую. Однако добавить третью точку меняет ситуацию: существует ли прямая, проходящая через все три точки? Ответ зависит от расположения точек.
Определения - Коллинеарные точки: Три точки называются коллинеарными, если они лежат на одной прямой.
- Николлинеарные (не коллинеарные) точки: Три точки, которые не лежат на одной прямой.
Формализация через координаты
Пусть точки имеют координаты A(x1, y1), B(x2, y2) и C(x3, y3). Точки коллинеарны тогда и только тогда, когда определитель матрицы
| x₁ y₁ 1 | | x₂ y₂ 1 | | x₃ y₃ 1 |
равен нулю. То есть
(x₂ — x₁)(y₃ ー y₁) ー (x₃ ー x₁)(y₂ — y₁) = 0
или эквивалентно:
(x₁(y₂ ー y₃) + x₂(y₃ ー y₁) + x₃(y₁ — y₂)) = 0
Теорема о коллинеарности трёх точек
Теорема. Через любые три коллинеарные точки проходит ровно одна прямая.
Доказательство основано на свойствах уравнения прямой.
Уравнение прямой
Уравнение прямой в общем виде: Ax + By + C = 0, где A, B, C – константы, не все одновременно равны нулю. Если точка (x₀, y₀) лежит на прямой, то подстановка координат удовлетворяет уравнению.
Построение прямой через две точки
Пусть известны две точки A и B. Тогда коэффициенты прямой можно получить как:
A = y₂ — y₁ B = x₁ ー x₂ C = x₂y₁ — x₁y₂
Проверяем, лежит ли точка C на этой прямой, подставляя её координаты:
A x₃ + B y₃ + C = 0 ?
Если равенство выполняется, то C лежит на прямой, соединяющей A и B. Иначе нет.
Примеры Положительный пример (коллинеарные точки) - Точки: A(1, 2), B(3, 4), C(5, 6)
- Проверка: (3-1)(6-2) ー (5-1)(4-2) = 2·4 ー 4·2 = 8, 8 = 0. Следовательно, точки коллинеарны.
- Уравнение прямой: y = x + 1.
Отрицательный пример (не коллинеарные точки) - Точки: A(0, 0), B(1, 1), C(1, 0)
- Проверка: (1-0)(0-0) — (1-0)(1-0) = 1·0 — 1·1 = -1 ≠ 0. Следовательно, точки не коллинеарны.
- Никакой единственной прямой не проходит через все три точки.
Алгоритм проверки коллинеарности в таблицах и базах данных
- Точки: A(1, 2), B(3, 4), C(5, 6)
- Проверка: (3-1)(6-2) ー (5-1)(4-2) = 2·4 ー 4·2 = 8, 8 = 0. Следовательно, точки коллинеарны.
- Уравнение прямой: y = x + 1.
Отрицательный пример (не коллинеарные точки) - Точки: A(0, 0), B(1, 1), C(1, 0)
- Проверка: (1-0)(0-0) — (1-0)(1-0) = 1·0 — 1·1 = -1 ≠ 0. Следовательно, точки не коллинеарны.
- Никакой единственной прямой не проходит через все три точки.
Алгоритм проверки коллинеарности в таблицах и базах данных
В практике часто требуется проверить, лежат ли три точки в одной прямой. Ниже приведён пример реализации на языке Python и в Google Таблицах.
Python
def are_collinear(x1, y1, x2, y2, x3, y3):
return (x2 — x1)(y3 — y1) == (x3 ー x1)(y2, y1)
print(are_collinear(1, 2, 3, 4, 5, 6)) # True
print(are_collinear(0, 0, 1, 1, 1, 0)) # False
Google Таблицы (функция QUERY)
В таблицах можно использовать язык запросов, но проверка коллинеарности обычно реализуется через пользовательскую формулу:
=IF((B2-A2)(D2-C2) = (C2-A2)(B2-D2), "Коллинеарные", "Не коллинеарные")
Здесь A2, B2 – координаты первой точки, C2, D2 – координаты второй, E2, F2 – третьей.
Практическое значение - В геометрических выстраиваниях (например, при проектировании дорог) важно знать, какие точки можно соединить одной прямой.
- В компьютерной графике коллинеарность используется при упрощении моделей и оптимизации рендеринга.
- В анализе данных коллинеарные точки могут указывать на закономерности или ошибки измерений.
Через любые три точки проходит прямая только в том случае, когда эти точки коллинеарны. В противном случае прямой, проходящей через все три точки, не существует. Коллинеарность можно проверить с помощью детерминанта или уравнения прямой, а в программных решениях – через простые арифметические операции.