Задача: доказать, что если диагональ прямоугольника лежит на биссектрисе его угла, то прямоугольник является квадратом.
Пусть 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 имеет равные стороны, то есть он является квадратом.
Вывод: если диагональ прямоугольника лежит на биссектрисе угла, то этот прямоугольник является квадратом.