Dane są dodatnie liczby całkowite
i
. Wszystkie dzielniki pierwsze liczby
są większe od 50.
Dodatnią liczbę całkowitą, której zapis dziesiętny (bez zer początkowych) ma co najmniej
cyfr, nazwiemy ładną, jeżeli każdy ciąg
kolejnych cyfr tego zapisu przedstawia liczbę (być może z zerami początkowymi) podzielną przez
.
Dowieść, że jeżeli istnieje nieskończenie wiele liczb ładnych, to liczba
też jest ładna.
Z warunków zadania wynika, że istnieje liczba ładna, której zapis dziesiętny składa się z przynajmniej
cyfr. Niech
,
,
,
będą początkowymi cyframi tej liczby.
Na podstawie określenia liczby ładnej podzielne przez
są liczby
![]() |
Wynika stąd, że liczba
![]() |
także jest podzielna przez
. Przyjmując oznaczenie
(
) dowodzimy analogicznie, iż spełnione są podzielności
![]() |
Ciąg
,
,
,
składa się z 11 cyfr, więc pewne dwie cyfry w tym ciągu muszą być równe. Zatem istnieją takie wskaźniki
, że cyfry
,
,
,
są parami różne oraz
. Na mocy związków (1) liczba
![]() |
jest podzielna przez
. Jednakże czynnik
jest sumą różnych cyfr, zatem nie przekracza liczby
i wobec tego jest względnie pierwszy z liczbą
. W konsekwencji
jest
-cyfrową liczbą podzielną przez
, skąd wynika teza zadania.