Чтобы доказать, что \( AC \perp BD \) и \( DB \) является биссектрисой угла \( ADC \), нам нужно использовать определение биссектрисы и некоторые свойства квадратов и углов.
Определение биссектрисы: Биссектрисой угла называется отрезок, делящий угол пополам.
Дан угол \( ADC \): Пусть угол \( ADC \) раскладывается на два равные угла \( \angle ADB \) и \( \angle BDC \).
Свойства перпендикулярных линий: Если \( AC \perp BD \), это означает, что угол между ними равен \( 90^\circ \).
Теперь перейдем к доказательству:
Начнем с того, что \( DB \) делит угол \( ADC \) пополам. Следовательно: \[ \angle ADB = \angle BDC \]
Поскольку \( DB \) – биссектрисa, можно утверждать, что \( \angle ADB + \angle BDC = \angle ADC \).
Если \( AC \perp BD \), то \( \angle ADB \) и \( \angle ABD = 90^\circ \).
Таким образом, \( \angle ADC = \angle ADB + \angle BDC = 90^\circ + 90^\circ = 180^\circ \) для случаев равных углов.
В заключение, если \( AC \perp BD \), то, исходя из определения и свойств биссектрисы, \( DB \) действительно является биссектрисой угла \( ADC \).
Таким образом, мы пришли к заключению, что \( AC \perp BD \) и \( DB \) – биссектрисa угла \( ADC \).
