Докажите, что медианы треугольника пересекаются в одной точке и найдите соотношение отрезков, на которые медиана делится в точке пересечения; укажите, какие аксиомы и теоремы используются
Утверждение. В треугольнике ABCABCABC медианы пересекаются в одной точке (центроид GGG), и каждая медиана делится точкой пересечения в отношении 2:12:12:1, считая от вершины: AG:GM=2:1AG:GM=2:1AG:GM=2:1. Доказательство (двухступенчатое, кратко). 1) Конкуренция медиан (теорема Чева). Пусть медианы пересекают стороны в серединах: M∈BCM\in BCM∈BC, N∈ACN\in ACN∈AC, P∈ABP\in ABP∈AB. Тогда BMMC=CNNA=APPB=1,
\frac{BM}{MC}=\frac{CN}{NA}=\frac{AP}{PB}=1, MCBM=NACN=PBAP=1,
и по теореме Чева BMMC⋅CNNA⋅APPB=1,
\frac{BM}{MC}\cdot\frac{CN}{NA}\cdot\frac{AP}{PB}=1, MCBM⋅NACN⋅PBAP=1,
отсюда медианы concurent, т.е. имеют общую точку GGG. (Использовано: теорема Чева, факт о серединах сторон.) 2) Соотношение отрезков 2:12:12:1. Представим вершины как векторные координаты a,b,c\mathbf a,\mathbf b,\mathbf ca,b,c. Тогда середина MMM стороны BCBCBC имеет координату m=b+c2\mathbf m=\tfrac{\mathbf b+\mathbf c}{2}m=2b+c. Рассмотрим точку g=a+b+c3.
\mathbf g=\frac{\mathbf a+\mathbf b+\mathbf c}{3}. g=3a+b+c.
Покажем, что g\mathbf gg лежит на медиане AMAMAM и что AG:GM=2:1AG:GM=2:1AG:GM=2:1. Действительно, g−a=b+c−2a3=23(b+c2−a)=23(m−a),
\mathbf g-\mathbf a=\frac{\mathbf b+\mathbf c-2\mathbf a}{3}=\frac{2}{3}\Big(\frac{\mathbf b+\mathbf c}{2}-\mathbf a\Big)=\frac{2}{3}(\mathbf m-\mathbf a), g−a=3b+c−2a=32(2b+c−a)=32(m−a),
то есть g=a+23(m−a)\mathbf g=\mathbf a+\tfrac{2}{3}(\mathbf m-\mathbf a)g=a+32(m−a) — точка на отрезке AMAMAM при параметре t=23t=\tfrac{2}{3}t=32. Это эквивалентно отношению длин AG:GM=2:1AG:GM=2:1AG:GM=2:1. Аналогично g\mathbf gg лежит на других медианах, значит это та самая общая точка GGG. (Использовано: аналитическая/векторная модель Евклидовой плоскости, определение середины отрезка, простые алгебраические тождества.) Итог: медианы пересекаются в одной точке GGG (центроид), и для каждой медианы AG:GM=2:1AG:GM=2:1AG:GM=2:1. Краткий список используемых аксиом/теорем: - аксиомы Евклидовой геометрии (плоскость, понятия отрезка, середины); - теорема Чева (для доказательства конкуренции); - свойства средних/медиан и элементарная векторно-координатная алгебра (для вывода отношения 2:12:12:1).
Доказательство (двухступенчатое, кратко).
1) Конкуренция медиан (теорема Чева). Пусть медианы пересекают стороны в серединах: M∈BCM\in BCM∈BC, N∈ACN\in ACN∈AC, P∈ABP\in ABP∈AB. Тогда
BMMC=CNNA=APPB=1, \frac{BM}{MC}=\frac{CN}{NA}=\frac{AP}{PB}=1,
MCBM =NACN =PBAP =1, и по теореме Чева
BMMC⋅CNNA⋅APPB=1, \frac{BM}{MC}\cdot\frac{CN}{NA}\cdot\frac{AP}{PB}=1,
MCBM ⋅NACN ⋅PBAP =1, отсюда медианы concurent, т.е. имеют общую точку GGG.
(Использовано: теорема Чева, факт о серединах сторон.)
2) Соотношение отрезков 2:12:12:1. Представим вершины как векторные координаты a,b,c\mathbf a,\mathbf b,\mathbf ca,b,c. Тогда середина MMM стороны BCBCBC имеет координату m=b+c2\mathbf m=\tfrac{\mathbf b+\mathbf c}{2}m=2b+c . Рассмотрим точку
g=a+b+c3. \mathbf g=\frac{\mathbf a+\mathbf b+\mathbf c}{3}.
g=3a+b+c . Покажем, что g\mathbf gg лежит на медиане AMAMAM и что AG:GM=2:1AG:GM=2:1AG:GM=2:1. Действительно,
g−a=b+c−2a3=23(b+c2−a)=23(m−a), \mathbf g-\mathbf a=\frac{\mathbf b+\mathbf c-2\mathbf a}{3}=\frac{2}{3}\Big(\frac{\mathbf b+\mathbf c}{2}-\mathbf a\Big)=\frac{2}{3}(\mathbf m-\mathbf a),
g−a=3b+c−2a =32 (2b+c −a)=32 (m−a), то есть g=a+23(m−a)\mathbf g=\mathbf a+\tfrac{2}{3}(\mathbf m-\mathbf a)g=a+32 (m−a) — точка на отрезке AMAMAM при параметре t=23t=\tfrac{2}{3}t=32 . Это эквивалентно отношению длин AG:GM=2:1AG:GM=2:1AG:GM=2:1. Аналогично g\mathbf gg лежит на других медианах, значит это та самая общая точка GGG.
(Использовано: аналитическая/векторная модель Евклидовой плоскости, определение середины отрезка, простые алгебраические тождества.)
Итог: медианы пересекаются в одной точке GGG (центроид), и для каждой медианы AG:GM=2:1AG:GM=2:1AG:GM=2:1.
Краткий список используемых аксиом/теорем:
- аксиомы Евклидовой геометрии (плоскость, понятия отрезка, середины);
- теорема Чева (для доказательства конкуренции);
- свойства средних/медиан и элементарная векторно-координатная алгебра (для вывода отношения 2:12:12:1).