В евклидовой геометрии равнодиагональный четырехугольник — это выпуклый четырехугольник , две диагонали которого имеют одинаковую длину. Равнодиагональные четырехугольники играли важную роль в древнеиндийской математике , где четырехугольники классифицировались сначала в зависимости от того, были ли они равнодиагональными, а затем на более специализированные типы. [1]
Примеры равнодиагональных четырехугольников включают равнобедренные трапеции , прямоугольники и квадраты .
Среди всех четырехугольников фигурой, которая имеет наибольшее отношение периметра к диаметру, является равнодиагональный змей с углами π/3, 5π/12, 5π/6 и 5π/12. [2]
Выпуклый четырехугольник является равнодиагональным тогда и только тогда, когда его параллелограмм Вариньона , параллелограмм, образованный серединами его сторон, является ромбом . Эквивалентным условием является то, что бимедианы четырехугольника (диагонали параллелограмма Вариньона) перпендикулярны . [3]
Выпуклый четырехугольник с диагональными длинами и бимедианными длинами является равнодиагональным тогда и только тогда, когда [4] : Предложение 1.
Площадь K равнодиагонального четырехугольника легко вычислить , если известны длины бимедиан m и n . Четырехугольник является равнодиагональным тогда и только тогда, когда [5] : с.19, [4] : Кор.4
Это прямое следствие того, что площадь выпуклого четырехугольника в два раза больше площади его параллелограмма Вариньона и что диагонали в этом параллелограмме являются бимедианами четырехугольника. Используя формулы длин бимедиан , площадь также можно выразить через стороны a, b, c, d равнодиагонального четырехугольника и расстояние x между серединами диагоналей как [5] : с.19
Другие формулы площади можно получить, полагая p = q в формулах площади выпуклого четырехугольника .
Параллелограмм является равнодиагональным тогда и только тогда, когда он является прямоугольником [6] , а трапеция является равнодиагональной тогда и только тогда, когда она является равнобедренной трапецией . Вписанные равнодиагональные четырехугольники представляют собой в точности равнобедренные трапеции.
Существует двойственность между равнодиагональными четырехугольниками и ортодиагональными четырехугольниками : четырехугольник является равнодиагональным тогда и только тогда, когда его параллелограмм Вариньона ортодиагонален (ромб), а четырехугольник является ортодиагональным тогда и только тогда, когда его параллелограмм Вариньона является равнодиагональным (прямоугольник). [3] Эквивалентно, четырехугольник имеет равные диагонали тогда и только тогда, когда у него есть перпендикулярные бимедианы, и он имеет перпендикулярные диагонали тогда и только тогда, когда у него равные бимедианы. [7] Сильвестр (2006) дает дальнейшие связи между равнодиагональными и ортодиагональными четырехугольниками посредством обобщения теоремы ван Обеля . [8]
Четырехугольники, которые являются как ортодиагональными, так и равнодиагональными и в которых диагонали не менее длины всех сторон четырехугольника, имеют максимальную площадь своего диаметра среди всех четырехугольников, что решает случай n = 4 задачи о самом большом маленьком многоугольнике . Квадрат — один из таких четырехугольников, но существует бесконечно много других. Равнодиагональные, ортодиагональные четырехугольники называются среднеквадратными четырехугольниками [4] : с. 137, потому что они единственные, для которых параллелограмм Вариньона (с вершинами в середине сторон четырехугольника) является квадратом. Такой четырехугольник с последовательными сторонами a, b, c, d имеет площадь [4] : Thm.16.
Среднеквадратный параллелограмм является в точности квадратом.