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