Квант

Условие

Среди всех 9-значных чисел, в десятичной записи которых нет цифры 0, найти такое, для которого разность между самим числом и произведением его цифр:
a) наименьшая;
b) наиболее.

Каков будет ответ для nn-значных чисел при любом nn?

А. Г. Лейдерман

Решение

Среди всех 9-значных чисел, в десятичной записи комorbых нём цифры 0, найти макое, для коморого разность между самим числом и произведением его цифра a) наименьшая;
б) наибольшая;
Каков будем ответ для п-значных чисел при любом n?

Будем решать задачу сразу для n-значных чисел.
Начнем с задачи a). Пусть искомое число — обозначим его через A — записывается цифрами a1,…,ana_1, \dots, a_n: A=a1,…,an‾A = \overline{a_1, \dots, a_n}. Тогда
A=a1⋅10n−1+a2⋅10n−2+⋯+an−1⋅10+an.A = a_1 \cdot 10^n - 1 + a_2 \cdot 10^n - 2 + \dots + a_{n-1} \cdot 10 + a_n.
Обозначим разность между числом A и произведением его цифр через B:
B=a1⋅10n−1+⋯+an−1⋅10+an−a1⋅a2…an.B = a_1 \cdot 10^n - 1 + \dots + a_{n-1} \cdot 10 + a_n - a_1 \cdot a_2 \dots a_n.
Покажем, что если B — наименьшая разность, то у числа A не может быть одновременного двух цифр, отличных от единицы или девятки.
В самом деле, пусть есть две такие цифры: aka_k и ala_l. Тогда, у увеличив, а затем уменьшив цифру aka_k на единицу, мы можем составить новые для n-значные числа (среди цифр которых не будет нулей):
A1=a1⋅10n−1+⋯+(ak+1)⋅10n−k+⋯+an−1⋅10+an;A_1 = a_1 \cdot 10^n - 1 + \dots + (a_k + 1) \cdot 10^n - k + \dots + a_{n-1} \cdot 10 + a_n;
A2=a1⋅10n−1+⋯+(ak−1)⋅10n−k+⋯+an−1⋅10+an.A_2 = a_1 \cdot 10^n - 1 + \dots + (a_k - 1) \cdot 10^n - k + \dots + a_{n-1} \cdot 10 + a_n.
Запишем разности B1B_1 и B2B_2 между числами A1,A2A_1, A_2 и произведением их цифр:
B1=A1−a1⋅⋯⋅(ak+1)⋅⋯⋅an−1⋅an=(A−a1⋅⋯⋅an)+10n−k−a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an=B+(10n−k−a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an);B_1 = A_1 - a_1 \cdot \dots \cdot (a_k + 1) \cdot \dots \cdot a_{n-1} \cdot a_n = (A - a_1 \cdot \dots \cdot a_n) + 10^n - k - a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n = B + (10^n - k - a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n);
B2=A2−a1⋅⋯⋅(ak−1)⋅⋯⋅an−1⋅an=B+(−10n−k+a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an).B_2 = A_2 - a_1 \cdot \dots \cdot (a_k - 1) \cdot \dots \cdot a_{n-1} \cdot a_n = B + (-10^n - k + a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n).
По предположению B — наименьшая разность; поэтому одновременное должно быть выполнться неравенства B⩽B1B \leqslant B_1 и B⩽B2B \leqslant B_2:
{10n−k−a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an⩾0,−10n−k+a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an⩾0.\begin{cases} 10^n - k - a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n \geqslant 0, \\ -10^n - k + a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n \geqslant 0. \end{cases}
откуда
a1⋅⋯⋅ak−1⋅ak+1⋅⋯⋅an=10n−k.a_1 \cdot \dots \cdot a_{k-1} \cdot a_{k+1} \cdot \dots \cdot a_n = 10^n - k.

Точно так же получим, что
a1⋅⋯⋅al−1⋅al+1⋅⋯⋅an=10n−l.a_1 \cdot \dots \cdot a_{l-1} \cdot a_{l+1} \cdot \dots \cdot a_n = 10^n - l.

Деля (1) на (2), получаем:
alah=10l−k(l≠k),\frac{a_l}{a_h} = 10^{l-k} \quad (l \neq k),

но этого быть не может, поскольку ala_l и aka_k — натуральные числа, меньше 10.

Значит, у искомого числа одновременного двух цифр, отличных от 1 и 9, быть не может.

Предположим, что у искомого числа есть одна цифра, отличная от 1 и 9, — пусть это цифра an−pa_{n-p}. Тогда, как и выше, имеем
10p=a1⋅⋯⋅an−p−1⋅an−p+1⋅⋯⋅an,10^p = a_1 \cdot \dots \cdot a_{n-p-1} \cdot a_{n-p+1} \cdot \dots \cdot a_n,

33

где цифры a1,…,an−p−1,an−p+1,…,ana_1, \dots, a_{n-p-1}, a_{n-p+1}, \dots, a_n равны 1, либо 9. Но при p⩾1p \geqslant 1 такое равенства быть не может: левая часть его делится на 10, а правая — не делится.

Если же p=0p = 0, то тогда все цифры a1,…,an−1a_1, \dots, a_{n-1} должны быть единицами, а цифра ana_n может быть любой. Само число при этом имеет вид 1…1⏟n−1an\underbrace{1 \dots 1}_{n-1} a_n. Отметим, что разность между числом такого вида и произведением его цифра построена и не зависит от последней цифры ana_n:

1…1⏟n−1an−1…1⋅an=1…1⏟n−10.\underbrace{1 \dots 1}_{n-1} a_n - 1 \dots 1 \cdot a_n = \underbrace{1 \dots 1}_{n-1} 0.

Ниже мы показем, что именно эта разность и является наименшей (то есть, что цифра 1…1⏟n−1an\underbrace{1 \dots 1}_{n-1} a_n — искомые).

Птак, если у исключого числа есть цифра, отличная от 1 и 9, то оно обязательно вида 1…1⏟n−1an\underbrace{1 \dots 1}_{n-1} a_n.

Предположим теперь, что все цифры исключого числа — единицами или девятки. Пусть это число состоит из kk девяток и n−kn-k единиц. Тогда произведение его цифра равно 9k9^k — построенным числу, и для того, чтобы разность между числом и произведением его цифра была наименшей, нужно, чтобы само число (составленное из kk девяток и n−kn-k единиц) было наименшим.

Понятно, что таким числом будет число 1…1⏟n−k9…9⏟k,\underbrace{1 \dots 1}_{n-k} \underbrace{9 \dots 9}_{k}, у которого все единицы стояят в старших разрядах.

Составим разность

B′=1…1⏟n−k9…9⏟k−9k.B' = \underbrace{1 \dots 1}_{n-k} \underbrace{9 \dots 9}_{k} - 9^k.

Возьем теперь число, у которого на одну единицу больше: 1…1⏟n−k+19…9⏟k−1\underbrace{1 \dots 1}_{n-k+1} \underbrace{9 \dots 9}_{k-1}. Для него соответствующая разность равна

B′′=1…1⏟n−k+19…9⏟k−1−9k−1…1⏟n−k+19…9⏟k−1+9k−1=8(10k−1−9k−1)⩾0B'' = \underbrace{1 \dots 1}_{n-k+1} \underbrace{9 \dots 9}_{k-1} - 9^k - \underbrace{1 \dots 1}_{n-k+1} \underbrace{9 \dots 9}_{k-1} + 9^k-1 = 8(10^k-1-9^k-1) \geqslant 0

(Cравенство достаточно при k=1k=1); то есть B′⩾B′′B' \geqslant B''.

Значит, заменяя всякий раз первую слева девятку единицей, мы тем самым уменьшаем разность между получаемыми числом и произведением его цифр. Поэтому числом, состоящим из одних только единиц и девяток, для которого указанная разность минимальная, является число 1…1⏟n−1\underbrace{1 \dots 1}_{n-1}.

В силу сказанного равше, от того, какая цифра стоит на последнем месте у числа, все остальные цифры которого равны единице, разность не зависит; то есть на последнем месте может быть любая цифра.

Итак, ответ в задаче a) такое: исключение nn-значные числа имеет вид 1…1⏟n−1an\underbrace{1 \dots 1}_{n-1} a_n, где ana_n — любая цифра.

