Каноническое уравнение прямой, проходящей через точки А(х1;у1) и В(х2;у2): (X-x1)/(x2-x1)=(Y-y1)/(y2-y1). направляющий вектор этой прямой: p{p1;p2}, или p{(x2-x1);(y2-y1)}. Тогда вектор нормали (перпендикуляр к) этой прямой: n{p2;-p1} или n{(y2-y1);-(x2-x1)}. Этот же вектор - направляющий вектор для прямой L, проходящей через точку М((x1+x2)/2;(y1+y2)/2) - середину прямой АВ. Формула для уравнения прямой, проходящей через точку M((x1+x2)/2;(y1+y2)/2) и имеющей направляющий вектор рm{(y2-y1);-(x2-x1)}, то есть уравнение прямой L: (X-(x1+x2)/2))/(y2-y1)=(Y-(y1+y2)/2)/-(x2-x1) - каноническое уравнение. Или: X(x2-x1) + Y(y2-y1) -(1/2)*[x2²-x1²+y2²-y1²] - общее уравнение с коэффициентами А=(x2-x1), В=(y2-y1) и С= -(1/2)*[x2²-x1²+y2²-y1²].
Второй вариант (для тех, кто еще не знает о направляющих и нормальных векторах, но знают о различных видах уравнений прямых): из канонического уравнения имеем: X(y2-y1)-x1(y2-y1)=Y(x2-x1)-y1(x2-x1) => Y(x2-x1)=X(y2-y1)-y1(x2-x1) => Y=X((y2-y1)/(x2-x1) -x1(y2-y1)/(x2-x1)+y1. Это уравнение прямой с угловым коэффициентом k=(y2-y1)/(x2-x1). Условие перпендикулярности прямых: k1=-1/k. Уравнение прямой L, перпендикулярной прямой AB и проходящей через точку М((x2+x1)/2;(y2+y1)/2)) (середина отрезка АВ), находим по формуле: Y-Ym=k1(X-Xm) или Y-(y2-y1)/2=-((x2-x1)/(y2-y1))*(X-(x2+x1)/2) отсюда общее уравнение прямой L: X(x2-x1)+Y(y2-y1)-(y2²-y1²)/2-(x2²-x1²)/2=0 или X(x2-x1) + Y(y2-y1) -(1/2)*(x2²-x1²+y2²-y1²).
Для проверки решения возьмем точки с реальными координатами и построим график(смотри приложение).
Доказать равенство отрезков по представленному рисунку.
Доказательство:
Докажем, что AO = OC, исходя из признаков равенства треугольников.
1) Рассмотрим треугольники BCD и BAD.
BC = BA по условию (отмечено на рисунке);
CD = AD по условию (отмечено на рисунке);
BD - общая сторона.
Третий признак равенства: если три стороны одного треугольника соответственно равны трем сторонам другого треугольника, то такие треугольники равны.
ΔBCD = ΔBAD по третьему признаку (по трем сторонам).
2) В равных треугольниках соответствующие углы равны, соответствующие стороны равны.
Следовательно ∠CBD = ∠ABD, а значит ∠CBO = ∠ABO.
3) Рассмотрим треугольники CBO и BAO.
BC = BA по условию; BO общая сторона;
∠CBO = ∠ABO из равенства треугольников BCD и BAD (см п.2).
Первый признак равенства треугольников: если две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны.
ΔCBO = ΔBAO по первому признаку (по двум сторонам и углу между ними).
4) Так как в равных треугольниках соответствующие стороны равны, то АО=ОС.
А(х1;у1) и В(х2;у2):
(X-x1)/(x2-x1)=(Y-y1)/(y2-y1).
направляющий вектор этой прямой:
p{p1;p2}, или p{(x2-x1);(y2-y1)}.
Тогда вектор нормали (перпендикуляр к) этой прямой:
n{p2;-p1} или n{(y2-y1);-(x2-x1)}.
Этот же вектор - направляющий вектор для прямой L, проходящей
через точку М((x1+x2)/2;(y1+y2)/2) - середину прямой АВ.
Формула для уравнения прямой, проходящей через точку
M((x1+x2)/2;(y1+y2)/2) и имеющей направляющий вектор
рm{(y2-y1);-(x2-x1)}, то есть уравнение прямой L:
(X-(x1+x2)/2))/(y2-y1)=(Y-(y1+y2)/2)/-(x2-x1) - каноническое уравнение.
Или:
X(x2-x1) + Y(y2-y1) -(1/2)*[x2²-x1²+y2²-y1²] - общее уравнение с коэффициентами А=(x2-x1), В=(y2-y1) и С= -(1/2)*[x2²-x1²+y2²-y1²].
Второй вариант (для тех, кто еще не знает о направляющих и нормальных векторах, но знают о различных видах уравнений прямых):
из канонического уравнения имеем:
X(y2-y1)-x1(y2-y1)=Y(x2-x1)-y1(x2-x1) =>
Y(x2-x1)=X(y2-y1)-y1(x2-x1) =>
Y=X((y2-y1)/(x2-x1) -x1(y2-y1)/(x2-x1)+y1.
Это уравнение прямой с угловым коэффициентом k=(y2-y1)/(x2-x1).
Условие перпендикулярности прямых: k1=-1/k.
Уравнение прямой L, перпендикулярной прямой AB и проходящей через точку М((x2+x1)/2;(y2+y1)/2)) (середина отрезка АВ), находим по формуле:
Y-Ym=k1(X-Xm) или
Y-(y2-y1)/2=-((x2-x1)/(y2-y1))*(X-(x2+x1)/2) отсюда общее уравнение прямой L:
X(x2-x1)+Y(y2-y1)-(y2²-y1²)/2-(x2²-x1²)/2=0 или
X(x2-x1) + Y(y2-y1) -(1/2)*(x2²-x1²+y2²-y1²).
Для проверки решения возьмем точки с реальными координатами и построим график(смотри приложение).
Доказать равенство отрезков по представленному рисунку.
Доказательство:
Докажем, что AO = OC, исходя из признаков равенства треугольников.
1) Рассмотрим треугольники BCD и BAD.
BC = BA по условию (отмечено на рисунке);
CD = AD по условию (отмечено на рисунке);
BD - общая сторона.
Третий признак равенства: если три стороны одного треугольника соответственно равны трем сторонам другого треугольника, то такие треугольники равны.
ΔBCD = ΔBAD по третьему признаку (по трем сторонам).
2) В равных треугольниках соответствующие углы равны, соответствующие стороны равны.
Следовательно ∠CBD = ∠ABD, а значит ∠CBO = ∠ABO.
3) Рассмотрим треугольники CBO и BAO.
BC = BA по условию;
BO общая сторона;
∠CBO = ∠ABO из равенства треугольников BCD и BAD (см п.2).
Первый признак равенства треугольников: если две стороны и угол между ними одного треугольника соответственно равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны.
ΔCBO = ΔBAO по первому признаку (по двум сторонам и углу между ними).
4) Так как в равных треугольниках соответствующие стороны равны, то АО=ОС.
Доказано.