Partea a III-a.

Bazele geometriei computaionale

202
Capitolul 7
Arce, curbe i drepte digitale 2D
7.1. Puncte n geometria digital
Geometria computaional (digital, discret), adic
geometria reprezentrii pe monitorul calculatorului, este, de
fapt, un domeniu al aproximrii discrete a unor obiecte
continue, problem numit discretizare. Problema clasic a
celei mai bune aproximri mbrac, n contextul geometriei
computaionale, haina celei mai bune reprezentri discrete.
Dup cum se admite n geometria sintetic, punctul
este o noiune primar, iar obiectele geometrice sunt
mulimi de puncte cu proprieti stabilite prin axiome,
definiii sau consecinele acestora.
Punctul pierde caracterul de noiune primar n
geometria computaional. Punctul digital se definete,
fiind primul element aproximant, element de baz, cu
ajutorul cruia se construiesc celelalte elemente
aproximante care formeaz obiectele de studiu ale
geometriei computaionale. Fie dou numere reale h>0,
k>0. Considerm mulimea
Z
2
(h, k) = {(ih, jk) R
2
| i Z, j Z}, (7.1.1)
adic mulimea punctelor din plan avnd abscisele multipli
de h, iar ordonatele multipli de k. Este vorba de nodurile de
reea, adic punctele de intersecie dintre dreptele verticale
i cele orizontale, ale reelei definite peste planul R
2
de
203
verticalele x = ih i orizontalele y = jk, cu i Z, j Z (vezi
figura 7.1.1).

(j+1)k
jk
ih (i+1)h

Figura 7.1.1.
Definiia 7.1.1. Numim procedeu de discretizare a planului
R
2
n reeaua Z
2
(h,k) o funcie f: R
2
Z
2
(h,k) cu
proprietatea c f(x,y) = (x,y) oricare ar fi (x,y) Z
2
(h,k).
Consecina 7.1.2. Un procedeu de discretizare a planului
R
2
n reeaua Z
2
(h,k) o funcie surjectiv.
Consecina 7.1.3. Un procedeu de discretizare a planului
R
2
n reeaua Z
2
(h,k) selecteaz o mulime de reprezentani
ai planului, astfel nct oricare punct din plan, (x,y)R
2
,
este reprezentat printr-un singur punct al reelei, (ih, jk) =
f(x,y) Z
2
(h, k). Deci, nu exist puncte ale planului fr a
avea reprezentant n reeaua (7.1.1).
Figura 7.1.2
n procesarea imaginilor se folosete procedeul de
discretizare care pornete de la o acoperire a planului cu
dreptunghiuri congruente, centrate n nodurile reelei
204
jk+k/2
(ih, jk)
jkk/2

ih-h/2 ih+h/2
(7.1.1), pentru a asigura condiiile din consecina 7.1.3. Se
poate demonstra astfel urmtorul enun, de altfel evident.
Proprietatea 7.1.2. Funcia f: R
2
Z
2
(h, k) definit prin
f(x, y) = (ih, jk) (7.1.2)
dac (x,y)
( )

,
_

,
_

+
2
k
jk ,
2
k
jk
2
h
ih ,
2
h
ih y x,
este un
procedeu de discretizare a planului R
2
n reeaua Z
2
(h,k).
Procedeul de discretizare definit n proprietatea 7.1.2
reprezint un dreptunghi cu laturile de lungime h i k,
paralele cu axele de coordonate, care nu-i conine latura
din dreapta i cea de sus, prin centrul su (vezi figura
7.1.2). Este motivul pentru care se formuleaz urmtoarea
definiie.
Definiia 7.1.3. Numim pixel (punct discret, punct digital)
de coordonate (i, j) un dreptunghi de tipul

,
_

,
_

+
2
k
jk ,
2
k
jk
2
h
ih ,
2
h
ih
. (7.1.3)
Numerele h i k determin ceea ce se numete
rezoluia monitorului i se calculeaz astfel: dac L este
lungimea monitorului, l este limea monitorului, M
numrul de pixeli setai pe orizontal i N numrul de
pixeli setai pe vertical, atunci
M
L
h
, iar
N
l
k
. (7.1.4)
Nu se restrnge generalitatea dac se alege h = k = 1,
model pe care l preferm n aceast carte datorit
comoditii scriiturii. Ne vom ocupa, pentru a defini
obiectele de baz ale geometriei computaionale, de imagini
alb-negru. In cazul acestor imagini, punctele sunt de dou
tipuri:
puncte imagine, care aparin obiectului geometric
studiat, pe care le vom figura cu semnul sau cu
valoarea 1;
puncte fond, care nu aparin obiectului geometric
studiat, pe care le vom figura cu semnul sau cu
valoarea 0.
205
Un obiect geometric format din pixeli (din puncte
discrete) va fi numit obiect digital sau imagine. Termenul
obiect discret este mai general dect cadrul oferit de
monitorul unui calculator electronic mprit n pixeli.
Aceasta ntruct un obiect discret se poate defini ntr-un
univers discret care nu este izomorf cu monitorul
calculatorului mprit n pixeli raportai la un sistem de
coordonate carteziene. Vom vorbi de imagini care se pot
numi cu unul dintre termenii curb digital, triunghi digital,
cerc digital, n loc de curb discret, etc.
7.2. Elemente de topologie digital
Considerm, pentru nceput, spaiul discret al
monitorului de calculator, adic un dreptunghi D format din
MN pixeli, organizat ca spaiu metric. Reamintim c o
bil deschis de raz r > 0, centrat ntr-un punct a al unui
spaiu metric, mulimea tuturor punctelor din spaiu situate
la distan mai mic dect r fa de centrul a. O vecintate
a unui punct x ntr-un spaiu metric este o mulime care
conine o bil deschis centrat n x. n acest paragraf ne
vom ocupa de definirea conceptelor de vecintate digital,
conexiune digital i consecine ale existenei acestor
elemente n spaiul D.
Figura 7.2.1
206

(i,j)

Vom alege, pentru nceput, spaiul metric (D, d

1
),
nzestrat cu metrica city-block,
d
1
(x,y) = 2 2 1 1
y x y x +
,
unde x = (x
1
, x
2
) D, y = (y
1
, y
2
) D.
Fie x = (i, j) D un punct al unei imagini digitale.
Definiia 7.2.1. Numim 4vecintatea punctului (i, j)
mulimea
F
(i, j)
= {(i-1, j), (i+1, j), (i, j), (i, j-1), (i,j + 1)}. (7.2.1)
Observaia 7.2.2. 4-vecintatea unui punct (i, j) este, de
fapt, bila de centru (i, j) i raz 1 din spaiul metric (D, d
1
)
(vezi figura 7.2.1). Se observ c mulimea F
(i, j)
conine 4
pixeli diferii de centrul bilei, ceea ce justific termenul de
4vecintate.
Definiia 7.2.3. Un ir de puncte x
1
, x
2
, ..., x
n
se numete 4
drum dac
i
x 1 i
F x
+ , pentru 1 i < n (vezi figura 7.2.2).
Figura 7.2.2
S alegem acum spaiul metric (D, c), nzestrat cu
metrica Cebev (sau chessboard),
c(x,y) = max
{ }
2 2 1 1
y x , y x
,
unde x = (x
1
, x
2
) D, y = (y
1
, y
2
) D.
Fie x = (i, j) D un punct al unei imagini digitale.
Definiia 7.2.4. Numim 8vecintatea punctului (i, j)
mulimea
E
(i,j)
= F
(i,j)
{(i-1, j-1), (i-1, j+1), (i+1, j-1), (i+1, j+1)}.
Observaia 7.2.5. 8-vecintatea unui punct (i, j) este, de
fapt, bila de centru (i, j) i raz 1 din spaiul metric (D, c)
(vezi figura 7.2.3). Se observ c mulimea E
(i, j)
conine 8
207





pixeli diferii de centrul bilei, ceea ce justific termenul de
8vecintate.
Figura 7.2.3
Definiia 7.2.6. Un ir de puncte x
1
, x
2
, ..., x
n
se numete 8
drum dac
i
x 1 i
E x
+ , pentru 1 i < n (vezi figura 7.2.4).
Figura 7.2.4
Fie acum S o submulime a unei imagini.
Definiia 7.2.7. Punctele x

S i y

S se numesc 4
conectate (8 conectate) dac exist un 4drum (8drum)
x = x
1
, x
2
, ... , x
n
= y de la x la y astfel nct x
i

