Задача
Дана окружность с центром в начале координат.
Докажите, что найдётся окружность меньшего радиуса, на которой лежит не меньше точек с целыми координатами.
Решение
Рассмотрим поворотную гомотетию с центром в начале координат, коэффициентом
и углом поворота 45°. Если квадрат радиуса R данной окружности – чётное число, то все её целые точки переходят в целые, и мы получаем искомую окружность. Если R² – нечётное число, то все целые точки переходят в центры единичных квадратов с вершинами в целых точках, и искомая окружность получается после переноса на вектор (½, ½). Это достаточно очевидно из наглядных соображений – на рисунке изображено действие на целочисленную решетку сначала сжатием, а потом поворотом.

Ответ
Ответ задачи отсутствует
Чтобы оставлять комментарии, войдите или зарегистрируйтесь