Capítulo V

Triangulaciones y subdivisiones
Sea R una región poligonal. Una triangulación
de R es una colección finita:
K T T Tn- Tn= { 1, 2, …, 1, }

donde los Ti son regiones triangulares tal que:

i Los triángulos Ti se intersectan únicamente
)

en los vértices y en las aristas.

ii
) ⋃i Ti
n
=1
= R

Una colección K que satisface ( ) i es llamado

complejo.
Dados dos complejos:
K T T = { Tn- Tn
1, 2, …, 1, }

K T T
′ = Tm- Tm
′,
1
′, … ,
2
′
1
, ′

Si cada Tj está en alguno de los Ti , entonces

′

decimos que K es una subdivisión de K.

′

Sea P un polígono con vértices P P Pn . 1, 2, …,

Supongamos que para cada par de vértices

sucesivos Pi y Pi todos los otros vértices del
+1

polígono están en el mismo lado de la recta

Pi Pi . Entonces, el polígono P es llamado
+1

convexo.
P
P
2

P 3
1

P 4
P 5

De esto se sigue que si Pi , Pi , Pi son +1 +2

vértices sucesivos, entonces los otros vértices (si

existen) están en el interior del Pi Pi Pi . ∠ +1 +2

El interior de un polígono convexo es la

intersección de los interiores de sus ángulos.
Un región R es una región poligonal convexa si,
R es la unión de un polígono convexo y su
interior.
Sea R una región poligonal convexa. Una
triangulación en estrella de R, se define de la
siguiente manera:
P R
P
2

P 1

P
P
0

P 4
5

donde P pertenece al interior de la región

poligonal convexa R.
0

Teorema 1. Sea R una región poligonal convexa

y L una recta que intersecta al interior de R.
Entonces, L descompone a R en dos regiones
poligonales convexas.

L
R
R R
1

Dem. Sean H y H los semiplanos que tienen a

L como borde.
1 2

⏨H ⏨ H L = ∪

⏨H ⏨ H L
1 1

2 = 2 ∪

Notemos que:
R R ⏨H ⏨ = ∩

R R ⏨H ⏨
1 1

= ∩

Así, tenemos que R y R son regiones

2 2

1 2

poligonales convexas.
□
Teorema 2. Cualquier par de triangulaciones de
la misma región poligonal tiene una subdivisión
común. Es decir, si K y K son triangulaciones
de R, entonces existe una triangulación K de R
1 2

tal que K es una subdivisión de K y K . 1 2

Dem. En primer lugar, consideremos el siguiente

diagrama:

…
L
Sean L , L , , Ln rectas que contienen una
1

arista de algún elemento de K K .

1 2

Notemos que L descompone cada Ti en K (Tj

1 2

en K ) en dos regiones poligonales convexas si,

1 1

intersecta al interior los elementos de K K .

2

1 ∪ 2

Por inducción, se sigue que la unión de todas las

rectas Li s descomponen a R en una colección
'

finita de de regiones poligonales convexas:

C C Cm { 1, 2, …, }

Notemos que Ck está en algún Ti K y algún ∈

Tj K . Para cada Ck consideremos la

1

∈ 2

triangulación estrella. De donde obtenemos una

subdivisión K de K y K . 1 2

□
Definición. Dos regiones poligonales R y R 1 2

son equivalentes por descomposición finita si,

tienen triangulaciones:
K Tn = { T T
1, 2, …, }

K Tn T T
1

= ′, ′, … , ′
2 1 2

respectivamente, de modo que Ti Ti para ≅ ′

todo i n . En este caso, escribimos:

∈ { 1, 2, … , }

R R 1 ≡ 2

R 1
R 2

Teorema 3. La relación por descomposición

finita es una relación de equivalencia.
Dem. Notemos que:

i Si R es una región poligonal, entonces:

)

R R ≡

ii Si R R , entonces:
) ≡

R R
1 2

2 ≡ 1
 iii Si R R y R R , entonces:
) ≡ ≡

R R
1 2 2 3

1 ≡ 3

Sean:
K
T T Tn = { 1, 2, … }

K
S S Sn
1

2 = 1
, 2
, … ,

triangulaciones de R y R , respectivamente,
1 2

donde:
Ti Si ≅

par todo i n.
∈ { 1, 2, … , }

Sean:
K
S S Sm ′ = ′, ′, … , ′

K
U U Um
2 1 2

= { 1, 2, …, }

triangulaciones de R y R , respectivamente,
3

2 3

donde:
Si Ui ′ ≅

