В треугольнике , а — середина стороны .
Докажите, что .
Выписываем данные и понимаем, что потребует слово «перпендикулярно». Дано (треугольник равнобедренный с основанием ) и (по определению середины). Чтобы доказать , достаточно показать, что один из углов или равен . План такой: доказать, что эти два угла равны, а затем воспользоваться тем, что они лежат на одной прямой, — это вынуждает каждый из них быть прямым. Такой путь заметно чище, чем попытка вычислить угол напрямую.
Сравниваем треугольники и . Отрезок разбивает исходный треугольник на два меньших. Сопоставляем их элементы:
Совпала каждая пара, то есть три стороны против трёх сторон.
Делаем вывод о равенстве по трём сторонам. По признаку «сторона — сторона — сторона»
Именно этот признак здесь уместен: все три данных факта — о длинах, никаких сведений об углах не дано, поэтому признаки по двум сторонам и углу между ними или по стороне и двум углам потребовали бы недоказанного допущения.
Переносим равенство на углы при вершине . В равных треугольниках соответственные элементы равны, а углу первого треугольника соответствует угол второго:
Используем прямую , чтобы получить ровно . Так как лежит между и на отрезке , эти два угла смежные, а значит в сумме дают развёрнутый:
Подставляя равенство из предыдущего шага, получаем , откуда
Нужны были оба факта: из одного лишь равенства углов не следует, из одной лишь смежности — тоже. Доказательство закрывает именно их сочетание.
Проверяем координатным способом. Расположим основание симметрично: , , тогда серединой будет . Условие заставляет точку быть равноудалённой от и , то есть при некотором . Тогда и , а их скалярное произведение равно
Нулевое скалярное произведение означает перпендикулярность отрезков, что подтверждает синтетическое доказательство. Попутно та же картинка показывает: одновременно медиана, высота, биссектриса угла и серединный перпендикуляр к — все четыре линии совпадают ровно тогда, когда треугольник равнобедренный.
Need to solve a different problem like this? Open the solver →