Dowieść, że dwie liczby naturalne, których cyframi są same jedynki, są względnie pierwsze wtedy i tylko wtedy, gdy liczby ich cyfr są względnie pierwsze.
Niech
oznacza liczbę
-cyfrową, której cyframi są same jedynki:
![]() |
Dowód, który mamy przeprowadzić, oprzemy na dwóch własnościach liczby
.
) Jeżeli
jest podzielne przez
(
,
- liczby naturalne), to
jest podzielne przez
. Istotnie, jeśli
(
- liczba naturalna), to
![]() |
gdzie liczba
jest całkowita.
) Jeżeli
, to
![]() |
Niech będą dane liczby
i
, gdzie 
a) Dowód twierdzenia, że jeżeli
i
są względnie pierwsze, to
i
są też względnie pierwsze, jest natychmiastowy, gdyż według
) jeżeli
jest wspólnym dzielnikiem naturalnym liczb
i
, to
jest wspólnym dzielnikiem liczb
i
.
b) Udowodnimy twierdzenie odwrotne. Przypuśćmy, że liczby naturalne
i
są względnie pierwsze. Stosując algorytm Euklidesa, tzn. dzieląc kolejno
przez
,
przez otrzymaną resztę
, resztę
przez nową resztę
itd. otrzymujemy reszty coraz mniejsze, więc dochodzimy węszcie do reszty równej zeru:
![]() |
Z ciągu równości (1) wynika, że liczba naturalna
jest wspólnym dzielnikiem liczb
, zatem
.
Z pierwszej równości (1) wnioskujemy, na podstawie
), że
![]() |
Niech
będzie wspólnym dzielnikiem naturalnym liczb
i
. Ponieważ
jest na mocy
podzielne przez
, więc
jest według (2) również dzielnikiem liczby
. Liczba
nie ma innych dzielników pierwszych oprócz liczb
i
, które nie są dzielnikami liczby
, więc
jest względnie pierwsze z
. Zatem
jest dzielnikiem
.
W taki sam sposób, opierając się na następnych równościach (1), stwierdzimy kolejno, że
jest dzielnikiem liczb
. Lecz
, więc
![]() |
Znaczy to, że
i
są względnie pierwsze, co właśnie mieliśmy udowodnić.
Uwaga 1. Część b) powyższego dowodu można zastąpić rozumowaniem znacznie krótszym, korzystając z następującego znanego twierdzenia teorii liczb:
Jeżeli liczby naturalne
i
są względnie pierwsze, to istnieją takie liczby naturalne
i
, że
![]() |
Zachodzi również twierdzenie odwrotne: jeżeli liczby naturalne
,
,
,
spełniają równanie (3), to
i
są względnie pierwsze. Z równości (3) wynika bowiem, że każdy wspólny dzielnik liczb
i
jest dzielnikiem liczby
.
Załóżmy, że liczby naturalne
,
, są względnie pierwsze, wobec czego dla pewnych naturalnych liczb
i
zachodzi (3). Wówczas
![]() |
a ponieważ według (
):
oraz
, gdzie liczby
i
są naturalne, więc:
![]() |
skąd wynika, że
i
są względnie pierwsze.
Uwaga 2. Dowód twierdzenia, cytowanego w uwadze 1, można wysnuć z ciągu równości (1). Podstawiając wartość
z pierwszej równości do drugiej, następnie po tym podstawieniu wartość
z drugiej równości do trzeciej itd. dochodzimy w końcu, uwzględniając że
, do równości postaci (3).
Uwaga 3. W powyższych rozumowaniach przyjęliśmy, że podstawą numeracji jest
. Twierdzenie jest jednak prawdziwe dla dowolnej podstawy numeracji
. Dowód pozostaje ten sam, z tym, że trzeba wszędzie
zastąpić przez
.