Sunteți pe pagina 1din 21

Ministerul Educaiei al Republicii Moldova

TEOREMA LUI HELLY SAU DE CE AVEM NEVOIE


DE MULIMI CONVEXE?

Au elaborat:
IVANOV Andrei, CHEIAN Dinis
Liceul teoretic Orizont,
Chiinu, Republica Moldova.
Conductor tiinific:
TELEUC Marcel,
grad didactic superior,
doctor n stiine matematice.

Chiinu 2010

CUPRINS

1) Introducere ....3
2) Geometrie convex.3
3) Prima teorema lui Helly .4
4) Soarta nemiloas a lui Eduard Helly .....7
5) Aplicaiile teoremei lui Helly 8
6) Concluzie15
7) Bibliografie.16

Introducere
Ultimii zeci de ani au fost marcai de o larg i furtunoas schimbare n ntreaga matematic dar mai
ales n geometrie. Una din manifestrile acestei schimbri, este creterea brusc de interes pentru aa
numit geometria discret, ce studiaz acoperirea ntregii suprafee, sau a careva pri din aceasta (cel
mai des aceste pri fiind corpurile convexe), tot n aceti ani a aprut nca o categorie nfrita cu
geometria discret i care este foarte i foarte geometric, judecnd dup probleme i metodele de
rezolvare, aa numit geometria combinatorial, crei i este dedicat lucrarea de fa. n lucararea dat
noi ne vom ocupa de studierea corpurilor convexe i a problemelor extremale legate de figuri discrete i
mulimi de puncte avnd un caracter pronunat de geometrie combinatorial, adic reducndu-se la
gsirea unor sau a altor caracteristici a poziionrii n plan a mulimilor de puncte: un exemplu tipic al
geometriei combinatoriale poate servi teorema ce este central n aceast lucrare i anume teorema lui
Helly despre sisteme de corpuri convexe cu puncte comune.

1. GEOMETRIE CONVEX
Termenul de convexitate a aprut nc n timpurile antice.Acest termen se ntlnete n lucrrile lui
Arhimede (sec. III .H.). n lucrarea numit Despre sfer i cilindru se ntlnete urmtorul citat: Eu
numesc convexe n una i aceiai parte aa suprafee, pentru care segmentele ce unesc 2 puncte, se vor
afla de aceiai parte de suprafa. n epoca modern cercetarea figurilor convexe a nceput n secolul
XIX. Ca o latur aparte a matematicii, geometria convex s-a nscut n lucrrile lui Cauchy, Steiner i
n cele a lui Minkowski.
Articolul este dedicat primei teoreme a lui Helly. Aceast teorem se atribuie la cel mai frumos
capitol n matematica modern i anume la geometria convex. Teorema este generalizat pentru orice
d
1
2
spaiu R , ns noi ne vom limita cu cazurile R dreapt i R plan.
Noi vom discuta despre figurile convexe n planul simplu euclidean.Orice figur geometric n plan
poate fi considerat o mulime de puncte ce aparin acestei figure. Unele mulimi (de exemplu, cerc,
dreptunghi, triunghi) conin i puncte interioare, i de frontier; altele (segment, circumferin) conin
doar cele de frontier.

O mulime

A
B

M de puncte n plan este convex, dac pentru

orice dou puncte din

dou puncte tot se conine n

segmentul care unete aceste


M . Ca exemple de mulimi

convexe pot servi triunghiul, segmentul, semiplanul, ntregul


plan. Intersecia a dou mulimi convexe este de asemenea
B
convex: lum oricare dou puncte de intersecie (ele sunt
comune, adic aparin fiecarei mulimi), i observm c
Mulime
Mulime
orice punct de pe segmentul ce unete aceste dou puncte de
convex
asemenea este comun pentru ambele mulimi, deoarece
fiecare din ele este convex. Convex va fi i intersecia oricrui numr de mulimi. Un poligon este

convex dac toate unghiurile interioare au msur mai mic de 180 .


Sunt oare multimile convexe att de interesante nct pentru studierea lor s-a format o latur aparte a
matematicii? Da, ns oamenii nu i-au dat seama de acest fapt deodat. Primul dintre rezultatele
obinute n sfera geometriei convexe a fost publicat de Cauchy i anume teorema lui despre rigiditatea
poliedrilor conveci, aprut n anul 1813. Spre mijlocul secolului XX au fost stabilite o mulime de
proprieti geometrice caracteristice doar figurilor convexe. Aceste proprietai se refereau la volume,
seciuni, puncte specifice i la structura general a corpurilor convexe. n aa fel, cu ajutorul muncii
depuse de ctre: Minkowski, Radon, Fenhel, Alexandrov, Klein, Schnirelimann, Grnbaum i a altor
matematicieni redutabili, geometria convex s-a format ca o latur aparte i independent a matematicii.
i teorema lui Helly a ocupat un loc important n aceast ramur nou format.
Teorema a fost descoperit de autor n 1913, dar publicat mai nti de Radon n 1921 (n
demonstraia se utilizeaz teorema lui Radon). A doua demonstraie a fost publicat de Knig n 1922,
dar soluia proprie lui Helly a fost publicat abia n 1923. Dup aceasta toate trei teoreme (inclusiv
teorema lui Radon i Caratheodory) i n special teorema lui Helly, se studiau, se aplicau i se
generalizau de mai muli autori. n special, numrul de publicaii consacrate teoremei lui Helly a crescut
n a doua jumtate a secolului XX. Multe rezultate n acest domeniu ar putea fi nelese i de Euclid
care, de altfel, nu n toate cazurile avea s neleag soluiile. Majoritatea demonstraiilor totui sunt
destul de elementare, ca i n majoritatea domeniilor combinatoricii. Unele rezultate ce se refer la tema
noastr au aplicaii semnificative i n alte domenii a matematicii. Articolul conine un numr vast de
probleme de olimpiad sau pur i simplu probleme captivante, ce pot pot fi accesibile chiar i
matematicienilor-amatori. Astfel, studierea teoremei lui Helly este o introducere perfect n teoria
convexitii.
A

