Давайте рассмотрим квадрат ABCD со сторонами равными a. Сначала определим координаты его вершин:
- A(0, 0)
- B(a, 0)
- C(a, a)
- D(0, a)
Теперь найдем середины сторон квадрата. Середины сторон можно найти, используя формулу для нахождения середины отрезка:
[
M = \left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right)
]
Середина AB:
[
M_1 = \left(\frac{0 + a}{2}, \frac{0 + 0}{2}\right) = \left(\frac{a}{2}, 0\right)
]
Середина BC:
[
M_2 = \left(\frac{a + a}{2}, \frac{0 + a}{2}\right) = \left(a, \frac{a}{2}\right)
]
Середина CD:
[
M_3 = \left(\frac{a + 0}{2}, \frac{a + a}{2}\right) = \left(\frac{a}{2}, a\right)
]
Середина DA:
[
M_4 = \left(\frac{0 + 0}{2}, \frac{a + 0}{2}\right) = \left(0, \frac{a}{2}\right)
]
Теперь у нас есть координаты середин сторон квадрата:
- ( M_1 \left(\frac{a}{2}, 0\right) )
- ( M_2 \left(a, \frac{a}{2}\right) )
- ( M_3 \left(\frac{a}{2}, a\right) )
- ( M_4 \left(0, \frac{a}{2}\right) )
Чтобы показать, что эти точки являются вершинами нового квадрата, необходимо доказать, что они образуют квадрат.
Проверка свойств нового квадрата:
Дистанция между соседними вершинами:
Найдем расстояние между ( M_1 ) и ( M_2 ):
[
d(M_1, M_2) = \sqrt{\left(a - \frac{a}{2}\right)^2 + \left(\frac{a}{2} - 0\right)^2} = \sqrt{\left(\frac{a}{2}\right)^2 + \left(\frac{a}{2}\right)^2} = \sqrt{2\left(\frac{a}{2}\right)^2} = \frac{a}{\sqrt{2}}
]
Аналогично, можно показать, что:
[
d(M_2, M_3) = d(M_3, M_4) = d(M_4, M_1) = \frac{a}{\sqrt{2}}
]
Таким образом, все стороны нового квадрата равны.
Проверка углов:
Найдем угол между векторами ( M_1M_2 ) и ( M_2M_3 ):
[
\text{Вектор } M_1M_2 = \left(a - \frac{a}{2}, \frac{a}{2} - 0\right) = \left(\frac{a}{2}, \frac{a}{2}\right)
]
[
\text{Вектор } M_2M_3 = \left(\frac{a}{2} - a, a - \frac{a}{2}\right) = \left(-\frac{a}{2}, \frac{a}{2}\right)
]
Теперь найдем скалярное произведение векторов ( M_1M_2 ) и ( M_2M_3 ):
[
M_1M_2 \cdot M_2M_3 = \left(\frac{a}{2}\right)\left(-\frac{a}{2}\right) + \left(\frac{a}{2}\right)\left(\frac{a}{2}\right) = -\frac{a^2}{4} + \frac{a^2}{4} = 0
]
Так как скалярное произведение равно нулю, то векторы перпендикулярны, что подтверждает, что угол между ними равен 90°.
Заключение:
Поскольку мы доказали, что все стороны равны и углы между ними равны 90°, то точки ( M_1, M_2, M_3, M_4 ) образуют квадрат. Следовательно, середины сторон квадрата ABCD действительно являются вершинами другого квадрата.