Биссектрисы внутренних односторонних углов взаимно перпендикулярны, поэтому этот четырехугольник - заведомо прямоугольник. Чтобы он был квадратом, достаточно доказать равенство смежных сторон. Это можно сделать многими например, так. Квадрат отличается от произвольного прямоугольника тем, что симметричен относительно диагоналей. То есть он переходит в себя при зеркальном отражении относительно прямой, проходящей через противоположные вершины. Легко увидеть, что: У полученного прямоугольника противоположные вершины лежат на прямых, проходящих через середины противоположных сторон ИСХОДНОГО прямоугольника. Поскольку ИСХОДНЫЙ прямоугольник переходит в себя при отражении относительно этих прямых, то и ПОЛУЧЕННЫЙ при пересечении биссектрис прямоугольник тоже симметричен относительно этих прямых (то есть переходит в себя при отражении), то есть - относительно своих диагоналей. То есть это квадрат.
Я напоминаю, что совпадение фигур при смещении, повороте или зеркальном отражении - это ОПРЕДЕЛЕНИЕ равенства. Самое первичное. Так сказать, наиглавнейшее. Поэтому это доказательство опирается только на определение равенства фигур и на свойства параллельных и секущей.
Квадрат отличается от произвольного прямоугольника тем, что симметричен относительно диагоналей. То есть он переходит в себя при зеркальном отражении относительно прямой, проходящей через противоположные вершины.
Легко увидеть, что:
У полученного прямоугольника противоположные вершины лежат на прямых, проходящих через середины противоположных сторон ИСХОДНОГО прямоугольника.
Поскольку ИСХОДНЫЙ прямоугольник переходит в себя при отражении относительно этих прямых, то и ПОЛУЧЕННЫЙ при пересечении биссектрис прямоугольник тоже симметричен относительно этих прямых (то есть переходит в себя при отражении), то есть - относительно своих диагоналей.
То есть это квадрат.
Я напоминаю, что совпадение фигур при смещении, повороте или зеркальном отражении - это ОПРЕДЕЛЕНИЕ равенства. Самое первичное. Так сказать, наиглавнейшее. Поэтому это доказательство опирается только на определение равенства фигур и на свойства параллельных и секущей.