Уравнение касательной

Рассмотрим случай касательной к овальной квадрике, (D = 0).

Вывод: Если точка принадлежит квадрике, то через неё можно провести только одну касательную. Если точка не принадлежит квадрике, то касательных или две или ни одной.

Определение: Точка называется внешней относительно квадрики, если через нее можно провести две касательных и внутренней, если касательных нет.

Лемма. Пусть дана овальная квадрика х₁²+х₂²-х₃²=0 и точка . Точка является внутренней точкой овальной квадрики тогда и только тогда, когда а₁²+а₂²-а₃² < 0 (если а₁²+а₂²-а₃² > 0 - внешней).

Доказательство. (Самостоятельно).

Задача. Дана квадрика 2∙х₁²+х₃²-2∙х₁∙х₂-2∙х₁∙х₃=0.

Найти уравнения касательных к квадрике, проходящих через точки А , В .

Решение. Матрица квадрики Q= .

А^Т∙Q∙А=(1:8:5)∙ ∙ =(-11:-1:4)∙ =1 А КВП,

Применим формулу (**) (А^Т∙Q^Т∙Х)² - (А^Т∙Q∙А)∙(Х ^Т∙Q∙Х) = 0.

А^Т∙Q∙Х=( 1: 8 : 5 )∙ ∙ =(-11 : -1 : 4)∙ 11∙х₁+ х₂ - 4∙х₃=0

(11∙х₁ + х₂ - 4∙х₃ )² - 1∙(2∙х₁² + х₃² - 2∙х₁∙х₂ - 2∙х₁∙х₃ ) =

= 121∙х₁² + х₂² + 16∙х₃² + 22∙х₁∙х₂ - 88∙х₁∙х₃ - 8∙х₂∙х₃ - 2∙х₁² - х₃² + 2∙х₁∙х₂ + 2∙х₁∙х₃ =

= 119∙х₁² + х₂² + 15∙х₃² + 24∙х₁∙х₂ - 86∙х₁∙х₃ - 8∙х₂∙х₃ =

= х₂² +2∙х₂∙12∙х₁ -2∙х₂∙4∙х₃ +144∙х₁² +16∙х₃² -2∙12∙х₁∙4∙х₃ -144∙х₁² -16∙х₃² +96∙х₁∙х₃ +119∙х₁² +15∙х₃² -86∙х₁∙х₃ =

= (х₂ + 12∙х₁ -∙4∙х₃ )² - 25∙х₁² - х₃² + 10∙х₁∙х₃ = (х₂ + 12∙х₁ -∙4∙х₃ )² - (5∙х₁ - х₃ )² =

= ((х₂ + 12∙х₁ - 4∙х₃ ) - (5∙х₁ - х₃ ))∙((х₂ + 12∙х₁ - 4∙х₃ ) + (5∙х₁ - х₃ ))=

= (х₂ + 12∙х₁ - 4∙х₃ - 5∙х₁ + х₃ )∙(х₂ + 12∙х₁ - 4∙х₃ + 5∙х₁ - х₃ )=

= (х₂ +7∙х₁ -3∙х₃ )∙(х₂ +17∙х₁ -5∙х₃) = (7∙х₁ + х₂ - 3∙х₃ )∙(17∙х₁ + х₂ - 5∙х₃) = 0.

Т.о. касательные: 7∙х₁ + х₂ - 3∙х₃ = 0 и 17∙х₁ + х₂ - 5∙х₃ = 0.

В^Т∙Q∙В=(18:13:6)∙ ∙ = (17:-18:-12) ∙ =0 В КВП.

Уравнение касательной:

В^Т∙Q∙Х = ( 18 : 13 : 6 )∙ ∙ = 0 ( 17 : -18 : -12 )∙ = 17∙х₁ -18·х₂ - 12∙х₃ = 0.

Полюс и поляра

Вывод: Для любой прямой существует точка, для которой эта прямая является полярой относительно квадрики.

Определение: Точка, для которой данная прямая относительно овальной квадрики является полярой, называется полюсом прямой.

Свойства:

1. Если точка А внешняя по отношению к овальной квадрике, то ее поляра проходит через точки касания касательных проведенных из точка А к КВП.

Доказательство. Координаты точек касания Х₁ и Х₂ находятся из системы , первое уравнение это уравнение квадрики, второе уравнение это уравнение поляры, а значит это точки пересечения поляры и квадрики. □

2. Если точка и прямая инцидентны, то их поляра и полюс тоже инцидентны.

Доказательство. Пусть а – поляра точки А и В - полюс прямой b,

значит λ∙а =А^Т∙Q и μ∙В= Q^-1 ∙b^Т. Докажем, что А b B a.

Уравнение прямой b∙Х = 0, тогда А b b∙А =0.

Найдем а∙В=(А^Т∙Q)∙(Q^-1∙b)=А^Т∙(Q∙Q^-1)∙b^Т=А^Т∙Е∙b^Т=А^Т∙b^Т=(А∙b)^Т=0 - это означает, что точка В лежит на прямой а. □

Замечание: Свойство 2 позволяет находить полюс прямой. Выбрав на данной прямой две любые точки и построив их поляры, точка их пересечения будет полюсом данной прямой.

Задача. Дана квадрика х₁² - 2∙х₂²+ 4∙х₂∙х₃ =0 . Найти уравнение поляры для А и координаты полюса прямой b: х₁+х₂–2∙х₃=0.

Решение. Q= Q^-1=

λ∙а=А^Т∙Q=( 1: 3 :-1) ∙ =(1 :-8: 6) х₁ -8∙х₂+6∙х₃=0.

μ∙В=Q^-1∙b^Т= ∙ = В= .

Задача. Дана квадрика 2∙х₁² + х₃² - 2∙х₁∙х₂ -2∙х₁∙х₃ =0 . Найти уравнения касательных к квадрике из точки А .

Решение. Воспользуемся свойством (1). Q= . Найдем уравнение поляры.

λ∙а = А^Т∙Q=( 1: 8 : 5 )∙ =( -11 : -1 : 4 ) 11∙х₁ + х₂ - 4∙х₃ =0.

Найдем точки пересечения квадрики поляры.

D=100–96 = 4 и . и

В и С - точки пересечения поляры и квадрики, тогда прямые (АВ) и (АС) будут касательными.

(АВ) : =0 - 7∙х₁ - х₂ + 3∙х₃ =0.

(АС) : =0 17∙х₁ + х₂ - 5∙х₃ =0.

Определение: Трехвершинник называется автополярным относительно овальной квадрики, если каждая его вершина является полюсом противоположной стороны.

Замечание: Автополярных трехвершинников может быть много.

Теорема. Для того чтобы уравнение овальной квадрики было каноническим необходимо и достаточно, чтобы ΔЕ₁Е₂Е₃ был автополярным относительно данной квадрики.

Доказательство. Необходимость:

Дано q₁₁ ∙х₁² + q₂₂∙х₂² + q₃₃∙х₃² =0 .

Доказать что ΔЕ₁Е₂Е₃ автополярный трёхвершинник.

Достаточность: Найти матрицу Q , используя то, что точка Е₁

является полюсом прямой (Е₂Е₃ ) и т.д. (самостоятельно).

Определение: Четырехвершинник называется вписанным в овальную квадрику, если его вершины инцидентны квадрике.

Теорема. Если четырехвершинник вписан в овальную квадрику, тогда диагональный трехвершинник является автополярным относительно квадрики.

Доказательство. Пусть АВСD – четырёхвершинник вписанный в овальную квадрику и ΔPQR - диагональный трёхвершинник.

Докажем, что Р - полюс прямой (QR).

По гармоническим свойствам полного четырехвершинника гармоническими будут: (CB,PK)=(AD,PN)= -1, т.е. точки K и N гармонически сопряжены с точкой Р относительно овальной квадрики, а значит они принадлежат поляре точки Р. В тоже время точки K и N лежат на прямой (QR) (QR) - поляра точки Р. Для точек Q и R доказательство аналогично. □

Замечание: Эта теорема позволяет строить поляру точки если она не инцидентна овальной квадрике.