2. PRIMA TEOREM LUI HELLY (1913)


(I) Cazul unidimensional.

Pe o dreapt se consider un numr finit de segmente. Se tie c oricare 2 din


ele se intersecteaz. Atunci toate segmente se intersecteaz.
Demonstraie.

[ai ,b i ]
Considerm dreapta ca ax. Cele n segmente date notm cu
, i=1, , n .
Printre toate capete din stnga
dreapta
[ai ,b i ]

bi

ai

lum cel mai mare, fie el

lum cel mai mic, fie el

conine segmentul

imposibl: atunci segmentele

[ak , bl ]
[ak , bk ]

bl

ak < bl

. Dac

ak

. Printre toate capete din

, atunci fiecare din segmentele

i teorema este demonstrat. Cazul cnd


i

[al ,b l ]

nu se intersecteaz.

ak > bl

este

Rezultatul are loc pentru orice intervale: marginite i nemarginite, deschise i nchise.
Aplicaia 2.1. Se consider n plan un numr finit de figuri convexe, fiecare pereche din ele are
un punct comun. S se demonstreze c pentru orice dreapt l din plan exist o dreapt
paralel cu l care intersecteaz toate figurile date.
Demonstraie. Considerm dreapta m perpendicular pe l i proiectm toate figurile pe
aceast dreapt. Proieciile sunt intervale, deoarece toate figurile sunt convexe. Acum, punctul ce
aparine interseciei a dou figuri se proiecteaz n punctul comun al proieciilor acestor figuri. Astfel,
obinem un numr finit de intervale pe dreapta m pentru care putem aplica teorema lui Helly. Rezult
c exist un punct

P comun pentru toate intervale. Atunci dreapta l'

m intersecteaz toate figurile i este paralel cu l .

prin

P perpendicular pe

Dar dac considerm arcurile pe cerc n locul intervalelor pe o dreapt? Este uor de gsit trei arcuri
pe un cerc, astfel nct oricare dou din ele se intersecteaz dar toate trei nu. Cu toate acestea o afirmaie
mai slab este adevrat:
Aplicaia 2.2. Un numr finit de arcuri se consider pe cerc. Oricare pereche din ele are un
punct comun. Artai c exist un diametru al cercului care intersecteaz toate arcurile.
Demonstraie. Un arc mai lung dect lungimea unui semicerc evident conine cel puin un capt al
oricrui diametru. Aceasta este adevrat i pentru orice semicerc care conine cel puin una din
extremitile sale. Deci, fr a restrnge generalitatea putem considera ca toate arcurile sau sunt mai mici
dect semicercuri sau sunt semicercuri deschise. De asemenea, putem presupune c nici un arc nu
conine n interiorul su un alt arc.

A
B0

C0

B
D

Considerm dou arcuri

^
AB

^
^
i CD intersecia crora CB are lungime minim. Astfel, dac

^
^
^
alt intersecie a dou arcuri se conine n CB , atunci ea coincide cu CB . Rezult c CB sau se
conine n arcul dat

sau nu intersecteaz . Noi demonstrm c oricare diametru cu unul din

^
capete pe CB satisface cerinei problemei.
Pentru a demonstra aceasta considerm diametrele
c dac un arc

^
nu intersecteaz CB , atunci

Observm c punctele
c

intersecteaz arcurile

C C0

. Este de ajuns s demonstrm

^
conine arcul diametral opus C0 B0 .

^
^
se afl pe arcurile nchise C B0 i C0 B respectiv. Din faptul

^
AB

^
^
i CD dar nu intersecteaz CB , rezult c capetele lui

se conin n fiecare din arcurile nchise


^
CB
, noi obinem c

B B0

^
AC

^
DB . Iari din faptul c

^
conine ntreg arcul C0 B0 , q.e.d.

nu intersecteaz

Problema aceasta este un analog a cazului unidimensional a teoremei lui Helly pentru cerc. Acum
suntem gata s spunem ceva mai mult despre figurile convexe n plan, oricare dou din care se
intersecteaz.
Aplicaia 2.3. (Putnam 1995) Fiecare pereche a unui numr finit de figuri convexe n
plan are un punct comun. Demonstrai c pentru orice punct O din plan exist o
dreapt prin O care intersecteaz toate figurile date.

Demonstraie. Considerm un cerc arbitrar de centru O i proiectm central toate figurile