S, 1in.
Proprietatea unor puncte de a fi 4conectate (8
conectate) se numete 4conexiune (8conexiune). Relaia
de 4conexiune (8conexiune) ntre punctele unei mulimi
S este o relaie de echivalen (reflexiv, simetric i
tranzitiv) pe S. Clasele de echivalen ale lui S relative la
4conexiune (8conexiune) se numesc 4componente (8
componente).
Definiia 7.2.8. O mulime S care are exact o 4
component (8component) se numete mulime 4
conex (8conex).
208


(i,j)






Figura 7.2.5.
Pentru o imagine S D, vom nota complementara
lui S cu S = D \ S.
Definiia 7.2.9. Dac mulimea S este 4conex i S are
doar o 8component atunci S se numete simplu 4
conex.
O 4(8)component a complementarei S a imaginii
S se mai numete i 4(8)gaur a imaginii S.
Definiia 7.2.10. Dac S are n 8componente atunci se
spune c imaginea S are (n 1) 8guri.
Figura 7.2.6.
Observaia 7.2.11. Deoarece F
x
E
x
, oricare ar fi x D,
rezult c orice mulime 4conex este i 8conex, dar
reciproca nu este adevrat. De exemplu, imaginea din
figura 7.2.5 este 4conex. Imaginea din figura 7.2.6 este
8conex dar nu este 4conex.
n topologie, ordinul de conexiune al unei mulimi
conexe este definit ca numrul de componente conexe din
complementar. Dar conceptul de conexiune care se
209











folosete pentru punctele mulimii este acelai cu cel folosit
pentru punctele complementarei. n geometria
computaional, folosirea aceluiai tip de conexiune att n
imagine ct i n complementara acesteia (fond) ar avea
drept consecin pierderea unor proprieti sintetice
fundamentale. De exemplu, nu s-ar mai regsi relaii de tip
Euler ntre numrul vrfurilor, al muchiilor i al feelor
unui poliedru convex. Este motivul pentru care s-a adoptat
convenia de a se folosi conexiuni diferite pentru punctele
imaginii i pentre ale complementarei sale.
Se convine ca dac imaginea S este 4conex atunci
n complementara S s se studieze numrul de 8
componente. De asemenea, dac imaginea S este 8conex
atunci n complementara S s se studieze numrul de 4
componente.
Definiia 7.2.12. Ordinul de 4conexiune al mulimii 4
conexe S este definit ca fiind numrul de 8guri ale lui S.
De exemplu, complementara imaginii 4conexe din
figura 7.2.5 are dou 8componente.
Definiia 7.2.13. Ordinul de 8conexiune al mulimii 8
conexe S este definit ca fiind numrul de 4guri ale lui S.
Astfel o imagine S se numete, n mod natural,
simplu 4(8)conex dac ordinul su de 4(8)conexiune
este 1. O mulime digital (imagine) S se numete dublu
(multiplu) 4(8)conex dac ordinul de 4(8)conexiune
este 2 (respectiv dect 2). De exemplu, imaginea S din
figura 7.2.5 este simplu 4conex, ntruct complementara
sa are dou 8componente, adic S are o 8gaur.
Imaginea S din figura 7.2.6 este simplu 8conex, ntruct
complementara sa are dou 4componente, adic S are o 4
gaur.
Definirea unui concept de conexiune ntr-un spaiu
pune ntotdeauna problema existenei unei topologii a
spaiului cu proprietatea c noiunea de conexiune
introdus s fie tocmai conexiunea n sensul topologiei.
Abordm i noi aceast problem, definind o topologie pe
210
D, unde noiunea de conexiune se reduce la conceptul de 4
conexiune.
Observaia 7.2.14. n topologia discret pe D, oricare
submulime a lui S este deschis, astfel nct nici o
component conex nu conine mai mult de un singur
punct.
Pentru (i, j) D, definim mulimea
( )
( ) { }
( )

'

+
+

par j i pentru , F
impar j i pentru , j i,
U
j i,
j i,
(7.2.2)
Proprietatea 7.2.15. Dac (i, j) D i (a, b) D atunci
intersecia U
(i,j)
U
(a,b)
este fie o mulime de tip U
x
, fie
mulimea vid .
Teorema 7.2.16. Fie mulimea U = {U
(i,j)
| (i, j) D} o
baz pentru mulimi deschise n D. Atunci o mulime este
conex n topologie dac i numai dac este 4conex.
Demonstraie: Necesitatea: Fie C o mulime conex n
topologie, x

C i C
x
4-componenta lui C care conine x.
Pentru y

C
x
rezult U
y
CC
x
, iar pentru y

C \ C
x
rezult
U
y
(CC
x
)

C \ C
x
. Rezult de aici c att C ct i C \ C
x
sunt ambele deschise n C. Cum C este conex, rezult c C
\ C
x
= , deci C = C
x
.
Suficiena: Fie M o mulime 4conex i presupunem c
M = A B cu A B = .
Fie a

A, b

B i a = a
1
, a
2
, ...

, a
n
= b un 4drum n M.
Rezult c pentru un ntreg h avem a
h

A, a
h+1

B. Cum
suma coordonatelor lui a
h
sau a
h+1
este par, fie a
h+1

h
a
U
,
fie a
h

1 h
a
U
+
. Rezult c fie A, fie B este mulime
deschis.
Definiia 7.2.17. Numim 4drum simplu nchis (curb
simpl cu mai mult de patru puncte) un ir de puncte
A = {x
o
, , x
n
}, x
n
= (i
n
, j
n
),
cu proprietile:
(1) n 4 ;
(2) x
r
= x
s
dac i numai dac r = s;
211
(3)
s
x r
F x
dac i numai dac r = s + 1 (mod n+1).
Observaia 7.2.18. Condiia de suficien din (2) stipuleaz
faptul c un 4drum simplu nchis nu se auto-intersecteaz.
Observaia 7.2.19. Condiia de suficien din (3) stipuleaz
faptul c un 4drum simplu nchis nu se ntoarce astfel
nct s se auto-tearg.
Observaia 7.2.20. Condiia de necesitate din (3) stipuleaz
faptul c ntr-un 4drum simplu nchis punctul x
n
este 4-
vecin cu punctul x
0
, adic drumul se nchide (vezi figura
7.2.7).
Observaia 7.2.21. Condiia n 4 exclude cazurile:
n = 0, adic un drum format dintr-un singur punct;
n = 1 adic un drum format din dou puncte 4
vecine, deci cazul (i
1
, j
1
) = (i
o
1 t , i
0
) sau (i
o
, j
0
1 t );
n = 3, adic iruri de forma x
o
, x
1
, x
2
, x
3
care sunt
vrfurile unui 2 2 ptrat, care ar avea nuntrul
vid.
Figura 7.2.7.
Observaia 7.2.22. Cazurile excluse de condiia n 4 sunt
singurele 4drumuri cu n < 7 care verific (2)(3).
Fie acum x = (a, b) din complementara A a
drumului A. Din condiia (3) rezult c
A
. Fie
semidreapta dreapt cu originea n punctul x,
H
x
={(a+h,b) | h = 0, 1, 2, }.
H
x
A

conine acele elemente cu prima coordonat de
forma
212






