В декартовой системе найдите уравнение геометрического места точек P(x,y), для которых отношение расстояний до двух пересекающихся прямых l1 и l2 равно заданной константе k, проанализируйте случаи k=1, k0 и связь с биссекторами углов
Пусть прямые l1l_1l1 и l2l_2l2 заданы уравнениями l1: a1x+b1y+c1=0,l2: a2x+b2y+c2=0,
l_1:\; a_1x+b_1y+c_1=0,\qquad l_2:\; a_2x+b_2y+c_2=0, l1:a1x+b1y+c1=0,l2:a2x+b2y+c2=0,
они пересекаются (точка пересечения обозначим OOO). Расстояние точки P(x,y)P(x,y)P(x,y) до прямой lil_ili равно di=∣aix+biy+ci∣ai2+bi2(i=1,2).
d_i=\frac{|a_i x+b_i y+c_i|}{\sqrt{a_i^2+b_i^2}}\quad(i=1,2). di=ai2+bi2∣aix+biy+ci∣(i=1,2). Условие отношения расстояний равно константе kkk записывается как ∣a1x+b1y+c1∣a12+b12=k ∣a2x+b2y+c2∣a22+b22.
\frac{|a_1x+b_1y+c_1|}{\sqrt{a_1^2+b_1^2}}=k\;\frac{|a_2x+b_2y+c_2|}{\sqrt{a_2^2+b_2^2}}. a12+b12∣a1x+b1y+c1∣=ka22+b22∣a2x+b2y+c2∣.
Возведя в квадрат, получаем алгебраическое уравнение геометрического места: (a1x+b1y+c1)2a12+b12−k2(a2x+b2y+c2)2a22+b22=0,
\frac{(a_1x+b_1y+c_1)^2}{a_1^2+b_1^2}-k^2\frac{(a_2x+b_2y+c_2)^2}{a_2^2+b_2^2}=0, a12+b12(a1x+b1y+c1)2−k2a22+b22(a2x+b2y+c2)2=0,
или в факторизованном виде (a1x+b1y+c1a12+b12−ka2x+b2y+c2a22+b22)(a1x+b1y+c1a12+b12+ka2x+b2y+c2a22+b22)=0.
\Big(\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}-k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}\Big) \Big(\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}+k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}\Big)=0. (a12+b12a1x+b1y+c1−ka22+b22a2x+b2y+c2)(a12+b12a1x+b1y+c1+ka22+b22a2x+b2y+c2)=0. Отсюда выводы и разбор случаев: - Для любого фиксированного k≥0k\ge0k≥0 геометрическое место — объединение двух прямых, проходящих через точку пересечения OOO, задаваемых линейными уравнениями a1x+b1y+c1a12+b12=±ka2x+b2y+c2a22+b22.
\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}= \pm k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}. a12+b12a1x+b1y+c1=±ka22+b22a2x+b2y+c2.
- Случай k=1k=1k=1: уравнения превращаются в a1x+b1y+c1a12+b12=±a2x+b2y+c2a22+b22,
\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}=\pm\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}, a12+b12a1x+b1y+c1=±a22+b22a2x+b2y+c2,
это внутренний и внешний биссектрисы угла, образованного l1l_1l1 и l2l_2l2 (точки, равноудалённые от двух прямых). - Случай k>0, k≠1k>0,\;k\ne1k>0,k=1: получаем две прямые через OOO, которые не совпадают с обычными биссектрисами (они являются обобщёнными биссектрисами, задаваемыми соответствующим соотношением модулей расстояний). - Случай k<0k<0k<0: при определении расстояний как неотрицательных величин уравнение не имеет смысла и решений нет. Если же использовать ориентированные (signed) расстояния, то формула без модулей a1x+b1y+c1a12+b12=ka2x+b2y+c2a22+b22
\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}=k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}} a12+b12a1x+b1y+c1=ka22+b22a2x+b2y+c2
даёт две прямые для любого реального kkk (включая отрицательные) — они отличаются знаком в факторизованном виде. Кратко: общее уравнение — (a1x+b1y+c1)2a12+b12=k2(a2x+b2y+c2)2a22+b22\dfrac{(a_1x+b_1y+c_1)^2}{a_1^2+b_1^2}=k^2\dfrac{(a_2x+b_2y+c_2)^2}{a_2^2+b_2^2}a12+b12(a1x+b1y+c1)2=k2a22+b22(a2x+b2y+c2)2; для k=1k=1k=1 это внутренний и внешний биссектрисы, для k>0k>0k>0 — две прямые через точку пересечения, для k<0k<0k<0 нет решений при обычных (неотрицательных) расстояниях.
l1: a1x+b1y+c1=0,l2: a2x+b2y+c2=0, l_1:\; a_1x+b_1y+c_1=0,\qquad l_2:\; a_2x+b_2y+c_2=0,
l1 :a1 x+b1 y+c1 =0,l2 :a2 x+b2 y+c2 =0, они пересекаются (точка пересечения обозначим OOO). Расстояние точки P(x,y)P(x,y)P(x,y) до прямой lil_ili равно
di=∣aix+biy+ci∣ai2+bi2(i=1,2). d_i=\frac{|a_i x+b_i y+c_i|}{\sqrt{a_i^2+b_i^2}}\quad(i=1,2).
di =ai2 +bi2 ∣ai x+bi y+ci ∣ (i=1,2).
Условие отношения расстояний равно константе kkk записывается как
∣a1x+b1y+c1∣a12+b12=k ∣a2x+b2y+c2∣a22+b22. \frac{|a_1x+b_1y+c_1|}{\sqrt{a_1^2+b_1^2}}=k\;\frac{|a_2x+b_2y+c_2|}{\sqrt{a_2^2+b_2^2}}.
a12 +b12 ∣a1 x+b1 y+c1 ∣ =ka22 +b22 ∣a2 x+b2 y+c2 ∣ . Возведя в квадрат, получаем алгебраическое уравнение геометрического места:
(a1x+b1y+c1)2a12+b12−k2(a2x+b2y+c2)2a22+b22=0, \frac{(a_1x+b_1y+c_1)^2}{a_1^2+b_1^2}-k^2\frac{(a_2x+b_2y+c_2)^2}{a_2^2+b_2^2}=0,
a12 +b12 (a1 x+b1 y+c1 )2 −k2a22 +b22 (a2 x+b2 y+c2 )2 =0, или в факторизованном виде
(a1x+b1y+c1a12+b12−ka2x+b2y+c2a22+b22)(a1x+b1y+c1a12+b12+ka2x+b2y+c2a22+b22)=0. \Big(\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}-k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}\Big)
\Big(\frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}+k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}\Big)=0.
(a12 +b12 a1 x+b1 y+c1 −ka22 +b22 a2 x+b2 y+c2 )(a12 +b12 a1 x+b1 y+c1 +ka22 +b22 a2 x+b2 y+c2 )=0.
Отсюда выводы и разбор случаев:
- Для любого фиксированного k≥0k\ge0k≥0 геометрическое место — объединение двух прямых, проходящих через точку пересечения OOO, задаваемых линейными уравнениями
a1x+b1y+c1a12+b12=±ka2x+b2y+c2a22+b22. \frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}= \pm k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}.
a12 +b12 a1 x+b1 y+c1 =±ka22 +b22 a2 x+b2 y+c2 . - Случай k=1k=1k=1: уравнения превращаются в
a1x+b1y+c1a12+b12=±a2x+b2y+c2a22+b22, \frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}=\pm\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}},
a12 +b12 a1 x+b1 y+c1 =±a22 +b22 a2 x+b2 y+c2 , это внутренний и внешний биссектрисы угла, образованного l1l_1l1 и l2l_2l2 (точки, равноудалённые от двух прямых).
- Случай k>0, k≠1k>0,\;k\ne1k>0,k=1: получаем две прямые через OOO, которые не совпадают с обычными биссектрисами (они являются обобщёнными биссектрисами, задаваемыми соответствующим соотношением модулей расстояний).
- Случай k<0k<0k<0: при определении расстояний как неотрицательных величин уравнение не имеет смысла и решений нет. Если же использовать ориентированные (signed) расстояния, то формула без модулей
a1x+b1y+c1a12+b12=ka2x+b2y+c2a22+b22 \frac{a_1x+b_1y+c_1}{\sqrt{a_1^2+b_1^2}}=k\frac{a_2x+b_2y+c_2}{\sqrt{a_2^2+b_2^2}}
a12 +b12 a1 x+b1 y+c1 =ka22 +b22 a2 x+b2 y+c2 даёт две прямые для любого реального kkk (включая отрицательные) — они отличаются знаком в факторизованном виде.
Кратко: общее уравнение — (a1x+b1y+c1)2a12+b12=k2(a2x+b2y+c2)2a22+b22\dfrac{(a_1x+b_1y+c_1)^2}{a_1^2+b_1^2}=k^2\dfrac{(a_2x+b_2y+c_2)^2}{a_2^2+b_2^2}a12 +b12 (a1 x+b1 y+c1 )2 =k2a22 +b22 (a2 x+b2 y+c2 )2 ; для k=1k=1k=1 это внутренний и внешний биссектрисы, для k>0k>0k>0 — две прямые через точку пересечения, для k<0k<0k<0 нет решений при обычных (неотрицательных) расстояниях.