pe cu centru O . Cu alte cuvinte, dac

pe corespunztor lui

F , i notm cu

deoarece

este una din figurile date, noi construim un arc


F astfel: desenm toate semidreptele
OX , unde X variaz pe

mulimea interseciilor acestora cu . Este evident c

este un arc,

F este convex. Observm c o astfel de coresponden nu este definit pentru O nsui

dac el aparine figurei

F . Dar noi putem considera numai figurile ce nu conin O , deoarece orice

dreapt prin O intersecteaz o astfel de figur.


Astfel, obinem o mulime finit de arcuri pe cercul , i condiia problemei implic c oricare
dou din acestea au un punct comun. Prin urmare, fiecare arc conine unul din capetele a unui diametru

lui . Dreapta ce conine acest diametru intersecteaz fiecare din figurile date.

(II) Cazul bidimensional.


n plan se consider un numr finit de mulimi convexe. Se tie c oricare 3 se
intersecteaz. Atunci intersecia tuturor mulimilor este nevid.
Demonstraie. Fie mulimile

A1 , A2, , An

, oricare trei se intersecteaz. Aplicm inducia

matematic dup numrul de mulimi n . Dac n=3 n-avem ce demonstra.


Fie n=4 . Deci avem patru mulimi
A1 A2 A3
M 234

. Analog definim mulimile

A 1 , A 2 , A3
S 124

A4

i
S 134

. Notm cu

S 234

. Fie

S 123

M 123

mulimea
M 124

cte un punct din mulimile respective. Avem 2 cazuri de amplasare a punctelor:


7

M 134

M 123

1) Punctele

M 124

patrulater convex. Fie


M 123 M 124
mulimilor

M 134 M 234

A1

A2

punctul

A4
M

M 234

formeaz un

M134

M123

intersecia diagonalelor
M 123

. Punctele

, deci i punctul

mulimi. Analog, punctele


A3

M 134

M 134

M 234

,
M

, deci i punctul

M 124

aparin

aparine acestor
M124

aparin mulimilor
M234

aparine. Obinem c

se afl la intersecia celor 4 mulimi, adic mulimea

A1 A2 A3 A4

este nevid.
M134

2) Punctul

M 234

se afl n interiorul sau pe frontiera triungiului

M 123 M 124 M 134


i

M 134 M 234
A1

. Fie

. Punctele
M

, deci i punctul

M 234

M 123

M 124

M 123 M 124
M234

aparin mulimii

M124

aparine acestei mulimi. Prin

M 134 M

urmare i segmentul
punctul

intersecia dreptelor

aparine mulimii

A1

, adic

M123

se afl la intersecia celor 4 mulimi. Iari obinem c mulimea

A1 A2 A3 A4

este nevid.

Baza este demonstrat.


Acum presupunem c pentru n1

mulimi ce se intersecteaz cte trei am demonstrat c toate se

intersecteaz. Artam aceast afirmaie pentru n mulimi. Considerm mulimile


B 1 A1 A n ,
B 2 A2 A n ,
........
B n1 An1 A n .
Avem

B 1 B2 B3 =A 1 A 2 A 3 A n

intersecteaz. Obinem c i mulimea

. Din baza induciei tim c mulimile

B 1 B2 B3

A 1 , A 2 , A3 , A n

se

este nevid. Analog artm c orice mulime de

tip

B i B j Bk

B 1 , B2 , , Bn1

este nevid. Deci aplicnd presupunerea induciei pentru mulimile


obinem c ele toate au o intersecie comun. A rmas s obervm c:

i=1 n A i= i=1 n1 B i
Teorema este demonstrat.

3. SOARTA NEMILOAS A LUI EDUARD HELLY.