a+h
1
+1, ..., a+h
1
+r
1
;
a+h
2
+1, ..., a+h
2
+r
2
; ...
cu 0 < h
1
+1 h
1
+r
1
< h
2
+1 h
2
+r < (delimitnd
termeni consecutivi din A). Deoarece elemente succesive
din fiecare din aceste secvene (laturi) sunt 4-vecini, rezult
c acestea trebuie s fie elemente consecutive n A (privite
ca ordonate ciclic, cu x
0
urmnd lui x
n
) fie n ordine direct
sau invers. Fie
{x
h+1
= ( a+h+1, b), ..., x
h+r
= ( a+h+r, b)}
o secven (latur). Rezult c x
h
i x
h+r+1
nu pot fi pe rndul
b, deci trebuie ca x
h+r+1
s fie de forma
(a+h+1, b t1) sau (a+h+r, b t1).
Definiia 7.2.23. Fie x
h+r+1
de forma
(a+h+1, b t1) sau (a+h+r, b t1) (vezi figura 7.2.8).
Dac ambele semne din coordonatele lui sunt + sau
ambele , spunem c H
x
atinge A pe secvena
{x
n+1
, ..., x
n+r
};
Dac un semn este + i altul atunci spunem c H
x
taie A.
Dac numrul de tieturi n care H
x
taie A este
impar atunci se spune c x este n interiorul (nuntrul)
lui A.
Dac numrul de tieturi n care H
x
taie A este
par (n particular H
x

A este vid, adic numrul de

tieturi este 0) atunci se spune c x este n exteriorul (n
afara) lui A.
Teorema 7.2.24. Interiorul (nuntrul) i exteriorul (n
afara) unui 4-drum simplu nchis sunt mulimi nevide.
Demonstraie. Dac x este la dreapta oricrui element din
A, el se afl n afara lui A, deoarece H
x
nu poate de loc s
intersecteze A. Astfel exteriorul nu este vid. Pentru a
demonstra c interiorul nu este vid, fie x
h
= (i, j) punctul cel
mai de sus i cel mai din dreapta din A. Atunci ambele
puncte de coordonate (i 1, j) i (i, j 1) trebuie s se afle
n A, fiind singurele posibiliti pentru x
h-1
i x
h+1
.
213
Figura 7.2.8.
Dac punctul de coordonate (i 1, j 1) ar fi n A, atunci
din (3) rezult c acesta ar trebui s fie att x
h-2
i x
h+2
.
Astfel, din (2) ar rezulta h 2 h + 2 (modulo n + 1), ceea
ce este imposibil, deoarece n 4. Deci punctul (i 1, j 1)
este n A. Rezult c (i, j 2) este n A. ntr-adevr, dac
(i 1, j) este x
h-1
punctul (i, j 2) rmne singura
posibilitate pentru x
h-2
. Dac (i 1, j) este x
h+1
punctul (i, j
2) rmne singura posibilitate pentru x
h+2
. Astfel H
(i1,j1)
taie
A exact o dat, adic n (i, j1), deci (i1, j1) este
nuntrul lui A.
Teorema 7.2.25. Fie x nuntrul i y n afara unui 4-drum
simplu nchis A. Atunci oricare 8-drum de la x la y
intersecteaz A.
Demonstraie. Fie B = {y
o
, , y
m
} un 8-drum de la x la y,
cu x = y
0
i y = y
m
. S presupunem c fiecare element al
drumului B este n A. Deoarece y
0
este nuntrul i y
m
n
afara lui A, trebuie s existe un q, 0 < q m, astfel nct
punctul y
q-1
s fie interior i y
q
s fie exterior. Dac y
q-1
i y
q
sunt vecini orizontali, aceasta este imposibil datorit
definiiei interiorului i exteriorului. Pe de alt parte, dac
sunt vecini verticali sau diagonali, atunci 1 q
y
H
i q
y
H
sunt
semidrepte vertical adiacente nspre dreapta. Fie un rnd de
elemente, R = {x
k+1
, , x
k+r
}, n care A intersecteaz
mulimea 1 q
y
H
q
y
H
. Astfel, fiecare dintre punctele x
k
i
x
k+r+1
este sau mai sus sau mai jos de aceste semidrepte.
Presupunem nti c ambele sunt deasupra. Dac sunt
214






deedsubt, se folosete un raionament similar. Fr a
restrnge generalitatea, putem presupune c 1 q
y
H
este
deasupra lui q
y
H
. Dac toate punctele din R sunt pe 1 q
y
H
,
atunci A atinge 1 q
y
H
i nu atinge q
y
H
n R, astfel c ea nu
taie nici una dintre aceste dou semidrepte n vreo
submulime a lui R. Pe de alt parte, dac unele dintre
aceste puncte din R sunt pe q
y
H
, fie x
s
primul dintre ele i
x
t
ultimul dintre ele. Atunci 1 q
y
H
taie A n {x
k+1
, , x
s-1
}
i n {x
t+1
, , x
k+r
}. n acest timp nici 1 q
y
H
i nici q
y
H
nu
pot tia A n punctele din R cuprinse ntre x
s
i x
t
, deoarece
nici unul dintre x
s-1
, , x
t+1
nu se gsesc deasupra lui
1 q
y
H
sau sub q
y
H
. Prin urmare, n acest caz, 1 q
y
H
taie A
de dou ori, iar q
y
H
nu taie A n submulimi ale lui R.
Presupunem, n continuare, c x
k
este pe rndul de peste
1 q
y
H
i x
k+r+1
este pe rndul de sub q
y
H
(raionamentul
este analog n situaia invers). Fie x
u
primul dintre
punctele din R care este pe q
y
H
i x
v
ultimul dintre
punctele din R care este pe 1 q
y
H
. Atunci, cu siguran
1 q
y
H
taie A n {x
k+1
,, x
u-1
}, q
y
H
taie A n {x
v+1
,,x
k+r
},
dar nici una dintre ele nu o poate tia ntre x
u
i x
v
, datorit
unui motiv ca cel de mai sus. Prin urmare, n acest caz att
1 q
y
H
ct i q
y
H
taie A exact o dat n submulimi din R.
Prin urmare, n fiecare caz, diferena dintre numrul de
intersecii prin care 1 q
y
H
i q
y
H
taie A n submulimi ale
lui R este par. Deoarece aceasta este adevrat pentru
fiecare R, rezult c diferena dintre numrul total de
tieturi ale lui A de ctre 1 q
y
H
i q
y
H
este par. Cu alte
cuvinte y
q-1
i y
q
sunt ambele n interiorul sau ambele n
exteriorul lui A, ceea ce este o contradicie. Teorema este
demonstrat complet.
Consecina 7.2.26. Un 4-drum simplu nchis nu poate fi
simplu 4-conex.
215
Demonstraie. Consecina este evident ntruct un
element din interiorul lui A i unul din afara drumului nu
pot fi n aceeai 8-component a lui A.
Proprietile demonstrate sunt adevrate pentru 8-
drum simplu nchis, dac se nlocuiete 4 cu 8 n definiiile,
teoremele i raionamentele de mai sus.
7.3. Arce simple digitale
Arcele digitale sunt cazuri particulare de drumuri, cu
un rol esenial n definirea segmentelor de dreapt digitale
i a aproximantelor discrete ale unor curbe remarcabil
discutate n capitolele precedente de geometrie analitic.
Definiia 7.3.1. Un ir de puncte x
1
, , x
n
se numete arc
simplu dac oricare ar fi numerele naturale r i s, 1 r n,
1 s n:
(a) x
r
= x
s
dac i numai dac r = s;
(b) x
r

s
x
F
dac i numai dac r = s 1.
Observaia 7.3.2. Condiia (a) nseamn c irul care
reprezint un arc simplu nu se ntoarce, adic nu este de
forma x
1
, x
2
, x
1
.
Observaia 7.3.3. Condiia (b) nseamn c irul care
reprezint un arc simplu nu se auto-taie sau se
auto-ating.
Figura 7.3.1
216





Observaia 7.3.4. Din definiia 7.3.1 rezult c un arc
simplu este un 4-drum. Punctele x
1
i x
n
se numesc
extremitile sau capetele arcului.
Observaia 7.3.5. Din (a) i din observaia 7.3.3 rezult c
punctele unui arc simplu sunt distincte i c acesta poate fi
privit ca o mulime total ordonat de puncte {x
1
, , x
n
}.
Invers, dac S este o mulime de puncte ce poate fi
ordonat astfel nct (b) s fie ndeplinit rezult c S este
un arc simplu.
Definiia 7.3.6. Msura arcului simplu S, notat cuS,
este numrul de puncte ale lui S.
Teorema 7.3.7. S este un arc simplu cu S 2 dac i
numai dac:
(c) S este 4-conex,
(d) F
x
= 2, pentru toate punctele x

S, mai puin
dou puncte,
(e) F
x
= 1, pentru aceste dou puncte.
Demonstraie. Necesitatea. Dac S = {x
1
, , x
n
} este un
arc simplu, cu n 2, atunci din (b) rezult

1
x
F
S=
n
x
F
S= 1,
n timp ce
i
x
F
S= 2 , 1< i < n. n plus, S este 4-conex
deoarece pentru oricare i i j, cu 1 i < j n , exist un 4-
drum x
i
, x
i-1
,...., x
j
n S de la x
i
la x
j
.
Suficiena. Presupunem c (d) i (e) sunt adevrate.
Fie x
1
unul din cele dou puncte de la (e), care fac excepie
la condiia (d), iar x
2
fie unicul su vecin. Notm cu x
3
,
dac exist, cellalt vecin al lui x
2
, cu x
4
cellalt vecin al lui
x
3
, etc. Acest procedeu se termin doar la punctul x
n
, n 2,
care este cellalt punct ce face excepie la (d) i satisface
(e). Punctele rezultate sunt x
1
,, x
n
care, evident, verific
(a) i (b). Demonstrm c acestea sunt toate punctele lui S.
De fapt, dac presupunem c x

