Решение. Про дробную часть диагонали (#137)

Обозначим целую часть числа n√7 через m. При каждом натуральном n число n√7 иррационально, поэтому имеет место строгое неравенство

Возведём в квадрат

Квадрат натурального числа при делении на 7 имеет остатки 0, 1, 2 или 4, поэтому последнее неравенство можно усилить до неравенства

Таким образом,

Условие
Telegram