Доказательство (со структурой и понятиями на уровне средней школы):
Условие: треугольники ABC и A1B1C1 таковы, что
- AB = A1B1;
- AC = A1C1;
- медианы CM и C1M1 равны (M и M1 — середины отрезков AB и A1B1).
Цель: показать, что треугольники ABC и A1B1C1 равны (конгруэнтны).
- Введём обозначения сторон треугольников
- В треугольнике ABC обозначим стороны так: a = BC, b = CA, c = AB.
- В треугольнике A1B1C1 обозначим: a1 = B1C1, b1 = C1A1, c1 = A1B1. По условию: c = c1 (AB = A1B1) и b = b1 (AC = A1C1).
Формула для длины медианы Медиана к стороне c в любом треугольнике удовлетворяет формуле m_c^2 = (2a^2 + 2b^2 - c^2) / 4. Эта формула выводится, например, из теоремы Аполлония (или можно вывести по координатам: положим AB на оси, M — середина AB, получаем ту же зависимость).
Применяем формулу к обоим треугольникам По условию m_c = m_c1, а по пункту 1 c = c1 и b = b1. Подставим в формулу: (m_c)^2 = (2a^2 + 2b^2 - c^2) / 4, (m_c1)^2 = (2a1^2 + 2b1^2 - c1^2) / 4.
Поскольку m_c^2 = m_c1^2, получаем равенство 2a^2 + 2b^2 - c^2 = 2a1^2 + 2b1^2 - c^2. С учётом b = b1 и c = c1 сокращаем: 2a^2 = 2a1^2 ⇒ a^2 = a1^2 ⇒ a = a1 (так как длины сторон неотрицательны).
То есть BC = B1C1.
- Получение полного совпадения треугольников Из полученного и данных условия имеем три пары равноугых сторон по соответствию:
- AB = A1B1 (по условию),
- BC = B1C1 (из шага 3),
- CA = C1A1 (по условию).
По признаку равенства треугольников по трем сторонам (SSS) треугольники ABC и A1B1C1 конгруентны.
Замечание по расположению Если C и C1 лежат с разных сторон от прямой AB, треугольники будут симметричны относительно этой прямой, но всё равно конгруентны (существует безразличное отражение, перевод или поворот, переводящий одну конфигурацию в другую).
Итог При заданных условиях треугольники ABC и A1B1C1 обязательно равны (конгруентны).