Перейдем теперь к задаче b).

Рассуждая, как и прежде, получаем, что если число обладает тем свойством, что разность между ним и произведением

34

дением его цифр — наиболееяя, то все его цифры — либо единицы, либо девятки.

Пусть есть число, состоящее из kk девяток и n−kn - k единиц. Произведение цифр такого числа построено — равно 9k9^k, поэтому для того, чтобы разность была наиболееяя, нужно, чтобы самое число было наиболеешим средним всех чисел, составленных из kk девяток и n−kn - k единиц.

Понятно, что таким числом является число 9…9⏟k1…1⏟n−k\underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n - k}.

Обозначим разность между ним и произведением его цифр через A′A':

A′=9…9⏟k1…1⏟n−k−9k.A' = \underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n - k} - 9^k.

Посмотрим теперь, каково должно быть kk, чтобы разность A′A' между числом 9…9⏟k1…1⏟n−k\underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n - k} и произведением его цифр была наиболееяя.

Увеличим kk на единицу: возьмем число 9…9⏟k+11…1⏟n−k−1\underbrace{9 \dots 9}_{k + 1} \underbrace{1 \dots 1}_{n - k - 1}.

Для получения числа разность равна

A′′=9…9⏟k+11…1⏟n−k−1−9k+1.A'' = \underbrace{9 \dots 9}_{k + 1} \underbrace{1 \dots 1}_{n - k - 1} - 9^{k + 1}.

