Documente Academic
Documente Profesional
Documente Cultură
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
[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
conine segmentul
[ak , bl ]
[ak , bk ]
bl
ak < bl
. Dac
ak
[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
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
^
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
^
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
^
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
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.
pe corespunztor lui
F , i notm cu
deoarece
este un arc,
lui . Dreapta ce conine acest diametru intersecteaz fiecare din figurile date.
A1 , A2, , An
A 1 , A 2 , A3
S 124
A4
i
S 134
. Notm cu
S 234
. Fie
S 123
M 123
mulimea
M 124
M 134
M 123
1) Punctele
M 124
M 134 M 234
A1
A2
punctul
A4
M
M 234
formeaz un
M134
M123
intersecia diagonalelor
M 123
. Punctele
, deci i punctul
M 134
M 134
M 234
,
M
, deci i punctul
M 124
aparin
aparine acestor
M124
aparin mulimilor
M234
aparine. Obinem c
A1 A2 A3 A4
este nevid.
M134
2) Punctul
M 234
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
M 134 M
urmare i segmentul
punctul
intersecia dreptelor
aparine mulimii
A1
, adic
M123
A1 A2 A3 A4
este nevid.
B 1 B2 B3 =A 1 A 2 A 3 A n
B 1 B2 B3
A 1 , A 2 , A3 , A n
se
tip
B i B j Bk
B 1 , B2 , , Bn1
i=1 n A i= i=1 n1 B i
Teorema este demonstrat.
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
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
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
contradicie. Prin urmare, pe frontiera cercului se afl sau dou puncte diametral opuse, sau 3 puncte ce
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
11
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
y1 x0 + y2
y1 y y2
. Dreapta
y=x+
AB
avem c oricare trei figure se intersecteaz. Conform teoremei lui Helly, toate bandele au un punct
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
Fk '
Fi '=R2 {F i .
Fl '
Fm '
Fi '
contrar orice trei mulimi au intersecie i conform teoremei lui Helly toate
contradicie). Evident, mulimile
Fk
Fl
Fm
'
Fi
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
i B
AB
putem considera
AM
1
BM
( F) 1 .
cu locurile. Din alt punct de vedere pentru un cerc n plan avem ( F )=1 , deoarece
plasnd punctul
AM
=1
. De aceea pentru un dreptunghi sau
BM
lui
F
cu coeficientul
2
3
figura homotetic
2
3 .
M
C
P
FC
FA
FA
FA
FB
n raport cu punctul
ce aparine
A , B , C F
B
F A , F B , FC
figurile
GF A
. Prin urmare
AM
2
.
BM
FX
AB
. Analog
, cu
prin
X F
M
GF B
GFC
. Aplicnd
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
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
R2
R2
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
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
(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
cu un punct din B , exist unul, cel mai scurt. Cu alte cuvinte, distana dintre 2
prin
vede punctul
Vx
Vx
convexe a mulimilor
VX
pentru orice
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
P B
CN
nu va aparine mulimii G .
la
punct de pe segmentul
1
BP= d
2
NA
. Deoarece d BA punctul
PA , iar U G
este diferit de
A . Mai mult
este i el
de pe segmentul
PA .
semiplanul ce
VU
este marginit de aceast dreapt i ce nu conine punctul V . S demonstrm ca mulimea
situat complet pe
segmentul UV
apropiat punct de G
un segment
din
H , pentru care
VU
mulimea G . Deci mulimea
este
H . Dar atunci i
din
V
U
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