Давайте рассмотрим ромб ABCD, в котором точки P, K, L и M являются серединой его сторон AB, BC, CD и DA соответственно. Нам необходимо доказать, что четырехугольник PKLM является прямоугольником.
Свойства ромба: В ромбе все стороны равны, и диагонали пересекаются под прямым углом и делят друг друга пополам. Обозначим длины сторон ромба как a, а длины диагоналей как d1 и d2.
Координаты вершин ромба: Для начала удобно рассмотреть ромб, расположенный в координатной системе. Пусть A(-a/2, 0), B(0, b), C(a/2, 0), D(0, -b), где b — расстояние от центра ромба до вершин ромба вдоль вертикали, которое определяется длиной диагонали.
Находим середины сторон:
- Точка P — середина AB: P = ((-a/2 + 0)/2, (0 + b)/2) = (-a/4, b/2).
- Точка K — середина BC: K = ((0 + a/2)/2, (b + 0)/2) = (a/4, b/2).
- Точка L — середина CD: L = ((a/2 + 0)/2, (0 - b)/2) = (a/4, -b/2).
- Точка M — середина DA: M = ((0 - a/2)/2, (-b + 0)/2) = (-a/4, -b/2).
Определяем векторы:
- Вектор PK = K - P = (a/4 + a/4, b/2 - b/2) = (a/2, 0).
- Вектор KL = L - K = (a/4 - a/4, -b/2 - b/2) = (0, -b).
- Вектор LM = M - L = (-a/4 + a/4, -b/2 + b/2) = (-a/2, 0).
- Вектор MP = P - M = (-a/4 + a/4, b/2 + b/2) = (0, b).
Проверка перпендикулярности: Чтобы показать, что четырехугольник PKLM является прямоугольником, нужно проверить, что два соседних вектора перпендикулярны.
- Векторы PK и KL: их скалярное произведение = (a/2) * 0 + 0 * (-b) = 0.
- Векторы KL и LM: скалярное произведение = 0 * (-a/2) + (-b) * 0 = 0.
- И так далее. Мы видим, что некоторые соседи (PK и KL) и (KL и LM) вертикально и горизонтально расположены.
Так как все угол P, K, L, M являются прямыми (так как соседние векторы перпендикулярны), четырехугольник PKLM является прямоугольником.
Таким образом, мы доказали, что четырехугольник PKLM является прямоугольником.