Итак, ученик написал число 1000x + y. По условию это число в семь раз больше, чем x . y. Получается равенство
Разделим обе части равенства на x:
Так как y — целое число, y — либо 143, либо 144. Пусть y = 143. Подставляя это значение y в равенство, получаем:
Второй случай. Перепишем равенство в виде 1000x = (7x - 1)y. Нетрудно видеть, что x и 7x - 1 не имеют общих делителей, отличных от 1 и -1. Действительно, если d — общий делитель чисел x и 7x - 1, то d является делителем числа 7x, а значит, и делителем числа 1 = 7x - (7x - 1). Но 1 делится только на 1 и -1.
Итак, число 7x - 1 — делитель произведения 1000 . x и взаимно просто со вторым множителем. Тогда, по известной теореме, число 7x - 1 — делитель числа 1000. Но