Podróże po Imperium Liczb Część 07. Ciągi rekurencyjne

Transkrypt

Podróże po Imperium Liczb Część 07. Ciągi rekurencyjne
Podróże po Imperium Liczb
Część 07. Ciągi
rekurencyjne
Rozdział 12
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
Andrzej Nowicki 17 maja 2012, http://www.mat.uni.torun.pl/~anow
Spis treści
12 Całkowitość wyrazów pewnych ciągów
12.1 Ciąg xn+1 = f (n)xn + g(n) . . . . . .
12.2 Ciąg xn+2 = f (n)xn+1 + g(n)xn . . .
12.3 Ciąg xn+2 = (xsn+1 + 1)/xn . . . . . .
12.4 Ciąg xn+2 = (x2n+1 + p)/xn . . . . . .
12.5 Ciąg xn+3 = (xn+1 xn+2 + p)/xn . . .
12.6 Ciągi rekurencyjne z pierwiastkami .
12.7 Różne ciągi . . . . . . . . . . . . . . .
rekurencyjnych
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
159
160
160
162
164
166
167
Wszystkie książki z serii ”Podróże po Imperium Liczb” napisano w edytorze LATEX.
Spisy treści tych książek oraz pewne wybrane rozdziały moża znaleźć na internetowej stronie
autora: http://www-users.mat.uni.torun.pl/~anow.
12
Całkowitość wyrazów pewnych ciągów rekurencyjnych
W rozdziałach 10 i 11 zajmowaliśmy się problemem całkowitości wyrazów pewnych jednorodnych ciągów rekurencyjnych. W tym rozdziale zajmujemy się tym samym problemem
dla innych ciągów rekurencyjnych.
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.1
Ciąg xn+1 = f (n)xn + g(n)
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.1.1. Niech x1 = 1 oraz
4n − 6
xn−1 .
n
dla n > 2. Wykazać, że wszystkie wyrazy tego ciągu są liczbami naturalnymi.
xn =
Wsk. xn+1 =
1
2n
. ([Bryn] 5.15b).
n+1 n
12.1.2. Niech x1 = 1,
([MG] 501(2000) s.533).
xn =
4n − 2
xn−1 . Wtedy x2000 jest liczbą całkowitą.
n
12.1.3. Niech x1 = 2 oraz
4n − 2
xn−1 .
n
dla n > 2. Wszystkie wyrazy tego ciągu są liczbami naturalnymi.
xn =
Dowód. an =
2n
. ([OM] Irlandia 1994, [Pa97], [Crux] 1998 s.458).
n
12.1.4. Niech k ∈ N i niech x1 = 1,
xn+1 =
nxn + 2(n + 1)2k
.
n+2
dla n > 1. Wszystkie wyrazy ciągu (xn ) są liczbami całkowitymi. Ponadto, xn jest nieparzyste
wtedy i tylko wtedy, gdy
n ≡ 1 (mod 4)
lub
n ≡ 2 (mod 4).
([MM] 62(3)(1989) 199, [OM] Taiwan 1992, [Pa97]).
12.1.5. Niech x1 = 0,
(n + 1)3 xn+1 = 2n2 (2n + 1)xn + 2(3n + 1)
dla n > 1. Ciąg ten posiada nieskończenie wiele wyrazów będących liczbami naturalnymi.
([OM] Serbia-Czarnogóra 2004).
159
160Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.2
Ciąg xn+2 = f (n)xn+1 + g(n)xn
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.2.1. Niech x0 = x1 = 1,
(n + 1)xn+1 = (2n + 1)xn + 3nxn−1 .
Wszystkie wyrazy ciągu (xn ) są liczbami całkowitymi.
([KoM] 1997 N149).
12.2.2. Niech x0 = x1 = 1,
(n + 3)xn+1 = (2n + 3)xn + 3nxn−1 .
Wszystkie wyrazy ciągu (xn ) są liczbami całkowitymi.
([KoM] 2000(3) A233).
U. ([KoM]) x2 = 2, x3 = 4, x4 = 9, x5 = 21, x6 = 51, x7 = 127, x8 = 323, x9 = 835, x10 = 2188.
Można wykazać, że
n
X
xn+2 = xn+1 +
xk xn−k .
k=0
Można wykazać również, że
xn =
n
X
k=0
n
k
2k
k
k+1
.
12.2.3. Niech x2 = x3 = 1, (n + 1)(n − 2)xn+1 = n(n2 − n − 1)xn − (n − 1)3 xn−1 . Wówczas
xn jest liczbą całkowitą wtedy i tylko wtedy, gdy n jest liczbą pierwszą. ([Mon] 106(2)(1999) 169).
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.3
Ciąg xn+2 = (xsn+1 + 1)/xn
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.3.1. Niech s ∈ N i niech x1 = x2 = 1,
xn+2 =
własności.
xsn+1 + 1
. Ciąg ten posiada następujące
xn
(1) Wszystkie wyrazy tego ciągu są liczbami naturalnymi.
([Crux] 1997 s.123)
(2) Każde dwa sąsiednie wyrazy są względnie pierwsze.
(3) xn+1 jest podzielnikiem liczby xsn + 1.
(4) xn xn+1 jest podzielnikiem liczby xsn + xsn+1 + 1.
D. Liczby x3 = 2, x4 = 2s + 1 są oczywiście naturalne. Niech n > 2 i załóżmy, że wszystkie
wyrazy x1 , x2 , . . . , xn+1 , xn+2 są liczbami naturalnymi. Wtedy xn+2 xn − xsn+1 = 1 i stąd wynika, że
liczby xn i xn+1 są względnie pierwsze. Mamy wówczas:
s
xn+1 + 1 s
γn xn+1 + 1 + xsn
γn xn+1 + xn+1 xn−1
xn+1 (γn + xn−1 )
+1=
xsn+2 + 1 =
=
=
,
xn
xsn
xsn
xsn
gdzie γn jest pewną liczbą naturalną. Ponieważ liczby xn+1 i xsn są względnie pierwsze, więc xsn+2 + 1
jest podzielne przez xn+1 . Zatem xn+3 jest liczbą naturalną i stąd (na mocy indukcji) wszystkie liczby
postaci xn są naturalne. Udowodniliśmy własności (1) i (2). Z równości xn+1 xn−1 − xsn = 1 wynika
(3) i stąd dalej (4). Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
12.3.2. Niech s ∈ N, a ∈ Z i niech x1 = 1,
xn+2 =
x2 = a
xsn+1 + 1
.
xn
Jeśli wszystkie wyrazy tego ciągu są liczbami całkowitymi, to a ∈ {−2, −1, 1, 2}.
an+1 + 1
. Każdy wyraz tego ciągu jest liczbą naturalną.
an
Ciąg ten jest okresowy z czystym okresem 1, 1, 2, 3, 2. Dowód. Jest to wniosek z 12.3.1.
12.3.3. Niech a1 = a2 = 1,
12.3.4. Niech a1 = a,
an+2 =
a2 = b,
an+2 =
an+1 + 1
an
gdzie a, b są danymi liczbami całkowitymi.
(1) Ciąg ten jest okresowy z czystym okresem:
a, b,
b+1 a+b+1 a+1
,
,
.
a
ab
b
(2) Jeśli a | b + 1 i b | a + 1 i przy tym a 6= −1 oraz b 6= −1, to każdy wyraz tego ciągu
jest liczbą całkowitą.
12.3.5. Niech b1 = b2 = 1,
bn+2 =
b2n+1 + 1
. Ciąg ten posiada następujące własności.
bn
(1) Każdy wyraz tego ciągu jest liczbą naturalną.
(2) Nie ma wyrazu podzielnego przez 3.
(3) Ciąg (bn (mod 10)) jest okresowy z czystym okresem długości 30.
(4) b2n + b2n+1 = 3bn bn+1 − 1.
(5) bn+2 = 3bn+1 − bn .
([Crux] 1997 s.123).
(6) bn = u2(n−2)+1 , n > 2, gdzie (un ) jest ciągiem liczb Fibonacciego.
D. Własność (1) jest konsekwencją 12.3.1. Ciąg (bn (mod 3)) jest okresowy i jego okres jest równy
1, 1, 2, 2. Stąd wynika (2). Pozostałe własności sprawdzamy bez trudu. Przykłady:
n
bn
1
1
2
1
3
2
4
5
5
13
6
34
7
89
8
233
9
610
10 1597
n
bn
11
4181
12
10946
13
28657
14
75025
15
196418
16
514229
17
1346269
18
3524578
19
9227465
20 24157817
n
21
22
23
24
25
26
27
28
29
30
bn
63245986
165580141
433494437
1134903170
2971215073
7778742049
20365011074
53316291173
139583862445
365435296162
161
162Andrzej Nowicki, Ciągi rekurencyjne.
12.3.6. Niech c1 = c2 = 1,
cn+2 =
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
c3n+1 + 1
.
cn
(1) Każdy wyraz tego ciągu jest liczbą naturalną.
(2) Każde dwa sąsiednie wyrazy są względnie pierwsze.
(3) Liczba c3n + 1 jest podzielna przez cn+1 .
(4) Liczba c3n + c3n+1 + 1 jest podzielna przez cn cn+1 .
(5) Niech xn = c2n cn+1 , yn = c2n+1 , zn = cn tn = (c3n + c3n+1 + 1)/cn cn+1 . Wówczas liczby
xn , yn , zn są względnie pierwsze oraz
xn yn
zn
+
+
= tn .
yn
zn x n
([Mat] 5/1959).
D. Własności (1) − (4) wynikają z 12.3.1. Własność (5) jest łatwa do sprawdzenia. Dowody
znajdziemy np. w [Mat] 5/1959 (zadania konkursowe 538, 539). U. Wyrazy badanego ciągu szybko rosną. Kilka przykładów:
c3 = 2,
c4 = 9,
c5 = 365,
c6 = 5403014,
c7 = 432130991537958813,
c8 = 1493516928410152587449167346326841453652359305.
bn+1 + 2
. Wyrazy tego ciągu nie muszą być liczbami
bn
całkowitymi. Przykłady: b3 = 3, b4 = 5, b5 = 7/3, b6 = 13/15, b7 = 43/35, b8 = 339/91.
12.3.7. Niech b1 = b2 = 1,
bn+2 =
12.3.8. Niech k > 2 i c > 1 będą liczbami naturalnymi. Niech x0 = 1,
x1 = 1,
xn+2 xn = cxkn+1 + 1,
dla n > 0. Wykazać, że wszystkie wyrazy ciągu (xn ) są całkowite wtedy i tylko wtedy, gdy
c = 1.
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.4
Ciąg xn+2 = (x2n+1 + p)/xn
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.4.1. Ciąg (yn ) spełnia warunki: y1 6= 0, y2 6= 0,
yn+2 =
gdzie p jest daną liczbą. Oznaczmy: b =
2
yn+1
+p
,
yn
y12 + y22 + p
.
y1 y2
(1) Każdy wyraz ciągu (yn ) jest liczbą całkowitą wtedy i tylko wtedy, gdy liczby y1 , y2 , b
są całkowite. ([Balk] 1986).
(2) W szczególności, jeśli y1 = y2 = 1 i p ∈ Z, to każdy wyraz ciągu (yn ) jest liczbą
całkowitą.
Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
(3) Załóżmy, że każdy wyraz ciągu (yn ) jest liczbą całkowitą. Czy wtedy p ∈ Z ?
(4)
2
y 2 + yn+1
+p
yn+2 + yn
= n
= b, dla wszystkich n > 1.
yn+1
yn yn+1
(5) (yn ) jest uogólnionym ciągiem Fibonacciego:
yn+2 = byn+1 − yn .
([OM] Bułgaria 1978, [Pa97]).
2
2
2
2
D. Z definicji ciągu (yn ) wynika, że yn+1 yn+3 + yn+1
= yn+2
+ p + yn+1
= yn+2
+ yn yn+2 . Stąd
otrzymujemy równości
yn+2 + yn
y3 + y1
yn+3 + yn+1
=
= ··· =
=
yn+2
yn+1
y2
y22 +p
y1
+ y1
y2
=
y12 + y22 + p
= b,
y1 y2
z których bez trudu wykażemy wszystkie własności oprócz (3). Nie znam odpowiedzi na pytanie
postawione w (3). 12.4.2. Ciąg (an ) jest określony wzorami: a1 = a2 = 1,
an+2 =
a2n+1 + 2
.
an
Ciąg ten posiada następujące własności.
(1) a3 = 3, a4 = 11, a5 = 41, a6 = 153, a7 = 571, a8 = 2131, a9 = 7953, a10 = 29681.
(2) Każdy wyraz tego ciągu jest liczbą naturalną. Dowód. Wynika z 12.4.1.
([Dlt] 12/1985)
(3) Wszystkie wyrazy (an ) są liczbami nieparzystymi.
(4) Ciąg (an (mod 5)) jest okresowy z okresem 1, 1, 3.
(5) Ciąg (an (mod 100)) jest okresowy. Okres ma długość 60.
12.4.3. Ciąg (bn ) określony jest wzorami: b1 = b2 = 1,
bn+2 =
b2n+1 + 3
.
bn
Ciąg ten posiada następujące własności.
(1) b3 = 4, b4 = 19, b5 = 91, b6 = 436, b7 = 2089, b8 = 10009.
(2) Każdy wyraz tego ciągu jest liczbą naturalną. Dowód. Wynika z 12.4.1.
(3) Ciąg (bn (mod 10)) jest okresowy i jego okres jest czysty i ma długość 12.
(4) Ciąg (bn (mod 100)) jest okresowy i jego okres jest czysty i ma długość 60.
12.4.4. Dany jest ciąg (an ) określony wzorami: a1 = a2 = 1,
an+2 =
Każdy wyraz tego ciągu jest liczbą całkowitą.
a2n+1 + 4
.
an
(Wynika z 12.4.1).
163
164Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
12.4.5. Dany jest ciąg (an ) określony wzorami: a1 = a2 = 1,
an+2 =
a2n+1 − 2
.
an
Każdy wyraz tego ciągu jest liczbą całkowitą. Dokładniej:
a2n−1 = (−1)n+1 ,
a2n = (−1)n+1 .
12.4.6. Ciąg rekurencyjny (xn ) określony jest wzorami:
x0 = 1,
x1 = 1,
xn+2 xn = x2n+1 + xn+1 + 1,
dla n > 0.
Wykazać, że wszystkie wyrazy ciągu (xn ) są całkowite oraz, że xn+2 + xn + 1 ≡ 0 (mod xn+1 )
dla n > 0.
12.4.7. Niech a, b będą niezerowymi liczbami całkowitymi takimi, że |a| 6= |b|. Ciąg (xn )
określony jest wzorami:
x1 = b,
x2 = b2 − a2 ,
xn+2 xn = x2n+1 − a2(n+1) ,
Wykazać, że wszystkie wyrazy ciągu (xn ) są całkowite.
dla n > 1.
([MM] 61(2)(1988) 115-116).
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.5
Ciąg xn+3 = (xn+1 xn+2 + p)/xn
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.5.1. Niech a1 = a2 = a3 = 1 oraz
an+3 =
an+1 an+2 + 1
an
dla n ∈ N. Każdy wyraz tego ciągu jest liczbą całkowitą.
([Mon] 68(4)(1961) E1431, [Mock] 1/2004).
12.5.2. Niech a1 = a2 = a3 = 1 oraz
an+3 =
an+1 an+2 + 2
an
dla n ∈ N. Każdy wyraz tego ciągu jest liczbą całkowitą.
([OM] Irlandia 2002).
D. Można łatwo sprawdzić, że an = 4an−1 − an−2 , gdy n jest parzyste oraz an = 2an−1 − an−2 ,
gdy n nieparzyste. 12.5.3. Niech a1 = a2 = 1 oraz
an+3 =
an+1 an+2 + 1989
an
dla n ∈ N. Każdy wyraz tego ciągu jest liczbą naturalną.
([AnE] s.82).
Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
D. ([AnE]). Mamy dwie równości an+1 an−2 = an an−1 + 1989, an an−3 = an−1 an−2 + 1989.
n−1
Odejmując stronami otrzymujemy równość an−2 (an+1 + an−1 ) = an (an−1 + an−3 ), czyli an+1a+a
=
n
an−1 +an−3
. Mamy zatem:
an−2
a2n+1 + a2n−1
a2n−1 + a2n−3
a3 + a1
200
=
= ··· =
=
= 200;
a2n
a2n−2
a2
1
a2n + a2n−2
a4 + a2
2189
a2n+2 + a2n
=
= ··· =
=
= 11.
a2n+1
a2n−1
a3
199
Wykazaliśmy więc, że a2n+1 = 200a2n − a2n−1 , a2n+2 = 11a2n+1 − a2n . Stąd wynika, że każde an jest
liczbą całkowitą. Jest oczywiste, że każde an jest liczbą dodatnią; jest więc liczbą naturalną. Powtarzając powyższy dowód, otrzymujemy:
12.5.4. Niech (an ) będzie ciągiem takim, że a1 , a2 , a3 są liczbami naturalnymi oraz
an+3 =
an+1 an+2 + b
an
dla n ∈ N, gdzie b jest daną liczbą naturalną. Jeżeli liczby
naturalne, to każdy wyraz tego ciągu jest liczbą naturalną.
a2 a3 +b a1 +a3 a1 a2 +a2 a3 +b
a1 ,
a2 ,
a1 a3
są
12.5.5. Niech a1 = a2 = 1, a3 = 2 oraz
an+3 =
an+1 an+2 + 7
an
dla n ∈ N. Każdy wyraz tego ciągu jest liczbą naturalną.
([OM] Niemcy 2002/2003).
12.5.6. Niech a1 = a2 = 1, a3 = u oraz
an+3 =
an+1 an+2 + p
an
dla n ∈ N, gdzie p, u są względnie pierwszymi liczbami naturalnymi. Każdy wyraz tego ciągu
jest liczbą całkowitą wtedy i tylko wtedy, gdy p = ru − 1, gdzie r ∈ Z. ([Mon] 68(4)(1961) s.379).
12.5.7. Niech u będzie liczbą naturalną i p liczbą pierwszą. Niech a1 = a2 = a3 = p oraz
an+3 =
an+1 an+2 + u
an
dla n ∈ N.
(1) Jeśli p > 3, to każde an jest liczbą całkowitą wtedy i tylko wtedy, gdy p2 | u.
(2) Jeśli p = 2, to każde an jest liczbą całkowitą wtedy i tylko wtedy, gdy p | u.
([MM] 61(4)(1988) 262-263).
165
166Andrzej Nowicki, Ciągi rekurencyjne.
12. Całkowitość wyrazów pewnych ciągów rekurencyjnych
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.6
Ciągi rekurencyjne z pierwiastkami
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.6.1. Niech x1 = 3 oraz
√
q
√
xn+1 = 2 xn + 3(1 + xn ).
Każdy wyraz tego ciągu jest liczbą naturalną.
([OM] ZSRR 1986).
D. Łatwo sprawdzić, że x2 = 48 oraz, że xn+2 = 14xn+1 − xn + 6. 12.6.2. Niech x0 = 1 oraz
q
1
3xn + 5x2n − 4 .
2
xn+1 =
Każdy wyraz tego ciągu jest liczbą naturalną.
12.6.3. Niech x1 = c,
xn+1 = cxn +
([OM] W.Brytania 2002).
q
(c2 − 1)(x2n − 1).
(1) Jeśli c jest liczbą naturalną, to wszystkie wyrazy tego ciągu są liczbami naturalnymi.
([Bryn] 5.9, [OM] RPA 2000).
√
√
1
(2) xn = (pn + q n ) dla n ∈ N, gdzie p = c + c2 − 1, q = c − c2 − 1.
2
12.6.4. Niech a0 = 0, an+1 = 7an +
całkowitymi. ([MG] 1966 307).
p
([Bryn] s.121).
48a2n + 1. Wszystkie wyrazy tego ciągu są liczbami
12.6.5. Niech m, p, a ∈ Z i niech x0 = a oraz
xn+1 = mxn +
q
(m2 − 1)(x2n − a2 ) + p2 .
Wszystkie wyrazy tego ciągu są liczbami całkowitymi.
([MM] 42(1969) 111-113).
12.6.6. Niech a ∈ N i niech x0 = 0 oraz
q
xn+1 = (xn + 1)a + (a + 1)xn + 2 a(a + 1)xn (xn + 1).
Wykazać, że każde xn jest liczbą naturalną.
([IMO] Shortlist 1983, [Djmp] 166(459)).
p
12.6.7. Niech x1 = 603, x2 = 102 oraz xn+2 = xn + xn+1 + 2 xn xn+1 − 2. Wtedy:
(1)
każdy wyraz xn jest liczbą naturalną;
(2)
istnieje nieskończenie wiele wyrazów z końcówką 2003;
(3)
nie ma wyrazu z końcówką 2004.
([OM] Wietnam 2004).
F Murray S. Klamkin, Perfect squares of the form (m2 − 1)a2n + t, [MM] 42(3)(1969) 111-113.
Ciągi rekurencyjne.
12. Całkowitość wyrazów różnych ciągów rekurencyjnych
167
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.7
Różne ciągi
oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
12.7.1. Wyznaczyć liczbę takich ciągów (xn ) liczb całkowitych, że dla dowolnej liczby naturalnej n spełnione są warunki
xn 6= −1,
xn+2 =
xn + 2006
.
xn+1 + 1
Odp. Jet 14 takich ciągów. (Czesko-Polsko-Słowackie Zaw. Mat. 2006, [Zw] 2006).
12.7.2. Niech a1 = 2, a2 = 500, a3 = 2000 oraz
an+2 + an+1
an+1
=
an+1 + an−1
an−1
dla n > 2. Wtedy:
(1) każdy wyraz ciągu (an ) jest liczbą naturalną;
(2) 22000 dzieli a2000 ;
(3) an+2 = 2an an+1 dla n ∈ N.
([OM] Słowenia 1999).
xn+2 + xn+1 + 1
, n = 0, 1, 2, . . . . Opisać
xn
wszystkie takie ciągi, których wszystkie wyrazy są liczbami naturalnymi. ([MOc] 2001 z.79).
12.7.3. Niech x0 , x1 , x2 ∈ N i niech xn+3 =
O. Istnieje pięć typów takich ciągów. Są to ciągi okresowe:
1, 1, 1, 3, 5, 9, 5, 3
1, 2, 1, 4, 3, 8, 3, 4
1, 2, 2, 5, 4, 5, 2, 2
1, 4, 1, 6, 2, 9, 2, 6
2, 3, 2, 3, 2, 3, 2, 3.
Trójka (x0 , x1 , x2 ) może rozpoczynać się w każdym miejscu tych okresów. 12.7.4. Niech a0 = 2, a1 = 5 oraz an+1 an−1 − a2n = 6n−1 dla n > 2. Wykazać, że wszystkie
wyrazy tego ciągu są liczbami naturalnymi. ([OM] W.Brytania 1981).
D. Indukcyjnie wykazuje się, że an = 2n + 3n . 12.7.5. Istnieje dokładnie jeden ciąg (an ) taki, że a1 = 1, a2 > 1, an+1 an−1 = a3n + 1 i
wszystkie wyrazy są całkowite. ([OM] W.Brytania 1981).
168
Ciągi rekurencyjne.
12. Całkowitość wyrazów różnych ciągów rekurencyjnych
Literatura
[AnE] T. Andreescu, B. Enescu, Mathematical Olympiad Treasures, Birkhäuser, Boston - Basel Berlin, 2006.
[Balk] Balkan Mathematical Olympiad.
[Bryn] M. Bryński, Olimpiady Matematyczne, tom 7, 31-35, 79/80 - 83/84, WSiP, Warszawa, 1995.
[Crux] Crux Mathematicorum, Canadian Mathematical Society, popolarne matematyczne czasopismo
kanadyjskie.
[Djmp] D. Djukić, V. Janković, I. Matić, N. Petrović, The IMO Compendium. A Collection of Problems Suggested for the International Mathematical Olympiads: 1959-2004, Problem Books in
Mathematics, Springer, 2006.
[Dlt]
Delta, popularny polski miesięcznik matematyczno-fizyczno-astronomiczny.
[IMO] Międzynarodowa Olimpiada Matematyczna.
[KoM] KöMal, Kozepiskolai Matematikai Lapok, węgierskie czasopismo matematyczne, 1894-2012.
[Mat] Matematyka, polskie czasopismo dla nauczycieli.
[MG] The Mathematical Gazette, angielskie popularne czasopismo matematyczne.
[MM] Mathematics Magazine, popularne czasopismo matematyczne.
[MOc] Mathematical Olympiads’ Correspondence Program, Canada, 1997-2012.
[Mock] Mock Putnam Exam.
[Mon] The American Mathematical Monthly, Mathematical Association of America.
[OM] Olimpiada Matematyczna.
[Pa97] H. Pawłowski, Zadania z Olimpiad Matematycznych z Całego Świata, Tutor, Toruń, 1997.
[Zw]
Zwardoń, Obóz Naukowy Olimpiady Matematycznej.