Viaa lui Eduard Helly este la fel de strlucita i neobinuit ca i teoremele sale. Se pare c soarta
nemiloas a fcut tot ce era posibil pentru al lipsi de bucuria stiinei. nceputul vieii promitea o carier
de cercettor de valoare. i-a susinut teza la Universtitatea din Vena i a fost, la vrsta de 23 de ani,
trimis pentru un an de stagiu n Germania, la Universtitatea din Hettinghem, pe acel timp fiind centru
mondial al matematicii. Profesori i-au fost Hilbert, Minkowski, Kleinntorcndu-se la Vena, el i-a
ndreptat atenia spre o noua ramur a matematicii-teoreia funciei. n anul 1912 Helly i public
lucrarea Uber lineare Funktiobaloperationen (Despre operatori funcionali lineari), n care
demonstreaz 2 teoreme fundamentale care dup aceia au primit numele de a doua i a treia teorema a
lui Helly, ba chiar demonstreaz un rezultat fundamental din teoria funciei-teorema lui Hahn-Banach
(cu 15 ani naintea lui Han i cu 20 naintea lui Banah). Helly contientizeaz importana deosebit a
geometriei convexe i peste un an demonstreaz prima teorem lui Helly. Daca ai observat prima
teorema lui Helly a aprut mai tirziu ca cea de-a doua i a treia, problema era c Helly nu a reuit s o
publice.
n 1914 a nceput primul razboi mondial, i ceteanul imperiului Austro-Ungar a fost nevoit s plece
pe frontul cu Rusia. Dupa un an de lupte crncene leitenantul Helly primete o ran mortal: glontele a
trecut prin plamni. Ca prin miracol el a rmas n via dar a fost inut prizonier mai nti n spitalul rus i
dup aceea a fost deportat n Siberia. n anul 1918 cnd s-a terminat rzboiul se prea c totul s-a
terminat ns nu a fost aa, s-a nceput revoluia i armata rus nloc s predea armele a nceput s le
foloseasc unul contra celuilalt. Helly a ajuns pn la Vladivostok, de acolo n Japonia, prin toat Asia
acas. Doar n anul 1920 el a reuit s se ntoarc acas unde el (dup o pauz de 6 ani) i-a continuat
studiile stiinifice i primete un ir de rezultate promitoare.
Necatnd la acest fapt el nu a putut sa-i gseasc un loc de munc n calitate de profesor, toate
posturile erau ocupate de cei tineri i veteranul de 37 de ani a rmas nentrebuinat. Helly ns nu s-a dat
btut: i cstig pinea lucrnd ca profesor personal, lucreaz n banc iar dup aceia chiar ntr-o
companie de asigurri. Puin cte puin viaa lui ncepe sa se liniteasc, munca n compania de asigurari
aduce un profit destul de mare, lsnd timp pentru cercetari stiinifice. Se prea c viaa lui Eduard s-a
linitit dar iat c n 1938 n Vena intr nazitii i evreul Helly este concediat i urmrit. El ia decizia de
a imigra n SUA, dac el nu ar fi fcut aceasta, cel mai probabil el ar fi ajuns ntr-o camer cu gaze. La
nceput viaa n America nu era deloc uoar ara fiind plina de savani Europeni care au fugit de naziti,
doar cu ajutorul lui Alibert Einstein, Helly a putut primi un loc de munc la universitate, unde el n
sfrit a putut s se afunde complet n stiin.

4. APLICAIILE TEOREMEI LUI HELLY


9

Convenional, aplicaiile teoremei lui Helly pot fi mprite n dou grupe. n unele cazuri cu ajutorul
ei se demonstreaz afirmaiile combinatorii de genul:
Dac ntr-o mulime orice submulime din k

elemente are o careva proprietate,

atunci o are i toat mulimea.


n celelalte cazuri ea este utilizat pentru demonstrarea unor teoreme care nu sunt pur combinatorii.
La demonstrarea unei proprieti a unei clase de mulimi, mai nti aceast proprietate se demonstreaz
pentru cele mai simple mulimi din clas, i dup aceasta, la trecerea de la caz particular la cel general se
utilizeaz teorema lui Helly.
ncepem cu o problem cunoscut, ce poate fi des ntlnit n diferite forme la concursuri colare.
Aplicaia 4.1. (Olimpiada Moscovei 1941) n plan se consider o mulime finit de puncte.
Oricare trei din ele pot fi acoperite cu un cerc de raza 1. Atunci i toate puncte pot fi acoperite
cu un cerc de raza 1.
Soluia1. Considerm cercurile de centre n punctele date i raza 1. Oricare trei din ele se
intersecteaz (punctul lor comun este centrul cercului unitar ce conine aceste trei puncte). Atunci,
aplicnd teorema lui Helly, obinem c toate aceste cercuri au un punct comun O . Atunci cercul
unitar de centru O va acoperi toat mulimea dat.
Soluia 2 (oficial). Considerm cercul ce conine toate punctele date. Micorm raza acestui cerc
ct este posibil. Fie R raza minim posibil. Pe frontiera acestui cerc se afl cel puin dou puncte
din mulimea date. Vom analiza mai nti cazul cnd pe frontier se afl exact dou puncte

i B .

Evident c ele sunt puncte diametral opuse (altfel mai putem micora cercul). Lum al treilea punct
C din mulime. Triunghiul ABC este obtuzunghic n C , deci R< R ABC 1 . Analizm acum
cazul cnd pe frontier se afl trei puncte date

A , B

ascuitunghic, deoarece altfel am putea micora raza

i C . Triunghiul
R=R ABC 1

R . Deci

ABC

. Analizm, n final,

1, 2, , n

cazul cnd pe frontier se afl patru sau mai multe puncte date. Fie

este

msurile ungihulare

a arcurilor n care punctele date mpart cirumferina cercului. Dac suma msurilor a dou arcuri
consecutive este mai mic ca 180 , atunci tergem punctul comun al lor. Aratm c pentru n 4

o astfel de pereche ntotdeauna exist. Presupunem c 1+ 2 >180 , 2 + 3 >180 , , n + 1 >180 .


Adunnd aceste inegaliti, obinem 2 ( 1 + 2+ +a n ) >n 180

, adic 4 180 > n 180 ,

contradicie. Prin urmare, pe frontiera cercului se afl sau dou puncte diametral opuse, sau 3 puncte ce

formeaz un trinughi ascuitunghic. Aceste cazuri deja am analizat.


10

