Докажите что если диагонали ромба равны , то он является квадратом

Задача: докажем, что если диагонали ромба равны, то ромб является квадратом. Пусть ABCD — ромб (AB = BC = CD = DA). Пусть диагонали AC и BD пересекаются в O, и пусть AC = BD. Обозначим длину стороны ромба за a, а угол между смежными сторонами в вершине A за θ, то есть ∠A = θ. 1) Координатное представление диагоналей в ромбе - Разместим точку A в начале координат: A = (0, 0). - Положим AB вдоль оси x: B = (a, 0). - Вектор AD образует угол θ с AB, значит D = (a cos θ, a sin θ). - Тогда C = B + D = (a + a cos θ, a sin θ). 2) Длины диагоналей - Длина диагонали AC: AC^2 = (a(1 + cos θ))^2 + (a sin θ)^2 = a^2[(1 + cos θ)^2 + sin^2 θ] = a^2[2 + 2 cos θ] = 4 a^2 cos^2(θ/2). Следовательно, AC = 2a cos(θ/2). - Длина диагонали BD: BD^2 = (a cos θ − a)^2 + (a sin θ)^2 = a^2[(cos θ − 1)^2 + sin^2 θ] = a^2[2 − 2 cos θ] = 4 a^2 sin^2(θ/2). Следовательно, BD = 2a sin(θ/2). 3) Условие AC = BD AC = BD implies 2a cos(θ/2) = 2a sin(θ/2). Так как a > 0, имеем cos(θ/2) = sin(θ/2). Это равенство выполняется при θ/2 = 45°, то есть θ = 90°. 4) Вывод Угол ∠A = θ = 90°. Противоположные углы ромба равны, а смежные углы в параллелограмме в сумме дают 180°, значит и все углы ромба равны 90°. Таким образом, ромб имеет все стороны равные (по условию) и все углы прямые — это квадрат. Замечание: наоборот, квадрат является ромбом с равными диагоналями, т.е. эквивалентность верна.