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