Уменьшим kk на единицу: получим

A′′′=9…9⏟k+11…1⏟n−k+1−9k+1.A''' = \underbrace{9 \dots 9}_{k + 1} \underbrace{1 \dots 1}_{n - k + 1} - 9^{k + 1}.

Имсем:

A′−A′′=9…9⏟k1…1⏟n−k−9k−9…9⏟k+11…1⏟n−k−1+9k+1A' - A'' = \underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n - k} - 9^k - \underbrace{9 \dots 9}_{k + 1} \underbrace{1 \dots 1}_{n - k - 1} + 9^{k + 1}

−8⋅10n−k−1+9k(9−1)=8(−10n−k−1+9k)≥0,- 8 \cdot 10^{n - k - 1} + 9^k (9 - 1) = 8 \left( -10^{n - k - 1} + 9^k \right) \geq 0,

(3)

так как A′A' по предположению наиболееяя разность.

Аналогично

A′−A′′′=9…9⏟k1…1⏟n−k−9k−9…9⏟k+11…1⏟n−k−1+9k+1A' - A''' = \underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n - k} - 9^k - \underbrace{9 \dots 9}_{k + 1} \underbrace{1 \dots 1}_{n - k - 1} + 9^{k + 1}

=8⋅10n−k−9k+1(9−1)=8(10n−k−9k+1)≥0.= 8 \cdot 10^{n - k} - 9^{k + 1} (9 - 1) = 8 \left( 10^{n - k} - 9^{k + 1} \right) \geq 0.

(4)

Из (3) и (4) получаем систему неравенств:

{9k≥10n−k−1,10n−k≥9k+1,\begin{cases} 9^k \geq 10^{n - k - 1}, \\ 10^{n - k} \geq 9^{k + 1}, \end{cases}

из которой

{k≥n−1lg⁡9+1,k≤n+lg⁡9lg⁡9+1,\begin{cases} k \geq \frac{n - 1}{\lg 9 + 1}, \\ k \leq \frac{n + \lg 9}{\lg 9 + 1}, \end{cases}

то есть

n−1lg⁡9+1≤k≤n−1lg⁡9+1+1.\frac{n - 1}{\lg 9 + 1} \leq k \leq \frac{n - 1}{\lg 9 + 1} + 1.

(5)

35

Так как kk — число целое, то из (5) следует, что

k=[n−1lg⁡9+1+1],k = \left[ \frac{n-1}{\lg 9 + 1} + 1 \right],

где [x][x] — целая часть числа xx.

Итак, в задаче 6) искомое число имеет вид

9…9⏟k1…1⏟n−k,\underbrace{9 \dots 9}_{k} \underbrace{1 \dots 1}_{n-k},

где k=[n−1lg⁡9+1+1].k = \left[ \frac{n-1}{\lg 9 + 1} + 1 \right].

И. Н. Клумова, А. Г. Лейдерман

a) Вычислим сумму квадратов 2n+12n+1 последовательных натуральных чисел. Обозначив менше из них через x−nx-n, получим:

S2n+1=(x−n)2+(x−n+1)2+⋯+x2+(x+1)2+⋯+(x+n)2=(2n+1)x2+2(12+22+32+⋯+n2)=(2n+1)x2+13n(n+1)(2n+1).S_{2n+1} = (x-n)^2 + (x-n+1)^2 + \dots + x^2 + (x+1)^2 + \dots + (x+n)^2 = (2n+1)x^2 + 2(1^2 + 2^2 + 3^2 + \dots + n^2) = (2n+1)x^2 + \frac{1}{3}n(n+1)(2n+1).

