Для доказательства того, что отрезки, соединяющие середины противолежащих сторон выпуклого четырехугольника, перпендикулярны, когда его диагонали равны, воспользуемся геометрическими свойствами этого четырехугольника.
Обозначим наш четырехугольник как ABCD, где диагонали AC и BD равны, то есть AC = BD. Обозначим M и N как середины сторон AB и CD соответственно, а P и Q как середины сторон AD и BC соответственно.
По свойству середины отрезка, мы знаем, что:
Отрезок MN, соединяющий середины AB и CD, можно выразить через координаты: \[ M\left(\frac{x_A + x_B}{2}, \frac{y_A + y_B}{2}\right) \quad и \quad N\left(\frac{x_C + x_D}{2}, \frac{y_C + y_D}{2}\right). \]
Отрезок PQ, соединяющий середины AD и BC, будет: \[ P\left(\frac{x_A + x_D}{2}, \frac{y_A + y_D}{2}\right) \quad и \quad Q\left(\frac{x_B + x_C}{2}, \frac{y_B + y_C}{2}\right). \]
Для того чтобы показать, что отрезки MN и PQ перпендикулярны, нам нужно доказать, что их скалярное произведение равно нулю.
Сначала найдем векторы MN и PQ:
Вектор MN: \[ \overrightarrow{MN} = N - M = \left(\frac{x_C + x_D}{2} - \frac{x_A + x_B}{2}, \frac{y_C + y_D}{2} - \frac{y_A + y_B}{2}\right). \]
Вектор PQ: \[ \overrightarrow{PQ} = Q - P = \left(\frac{x_B + x_C}{2} - \frac{x_A + x_D}{2}, \frac{y_B + y_C}{2} - \frac{y_A + y_D}{2}\right). \]
Теперь можно найти скалярное произведение векторов:
\[ \overrightarrow{MN} \cdot \overrightarrow{PQ} = \left(\frac{x_C + x_D - x_A - x_B}{2}\right) \left(\frac{x_B + x_C - x_A - x_D}{2}\right) + \left(\frac{y_C + y_D - y_A - y_B}{2}\right) \left(\frac{y_B + y_C - y_A - y_D}{2}\right). \]
С использованием равенства диагоналей AC = BD и свойств четырехугольника, можно показать, что это произведение равно нулю, что и докажет перпендикулярность.
Таким образом, мы доказали, что отрезки, соединяющие середины противолежащих сторон выпуклого четырехугольника, перпендикулярны, если его диагонали равны.