Soluia problemei 4.1. cu utilizarea teoremei lui Helly a fost de prima dat publicat n anul 1941 n
lucrarea lui Blmental i Valin. ns n acelai an, independent a obinut-o i un elev din coala 182 din
Moscova Mihail Bongard. Problema a fost propus la a aptea olimpiad a Moscovei. Autorii ei au avut
o soluie diferit (demonstraia 2). ns M.Bongard a propus o soluie n care a utilizat teorema lui Helly,
pe care, evident, nu o cunotea, ns destul de repede a demonstrat-o pentru cazul cnd toate figurile
convexe sunt cercuri. n acelai an elevul talentat a intrat la universitate, ns rzboiul a nterupt toate
planurile pe via. El a plecat la front, a fost rnit. Dup rzboi Mihail Bongard a devenit un matemacian
vestit, unul din fondatori a modelrii matematice.
Continum cu o problem de geometrie elementar.
Aplicaia 4.2. ntr-un heptagon oarecare toate pentagoanele cu vrfurile care coincid cu cele ale
heptagonului au un punct comun.
Soluie. Fiecare pentagon nu conine exact dou din vrfurile heptagonului, deaceea oricare trei

pentagoane au un vrf comun. A rmas s aplicm teorema lui Helly.


Urmtorul exemplu este o combinaie interesant ntre cazurile unidimensional i bidimensional a
teoremei lui Helly. Problema aceast a fost folosit ca lem unei probleme dificile unei probleme
dificile de la Olimpiada din Sankt-Petersburg din 1998.
Aplicaia 4.3. n plan se consider un numr finit de dreptunghiuri cu laturi paralele. Oricare
pereche din ele se intersecteaz. Demonstrai c toate dreptunghiurile se intersecteaz.
Soluie. Se observ imediat legtura problemei cu teorema lui Helly, ns condiia problemei pare
insuficient, deoarece avem nevoie de 3 figuri ce se intersecteaz. Demonstrm c dac oricare dou din
aceste dreptunghiuri se intersecteaz, atunci i oricare 3 se intersecteaz. Atunci vom putea aplica
teorema lui Helly. Introducem dreptunghiurile n plan cartezian, astfel nct laturile sa fie paralele cu
axele. Considerm oricare 3 dreptunghiuri. Proiectm laturile pe axele. Pe axa Ox avem 3 intervale,
oricare 2 se intersecteaz, deci toate 3 au un punct comun. Fie

dreapta perpendicular n acest

punct pe axa Ox . Ea intersecteaz toate 3 dreptunghiuri. Construim analog dreapta


perpendicular pe Oy
dreptelor

care de asemenea intersecteaz toate dreptunghiurile.Evindent, intersecia


i va fi punctul comun a celor 3 dreptunghiuri.

Urmtoarea aplicaie este n domeniul algebrei.


Aplicaia 4.4. Considerm un sistem de inegaliti liniare cu dou variabile. Dac oricare trei
din ele au soluie comun, atunci i ntreg sistem are soluie.

11

(x ; y ) ce satisfac inegalitii de tip ax +by +c 0

Soluie. Mulimea de puncte

este semiplan,

sau, n cazul cnd a=b=0, c 0 este plan. n orice caz mulimea este convex. Acum aplicm
teorema lui Helly, pentru a obine c toate aceste mulimi au cel puin un punct comun.

Aplicaia 4.6. Considerm n plan cteva segmente paralele. Se tie c pentru orice trei
segmente exist o dreapt care intersecteaz fiecare din aceste segmente. Atunci exist o dreapt
care intersecteaz toate segmentele date.
Formularea problemei este destul de elementar, ns soluia nu. Noi vom analiza mulimile
convexe care se compun nu din puncte, dar din drepte. Cu aceast tehnic ne vom ntlni i pe urm.
Soluie. Introducem segmentele n plan cartezian, astfel nct ele s fie paralele cu axa Oy . Orice
x=x 0

semgent const din puncte (x ; y ) , pentru care


intersecteaz acest segment, dac

y1 x0 + y2

y1 y y2

. Dreapta

y=x+

. Acestei drepte i punem n coresponden punctul

( ; ) . Mulimea de puncte-drepte ( ; ) , care intersecteaz segmentul dat, satisface dou


inegaliti liniare, adic este intersecie a dou semiplane, deci o mulime convex. Oricare trei din
aceste mulimi se intersecteaz, deoarece exist dreapt care intersecteaz trei segmente. Prin urmare,
y= 0 x0 + 0
toate mulimile au un punct comun ( 0 ; 0 ) i dreapta
intersecteaz toate
segmentele.

Urmeaz o problem, propus la Olimpiada din Sankt-Petersburg n 1991.


Aplicaia 4.5.( Sankt-Petersburg 1991) Pentru oricare trei laturi a unui poligon convex se poate
gsi un punct O n interior, astfel nct proieciile punctului O pe aceste laturi se afl n
interiorul poligonului. Demonstrai c un astfel de punct se poate de gsit pentru toate laturile
concomitent.
Soluie. Pentru fiecare latur
AB , duse prin punctele

AB

considerm o band limitat de perpendiculare pe dreapta

i B . La aceste figure mai adaugm i poligonul. Din condiia

avem c oricare trei figure se intersecteaz. Conform teoremei lui Helly, toate bandele au un punct

comun i acest punct se afl n interiorul poligonului.


Aplicaia 4.7. Planul este acoperit cu un numr finit de semiplane. Demonstrai c printre
aceste semiplane exist trei care acoper planul.

