§ 6. Деление отрезка в отношении
Определение. Пусть A и B две различные точки в En.
Будем говорить, что точка C делит отрезок AB в отношении ( R), если:
1) Точка C лежит на прямой AB;
2) |AC| = || |AB|;
3) 0, если точка C лежит на луче [AB), и
< 0, если точка C не лежит на луче [AB).
Пример.
РИС 15 (1,2,3,4)
1) Пусть точка C - середина
отрезка AB. Тогда С делит
отрезок AB в отношении
.
2) Если точка C совпадает с точкой A, то она делит отрезок AB в отношении 0.
3) Если точка C совпадает с точкой B, то она делит отрезок AB в отношении 1.
4) Если точка C такова, что точка A - это середина отрезка CB, то она делит отрезок AB в отношении (-1).
Замечания.
(1) В данном определении порядок точек A и B важен. Если точка C делит отрезок AB в отношении , то она делит отрезок BA в отношении (1-) ( докажите).
(2) Точка C лежит на отрезке [AB] тогда, и только тогда, когда точка C делит отрезок [AB] в отношении и 0 1.
Лемма.
1) Для любых двух различных точек A и B, и для любой точки С на прямой AB существует такое число , что точка C делит отрезок AB в отношении .
2) Для любых двух различных точек A и B, и для любого числа существует точка C на прямой AB такая, что точка C делит отрезок AB в отношении l.
Доказательство. (провести самостоятельно)
Пусть в En введена декартова система координат.
Теорема. Точка C делит
отрезок AB в отношении
тогда, и только тогда, когда справедливо
следующее равенство
C
= (1 - )
A
+
B,
где
A-
координаты точки A,
B
- координаты точки B,
C
- координаты точки C.
Доказательство.
I) Докажем теорему для точек прямой (для e1).
1) Пусть точка C делит отрезок AB в отношении .
1 случай. xA < xB , то есть |AB| = xB - xA.
- Если точка C не лежит на луче [AB), то < 0 , xC < xA и |AC| = xA - xC .
Так как по определению |AC| = |l| |AB|, то xA - xC = - (xB - xA), тогда xC = (1-)xA + xB.
- Если точка C лежит на луче [AB), то l > 0 , xC xA и |AC| = xC - xA .
Так как по определению |AC| = |l| |AB|, то xC - xA = l (xB - xA), тогда xC = (1-l)xA + lxB.
2 случай. xB < xA , то есть |AB| = xA - xB (аналогичен случаю 1)
2) Пусть координаты точек A,B и C таковы, что xC = (1-l)xA + lxB, тогда
xC - xA = l (xB - xA).
2 случай. xB < xA , то есть |AB| = xA - xB (аналогичен случаю 1)
Возьмем точку D, которая делит отрезок AB в отношении l. Тогда, как уже доказано, ее координаты подчиняются соотношению xD = (1-l)xA + lxB., то есть xD =xC.
Так как декартова система координат устанавливает биективное соответствие между точками прямой и множеством действительных чисел, то из равенства координат точек D и C следует, что они совпадают, то есть точка C делит отрезок AB в отношении l.
II) Докажем теорему для точек плоскости (для e2).
1 случай. Прямая AB не параллельна ни одной из координатных осей.
Пусть точки A’,B’- проекции точек A и B на координатную ось (Ox),
точки A’’, B’’ проекции точек A и B на координатную ось (Oy).
1) Пусть точка C делит отрезок AB в отношении , и точки C’,C’’ - проекции точки C на оси (Ox), (Oy) соответственно.
Тогда точка C’ делит отрезок A’B’ (и точка C’’ делит отрезок A’’B’’) в отношении , поэтому по пункту (i) xC = (1-l)xA + lxB и yC = (1-l)yA + lyB.
2) Пусть точка C такова, что для ее координат C справедливо равенство
C = (1 - l) A + l B.
Возьмем точку D, которая делит отрезок AB в отношении . Тогда, как уже доказано, ее координаты подчиняются соотношению D = (1 - l) A + l B, то есть D = C.
Так как декартова система координат устанавливает биективное соответствие между точками плоскости и множеством упорядоченных пар действительных чисел, то из равенства координат точек D и C следует, что они совпадают, то есть точка C делит отрезок AB в отношении .
2 случай. Прямая AB параллельна одной из координатных осей.
Пусть прямая AB параллельна оси (Ox). Тогда для всех точек прямой координаты по оси (Oy) равны между собой, поэтому достаточно доказать теорему для координат точек по оси (Ox). Повторим доказательство 1-го случая, рассматривая только проекции на ось (Ox).
Если прямая AB параллельна оси (Oy), то рассуждения аналогичны.