В частности, S3=3x2+2S_3 = 3x^2 + 2, S5=5x2+10S_5 = 5x^2 + 10, S7=7x2+28S_7 = 7x^2 + 28, S9=9x2+60S_9 = 9x^2 + 60, S11=11x2+110S_{11} = 11x^2 + 110. Сумма квадратов трех последовательных целых чисел не может быть точным квадратом, так как квадрат любого целого числа либо делится на 3, либо при делении на 3 дает остаток 1, а число S3=3x2+2S_3 = 3x^2 + 2 при делении на 3 дает остаток 2.

Докажем, что ни одно из чисел S5S_5, S7S_7 и S9S_9 также не является точным квадратом ни при каком целом xx. Для этого воспользуемся таким очевидным свойством, вытекающим из единственной разложения на простые множители: если квадрат делится на простое pp, то он должен делиться на p2p^2. Остается заметить, что x2+2x^2 + 2 никакого не делится на 5, x2+4x^2 + 4 никакого не делится на 7, а 3x2+203x^2 + 20 никакого не делится на 3.

  1. Это — числа 18, 19, …, 27, 28. В самом деле, число S11=11(x2+10)S_{11} = 11(x^2 + 10) должно делиться на 11211^2, следовательно, и число x2−1=(x2+10)−11x^2 - 1 = (x^2 + 10) - 11 должно делиться на 11. Но так как x2−1=(x−1)(x+1)x^2 - 1 = (x - 1)(x + 1), то либо x−1=11lx - 1 = 11l, либо x+1=11kx + 1 = 11k. При l=2l = 2 получим x=23x = 23, S11=772S_{11} = 77^2, так что

x−n=23−5=18x - n = 23 - 5 = 18

и

182+192+202+⋯+282=772.18^2 + 19^2 + 20^2 + \dots + 28^2 = 77^2.

Э. Г. Готман

Рассмотрим сначала случай, когда все золото было сосредоточено в одной — «богатой»—стране. Тогда, если после перераспределения в этой стране остатется золотой запас MM, то в страны, имеющие с ней общую границу, нужно распределить золота не меньше, чем M/13M/13, в страны, имеющие с ними общую границу — не меньше, чем M/169M/169, и так далее.

Введем понятие рассмотрения ρ(A,B)\rho(A, B) между двумя странами A,BA, B. Будем считать, что ρ(A,B)=k\rho(A, B) = k, если из страны AA можно проехать в страну BB, пересекая границы kk раз, и нельзя, пересекая их меньше число раз. Теперь высказанное

*)Решение задачи M315 было опубlikовано в предыдущем номере.

36

дая страна лишилась не более половины именшегося у нее золота.

Страна, находящаяся на расстоянии k>0k > 0 от «богатой» страны, должны граничить хотя бы с одной страной, находящаяся от «богатой» страны на расстоянии k−1k-1, и поэтому не может граничить более чем с шестю странами, отстоящими от «богатой» страны на расстоянии k+1k+1. Значит, количество страна, находящихся от «богатой» страны на расстоянии k+1k+1, превыходит количество страна, находящихся на расстоянии kk, не более, чем в 6 раз. Стран же, отстоящих от «богатой» на расстоянии 1, не больше 7. Из сказанного следует, что количество страна, находящихся от «богатой» страны на расстоянии kk, не превыходит числа 7⋅6k−17 \cdot 6^{k-1}. Распределив в каждую страну, находящихся на расстоянии kk, не превышает числа 7⋅6k−17 \cdot 6^{k-1} золота (напомним, что «богатая» страна после распределения «получила» золотой запас MM), мы истратим золота не больше, чем

M+7⋅M13+7⋅6⋅M132+⋯=M+76M[613+(613)2+… ]=2M.M + 7 \cdot \frac{M}{13} + 7 \cdot 6 \cdot \frac{M}{13^2} + \dots = M + \frac{7}{6} M \left[ \frac{6}{13} + \left( \frac{6}{13} \right)^2 + \dots \right] = 2M.

Значит, первоначально в «богатой» стране было не больше 2MM золота, и тем самым после описанного перераспределения она лишилась не более половины именшегося у нее золота. То, что описанное перераспределение — требуемое, следует из того, что две граничные друг с другом страны BB и CC лежат либо на одном и том же расстоянии от третьей страны AA, либо же эти расстояния отличия на единицу. Это — частный случай «неравенства треугольника»:

ρ(A,B)+ρ(B,C)≥ρ(A,C)\rho (A, B) + \rho (B, C) \geq \rho (A, C)

при ρ(B,C)=1\rho (B, C) = 1 (ρ(A,B)\rho (A, B) — расстояние от AA до BB); доказите это «неравенство треугольника» для нашего расстояния в общем случае.

Заметим еще, что в случае, если на расстоянии kk от «богатой» страны находится ро вно 7⋅6k−17 \cdot 6^{k-1} стран (см. рис. 1), то золотой запас, который необходимо перераспределить, в точности равен 2MM, а потому MM — равно половина на первоначальное именование у «богатой» страны золота. Докажем, что распределив в каждую страну AiA_i

∑kMk⋅13−ρ(Ai,Ak)\sum_{k} M_k \cdot 13 - \rho (A_i, A_k) золота, мы получим требуемое распределение. В самом деле, во-первых, каждая страна AiA_i получает не менее MiM_i золота, и, следовательно, лишается не больше половины именшегося у нее запаса в силу выбора MiM_i. Во вторых, если AiA_i и AjA_j граничящие страны, то ρ(Ai,Aj)=1\rho (A_i, A_j) = 1.

Страна AiA_i получает ∑kMk⋅13−ρ(Ai,Ak)\sum_{k} M_k \cdot 13 - \rho (A_i, A_k) золота, страна Aj−∑kMk⋅13−ρ(Aj,Ak)A_j - \sum_{k} M_k \cdot 13 - \rho (A_j, A_k). Подставляя ρ(Ai,Aj)=1\rho (A_i, A_j) = 1 в неравенства треугольника:

ρ(Aj,Ak)+ρ(Ai,Aj)≥ρ(Ai,Ak),\rho (A_j, A_k) + \rho (A_i, A_j) \geq \rho (A_i, A_k),

ρ(Ai,Ak)+ρ(Aj,Aj)≥ρ(Aj,Ak),\rho (A_i, A_k) + \rho (A_j, A_j) \geq \rho (A_j, A_k),

37

получаем:
ρ(Aj,Ak)+1≥ρ(Ai,Ak),\rho(A_j, A_k) + 1 \geq \rho(A_i, A_k),
ρ(Ai,Ak)+1≥ρ(Aj,Ak),\rho(A_i, A_k) + 1 \geq \rho(A_j, A_k),

то есть
1−ρ(Ai,Ak)≥−ρ(Aj,Ak),1 - \rho(A_i, A_k) \geq -\rho(A_j, A_k),
−ρ(Aj,Ak)≥−1−ρ(Ai,Ak),- \rho(A_j, A_k) \geq -1 - \rho(A_i, A_k),

откуда для любого номера kk:
13⋅Mk⋅13−ρ(Ai,Ak)≥Mk⋅13−ρ(Aj,Ak)≥13 \cdot M_k \cdot 13 - \rho(A_i, A_k) \geq M_k \cdot 13 - \rho(A_j, A_k) \geq
≥113⋅Mk×13−ρ(Ai,Ak),\geq \frac{1}{13} \cdot M_k \times 13 - \rho(A_i, A_k),

то есть
13∑kMk⋅13−ρ(Ai,Ak)≥∑kMk⋅13−ρ(Aj,Ak)≥13 \sum_{k} M_k \cdot 13 - \rho(A_i, A_k) \geq \sum_{k} M_k \cdot 13 - \rho(A_j, A_k) \geq
≥113∑kMk⋅13−ρ(Ai,Ak),\geq \frac{1}{13} \sum_{k} M_k \cdot 13 - \rho(A_i, A_k),

и каждые две границы друг с другом страны действительно после перераспределения отличия по количеству золота не более, чем в 13 раз.

Замечание. Суммы ∑kMk⋅13−ρ(Ai,Ak)\sum_{k} M_k \cdot 13 - \rho(A_i, A_k) всегда существует, если число страна конечно (очевидно), или же если можно указать такое число CC, что во всех странах не больше CC золота (доказhte; вам помогет стать М. Л. Гервера «От перемены мест слагаемых…», опубликованная в «Кванте» № 9 за 1974 год). Существование такого числа CC предполагается в условиях задачи, — иначе утверждение задачи становится неверным. Постройте соответствующий пример.

Г. В. Егоров