12

Soluie. Fie
Dac mulimile
Fi

F1 , F 2 , , F n
F1 ' , , F n '

ar avea un punct comun, acest n-ar aparine la nici una din mulimile

care acoper ntregul plan, contradicie. Deci mulimile

exist trei mulimi

Fk '

Fi '=R2 {F i .

semiplanele date. Considerm mulimile convexe

Fl '

Fm '

Fi '

n-au intersecie comun. Atunci

intersecia crora este de asemenea mulime vid (n caz

contrar orice trei mulimi au intersecie i conform teoremei lui Helly toate
contradicie). Evident, mulimile

Fk

Fl

Fm

'

Fi

acoper ntregul plan.

se intersecteaz,

******
Acum s trecem la nite aplicaii mai serioase a Teoremei lui Helly,care sunt la rndul su nite
teoreme importante i independete.Prima din ele a fost demonstrat n anul 1911 de ctre faimosul
matematician german Hermann Minkowski (1864-1909), el fiind unul dintre prini fondatori ai
geometriei convexe i a analizei convexe, lucrrile lui au fost dup aceasta completate de elevul lui
Johann Radon (1887-1956). Aceast teorem stabilete o caracteristic general a tuturor mulimilor
convexe.
Teorema 4.8. (Minkowski 1911, Radon 1916) n interiorul unei mulimi convexe F limitate
n plan ntotdeauna se gsete punctul M care posed urmtoarea proprietate:pentru oricare
coard

AB

ce trece prin

M ,avem

AM
2
.
BM

Pentru o oarecare mulime convex limitat F cel mai mic numr , pentru care se gsete
AM

un punct M astfel incit BM


, pentru orice coard A B ce trece prin M , se numete
constanta lui Minkowski-Radon. Noi vom nota aceast constant ( F) . Evident,
ntradevr, pentru o coard aliatorie
A

i B

AB

putem considera

AM
1
BM

( F) 1 .

sau vom schimba punctele

cu locurile. Din alt punct de vedere pentru un cerc n plan avem ( F )=1 , deoarece

plasnd punctul

n centrul cercului vom obtine c

AM
=1
. De aceea pentru un dreptunghi sau
BM

pentru un ptrat constanta Minkowski-Radon va fi egal cu 1. Este adevarat i urmtoarea afirmaie:


Dac ( F )=1 atunci corpul are centu de simetrie. Aa cum deja am stabilit constanta lui MinkowskiRadon este un fel de indece care ne sugereaz ct de nesimetric este figura. Teorema 4.8. susine c
figuri foarte nesimetrice nu exist, pentru toate se vor gsi un d . Aa pentru orice figur
convex aflat n plan (F)2 .
13

Demonstraie. Pentru fiecare punct


F

lui
F

cu coeficientul

2
3

n procesul de comprimare al acesteia cu punctul

figura homotetic

se va primi din figura

ca punct de referin cu coeficientul

2
3 .

M
C

P
FC

Pentru oricare 3 puncte

FA

FA

FA

FB

vom nota prin

A .Cu alte cuvinte

n raport cu punctul

ce aparine

A , B , C F

B
F A , F B , FC

figurile

vor avea un punct comun de

intersectie G i anume punctul de intersecie al medianelor n triunghiul


P va fi mijlocul dreptei BC
PF

ABC . ntradevr dac


AG 2
=
atunci din proprietile medianei vom avea AP 3 , dar aa cum

(din definiia mulimilor convexe) atunci

GF A

teorema lui Helly vom primi c toate figurile de tipul


comun
M F A

M . Dac vom desena o coard aliatorie

. Prin urmare

AM
2
.
BM

FX

AB

. Analog
, cu

prin

X F
M

GF B

GFC

. Aplicnd

vor avea un careva punct

vom obine

AM 2

AB 3 , deoarece

Care dintre figurile din plan oare este cea mai nesimetric,adic pentru care (G) 2 ? Rspunsul
este foarte i foarte ateptabil triunghiul. S-a dovedit c aceasta este unica figur pentru care constanta
Minkowski-Radon este egal chiar cu 2.
Interesant este faptul c Teorema 4.8. a fost propus ca problem la Olimpiada din Iran n anul 2004.
******
S lum o mulime aliatorie din plan, convex sau concav, finit sau infinit. Se tie c distana ntre
oricare dintre punctele ei este mai mic ca 1. Interesant, cu cerc de care raz minim poate fi acoperit
toat aceast mulime?
14

Introducem cteva notaii. Diametrul mulimii finite i nchise este numit dinstana dintre punctele
lui cele mai departate. Diametrul mulimii va fi notat cu D iar raza minim a cercului va fi notat cu
R . Este evident c ntotdeauna

R D . ntradevr cercul de raza

D i cu centru n orice punct

din mulimea dat va conine toat mulimea. Se poate oare s obinem un cerc de raz mai mic? - iat
ntrebarea principal. Pentru careva mulimi da. De exemplu dreptunghiul de diametru D poate fi
acoperit cu un cerc de raza

D
2 . ntradevar diametrul dreptunghiului este egal cu lungimea diagonalei

