Udowodnić, że liczba rzeczywista
jest wymierna wtedy i tylko wtedy, gdy istnieją takie liczby całkowite
, że
tworzą ciąg geometryczny.
Niech
będzie liczbą wymierną. Obieramy taką liczbę naturalną
, że
. Wtedy
![]() |
gdzie
i
są liczbami naturalnymi.
Rozpatrzmy ciąg geometryczny o ilorazie
i pierwszym wyrazie
. Zatem kolejnymi wyrazami ciągu będą r
![]() |
![]() |
![]() |
Przyjmując więc
i
stwierdzamy, że
,
,
są liczbami całkowitymi spełniającymi warunek
. Ponadto liczby
,
,
tworzą ciąg geometryczny.
Na odwrót przypuśćmy, że liczby całkowite
,
,
spełniają warunek
oraz, że dla pewnej liczby rzeczywistej
liczby
,
,
tworzą ciąg geometryczny.
Oznaczmy przez
iloraz tego ciągu. Wtedy
![]() |
![]() |
Wobec tego
![]() |
![]() |
Ponieważ
, więc z (1) wynika,
i
. Dzieląc stronami (2) i (1) otrzymujemy, że
![]() |
Wobec tego z (1) wynika, że
jest również liczbą wymierną.