Глава V. Метод координат в пространстве. § 2. Скалярное произведение векторов → номер 450
Докажем, что
Аналогично.
Таким образом,
Следовательно, ABCD — квадрат.