138

14. Probleme de geometrie combinatorica

14.1. Partiii ale mulimii numerelor naturale

Problemele care se refer la partiii ale mulimii numerelor naturale pot
aprea n contexte aparent diferite.
n general, o astfel de problem poate avea enunul de forma:
Dac partiionm mulimea numerelor naturale ntr-un numr finit de
submulimi, atunci una din mulimi are o proprietate dat. Aceast proprietate
poate fi legat strict de mulimea numerelor naturale (de exemplu, dac ea este
legat de operaiile cu numere naturale), legat doar de faptul c mulimea
numerelor naturale este numrabil (ideea de ir) sau de faptul c este o
mulime discret i le putem parcurge pe toate pas cu pas.
Una din problemele celebre, cu aplicaii foarte interesante, este
problema lui Baudet, rezolvat de Van der Waerden. Demonstraia teoremelor
legate de aceast problem ar ocupa mult spaiu (dar, ar merita urmrit din
bibliografie), noi vom da doar enunurile i cteva aplicaii.
14.1.1. Teorem. Pentru orice partiie a lui n dou clase
1 2
A A = U ,
1 2
( ) A A = I i pentru orice 3 k exist o clas care conine k
numere n progresie aritmetic.
14.1.2. Observaii. a) Orice partiie a lui n dou clase, are o clas
care conine progresii aritmetice finite orict de lungi.
b) Existena progresiilor cu orict de muli termeni nu implic existena
n una din clase a unei progresii aritmetice infinite dup cum rezult din
exemplul
1 2
A A = U unde
1
2
:1, , 4, 5, 6, ,
: 2, 3 7, 8, 9,10,
A
A
K
K

c) n general, n teoria numerelor, considerm c 0 nu este numr
natural, deci {1, 2, 3, } = K .
14.1.3. Teorem. Pentru orice partiie a mulimii ntr-un numr
finit de mulimi
1 n
A A = UKU i pentru orice 3 k esxist k numere n
progresie aritmetic, toate aflate n aceeai submulime a partiiei.
14.1.4. Teorem. (Van der Waerden). Pentru orice numr natural n
i 3 k exist un numr natural (minim) ( , ) N W n k = cu proprietatea c
pentru orice partiie a mulimii {1, 2, , } N K n n mulimi, cel puin o mulime
conine k numere n progresie aritmetic.
14.1.5. Teorem. (Kakeya, Morimoto). Pentru orice numere naturale
k i d exist un numr natural N cu proprietatea c orice mulime de N numere
naturale
139
1 2 N
a a a < < < K
cu
1
, 1, 1
i i
a a d i N
+
= , conine o progresie aritmetic cu k termeni.
14.1.6. Observaie. Nu se poate trage concluzia c dac irul infinit de
numere naturale
1 2 n
a a a < < < < K K verific condiia
*
1
,
i i
a a d i
+
,
atunci el ar conine progresie aritmetic infinit. (Mulimea progresiilor infinite
este numrabil, o progresie fiind determinat de primul termen i de raie, iar
mulimea este numrabil).
Dac presupunem c am ordonat toate progresiile:
1 2
, , , ,
n
P P P K K i
alegem
1 1 2 2
, , , ,
n n
b P b P b P K K atunci irul
{ }
\
n
b n verific
condiia
1
2
i i
a a
+
, dar nu conine nici o progresie aritmetic infinit.
O interpretare interesant a teoremei lui Van der Waerden a fost dat de
R.Rado [2] i anume: oricum am mpri numerele naturale ntr-un numr finit
de clase, sistemul de ecuaii
1 2 2 3 1
0
n n
x x x x x x
+
= = = K
are soluie n una din clase.
Aceast interpretare a deschis un tip de probleme:
O ecuaia de forma
1 2
( , , , ) 0
n
F x x x = K sau un sistem de astfel de ecuaii
are soluie n una din mulimile partiiei, oricare ar fi aceast partiie?
14.1.7. Definiie. Dac o ecuaie sau un sistem de ecuaii are
proprietatea c oricum am mpri mulimea numerelor naturale ntr-un numr
finit de clase, ecuaia sau sistemul are soluie cu toate componentele n aceea
clas, spunem c ecuaia sau sistemul este n normal.
14.1.8. Observaii. a) Dac o ecuaie este n normal i k n < atunci ea
este k normal.
b) O ecuaie care este n normal pentru orice
*
n se numete ecuaie
normal.
c) Din teorema lui Van der Waerden rezult c ecuaia 2 x y z + = este
normal (chiar n ipoteza suplimentar c numerele x, y i z sunt distincte).
Un rezultat general, interesant, n acest domeniu este
14.1.9. Teorem. Ecuaia ax by cz + = este 2-normal pentru orice
*
, , a b c (n general ns ea nu este n normal pentru orice n).




140
Bibliografie

1. G., Sudan, Cteva probleme matematice interesante, Editura Tehnic,
Bucureti, 1969
2. P., Erds, R., Rado, Combinatorial theorem on classification of subsets of
a given set, Proc.of London Math.Soc., vol.2, 1952
3. L.,Moser, Notes on number theory. On a theorem of Van der Waerden,
Canadian Bull. 1960
4. I., Creang, Introducere n teoria numerelor, Editura p. Bucureti, 1965