Чтобы доказать, что четырехугольник ABCD является ромбом, необходимо проверить выполнение следующих условий:
- Все стороны четырехугольника равны между собой.
- Диагонали четырехугольника перпендикулярны между собой и делятся пополам.
Для начала найдем длины сторон четырехугольника ABCD:
AB = √((5-2)^2 + (1-6)^2) = √9 + 25 = √34
BC = √((2-5)^2 + (-4-1)^2) = √9 + 25 = √34
CD = √((-1-2)^2 + (1+4)^2) = √9 + 25 = √34
DA = √((-1-2)^2 + (1-6)^2) = √9 + 25 = √34
Таким образом, все стороны четырехугольника ABCD равны между собой, что соответствует первому условию.
Теперь найдем координаты середин диагоналей четырехугольника ABCD:
М1(AB) = ((2+5)/2; (6+1)/2) = (3.5; 3.5)
М2(CD) = ((2-1)/2; (-4+1)/2) = (0.5; -1.5)
Диагонали AC и BD перпендикулярны и проходят через точку пересечения середин диагоналей. Проверим это:
Уравнение прямой, проходящей через точки A(2;6) и C(2;-4):
y = kx + b
6 = k2 + b
-4 = k2 + b
Решая систему уравнений, получаем k = -5, b = 16, что соответствует уравнению y = -5x + 16.
Уравнение прямой, проходящей через точки B(5;1) и D(-1;1):
y = kx + b
1 = k5 + b
1 = k(-1) + b
Решая систему уравнений, получаем k = 0, b = 1, что соответствует уравнению y = 1.
Это значит, что диагонали AC и BD перпендикулярны друг другу.
Таким образом, у нас выполнены оба условия: все стороны четырехугольника ABCD равны между собой, а диагонали перпендикулярны и делятся пополам. Следовательно, четырехугольник ABCD является ромбом.