logo
ПОСОБИЕ ПО ПРОЕКТИВНОЙ ГЕОМЕТРИИ, МАРТ 13 2010

§5. Проективные координаты на плоскости

Критерий коллинеарности трех точек. Три точки A(a1, a2, a3), B(b1, b2, b3), C(c1, c2, c3), заданные их координатами в репере на действительной проективной плоскости, лежат на одной прямой тогда и только тогда, когда определитель, составленный из их координат, равен нулю:

К ритерий коллинеарности трех точек на проективной плоскости следует из критерия компланарности трех векторов в трехмерном пространстве: три вектора компланарны (т.е. параллельны одной плоскости), если и только если определитель, составленный из их координат равен нулю.

Рассмотрим подробнее репер на проективной плоскости.

Теорема о координатах проекции точки на координатную прямую.

Если произвольная точка M(m1, m2, m3), не равная A2, задана в репере (A1, A2, A3, E), то ее проекция M2 из точки A2 на вторую координатную прямую (A1A3) в репере 2(A1, A2, E2) имеет координаты (m1, m3).

Доказательство. Для любой точки X(x1, x2, x3) на (A1A3) имеем согласно критерию

Таким образом, для точки M2 в репере вторая координата равна нулю. Пусть точка M2 в репере имеет координаты (y1, 0, y3). Применяем критерий для точек A2, M2, M, лежащих на одной прямой:

= – = 0. y1=pm1, y3=pm3, p0.

Без ограничения общности, можно положить р = 1. На плоскости рассмотрим, например, аффинный репер (A2, a1, a3), порождающий проективный репер 2(A1, A3, E2) на второй координатной прямой (A1, A3).

В трехмерном аффинном пространстве существует согласованный базис a1, a2, a3, e относительно репера 2(A1, A2, A3, E). Так как точки M2 и E2 имеют, соответственно, координаты (m1, 0, m3), (1, 0, 1) в , то векторы e2 = a1 + a3, m2 = m1a1 + m3a3 порождают, соответственно, точки E2 и M2.

Задача 15. На расширенной плоскости задан проективный репер (A1, A2, A3, E), все четыре точки собственные. Построить следующие точки по их координатам: M(1, 2, 0), N(0, –2, –1), P(1, 2, 1), Q(0, –4, 0).

Задача 16. Пусть единичная точка Е является точкой пересечения медиан (центром тяжести) координатного трехвершинника A1, A2, A3. Построить точку М(1, 1, –1) по ее координатам в проективном репере (A1, A2, A3, E) на расширенной плоскости .