Чтобы доказать, что четырехугольник ABCD является ромбом, необходимо показать, что все его стороны равны. Для этого используем формулу расстояния между двумя точками на плоскости:
[ d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} ]
Вычислим длины сторон четырехугольника ABCD:
Сторона AB:
[
d_{AB} = \sqrt{(4 - 1)^2 + (2 - 6)^2} = \sqrt{3^2 + (-4)^2} = \sqrt{9 + 16} = \sqrt{25} = 5
]
Сторона BC:
[
d_{BC} = \sqrt{(0 - 4)^2 + (-1 - 2)^2} = \sqrt{(-4)^2 + (-3)^2} = \sqrt{16 + 9} = \sqrt{25} = 5
]
Сторона CD:
[
d_{CD} = \sqrt{(-3 - 0)^2 + (3 - (-1))^2} = \sqrt{(-3)^2 + 4^2} = \sqrt{9 + 16} = \sqrt{25} = 5
]
Сторона DA:
[
d_{DA} = \sqrt{(1 - (-3))^2 + (6 - 3)^2} = \sqrt{4^2 + 3^2} = \sqrt{16 + 9} = \sqrt{25} = 5
]
Все стороны четырехугольника ABCD равны, следовательно, он является ромбом.
Теперь определим, является ли ромб ABCD квадратом. Для этого необходимо проверить, перпендикулярны ли его диагонали. Вычислим координаты диагоналей и их длины:
Диагональ AC:
[
d_{AC} = \sqrt{(0 - 1)^2 + (-1 - 6)^2} = \sqrt{(-1)^2 + (-7)^2} = \sqrt{1 + 49} = \sqrt{50}
]
Диагональ BD:
[
d_{BD} = \sqrt{(-3 - 4)^2 + (3 - 2)^2} = \sqrt{(-7)^2 + 1^2} = \sqrt{49 + 1} = \sqrt{50}
]
Диагонали равны, что является необходимым, но не достаточным условием для квадрата. Проверим перпендикулярность диагоналей, используя скалярное произведение векторов:
- Вектор (\overrightarrow{AC} = (0-1, -1-6) = (-1, -7))
- Вектор (\overrightarrow{BD} = (-3-4, 3-2) = (-7, 1))
Скалярное произведение:
[
(-1) \cdot (-7) + (-7) \cdot 1 = 7 - 7 = 0
]
Так как скалярное произведение равно нулю, диагонали перпендикулярны, следовательно, ромб ABCD является квадратом.
Таким образом, четырехугольник ABCD является не только ромбом, но и квадратом.