Для доказательства, что четырехугольник (ABCD) является квадратом, необходимо проверить несколько условий:
- Все стороны должны быть равны.
- Все углы должны быть прямыми (по 90 градусов).
- Диагонали должны быть равны и пересекаться под прямым углом.
Давайте начнем с проверки равенства сторон. Для этого используем формулу расстояния между двумя точками в декартовой системе координат:
[ d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} ]
Рассчитаем длины всех сторон:
Длина стороны (AB):
[ AB = \sqrt{(4 - 0)^2 + (2 - 4)^2} = \sqrt{4^2 + (-2)^2} = \sqrt{16 + 4} = \sqrt{20} = 2\sqrt{5} ]
Длина стороны (BC):
[ BC = \sqrt{(2 - 4)^2 + (-2 - 2)^2} = \sqrt{(-2)^2 + (-4)^2} = \sqrt{4 + 16} = \sqrt{20} = 2\sqrt{5} ]
Длина стороны (CD):
[ CD = \sqrt{(2 - (-2))^2 + (-2 - 0)^2} = \sqrt{4^2 + (-2)^2} = \sqrt{16 + 4} = \sqrt{20} = 2\sqrt{5} ]
Длина стороны (DA):
[ DA = \sqrt{(0 - (-2))^2 + (4 - 0)^2} = \sqrt{2^2 + 4^2} = \sqrt{4 + 16} = \sqrt{20} = 2\sqrt{5} ]
Все стороны равны, (AB = BC = CD = DA = 2\sqrt{5}).
Теперь проверим углы. Для этого можно воспользоваться скалярным произведением векторов. Если скалярное произведение двух векторов равно нулю, то угол между ними равен 90 градусам.
Векторы:
- (\overrightarrow{AB} = (4 - 0, 2 - 4) = (4, -2))
- (\overrightarrow{BC} = (2 - 4, -2 - 2) = (-2, -4))
- (\overrightarrow{CD} = (2 - (-2), -2 - 0) = (4, -2))
- (\overrightarrow{DA} = (0 - (-2), 4 - 0) = (2, 4))
Проверим скалярные произведения:
- (\overrightarrow{AB} \cdot \overrightarrow{BC} = 4 \cdot (-2) + (-2) \cdot (-4) = -8 + 8 = 0)
- (\overrightarrow{BC} \cdot \overrightarrow{CD} = (-2) \cdot 4 + (-4) \cdot (-2) = -8 + 8 = 0)
- (\overrightarrow{CD} \cdot \overrightarrow{DA} = 4 \cdot 2 + (-2) \cdot 4 = 8 - 8 = 0)
- (\overrightarrow{DA} \cdot \overrightarrow{AB} = 2 \cdot 4 + 4 \cdot (-2) = 8 - 8 = 0)
Все углы являются прямыми.
Теперь проверим диагонали. Вычислим их длины и проверим, пересекаются ли они под прямым углом:
Диагонали (AC) и (BD):
[ AC = \sqrt{(2 - 0)^2 + (-2 - 4)^2} = \sqrt{2^2 + (-6)^2} = \sqrt{4 + 36} = \sqrt{40} = 2\sqrt{10} ]
[ BD = \sqrt{(2 - (-2))^2 + (-2 - 4)^2} = \sqrt{4^2 + (-6)^2} = \sqrt{16 + 36} = \sqrt{52} = 2\sqrt{13} ]
Диагонали не равны по длине, но это не является необходимым условием для квадрата. Проверим пересечение под прямым углом:
Векторы:
- (\overrightarrow{AC} = (2 - 0, -2 - 4) = (2, -6))
- (\overrightarrow{BD} = (2 - (-2), -2 - 4) = (4, -6))
Скалярное произведение:
[ \overrightarrow{AC} \cdot \overrightarrow{BD} = 2 \cdot 4 + (-6) \cdot (-6) = 8 + 36 = 44 ]
Скалярное произведение не равно нулю, значит, диагонали не пересекаются под прямым углом.
Следовательно, четырехугольник (ABCD) не является квадратом.