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

Задача: доказать, что если диагональ прямоугольника лежит на биссектрисе его угла, то прямоугольник является квадратом. Пусть ABCD — прямоугольник: AB параллельно CD, BC параллельно AD, угол A = 90°. Рассмотрим диагональ AC, которая предполагается лежащей на биссектрисе угла ∠DAB (то есть AC делит угол A на две равные части). Доказательство: - Введём систему координат. Поместим точку A в начало и сделаем AB горизонтальной вправо, AD вертикальной вверх: A = (0, 0), B = (a, 0), D = (0, b). Тогда C = (a, b), где a = AB — длина стороны AB, b = AD — длина стороны AD. - Биссектор угла ∠DAB в этой системе координат совпадает с биссектором угла между осью x (направление AB) и осью y (направление AD), то есть с прямой y = x. - Диагональ AC — это отрезок от A к C = (a, b). Прямая AC имеет коэффициент наклона k = b/a. - По условию AC лежит на биссектрисе, значит AC совпадает с прямой y = x, следовательно её наклон должен равняться 1: b/a = 1 ⇒ b = a. - Следовательно AB = a и AD = b равны между собой. Значит прямоугольник ABCD имеет равные стороны, то есть он является квадратом. Вывод: если диагональ прямоугольника лежит на биссектрисе угла, то этот прямоугольник является квадратом.