S nu este unul dintre

aceste puncte, atunci exist un 4-drum n S de la x la x
i
:
x = y
1
, y
2
, , y
m
= x
i
,
217
cu y
j

{x
1
, , x
n
}, 1 j < m. Atunci x
i
va avea un al
treilea vecin y
m-1
n
i
x
F
S , pe lng x
i-1
, x
i+1
(respectiv un
al doilea vecin y
m-1
al lui x
1
n afar de x
2
pentru i = 1, sau
un al doilea vecin y
m-1
al lui x
n
n afar de x
n-1
pentru i = n),
ceea ce este o contradicie.
Proprietatea 7.3.8. Dac S este un arc simplu, iar x

S
nu este extremitate, atunci mulimea E
x
S \ {x} are
exact dou 8-componente. Dac x este extremitate atunci
mulimea E
x
S este 8-conex.
Demonstraie. Se examineaz toate situaiile care sunt
posibile n F
x
.
Teorema 7.3.9. Un arc simplu este o mulime simplu 4-
conex.
Demonstraie: Pentru n = 1 proprietatea este evident.
Presupunem c proprietatea este adevrat pentru arce
simple cu n-1 puncte i fie S = {x
1
, , x
n
} un arc simplu.
Din ipoteza de inducie, oricare ar fi y i z din S pot fi
unite printr-un 8-drum n S {x
n
}. Presupunem c
drumul trece prin x
n
si fie ..., y
i
, y
i+1
= x
n
, y
i+2
, ... o
succesiune de puncte coninnd x
n
. Cum
n
x
E
S este 8-
conex, datorit proprietii 7.3.8, rezult c exist un 8-
drum z
1
, ..., z
k
n
n
x
E
S de la y
i
la y
i+2
. n acest fel se
poate nlocui succesiunea dat cu x
n
prin z
1
, ..., z
k
. Astfel,
toate apariiile lui x
n
pot fi eliminate, deci y i z pot fi unite
printr-un 8-drum n S, ceea ce nseamn c S este 8-
conex. Prin urmare S este simplu 4-conex.
7.4. Curbe simple n imagini digitale
Curbele simple digitale sunt aproximante discrete ale
curbelor plane, discutate n capitolul 1.
218
Definiia 7.4.1. Un ir de puncte x
1
, , x
n
se numete
curb simpl dac oricare ar fi numerele naturale r i s, cu
1 r n, 1 s n:
(a) x
r
= x
s
dac i numai dac r = s;
(b) x
r

s
x
F
dac i numai dac r s 1 (mod n).
Observaia 7.4.2. Condiia (a) nseamn c irul care
reprezint o curb simpl nu se repet, adic nu este de
forma x
1
, , x
n
, x
i
, , x
n
.
Observaia 7.4.3. Condiia (b) nseamn c irul care
reprezint o curb simpl nu se auto-taie sau se
auto-atinge.
Figura 7.4.1
Observaia 7.4.4. O curb simpl cu mai mult de 4 puncte
este un 4-drum simplu nchis. n acest caz sunt excluse
cazurile: curb cu 1 punct, curb cu exact 2 puncte
adiacente i curb cu exact 4 puncte ce formeaz un ptrat
22.
Observaia 7.4.5. Cum toate punctele unei curbe simple
sunt distincte rezult c o curba simpl poate fi privit ca o
mulime ordonat ciclic (vezi figura 7.4.1).
Teorema 7.4.6. S este o curb simpl cu S > 2 dac i
numai dac:
(c) S este 4-conex,
(d) F
x
S= 2 , oricare ar fi x

S.
Demonstraie: Necesitatea: Condiia (b) implic (d) pentru
c s 1(mod n) sunt distincte pentru n > 2, iar implicaia
(b)

(c) se demonstreaz ca teorema 7.3.7.

219





Suficiena: Presupunem c au loc (c) i (d). Fie x
1

S
un punct oarecare marcat, considerm x
2
un vecin al lui x
1
n S pe care l marcm, x
3
vecinul rmas (x
1
) al lui x
2
se
marcheaz i el, etc. Procedeul se termin n punctul din S
care are deja un vecin n S marcat, dar cellalt nc
nemarcat. Acesta nu poate fi dect x
1
. Se demonstreaz, ca
n demonstraia teoremei 7.3.7, c punctele x
1
, , x
n
rezultate sunt toate punctele lui S.
Proprietatea 7.4.7. ndeprtnd oricare punct al unei
curbe simple se obine un arc simplu (vezi figura 7.4.1).
Demonstraie: Fie x
1
, , x
n
o curb simpl i s
ndeprtm punctul x
i
. Renotm punctele rmase y
1
,, y
n-1
,
unde y
1
= x
i+1
,., y
n-1
= x
n
, y
n-i+1
= x
1
, ...., y
n-1
= x
n-1
. n acest
caz, irul y
1
,, y
n-1
satisface definirea arcului simplu
Observaia 7.4.8. Pentru orice curb simpl S cu S > 4,
exist o partiie a lui S n interiorul i exteriorul lui S.
Ambele pri sunt nevide. n plus, nici un punct din interior
nu poate fi 8-conex n S cu un punct din exterior.
Proprietatea 7.4.9. Fie S o curb simpl cu S > 4, i fie
punctul x

S . Atunci E
x
S are exact dou 8-
componente, care sunt coninute n 8-componente diferite
ale lui S.
Demonstraie: Faptul c sunt exact dou 8-componente
poate fi verificat examinnd toate situaiile posibile din E
x
.
Datorit teoremei 7.4.6 i a proprietii 7.4.7, mulimea S\
{x} este simplu 4-conex. Astfel, oricare y
S este 8-
conetat n S{x} cu x , de exemplu prin drumul y,, w,
x, unde w

E
x
S. Dac E
x
S ar fi fost coninut ntr-
o 8-component din S, oricare y
S ar fi 8-conectat n S
cu oricare z
S. Dar dac y este n interiorul S i z este n
exteriorul lui S, aceast situaie este imposibil.
Teorema 7.4.9. O curb simpl cu S> 4 are exact o 8-
gaur.
Demonstraie: Din proprietatea 7.4.7. rezult c
ndeprtarea oricrui punct din S unete exact dou 8-
componente ale lui S. Dar S \ {x} este arc simplu al crui
220
complementar are exact o S-component, deci S ar fi
putut avea doar dou 8-componente.
Consecina 7.4.10. Interiorul i exteriorul unei curbe
simple sunt mulimi 8-conexe.
7.5. Proprietatea coardei
Proprietatea coardei este important pentru
caracterizarea acelor arce digitale care ar putea proveni din
discretizarea unui segment de dreapt.
Considerm o mulime digital S Z
2
i fie dou
puncte p S i q S i notm cu
pq
segmentul de dreapt
real determinat de extremitile p i q.
Figura 7.5.1.
Definiia 7.5.1. Segmentul de dreapt
pq
se afl lng S
(vezi figura 7.5.1) dac oricare ar fi r(x, y)
pq
, exist
un punct a(i, j) S astfel nct
max{i x, j y} < 1. (7.5.1)
Observaia 7.5.2. Dac se consider Z
2
(h) n loc de Z
2
,
atunci (7.5.1) devine max{i x, j y} < h.
Definiia 7.5.3. Se spune c imaginea S are proprietatea
coardei dac oricare ar fi punctele p S i q S,
segmentul de dreapt
pq
se afl lng S (vezi figura
7.5.1).
221

7.6. Metoda standard de discretizare a curbelor

Pentru reprezentarea digital a unei curbe plane se
face urmtoarea convenie: dac o curb intersecteaz una
dintre liniile nodale, cel mai apropiat nod de punctul de
intersecie este pixelul care aparine discretizrii curbei
(vezi figura 7.6.1). Dac punctul de intersecie este la
mijlocul distanei dintre dou noduri succesive, se
procedeaz aproximnd prin lips: se alege nodul de
dedesubt sau cel din stnga.
Figura 7.6.1.
Se consider 8-conexiunea pentru imagine i atunci
modelul matematic care reprezint discret o curb este dat
de 8-arce i de 8-curbe.
Proprietatea 7.6.1. Dac se discretizeaz un segment de
dreapt, atunci:
a) Dac unghiul de pant este 45 < < 45 atunci
discretizarea sa depinde numai de intersecia cu
liniile nodale verticale; liniile nodale orizontale nu
aduc puncte de discretizare n plus (vezi figura
7.6.2).
b) Dac unghiul de pant este 45 < < 135 atunci
discretizarea sa depinde numai de intersecia cu
liniile nodale orizontale (vezi figura 7.6.3).
c) Dac unghiul de pant este
{45 + k90 k {1, 0, 1}},
222