sale, iar raza cercului circumscris este egal cu jumatate din aceasta. n general afirmaia este adevarat
pentru orice mulime ce are centru de simetrie. Dar iat ca pentru un triunghi echilateral raza cercului
este egala cu

R=

1
D
3 . Vom demonstra n continuare c aa o raz este suficient pentru orice

mulime. Aceasta teorem a fost demonstrata n anul 1901 de matematicianul german Henrich Jung.
Teorema 4.9.( Jung 1901) Orice mulime finit nchis din plan cu diametrul egal cu
poate fi acoperit cu un cerc de raz minim egala cu

Aadar

1
D
3

R=

1
D
3 .

este inegalitatea lui Jung ntre diametrul mulimii i raza cercului cu care poate fi

acoperit toat aceasta mulime. Inegalitatea lui Jung a fost demonstrat cu 12 ani naintea de apariia
teoremei lui Helly. Dar matematica nu ntotdeauna se supune legii cronologiei de aceia inegalitatea lui
Jung este o aplicaie direct a teoremei lui Helly.
Demonstraie. Vom nota prin

R 2=

1
D
i vom demonstra c oricare 3 puncte din mulimea
3

pot fi acoperite cu un cerc de raz

poate fi acoperit cu un cerc de raza

3 puncte din mulimea


nu ntrec lungimea

R2

. Folosind Aplicaia 4.1. vom obine c toat multimea

R2

i atunci demonstraia va fi complet. S luam oricare

A . Ele vor fi vrfurile unui triunghi ce l vom nota prin

D .

15

i a crui laturi

A
A

C
B

Dac

este dreptunghic sau obtuzunghic (inclusiv i cazul unui triunghi degenerat, adic cnd

toate 3 puncte se afl pe o dreapt), cercul construit pe cea mai lung latur ca diametru va include toate
3 puncte. Raza acestui cerc nu va ntrece nici mcar

D
2 , ceia ce ne convine. Daca

este

ascuitunghic atunci cel mai mare unghi va fi mai mic de 90 i mai mare decit 60 i deci din
teorema sinusurilor

D
1
= D

2 sin60 3

******
Imaginai-v c v aflai ntr-o camer avnd o form destul de stranie, nu dreptunghiular i nici
mcar convex. Din fiecare punct din aceast camer putem vedea doar o parte din nchpere. Dac am
reuit s gsim un punct din care se poate vedea toat camera
atunci spunem c camera este stelar n acel punct. Deci, o
mulime finit inchis G este numit stelar n punctul K
din care se poate vedea toat mulimea , n limbaj matematic
aceasta nseamn c toate segmentele de genul KX unde

aparine G aparin complet lui G . De exemplu

mulimea format din cteva segmente ce sunt concurente ntr-un


punct oarecare este stelar n acel punct, dei poate s nu fie
deloc convex. Mulimile convexe sunt acelea ce sunt stelare n toate punctele ce se conin n mulimea
respectiv.
De ce avem totui nevoie de mulimi stelare? n multe probleme ce i intereseaz pe matematicieni,
figurile nu sunt convexe, dar destul de des posed o proprietate mai slab a convexitii. Mulimile
stelare sunt unele din aceste figuri. Cum s aflam dac o mulime este stelar sau nu? Pentru acest scop a
fost elaborat un principiu, demostrat de Mark Krasnoseliski (1902-1997). El a obinut acest rezultat nc
pe cnd era foarte tnar, cnd fiind nrolat n Armata Roie a fost nevoit s predea cursuri de artilerie n
oraul Talgar, aproape de Alma-At. Aceast teorem este una din primele rezultate obinute de
Krasnoseliski, ce ia-u adus un renume de rang mondial.

16

Teorema 4.10. (Krasnoseliski 1946) Dac oricare 3 puncte din mulimea G se pot observa
dintr-un careva punct atunci exist un punct din care se vor vedea toate punctele mulimii G
(adic G va fi mulime stelar).
S ne ntoarcem pentru un moment la analogia cu camera, nchipuitiv c pe perei sunt afiate o
mulime de picturi. Atunci dac oricare 3 picturi se pot observa dintr-un careva punct atunci va exista
un punct din care vor fi vzute toate picturile.
Legtura cu teorema lui Helly se vede de la departare : Dac oricare 3 atunci i toate.... Dar pn
la demonstraie mai este mult timp, avem nevoie de cunostine suplimentare. n primul rnd vom avea
nevoie de termenul - nfurtoarea convex.
nfurtoarea convex a mulimii A este numit intersecia tuturor mulimilor convexe ce l
conin complet pe

A . Pentru a obine nfurtoarea convex a mulimii

mulimile convexe ce o conin complet pe

A , trebuie s lum toate

i s le gsim intersecia.Vom primi o mulime convex

(ca intersecia a mai multor mulimi convexe). Orice mulime convex ce o conine pe

conine i

nfurtoarea ei convex. Deci nfurtoarea convex este mulimea convex minim ce o conine
complet pe A .
Pentru oricare 2 mulimi convexe nchise i finite
un punct din

i B

printre toate segmentele ce unesc

cu un punct din B , exist unul, cel mai scurt. Cu alte cuvinte, distana dintre 2

mulimi convexe nchise i finite se va putea defini ntotdeauna.

