Для доказательства того, что если в параллелограмме \( ABCD \) углы \( \angle ABD \) и \( \angle BAC \) равны, то этот параллелограмм является прямоугольником, воспользуемся свойствами параллелограммов и некоторыми геометрическими соотношениями.
Пусть \( \angle ABD = \angle BAC = \alpha \).
Параллелограмм \( ABCD \) имеет следующие углы:
- \( \angle ABC \) и \( \angle ADC \) равны, так как они противоположные углы,
- \( \angle BCD \) и \( \angle DAB \) также равны.
Из теоремы о сумме углов в треугольнике, мы можем записать: \[ \angle ABD + \angle ABC + \angle ADB = 180^\circ \] Подставим \( \angle ABD \): \[ \alpha + \angle ABC + \angle ADB = 180^\circ \tag{1} \]
В треугольнике \( ABC \) мы имеем: \[ \angle BAC + \angle ABC + \angle ACB = 180^\circ \] Подставим \( \angle BAC \): \[ \alpha + \angle ABC + \angle ACB = 180^\circ \tag{2} \]
Из (1) и (2) мы можем выразить \( \angle ADB \) и \( \angle ACB \): Из (1) получаем: \[ \angle ADB = 180^\circ - \alpha - \angle ABC \] Из (2) получаем: \[ \angle ACB = 180^\circ - \alpha - \angle ABC \]
Мы видим, что: \[ \angle ADB = \angle ACB \]
Но в параллелограмме углы \( \angle ADB \) и \( \angle ABC \) также являются смежными углами, и их сумма равна \( 180^\circ \). Значит, \( \angle ADB + \angle ABC = 180^\circ \).
Поскольку \( \angle ADB = \angle ACB \) и \( \angle ABD = \angle BAC \), то в треугольнике \( ADB \) и \( ACB \) мы увидим равные углы, следовательно, эти треугольники подобны.
Однако если \( \angle ABD = \angle BAC \), это означает, что оба угла равны \( 90^\circ \) (в противном случае мы не можем получить равенство для боковых сторон в подобных треугольниках).
Таким образом, \( \angle ABC = 90^\circ \) и равенство углов показывает, что все углы параллелограмма \( ABCD \) равны \( 90^\circ \).
Следовательно, параллелограмм \( ABCD \) является прямоугольником.
Таким образом, доказано, что если в параллелограмме \( ABCD \) углы \( ABD \) и \( BAC \) равны, то этот параллелограмм является прямоугольником.