atunci discretizarea alege prin rotunjire prin lips
(vezi figura 7.6.4).

Figura 7.6.2.
Figura 7.6.3.
Demonstraie. Vom demonstra cazul a, celelalte cazuri
avnd justificri similare. Fie dreapta (d): y = ax + b. S
presupunem, pentru nceput c 0 < a < 1, ceea ce nseamn
c unghiul de pant al dreptei este mai mic dect 45(vezi
figura 7.6.2). Vom demonstra acum c intersecia cu
orizontalele y = n nu produc puncte de discretizare
suplimentare. S alegem un segment de dreapt L din
dreapta (d). Segmentul L va intersecta orizontala y = n n
punctul de abscis x
n
=
a
b n
. Fie
m
2
1
< x
n
m +
2
1
,
223




unde m este numr ntreg. Atunci punctul de coordonate
(m, n) este punctul de discretizare corespunztor acestei
intersecii.
Figura 7.6.4.
Dar L intersecteaz i verticala x = m n punctul de
ordonat y
m
= am + b. Avem m
2
1
< x
n
m +
2
1
, astfel c
a

,
_

2
1
m
< n b a

,
_

+
2
1
m
.
Rezult c
n
2
a
am + b < n +
2
a
,
i deoarece |a| < 1, aceasta implic faptul c intersecia cu
verticala x = m ofer acelai punct de discretizare, (m, n).
Literatura de specialitate propune i alte metode de
discretizare, dar procedeul descris mai sus este cel mai mult
folosit. De aceea, n elaborarea teoriei din acest capitol i
din urmtorul, vom folosi numai metoda standard descris
mai sus.
7.7. Segmente de dreapt digitale
Fie dreapta (d): y = ax + b. S presupunem, pentru
nceput c 0 < a < 1, ceea ce nseamn c unghiul de pant
al dreptei este mai mic dect 45. Conform proprietii
224


7.6.2 rezult c discretizarea dreptei d este determinat de
intersecia sa cu verticalele x = m , mZ (vezi figura
7.6.2).
Fie n = [am + b], unde cu [am + b] notm cel mai
apropiat multiplu ntreg de am + b. Procedm la rotunjire
prin lips i obinem
2
1
n
< am + p n +
2
1
puncte de discretizare (m, n). Analog se procedeaz n toate
celelalte cazuri ale proprietii 7.6.2 i n toate octantele.
Teorema 7.7.1. Discretizarea unui segment de dreapt
este un 8-arc digital, care are proprietatea coardei.
Demonstraie. Fie D discretizarea segmentului de dreapt
L, despre care presupunem c are ecuaia y = ax + b i are
panta n primul octant, adic 0 < a < 1. Evident, L
intersecteaz un rnd de orizontale consecutive x = n, pe
fiecare o singur dat. Mai mult, interseciile sale cu dou
verticale succesive, x = n i x = n + 1, difer pe vertical cu
a < 1. Deci discretizrile acestor intersecii succesive vor
diferi pe vertical prin mai puin de 1. Prin urmare, punctele
consecutive ale lui D sunt 8-vecine, deci D este un arc
digital. Pentru a demonstra proprietatea coardei, fie acum p
i q dou puncte ale lui D. Segmentul de dreapt
pq

intersecteaz verticalele x = n, care se gsesc ntre p i q,
iar D intersecteaz aceste drepte. Prin urmare, pentru orice
punct (x, y)
pq
avem
2
1
x i
pentru un punct (i, j)D.
Pentru a arta
pq
se afl lng D este suficient s artm
c ori de cte ori
pq
taie o vertical x = n, punctul r al lui
D se afl pe vertical, la distan vertical mai mic dect 1
deasupra sau sub punctul de intersecie. Deoarece p i q
sunt n D, nici unul dintre ele nu poate fi deasupra de L la
distan mai mare sau egal cu
2
1
. Rezult c nici un punct
al lui
pq
nu poate fi deasupra lui L pe vertical, la distan
mai mare sau egal cu
2
1
. Pe de alt parte, deoarece r D,
225
el nu poate fi la distan mai mare de
2
1
sub L. Rezult c
dac punctul de intersecie este deasupra lui r, distana sa
deasupra lui r este
1
2
1
2
1
<

,
_

,
_

<
. Un argument similar
arat c dac punctul de intersecie este sub r, distana sa
dedesubt este mai mic dect 1.
Observaia 7.7.2. Teorema este fals dac n loc de < 1 n
proprietatea coardei se alege < 1 . De exemplu, arcul
discret din figura 7.7.1 are proprietatea coardei cu < 1, dar
nu are proprietatea coardei cu < 1 .
Figura 7.7.1.
Teorema 7.7.3. Dac un 8-arc digital are proprietatea
coardei, atunci exist un segment de dreapt din a crui
discretizare provine.
Demonstraia se face analiznd toate tipurile de 8-
arce posibile i urmnd raionamentul din demonstraia
teoremei 7.7.1.
Definiia 7.7.4. Numim segment digital (discret) un 8-arc
simplu care are proprietatea coardei.
Structura unui segment digital, care reprezint un
segment de dreapt
y = ax + b, a 0, a 1,
va fi descris n cele ce urmeaz:
Proprietatea 7.7.5.
1. Un segment digital este format din linii de puncte
imagine, avnd cel mult dou direcii, una diferind
de cealalt prin 45. Pentru una dintre aceste dou
direcii, lungimea unei linii de puncte imagine este 1
(sau h, adic latura unui pixel)(vezi figura 7.7.2);
226


2. Liniile de puncte imagine au numai cel mult dou
lungimi posibile, care sunt multipli ntregi
consecutivi de latura pixelului, h. (n figura 7.7.2
lungimile sunt 2h i 3h)
3. O lungime de linie nu se repet de dou ori succesiv.
4. Un segment digital este format din cel mult dou
tipuri de linii de puncte imagine, de lungime multipli
consecutivi de latura pixelului h, care se succed una
dup alta: una de o lungime, una de cealalt
lungime, la unghi de 45 una fa de alta. Unghiul
este constant: numai +45 sau numai 45 (n figura
7.7.2 unghiul este de +45).
Figura 7.7.2.
n figura 7.7.2 este nfiat un segment digital
provenit dintr-o dreapt cu a < 1. Pentru a > 1, aceeai
configuraie se desfoar pe vertical.
7.8. Probleme propuse
1. Scriei toi 8-vecinii pixelului (1, 4) n Z
2
.
2. Scriei toi 4-vecinii pixelului (1, 4) n Z
2
.
3. Scriei un 8-arc digital cu extremitile (2, 2) i (5, 6)
format din 7 pixeli.
4. Scriei un 4-drum simplu nchis, care s conin pixelii
(0, 0), (6, 1) i (1, 7).
5. Scriei un 8-drum simplu nchis, care s conin pixelii
(0, 0), (6, 1) i (1, 7).
227




6. Calculai distana city-block dintre pixelii (1, 4) i (2, 7).
Comparai rezultatul cu distana euclidian dintre cei doi
pixeli.
7. Calculai distana chessboard dinrte pixelii (1,4) i (2,7).
Comparai rezultatul cu distana euclidian dintre cei doi
pixeli.
8. Discretizai, folosind procedeul standard de discretizare
pentru curbe, parabola y = x
2
pentru x [0, 5].
9. Discretizai, folosind procedeul standard de discretizare
pentru curbe, hiperbola echilater y =
x
1
pentru
1
]
1

