30 Уравнение прямой на плоскости.

Пусть на проективной плоскости даны две точки A и B, имеющие в проективном репере R координаты A(a₁, a₂, a₃), B(b₁, b₂, b₃). Требуется составить уравнение прямой AB.

ПустьM – произвольная точка прямой AB . Ее координаты совпадают с координатами вектора x;\s\up8(( на прямой OM. Координаты точек A и B также совпадают с координатами некоторых векторов a;\s\up8(–( и b;\s\up9(–( на прямых OA и OB. Значит, векторы x;\s\up8((, a;\s\up8(( и

b;\s\up9(( компланарны. И обратно, если x;\s\up8(( компланарен a;\s\up8(( и b;\s\up9((, то M l . Поэтому M AB 

x₁ x₂ x₃

a₁ a₂ a₃ = 0, (2.7.1)

b₁ b₂ b₃

Это и есть уравнение прямой AB.

После раскрытия определителя получим уравнение вида

u₁x₁ + u₂x₂ + u₃x₃ = 0. (2.7.2)

Числа u₁, u₂, u₃ называются координатами прямой. Кроме того, условие коллинеарности векторов x;\s\up8((, a;\s\up8((, b;\s\up9(( можно записать так: x;\s\up8(( = a;\s\up8(( + b;\s\up9((

x₁ = a₁ + b₁,

x₂ = a₂ + b₂, (2.7.3)

x₃ = a₃ + b₃,

где ,  R – произвольные параметры (² + ²  0). Эти уравнения называются параметрическими уравнениями прямой.

Следствие. Три точки A(a₁, a₂, a₃), B(b₁, b₂, b₃), C(c₁, c₂, c₃) лежат на одной прямой тогда и только тогда, когда существуют ,  R такие, что

c₁ = a₁ + b₁,

c₂ = a₂ + b₂, (2.7.3)

c₃ = a₃ + b₃.

31 Теорема Дезарга.

Опр.2.8.1. Трехвершинником на плоскости (; ¯ наз. фигура, которая состоит из трех точек, которые не лежат на одной прямой, и трех прямых, которые проходят через эти точки. Точки наз. вершинами, а прямые – сторонами трехвершинника.

Пусть ABC и A B C  – два трехвершинника. Будем наз.соответственными вершины A и A , B и B , C и C , а также стороны a = BC и a = B C , b = AC и b = A C  , c = AB и c = A B .

Теорема Дезарга. Если соответственные стороны трехвершинников ABC и A B C  пересекаются в точках M, N, P, лежащих на одной прямой, то прямые, соединяющие соответственные вершины, сходятся в одной точке.

Обратная теорема Дезарга.Если прямые, соединяющие соответственные вершины трехвершинников ABC и A B C , сходятся в одной

точке, то соответственные стороны этих трехвершинников пересекаются в точках, лежащих на одной прямой.

Э

Рис. 2.1

ти теоремы двойственные друг другу. Согласно принципу двойственности достаточно доказать одну из них, и тогда другая тоже будет верна. Мы докажем вторую теорему.

Пусть прямые AA , BB , CC  имеют общую точку S . Пусть M = a  a, N = b  b, P = c  c. Необходимо доказать, что M, N, P лежат на одной прямой. Для этого выберем на плоскости (; ¯ проективную систему координат, и запишем координаты точек A(a_i ), B(b_i ), C(c_i ), A(a_i ), B (b_i ), C (c_i ), S(s_i ), i =1, 2, 3. Поскольку S лежит на AA , BB , CC , то

s_i = a_i + a_i , s_i =  b_i + b_i , s_i =  c_i + c_i , i =1, 2, 3. 

a_i –  b_i = b_i – a_i = p_i ,

  b_i –  c_i = c_i – a_i = m_i ,

 c_i –  a_i = a_i – c_i = n_i , i =1, 2, 3,

где p_i , m_i , n_i – координаты точек P, M, N . Сложив эти равенства, получим p_i + m_i + n_i = 0. Это значит, что P, M, N лежат на одной прямой s.