Чтобы доказать, что если у параллелограмма диагонали перпендикулярны, то он является ромбом, начнем с определения параллелограмма и его свойств.
Параллелограмм — это четырехугольник, у которого противолежащие стороны параллельны. У него есть такие свойства:
- Противолежащие стороны равны.
- Противолежащие углы равны.
- Сумма углов в любом четырехугольнике равна 360 градусов.
- Диагонали пересекаются и делят друг друга пополам.
Теперь давайте рассмотрим диагонали параллелограмма \(AC\) и \(BD\), которые пересекаются в точке \(O\). Поскольку диагонали пересекаются и делят друг друга пополам, можно записать:
\(AO = OC\) и \(BO = OD\).
Предположим, что диагонали \(AC\) и \(BD\) перпендикулярны, то:
\[ \angle AOB = 90^\circ. \]
Теперь рассмотрим треугольники \(AOB\) и \(COD\). Треугольники равнобедренные, так как \(AO = OC\) и \(BO = OD\). Кроме того, угол \(AOB\) равен углу \(COD\), так как они являются вертикальными углами и равны друг другу.
Следовательно, по первому признаку равенства треугольников (сторона-угол-сторона), получаем:
\(\triangle AOB \cong \triangle COD.\)
Из этого следует, что:
- \(AB = CD\) (по равенству треугольников).
- \(AD = BC\) (из свойств параллелограмма).
Мы знаем, что в равнобедренном треугольнике, если две стороны равны (в нашем случае стороны \(AB\) и \(AD\)), то также равны и третий угол, противолежащий меньшей стороне.
Таким образом, \(AB = AD = BC = CD\), что и доказывает, что все стороны параллелограмма равны, а значит, он является ромбом.
Таким образом, по свойству, что у параллелограмма, если его диагонали перпендикулярны, он обязательно является ромбом.