5 ,
5
1
x
.
10. Scriei toi pixelii segmentului de dreapt digital care
aproximeaz dreapta y = 3x 1 pentru x [0, 5].
11. Decidei dac 8-arcul discret format de pixelii (1,1),
(2,2), (2, 3), (3, 3), (3, 4) are sau nu are proprietatea
coardei.
12. Decidei dac 8-arcul discret format de pixelii (1,1),
(2,2), (2, 3), (3, 3), (4, 4) are sau nu are proprietatea
coardei.
13. Scriei segmentul de dreapt digital care aproximeaz
dreapta y = x + 2, pentru x [0, 5]. Calculai lungimea
euclidian, lungimea city-block i lungimea chessboard a
acestui segment de dreapt digital.
14. Discretizai dreapta de ecuaie x 2y + 2 = 0 pe
intervalul x [0, 7]. Calculai lungimea euclidian,
lungimea city-block i lungimea chessboard a acestui
segment de dreapt digital.
15. Discretizai segmentul de dreapt de ecuaie x+2y2=0
pentru x [0, 7]. Calculai lungimea euclidian, lungimea
city-block i lungimea chessboard a acestui segment de
dreapt digital.
228
Capitolul 8.
Poligoane digitale. Cercuri digitale
8.1. Poligoane digitale; triunghiuri digitale
Printr-un poligon digital se nelege un poligon cu
vrfurile pixeli i laturile segmente digitale (vezi figura
8.1.1).
n acest paragraf vor fi discutate proprieti ale
triunghiurilor digitale adic triunghiurile ale cror vrfuri
sunt pixeli i laturile sunt segmente digitale, iar lungimile
laturilor sunt msurate cu ajutorul distanei city-block, d
1
(vezi figura 8.1.2).
Figura 8.1.1.
Evident, oricare ar fi un triunghi digital, exist o
infinitate de triunghiuri a cror discretizare este. Fiecare
latur este un segment de dreapt care intersecteaz
orizontalele sau verticalele nodale n puncte a cror
imagine discret este pe o latur a triunghiului digital.
229





Pentru studiul poligoanelor digitale vom considera n
mulimea punctelor imagine 8-conexiunea, iar n
complementar 4-conexiunea.
Figura 8.1.2.
Aceasta din necesitatea de a conserva teorema lui Euler
pentru reele poligonale, care nu mai rmne adevrat n
cazul folosirii aceluiai tip de conexiune. De exemplu, s
considerm poligonul compus din reuniunea a patru ptrate
aranjate ca n figura 8.1.3.
Dac am folosi 4-conexiunea att pentru imagine ct
i pentru fond am avea v m + f = 16 16 + 4 = 4 (aici v =
16 ntruct vrfurile sunt privite ca neatingndu-se). Dar
reeaua are patru 4-componente i complementul su are
dou, astfel nct genul ei este 4 2 + 1 = 3 4.

Figura 8.1.3.
Dac am folosi 8-conexiunea att pentru imagine ct
i pentru fond am avea v m + f = 12 16 + 4 = 0, n timp
ce genul ar fi 1 1 + 1 = 1 0.
230

Dac am folosi 4-conexiunea pentru imagine i 8-

conexiunea pentru fond am avea v m + f = 4 1 + 1 = 4,
deci teorema lui Euler este verificat.
Dac am folosi 8-conexiunea pentru imagine i 4-
conexiunea pentru fond am avea v m + f = 1 2 + 1 = 0,
deci teorema lui Euler este, din nou, verificat.
8.2. Distane i unghiuri
Definiia 8.2.1. Lungimea unei laturi a unui triunghi
digital este distana city-block d
1
dintre capete.
Proprietatea 8.2.2. (inegalitatea triunghiului) Lungimea
unei laturi a unui triunghi discret nu depete suma
lungimilor celorlalte dou laturi.
Demonstraie. Presupunem c un vrf al triunghiului este
originea (0, 0), iar celelalte sunt (a, b) i (c, d). Faptul c
|c a| + |b d| (|a| + |b|) + (|c| + |d|)
este o consecin imediat a faptului c oricare ar fi
numerele reale x i y, are loc:
|x y| |x| + |y|.
Figura 8.2.1.
Observaia 8.2.3. n geometria euclidian, inegalitatea
triunghiului este strict pentru triunghiurile nedegenerate.
231

n geometria digital city-block, inegalitatea este nestrict

ori de cte ori dou vrfuri dou vrfuri se afl n cadrane
opuse relativ cu al treilea, adic atunci cnd att a i c, ct
i b i d sunt perechi de numere cu semne opuse.
Este cunoscut c un cerc de raz r este locul
geometric al punctelor din plan situate la distana r fa de
centru. Unghiul dintre dou raze ale unui cerc este
proporional cu aria sectorului circular definit de raze.
Dac aplicm definiia cercului n spaiul digital al
monitorului de calculator, msurnd cu distana d
1
, gsim
c cercul cu centrul n pixelul p i raza 3 este ptratul din
figura 8.2.1.
Figura 8.2.2.
Definiia 8.2.4. Unghiul dintre dou raze n cercul city-
block centrat n p (ptratului orientat diagonal, centrat n
p) are msura n radiani direct proporional cu fraciunea
corespunztoare din aria ptratului orientat diagonal,
centrat n p.
Proprietatea 8.2.5. Toate unghiurile drepte au msuri
egale.
Demonstraie. mprim un ptrat n patru cadrane prin
dou perpendiculare duse prin centru. Rezult patru
cadrane congruente, fiecare avnd aria egal cu
4
1
din aria
232

total a ptratului. Prin urmare, un unghi drept (n sens

euclidian) are msura

2
1
2
4
1

.
Observaia 8.2.6. Unghiurile care nu au msura multiplu
de
2

, au valoare variabile n funcie de orientarea lor. De

exemplu, s studiem unghiurile de 45 cu vrful n centrul
unui ptrat orientat diagonal (figura 8.2.2). Cnd o latur a
unghiului este orizontal sau vertical, iar alta diagonal,
atunci mprirea ariei ptratului n optimi este evident,
deci msura city-block a unghiului este

4
1
.
Figura 8.2.3.
Pe de alt parte, cnd bisectoarea unghiului este vertical,
n interiorul unghiului se gsete o suprafa mai mare
dect o optime din ptrat (vezi figura 8.2.3), adic egal cu
8

tg
8
3
. n acest caz, ntruct
1 2
8

tg
, msura
unghiular proporional este
( )
4
1 2 3
.
Cnd bisectoarea are direcia diagonal (vezi figura 8.2.4),
atunci aria cuprins ntre laturile unghiului are msura mai
mic, adic
8

tg
8
1
, iar msura unghiular proporional
este
( )
4
1 2
.
233

Figura 8.2.4.
Cu toate acestea, se regsete urmtoarea proprietate
clasic:
Figura 8.2.5.
Proprietatea 8.2.7.

Suma msurilor unghiurilor unui
triunghi digital este .
Demonstraie. Indiferent de orientarea unui triunghi, dac
plasm un vrf al triunghiului n centrul unui ptrat orientat
diagonal i trasm o linie dreapt prin el paralel cu latura
opus a triunghiului, avem trei unghiuri cu vrful n centrul
ptratului, a cror sum este proporional cu jumtate din
aria ptratului, adic este (vezi figura 8.2.5). Unul dintre
unghiuri aparine triunghiului, iar celelalte dou au aceeai
msur cu celelalte dou unghiuri ale triunghiului.
234

8.3. Proprieti ale triunghiurilor, care nu se

pstreaz prin discretizare
I. Congruena. Cazurile de congruen ale triunghiurilor
din geometria euclidian nu mai sunt adevrate n
geometria digital.
Exemplul 8.3.1. Dou triunghiuri cu dou perechi de laturi
corespunztoare de lungimi egale i toate unghiurile
corespunztoare respectiv de msuri egale nu sunt n mod
necesar congruente. De exemplu, triunghiurile din figura
8.3.1.
Figura 8.3.1.
n cazul triunghiului (a), unghiurile sunt
2

,
4

i
4

, iar
laturile au toate lungimea egal cu 2. n cazul triunghiului
(b), unghiurile sunt
2

,
4

i
4

, laturile unghiului drept

au lungimea egal cu 2, iar latura opus are lungimea egal
cu 4.
Exemplul 8.3.2. Dou triunghiuri cu toate trei perechile de
laturi de lungimi egale nu sunt neaprat congruente. S
considerm, de exemplu, triunghiurile din figura 8.3.2. Att
n triunghiul (a) ct i n triunghiul (b), lungimile laturilor
sunt 4, 4 i 2, dar toate unghiurile au msuri diferite.
235

(b)


(a)
II. Triunghiurile echilaterale. Din figura 8.3.1 se observ
c triunghiul (a) are toate laturile egale cu 2, dar unghiurile
nu sunt toate de aceeai mrime, adic
3