par todo i n.
∈ { 1, 2, … , }

Sea K una subdivisión común de K y K . ′

Entonces, como K es un subdivisión de K y

2 2

R R , entonces existe una subdivisión de

2

K es copia de K. Además, existe una

1 2

subdivisión de K que es copia de K.

1

Así, tenemos que:

R R 1 ≡ 3

Geometría Euclidiana y el Teorema de Bolyai

Si dos regiones triangulares son equivalentes por
descomposición finita, entonces ambas regiones
tienen la misma área. Si
R T T Tn
= ∪ ∪…∪

R T T Tn
1 1 2

= ′ ∪ ′ ∪…∪ ′

donde Ti Ti para todo i n.

2 1 2

≅ ′ ∈ { 1, 2, … , }

Entonces, Ti Ti , de donde obtenemos

𝛼( ) = 𝛼 ′

que R 𝛼( R .
1) = 𝛼( 2)

Sea ABC, con ⏨⏨

△ BC como la base:
A
FD E H
G C
B
Sean D y E los puntos medios de los segmentos
⏨⏨
AB y ⏨⏨
AC respectivamente. Sean F, G, y H las
proyecciones ortogonales de los puntos B, A, y
C sobre la recta DE, respectivamente. Notemos
que:
BFD
△ AGD ≅ △

CHE
△ AGE ≅ △

Definición. El rectángulo ⬜BFHC es llamado

rectángulo asociado con ABC. △

Teorema 4. Toda región triangular es

equivalente por descomposición finita a su
región rectangular asociada.
Dem. Consideremos los siguientes casos:
i A
)

G FE H
D
B C

A
F D H
E G
B C
Teorema 5. Si dos regiones triangulares tienen la
misma base y el mismo área, entonces son
equivalentes bajo descomposición finita.
Dem. Sean T y T dos regiones triangulares con
′

base b y sean R y R las regiones rectangulares

′

asociadas a T y T respectivamente. Entonces,

′,
RyR tienen la misma base b. De donde
′

tenemos que:
𝛼( R ) = 𝛼( T )

= 𝛼 T ′

= 𝛼 R ′

Entonces, R y R tienen la misma altura. Por lo

′

que, tenemos que R R . ≡ ′

T R ≡

R ≡ ′

T ≡ ′

Así, tenemos que:

T T ≡ ′

□
Teorema de Bolyai. Si dos regiones triangulares
tienen el mismo área, entonces son equivalentes
bajo descomposición finita.
Dem. Sean T y T dos regiones triangulares tal
que T T . Consideremos
1 2

𝛼( 1) = 𝛼( 2)

T 1 = △ ABC int ABC ∪ (△ )

Entonces, consideremos los siguientes casos:

i Supongamos que T tiene un lado

)

congruente con T . Entonces, tenemos que

1

T T.
2

1 ≡ 2

ii Supongamos que T tiene un lado de

)

longitud a AC. Entonces, consideremos el

2

>

siguiente diagrama:

D A TK 1

F E H
J
B C
a
Sea J un punto sobre DE tal que CJ . =

Sea K un punto tal que K-J-C y JK . a 2

Sea T KBC int KBC . Entonces,

2

3 = △ ∪ (△ )

tenemos que:
T R ≡

T
3

≡ 1

Además, como tenemos que que:

𝛼( T 1) = 𝛼( T 2)

De donde, obtenemos que:

𝛼( T 3) = 𝛼( T 2)

Por lo que, tenemos que:

T T 3 ≡ 2

Así, tenemos que:

T T 1 ≡ 2

□
Teorema 6. En un plano Euclidiano, toda región
poligonal es equivalente por descomposición
finita a una región triangular.
Dem. Sea R una región poligonal, con la
siguiente triangulación:
K T T Tn
= { 1, 2, …, }

donde ai = 𝛼( Ti para todo i

) ∈ { 1, 2, … , n.
}

Entonces, tenemos que:

A
2

B B Bn
B a a an 0
1
1 2

Sean Ti ABi- Bi int ABi- Bi .

2

′ = △ ∪ (△ )
1 1

Entonces, notemos que:

𝛼 Ti ′ = 𝛼( Ti )

para todo i n ∈ { 1, 2, … , }

De donde, tenemos que:

Ti Ti′ ≡

para todo i ∈ { 1, 2, … , n }

Así, tenemos que R es equivalente por

descomposición finita ⋃i Ti.
n
=1
′

□
Teorema 6. En un plano Euclidiano, si dos
regiones poligonales tienen la misma área,
entonces son equivalentes por descomposición
finita.