Udowodnić, że ciągi \(\displaystyle{ a_n = \frac{n(n+1)}{2} }\) i \(\displaystyle{ b_n= n+ \lfloor \sqrt{2n} + \frac{1}{2} \rfloor}\) są komplementarne tj. że
i) są silnie rosnące
ii) nie mają wspólnych wyrazów
iii) każda liczba naturalna jest wyrazem jednego z tych ciągów
Ciągi komplementarne
- mol_ksiazkowy
- Użytkownik
- Posty: 11414
- Rejestracja: 9 maja 2006, o 12:35
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 3155 razy
- Pomógł: 748 razy
- Janusz Tracz
- Użytkownik
- Posty: 4075
- Rejestracja: 13 sie 2016, o 15:01
- Płeć: Mężczyzna
- Lokalizacja: hrubielowo
- Podziękował: 80 razy
- Pomógł: 1395 razy
-
- Użytkownik
- Posty: 22211
- Rejestracja: 15 maja 2011, o 20:55
- Płeć: Mężczyzna
- Lokalizacja: Bydgoszcz
- Podziękował: 38 razy
- Pomógł: 3755 razy
Re: Ciągi komplementarne
To może bez dużych twierdzeń: ścisła monotoniczność obu ciągów jest oczywista. Ponieważ wyrazy ciągu `a_n` to liczby trójkątne, odstępy pomiędzy kolejnymi wartościami wyrazów tego ciągu sa kolejnymi liczbami naturalnymi
Z kolei wyrazy ciągu `b_n` rosną o `1` gdy wyrażenie `\sqrt{2n}` nie jest liczbą całkowitą, a o dwa gdy jest. Łatwo sprawdzić, że odstępy pomiędzy dwiema takimi liczbami są odcinkami liczb naturalnych, których długości są równe kolejnym liczbom naturalnym. A zatem zbiór wartości ciągu `b` ma dokładnie taką strukturę jak zbiór "dziur" w zbiorze wartości ciągu `a`.
Wystarczy teraz sprawdzić co jest na początku, żeby się przekonać, że oba te zbiory się dopełniają.
Z kolei wyrazy ciągu `b_n` rosną o `1` gdy wyrażenie `\sqrt{2n}` nie jest liczbą całkowitą, a o dwa gdy jest. Łatwo sprawdzić, że odstępy pomiędzy dwiema takimi liczbami są odcinkami liczb naturalnych, których długości są równe kolejnym liczbom naturalnym. A zatem zbiór wartości ciągu `b` ma dokładnie taką strukturę jak zbiór "dziur" w zbiorze wartości ciągu `a`.
Wystarczy teraz sprawdzić co jest na początku, żeby się przekonać, że oba te zbiory się dopełniają.