Demonstraie. Pentru orice punct


VX

prin

ce aparine G vom nota

locul geometric al punctelor din mulimea G de unde se

vede punctul
Vx

X . Din condiie oricare trei multimi V x , V x


1

Vx

se intersecteaz. Dac aceste mulimi ar fi fost convexe atunci

imediat din teorema lui Helly ar fi reieit c ele toate au un punct


G
comun, ns sfritul demonstraiei este nca destul de
departe,mulimile nefiind convexe ntotdeauna.
VX
S examinm nu mulimile
propriu zise ci nfurtoarele lor convexe. Pentru ele poate fi
aplicat teorema lui Helly. Vom primi c exist un punct C , care aparine tuturor nfurtoarelor
17

convexe a mulimilor

VX

pentru orice

ce aparine G . Dar va fi oare toat mulimea G

vazut din punctul C? Vom demostra c da. Pn cnd nsa nu e evident nici mcar faptul c punctul C
aparine mulimii G , deoarece aceast mulime nu este obligatoriu convex. Deci s demonstrm prin
contradicie c mulimea G este stelar n punctul C . S presupunem c aceast afirmaie este
N

fals i atunci un careva punct

ce aparine G nu va fi vzut din punctul C . Aceasta va

P B

nsemna ca un careva punct A de pe segmentul

CN

nu va aparine mulimii G .

Fie d >0 distana de la

la

mulimea G , altfel vorbind


distana de la

la punctul cel mai apropiat ce apartine mulimii G . Fie B

punct de pe segmentul
1
BP= d
2

NA

ce aparine mulimii G . Vom depune pe segmentul BA

. Deoarece d BA punctul

punct din mulimea G . Observm c V

dect att unghiul UVA


VA

PA , iar U G

este diferit de

A . Mai mult

apropiat de V , pentru care unghiul UV A

ascuit. Dar atunci n triunghiul UVV latura UV


mai mare. Vom primi ca V U <VU

este i el

se va opune la cel mai mare unghi deci va fi cea

ceia ce contrazice definiie punctului V , ca fiind cel mai

de pe segmentul

S ducem acum prin U

PA .

o dreapt perpendicular pe VU , i s numim

semiplanul ce

VU
este marginit de aceast dreapt i ce nu conine punctul V . S demonstrm ca mulimea
situat complet pe
segmentul UV

H , dac aceasta este fals atunci exist un punct

este complet n G . Aa cum unghiul VUX

punct U apropiat de U , pentru care unghiul VU X


VU <VU

este ascuit. n caz contrar, dac unghiul UVA <90 , pe segmentul

se poate de gsit un punct V

apropiat punct de G

un segment

P se va afla pe segmentul BA . n sfrit fie punctul

V - cel mai apropiat punct de mulimea G , punct ce aparine segmentului

cel mai apropiat de V

cel mai apropiat

din

H , pentru care

este ascuit, putem considera un

este i el ascuit i vom primi

ceia ce contrazice definiiei punctului U , ca fiind cel mai apropiat punct de V

VU
mulimea G . Deci mulimea

este situat complet n semiplanul


18

este

H . Dar atunci i

din

nfurtoarea ei convex este situat n


H deoarece semiplanul este o

V
U

mulime convex! nseamn c i


punctul C este situat n H , ceia

ce este imposibil deoarece unghiul UVC 90 . Deci am presupus c exist un punct ce nu poate fi
vzut din punctul C , i am obinut o contradicie. Teorema este demonstrat.

CONCLUZIE
Acum s ne ntoarcem la ntrebarea principal. Sunt oare mulimile convexe att de imortante n
tiina modern? Da, cu timpul mulimile convexe au depit hotarele matematicii clasice gsindu-i
aplicaii n domeniile economiei, programrii, tehnologiilor informaionale i statisticei.
Convexitatea mulimilor joac un rol important la analizarea fenomenelor economice din punct de
vedere. Caracterul comportamentului ale multor obiecte economice este legat de faptul c unele
dependene ce caracterizeaz aceste obiecte formeaz o mulime convex. Cu convexitatea mulimilor i
a funciilor este destul de des legat cu existena sau unicitatea soluiilor problemelor economice: pe
acest criteriu se bazeaz i multe algoritme de calculare.
Multimile convexe formeaz baza analizei convexe i optimizarii ceia ce este foarte important pentru
statistic. Ele sunt importante deoarece duc la computarea eficient a metodelor de rezolvare a unei
clase de probleme optimiztoare i deoarece el pot fi folosite pentru a deriva rezultate teoretice
puternice.

19

BIBLIOGRAFIE.
[1] Hadwiger, H.; Debrunner H., , , Moscova 1965.
[2] Honsberger, R. , Mathematical Gems III, MAA, SUA 1985.
[3] Prasolov, V., , MCCME, Moscova 2006.
[4] Danzer, L., Grnbaum, B., Klee, V., , , Moscova 1968.
[5] Andreescu, T., Savchev S., Mathematical Miniatures, MAA, Washington 2003.
[6] Tihomirov, V., , Revista Kvant 2003-04.
[7] Protasov, V., , Revista Kvant 2009-03.
[8] Lebanon, G., Convex sets, 2006.

20

21