, ca n cazul unui
triunghi echilateral din geometria clasic. n cazul
triunghiului (a) din figura 8.3.1, msurile unghiurilor sunt
2

,
4

i
4

. Aceasta nseamn c un triunghi echilateral

nu este, n mod necesar, echiunghiular.
Figura 8.3.2.
n plus, unghiurile de la baza unui triunghi isoscel nu sunt
n mod necesar congruente.
III. nlimi i arii. nlimea unui triunghi, msurat
dintr-un vrf dat, este distana city-block de la vrf la latura
opus. Aria unui triunghi, n geometria clasic, este
semiprodusul dintre lungimea unei laturi i nlimea
corespunztoare. Acelai rezultat se obine dac se
folosete oricare dintre laturi i nlimea corespunztoare.
n geometria city-block acest rezultat nu se mai pstreaz.
La schimbarea laturii i a nlimii este posibil s se obin
valori diferite ale ariei.
Exemplul 8.3.3. n cazul triunghiului (a) din figura 8.3.1,
nlimile triunghiului sunt egale cu 1, 2, 2, dar triunghiul
este echilateral, cu lungimea laturii egal cu 2. Deci,
nlimile unui triunghi echilateral nu sunt toate egale. Mai
mult, n geometria clasic, lungimea oricrei nlimi este
mai mic sau cel mult egal (n cazul triunghiului
236


(b)

(a)

dreptunghic) dect laturile care formeaz vrful din care
aceasta pornete. La triunghiul echilateral fiecare nlime
este mai mic dect latura. n cazul triunghiului echilateral
(a) din figura 8.3.1, dou dintre nlimile triunghiului sunt
egale 2, iar lungimea laturii este egal tot cu 2, deci
nlimea i latura sunt egale. Tot din acest exemplu rezult
c dac dou nlimi sunt egale, laturile opuse nu sunt n
general egale, deci triunghiul nu este neaprat isoscel. Este
posibil ca un triunghi cu toate trei nlimile egale s nu fie
echilateral.
IV. Triunghiuri dreptunghice. n triunghiurile
dreptunghice din geometria city-block nu are loc teorema
lui Pitagora. De fapt, dac un triunghi dreptunghic are
laturile unghiul drept format de o vertical i o orizontal,
atunci lungimea ipotenuzei este egal cu suma lungimilor
catetelor. Cnd catetele sunt segmente diagonale, atunci
ipotenuza este egal cu cea mai mare catet.
n triunghiurile dreptunghice apar dificulti n
definirea funciilor trigonometrice.
Exemplul 8.3.4. n cazul triunghiului (a) din figura 8.3.1,
unghiurile ascuite au msura
4

i folosind definiia
clasic a funciilor trigonometrice, gsim sin
4

= cos
4

=
1. n cazul triunghiului (b) din figura 8.3.1, unghiurile
ascuite au tot msura
4

, dar folosind definiia clasic a

funciilor trigonometrice, gsim sin
4

= cos
4

=
2
1
. Prin
urmare, nu este posibil elaborarea unei trigonometrii city-
block.
Se observ, din exemplele de mai sus, c unele
concepte ale geometriei clasice nu se pot defini n cazul
discret. De exemplu, un segment poate s nu aib mijloc,
atunci cnd conine un numr par de puncte.
237
8.4. Ptrate digitale
Definiia 8.4.1. O mulime finit F se numete ptrat
digital dac i numai dac exist un ptrat real Q astfel
nct F este discretizarea lui Q (vezi figura 8.4.1).

Figura 8.4.1.
Observaia 8.4.2. Dac o mulime de pixeli S reprezint un
ptrat discret atunci S este o component 8conex (vezi
figura 8.4.1).
Observaia 8.4.3. Cazurile banale sunt cele ale ptratelor
care se discretizeaz ntr-un punct (vezi figura 8.4.2. (a))
sau n dou puncte imagine.

Figura 8.4.2.
238










(b)



(a) (c)
Orice mulime digital format din cel mult doi
pixeli aflai n poziie vecin orizontal (vezi figura 8.4.2
(b)) sau vertical este un ptrat digital. O mulime digital
format din 2 pixeli 8-vecini diagonali, ca n figura 8.4.2
(c) nu este un ptrat digital.
Avnd n vedere observaia 8.4.3, vom presupune n
cele ce urmeaz c mulimile digitale S despre care se va
discuta vor avea cel puin 3 puncte.
Figura 8.4.3.
Proprietatea 8.4.4. Fie ABCD un ptrat real i fie P, Q,
R, T punctele de pe laturi astfel nct segmentele PR i
QT
se intersecteaz formnd un unghi drept. Fie
ABCD poligonul obinut prin rotirea fiecrei laturi a
ptratului ABCD n sensul acelor de ceasornic, cu un
unghi n jurul punctului P, Q, R, sau T, care i aparine.
Atunci ABCD este un ptrat.
Demonstraia proprietii este clasic i o vom omite.
Proprietatea 8.4.4 rmne adevrat dac punctele P,
Q, R i T sunt pe prelungirile laturilor ptratului ABCD. Ea
ofer un procedeu de construire a unui ptrat care
aproximeaz un alt ptrat dat (vezi figura 8.4.3), despre
care se poate demonstra c au aceeai imagine digital.
239
B
A P B

A
Q
T C
C
D R
D
Aceasta se ntmpl dac unghiul de rotaie este suficient
de mic.
Consecina 8.4.5. Oricare ar fi un ptrat digital S, exist o
infinitate de ptrate reale, a cror discretizare este S.
8.5. Cercuri digitale
Geometria computaional are drept prim scop
alctuirea unui catalog de imagini digitale care reprezint
diferite obiecte ale geometriei clasice. Formele digitale care
pot fi denumite cercuri, ntruct sunt aproximante ale unor
cercuri reale, sunt printre imaginile ce nu pot s lipseasc
dintr-un astfel de catalog.
Definiia 8.5.1. O mulime digital R se numete cerc
digital dac exist un cerc real C astfel nct R este
discretizarea lui C.
Folosim, n vederea aproximrii, procedeul de discretizare
standard, aplicar i pentru segmente de dreapt i teoria
poligoanelor.
Observaia 8.5.2. Pentru un cerc real dat, se convine ca
circumferina s se parcurg n sens orar.
Folosim, n vederea aproximrii, procedeul de
discretizare standard, aplicat i pentru segmente de dreapt
i teoria poligoanelor. Astfel, discretizarea cercului din
figura 8.5.1 ia n considerare nodurile de reea ngroate n
desen. Pixelii implicai n aceast discretizare, reprezentai
prin centrii lor ce sunt nodurile ngroate n figura 8.5.1,
sunt sco i n eviden n figura 8.5.2.
Observaia 8.5.2. Pentru un cerc real dat, se convine ca
circumferina s se parcurg n sens orar.
Pentru a caracteriza o mulime finit de pixeli care
este imaginea discret a unui cerc, presupunem c centrul
este dat. Fie o = (p, q) un punct, ales ca centru.
240
Figura 8.5.1.
S reamintim c un octantele definite de punctul c
sunt regiunile din plan mrginite de dreptele:
x = p, y = q, y = x + q p, y = x + q + p,
care se intersecteaz n punctul o = (x
o
, y
o
) (vezi figura
8.5.3). Intersecia dintre un cerc digital R i un octant este
un 8-arc digital.
Proprietatea 8.5.3. Dac R este o mulime de puncte
digitale care reprezint un cerc cu centrul n pixelul o,
distana c(o, x) de la centrul o la punctele x R, are un
numr finit de valori ntregi.
Demonstaria se face prin examinarea tuturor
cazurilor posibile pentru discretizarea unui cerc real cu raza
dat, de exemplu 2.
Fie deci un cerc digital R, cu centrul o. Urmtoarele
proprieti ale mulimii R sunt evidente, fiind consecine
ale procedeului de discretizare i ale proprietii 8.5.3.
Consecina 8.5.4. Un cerc discret este o mulime 8-conex.
241
Figura 8.5.2.
Pentru o mulime digital R considerm urmtoarele
dou aseriuni, care formeaz condiia cunoscut n
literatur ca fiind condiia CDC.
(1) Fiecare punct din R are cel puin doi 8-vecini.
Intersecia dintre R i fiecare octant este un 8-arc
digital;
(2) Fie punctele digitale m
i
=(p
i
,q
i
) i puncte digitale
n
j
=(p
j
,q
j
), i,jN, din R astfel nct c
2
(o, m
i
) =
max{c
2
(o, a) | a R} i c
2
(o, n
i
) = min{c
2
(o, a) | a
R}. Considerm punctele digitale m
i
i n
i
. Pentru
aceste puncte definim punctele digitale m
i
i n
j

