Udowodnić, że liczba naturalna
jest złożona wtedy i tylko wtedy, gdy istnieją liczby naturalne
spełniające warunki:
,
.
Niech
będzie liczbą złożoną:
,
,
. Przyjmijmy:
![]() |
są to dodatnie liczby całkowite o własnościach:
![]() |
Wykazaliśmy więc, że jeżeli
jest liczbą złożoną, to istnieją liczby całkowite
spełniające warunki (1).
Pozostała do dowodu implikacja przeciwna. Załóżmy, że dla pewnej liczby całkowitej
istnieje czwórka liczb całkowitych
spełniających równania (1). Z drugiego z tych równań wynika, że
,
oraz
![]() |
Oznaczmy przez
największy wspólny dzielnik liczb
i
oraz przyjmijmy:
,
. Liczby
i
są względnie pierwsze. Pierwsze równanie (1) daje zależność:
. Czynnik
jest większy od
. Aby uzyskać wymaganą konkluzję, że
jest liczbą złożoną, wystarczy wobec tego wykazać, że
.
Równanie (2) po podzieleniu przez
przybiera postać
. Zatem liczba
, jako względnie pierwsza z
, musi być dzielnikiem liczby
. Stąd
. Skoro zaś
, dostajemy nierówność
, iw konsekwencji
.
Wniosek: Z istnienia liczb
spełniających warunki (1) wynika, że
jest liczbą złożoną. W połączeniu z udowodnioną wcześniej implikacją przeciwną daje to tezę zadania.