Докажите, что прямая, содержащая биссектрису угла, является его осью симметрии.
Дано:
Доказать: при симметрии относительно
Доказательство.
-
Вершина
лежит на оси , поэтому остаётся на месте. -
Образ луча
— луч с началом в . Симметрия — движение (теорема . ), а движения сохраняют углы, поэтому образ луча образует с лучом (лежащим на оси и потому неподвижным) тот же угол, что и : . При этом он лежит в другой полуплоскости относительно (симметрия меняет полуплоскости местами). -
Луч
тоже образует с лучом угол и лежит в другой полуплоскости относительно , чем (так как — биссектриса, лучи и лежат по разные стороны от неё). -
Два луча с началом в
, лежащие в одной полуплоскости относительно и образующие с лучом равные углы, совпадают. Значит, образ луча — луч . -
Аналогично образ луча
— луч . Следовательно, угол (вместе с его внутренней областью) переходит в себя.
Итак, прямая, содержащая биссектрису угла, — его ось симметрии.
Доказано: симметрия относительно прямой