astfel:
242
m
i
=

'

,
_

,
_

,
_

,
_

(VII) sau (VI) Octant m pentru ,

2
1
q , p
(V) sau (IV) Octant m pentru , q ,
2
1
p
(III) sau (II) Octant m pentru ,
2
1
q , p
(VIII) sau (I) Octant m pentru , q ,
2
1
p
i i
i i
i i
i i
n
j
=

'

,
_

,
_

,
_

,
_

+
(VII) sau (VI) Octant m pentru ,
2
1
q , p
(V) sau (IV) Octant m pentru , q ,
2
1
p
(III) sau (II) Octant m pentru ,
2
1
q , p
(VIII) sau (I) Octant m pentru , q ,
2
1
p
j j
j j
j j
j j
Figura 8.5.3.
Atunci c
2
(o, m
i
) < c
2
(o, n
j
).
Proprietatea 8.5.7.

Pentru o mulime finit dat R de
puncte digitale i un punct dat o exist un cerc real C cu
centrul o, astfel nct R este discretizarea lui C dac i
numai dac R satisface condiia CDC.
Dac R este un cerc digital, atunci punctele digitale
m sunt pixelii cercului digital, care sunt situai la distana
243
III II
IV I
o
V VIII
VI VII
cea mai mare fa de centru, adic pixelii cu centrul n
exteriorul cercului real (vezi figurile 8.5.1 i 8.5.2).
Punctele digitale m sunt pixelii cercului digital, care sunt
situai la distana cea mai mic fa de centru, adic pixelii
cu centrul n exteriorul cercului real (vezi figurile 8.5.1 i
8.5.2).
8.6. Probleme propuse
1. S se discretizeze triunghiul ABC, unde A(1, 1), B(0, 6),
C(3, 0).
2. S se determine perimetrul triunghiului digital ABC, cu
A(0, 0), B(1, 2) i C(4, 1) n distana chessboard.
Comparai cu perimetrul triunghiului ABC din geometria
euclidian.
3. S se determine perimetrul triunghiului digital ABC, cu
A(0, 0), B(1, 2) i C(4, 1) n distana city-block. Comparai
cu perimetrul triunghiului ABC din geometria euclidian.
4. Discretizai ptratul ABCD, cu A(-2,-2), B(-2,2), C(2,2)
i D(2,-2). Calculai diagonala AC a ptratului folosind
distana chessboard, distana city-block i distana
euclidian.
5. Discretizai patrulaterul determinat de dreptele de
ecuaii:
(d
1
): 2x y + 4 = 0,
(d
2
): x 2 y + 1 = 0,
(d
3
): x 3y + 4 = 0,
(d
4
): 3x y + 1 = 0.
6. Discretizai rombul determinat de dreptele
(d
1
): 2x y + 4 = 0,
(d
2
): x 3y + 4 = 0,
i vrful C(0, 5) opus punctului A = (d
1
) (d
2
).
7. Discretizai cercul cu centrul n originea reperului
cartezian i raza r = 3.
244
8. Determinai pixelii comuni cercurilor digitale cu aceeai
raz r = 4 i centrii C
1
(2, 2) i C
2
(2, 5).
245
Bibliografie
1. Albu, A. C., Obdeanu, V., Popescu, I. P., Rad, F.,
Smaranda, D., Geometrie pentru perfecionarea
profesorilor, Editura didactic i pedagogic,
Bucureti, 1983.
2. Bercovici, M., Rimer, S., Triandaf, A., Culegere de
probleme de geometrie analitic i diferenial,
Editura didactic i pedagogic, Bucureti, 1973.
3. Blaga, L., Lupa, L., Algebra, Analytic Geometry,
Differential Geometry, I, Ed. Mega, Cluj-Napoca,
2008.
4. Blaga, L., Lupa, L., Algebra, Analytic Geometry,
Differential Geometry, II, Ed. Mega, Cluj-Napoca,
2008.
5. Blumenthal, L. M., Theory and Applications of
Distance Geometry, Oxford, Clarendon Press, 1953.
6. Blumenthal, L. M., Menger, K., Studies in Geometry,
W.H. Freeman and Company, San Francisco, 1970.
7. Bow, S. T., Pattern Recognition and Image
Preprocessing, Marcel Dekker, New York, 1992.
8. Bryant, V., Metric spaces: iteration and application.
Cambrige University Press, Cambridge, 1994.
9. Chassery, J. M., Connectivity and consecutivity in
digital pictures, Computer Graphics and Image
Processing, 9(1979), 294-300.
10. Chiri, S., Probleme de matematici superioare,
Editura didactic i pedagogic, Bucureti, 1989.
11. Craioveanu, M., Lecii de topologie (I), Tipografia
Universitii din Timioara, Timioara, 1979.
12. Craioveanu, M., Lecii de topologie (II). Elemente de
topologie algebric, Tipografia Universitii din
Timioara, Timioara, 1988.
246
13. Craioveanu, M., Geometrie afin i euclidian,
Exerciii, Editura Facla, Timioara, 1982.
14. Craioveanu, M., Introducere n geometria diferenial,
editura Universitii de Vest, Timioara, 2008.
15. Cristescu, G., ALGADED, vol. II, Geometrie analitic
i diferenial, Lit. Universitatea Aurel Vlaicu din
Arad, 1991.
16. Cristescu, G., Behaviours implications and
applications in convexity recognition and in topology,
Monographical Booklets in Applies & Computer
Mathematics, MB-14, PAMM-Centre, Technical
University of Budapest, Budapest, 2000.
17. Cristescu, G., Lupa, L., Non-Connected Convexities
and Applications, Kluwer Academic Publishers,
Dordrecht / Boston / London, 2002.
18. Davis, L. S., Foundations of image understanding,
Kluwer Academic Publishers, Dordrecht / Boston /
London, 2001.
19. Finikov, S. P., Curs de geometrie diferenial, Editura
Tehnic, Bucureti, 1954.
20. Freeman, H., Shapira, R., Determining the minimum-
area encasing rectangle for an arbitrary closed curve,
Commun. ACM, 18(1975), 409-413.
21. Galbur, Gh., Rad, F., Geometrie, Editura didactic i
pedagogic, Bucureti, 1979.
22. Kltnik, D., Problmes de gomtrie analytique,
ditions MIR, Moscova, 1981.
23. Lang, S., Fundamentals of Differential Geometry,
Graduate Texts in Mathematics, Vol. 191, Springer
Verlag, New York, 2001.
24. Mihu, C., Iambor, I.P., Curbe plane, Editura Tehnic,
Bucureti, 1989.
25. Moise, E. E., Geometric Topology in Dimensions 2
and 3, Graduate Texts in Mathematics, Vol. 47,
Springer Verlag, New York, Heidelberg, Berlin, 1977.
247
26. Myller, A., Geometrie analitic, Editura didactic i
pedagogic, Bucureti, 1972.
27. Nakamura, A., Aizawa, K., Digital squares, Computer
Vision, Graphics and Image Processing, 49(1990),
357-368.
28. Nakamura, A., Aizawa, K., Digital circles, Computer
Vision, Graphics and Image Processing, 26(1984),
242-255.
29. Oproiu, V., Geometrie diferenial, Editura
Universitii Al. I Cuza, Iai, 2002.
30. Rosenfeld, A., Some notes on digital triangles, Pattern
Recognotion Letters, 1(1983), 3, 147-150.
31. Rosenfeld, A., Picture Languages, Academic Press,
New York, 1979.
32. Rosenfeld, A., Picture processing by computer, vol. I-
II, Academic Press, New York, 1969.
33. Sternberg, S., Lectures on Differential Geometry,
Prentice-Hall Inc., Englewood Cliffs, N.J., 1964.
34. Teodorescu, I.D., Geometrie analitic i elemente de
algebr liniar, Editura didactic i pedagogic,
Bucureti, ediia I 1965, ediia a II-a an neprecizat.
35. Teodorescu, I.D., Geometrie analitic i elemente de
algebr liniar. Culegere de probleme, Editura
didactic i pedagogic, Bucureti, 1971.
36. Vrnceanu, G., Geometrie analitic, proiectiv i
diferenial, Editura didactic i pedagogic, Bucureti,
1968.
248