Teorema fundamental da proporcionalidade

Sadao Massago
Maio de 2010 a Fevereiro de 2014

Sumrio
1 Preliminares

2 Teorema Fundamental da proporcionalidade

Referncias Bibliogrcas

Neste texto, o Teorema fundamental da proporcionalidade ser demonstrado.

Preliminares

Uma das propriedades dos nmeros reais a ser utilizado

Propriedade 1.1 (Arquimediana dos nmeros reais). Dado um nmero real, existe um nmero
natural maior que ele.
A propriedade arquimediana equivalente a dizer que,para todo nmero real
n tal que n1 < .
Tambm vamos precisar do teorema de Tales.

> 0,

existe

um nmero natural

Teorema 1.2

(Tales)

Se trs retas paralelas determina (dois) segmentos congruentes a uma

reta concorrente, ento determina (dois) segmentos congruentes em qualquer das retas concorrentes.

Signicado.

r1 , r2 e r3 trs retas paralelas entre si. Suponha que s seja concorrentes

A1 , A2 e A3 so pontos de interseces de s com r1 , r2 e r3 respectivamente de
modo que A1 A2 = A2 A3 . Neste caso, para qualquer reta t cruzando r1 , r2 e r3 em B1 , B2 e B3
respectivamente, tem-se que B1 B2 = B2 B3 .
Sejam

a estas retas e

Teorema Fundamental da proporcionalidade

Uma consequncia do Teorema de Tales

Proposio 2.1

(Corolrio do Teorema de Tales)

Se um conjunto das retas paralelas deter-

minam segmentos congruentes numa reta concorrente, ento determina segmentos congruentes
em qualquer das retas concorrentes.

Signicado.

ri com i = 0, . . . , n as retas paralelas. Se s1 uma reta concorrente a estas

na qual os pontos Ai determinado como interseco com ri so igualmente espaados, ento
para toda reta concorrente s2 , os pontos Bi determinados como interseco com ri tambm so
Sejam

igualmente espaados.

Demonstrao. Consideremos as retas paralelas r0 , r1 , . . . , rn que cortam a reta s1 nos pontos

Pi respectivamente, determinando segmentos congruentes, isto , Pi Pi+1 = Pi+1 Pi+2 para i =
0, . . . , n 2.
Se s2 for reta concorrente a r0 , ser concorrente a todos ri . Consideremos o ponto de
interseco Qi de s2 com ri (Figura 1).

s1
r0

ri

s2
Q0

P0

Qi

Pi

Qn

rn Pn

Figura 1: O corolrio do Teorema de Tales

Para cada
de Tales, por
sobre

i = 0, . . . , n 2, Pi Pi+1 = Pi+1 Pi+2 implica que Qi Qi+1 = Qi+1 Qi+2 pelo Teorema
ri , ri+1 e ri+2 serem retas paralelas. Logo, ri determinam segmentos congruentes

s2 .

Proposio 2.2.
em

Dado um nmero inteiro positivo

n,

qualquer segmento

AB

pode ser dividido

partes iguais.

Demonstrao. Seja

AB um segmento e n > 0 um nmero inteiro. Considere C fora da reta

A e B . Na semirreta de origem em A determinado pelos pontos A e C ,
P0 = A, P1 = C e Pi ordenados sobre a semi reta com espaamento AC , para

determinada pelo
considere pontos

i = 0, . . . , n

(Figura 2).

Pn

Pi

P1 = D
B = Qn
P0 = A = Q0

Q1

Qi

Figura 2: Dividindo o segmento

AB

paralelas a Pn B pelos pontos Pi , e sejam Qi a interseco desta reta com

AB . Como ri no pode cruzar a reta rn e Pi esto no mesmo lado de A
relativamente a rn , Qi tambm estaro. Da mesma forma, Qi estaro no mesmo lado de B
relativamente a reta r0 passando por A. Desta forma, Qi esto sobre AB .
Como Pi so igualmente espaados, Qi tambm sero igualmente espaados pelo corolrio
Passando retas

ri

o prolongamento de

do Teorema de Tales (Proposio 2.1).

{ai }

{bi }

so ditos proporcionais se existir um numero tal

a
que bi = ai para todo i. Quando a diviso permitida, equivalente a dizer que i = para
bi
todo i. Tal denominado de razo da proporcionalidade.
Dois conjunto dos nmeros

Denio 2.3.

Dois tringulos so ditos semelhantes quando os ngulos correspondentes so

congruentes e os lados correspondentes so proporcionais.

Signicado. 4ABC e 4DEF

de ter

AB
DE

BC
EF

A = D, B = E

so semelhantes se,

C = F ,

alm

AC
.
DF

A razo das medidas entre os lados correspondentes num tringulo semelhante denominado
de razo da semelhana.

Exerccio 2.4.

Mostre que a razo entre dois lados de um tringulo igual a razo entre dois

lados correspondentes do tringulo semelhante a ele.

Signicado. 4ABC e 4DEF

so semelhantes ento

AB
AC

DE AB
,
DF BC

DE
BC
e
EF
AC

EF
.
DF

O teorema fundamental da proporcionalidade caracteriza os tringulos semelhantes.

Teorema 2.5 (fundamental da proporcionalidade).

Dois tringulos tem ngulos corresponden-

tes congruentes se, e somente se, tem os lados correspondentes proporcionais.

Signicado. 4ABC
AB
DE

BC
EF

4DEF

tem

A = D, B = E

C = F

se, e somente se,

AC
.
DF

Demonstrao.

( = ) Se provarmos que a razo entre um par de lados correspondentes igual

a razo entre outro par de lados correspondentes, podemos concluir que a razo entre qualquer
dos lados correspondentes so iguais.
0 0 0
Considere 4ABC e 4A B C com ngulos correspondentes congruentes.

Se eles tiverem

um lado igual, sero congruentes por ALA e tero todos lados congruentes e os tringulos
so semelhantes com razo de semelhana

1.

Agora consideremos o caso de ter lados no

congruentes. Sem perda de generalidade, podemos supor que A0 B 0 < AB . Ento podemos
0 0 0
construir 4ADE congruente a 4A B C sobreposta a 4ABC . Para isso, considere D sobre
AB tal que AD = A0 B 0 e E sobre AC tal que AE = A0 C 0 , o que garante a congruncia de

4ADE

com

4A0 B 0 C 0

por LAL.

Como ngulos correspondentes entre

4ABC

ngulos correspondentes formado pela interseco

a

4ADE so iguais, ADE = B

de AB com DE e BC . Logo, DE

que so
paralelo

BC .

Assim, podemos considerar o caso 4ABC e 4ADE com D sobre AB e DE paralelo a BC

AD
na qual queremos mostrar que
= AE
.
AB
AC
Inicialmente, consideremos os pontos A = P0 , P1 , . . . , Pn1 , Pn = B de forma que Pi dividam
AB
o segmento AB em n partes iguais, isto , Pi Pi+1 =
para i = 0, . . . , n 1 (Figura 3).
n
Como D est em AB , estar em algum segmento Pkn Pkn +1 de modo que APkn AD <
AB
APkn +1 . Como Pi so igualmente espaados, APi = i AB
e temos kn
AD < (kn + 1) AB
.
n
n
n
AD
kn +1
AD
kn
kn
kn
1
kn
1
Dividindo por AB , temos
AB < n = n + n . Subtraindo n , temos 0 AB n < n .
n


 AD kn  1
Assim, 
n  < n para todo n > 0.
AB
3

P0 = A
P1

Pk n
D

Pkn +1

B = Pn

C
Figura 3: Dividindo o lado

AB

AC . Traaremos as retas ri paralelas

Pi e consideremos os pontos Qi obtidas como
interseco de ri com o prolongamento do lado AC . fcil ver que Q0 = A e Qn = C . Para
i = 1, . . . , n 1, como ri no podem cruzar nem r0 e nem o rn , Pi estar entre eles implica que
Qi tambm estaro entre eles e consequentemente, Qi esto no segmento AC .
Como ri so paralelas e determinam segmentos congruentes sobre AB , tambm determinar segmentos congruentes sobre AC (Figura 4) pelo corolrio do Teorema de Tales (PropoAgora precisamos vericar o que acontece no lado

BC

(e logo a

DE

tambm) pelos pontos

sio 2.1).

P0 = A = Q0
r0
r1

Pk n
D

rkn
rkn +1

rn

Q1

P1

Qkn
E

Pkn +1

Qkn +1

B = Pn

C = Qn
Figura 4: As retas paralelas passando por

E dever
car


 AE kn  1
entre Qkn e Qnk +1 . De forma anloga ao caso feito pelo D e Pi , temos que 
n  < n para
AC 

 
 


 AD AE   AE kn kn AE   AD kn   AE kn 
todo n > 0. Assim, temos que 

<






n
n
n
n 
AB
AC
AC
AC
AC
 AB

 AD AE 
1
+ n1 = n2 para todo n > 0. Ento AD
= AE
, pois caso contrrio, 
AC  < n2 implicaria
n
AB
AC
AB
Como

DE

paralelo a

ri , ele no poder cruzar rkn

nem o

rnk +1

Pi
de forma que

que

n<

2


 AD AE  , signicando que existe um nmero real maior que qualquer nmero inteiro,
 AB AC 

contradizendo a propriedade arquimediana dos nmeros reais (Propriedade 1.1).

0C0
A0 B 0
= AAC
.
Portanto
AB
(=) Seja 4ABC e 4A0 B 0 C 0 com lados proporcionais. Se AB = A0 B 0 ento dois tringulos
so congruentes por ALA e logo tem ngulos correspondentes congruentes. Se estes lados no
forem congruentes, podemos supor sem perda de generalidade que A0 B 0 < AB . Seja D um
ponto sobre AB de forma que AD = A0 B 0 . Considere E sobre AC de forma que DE
paralelo a

BC .

4ADE

4ABC

tem ngulos correspondentes congruentes e pelo que

j demonstramos, ter os lados correspondentes proporcionais. Como AD = A0 B 0 , a razo
0 0 0
de semelhana de 4ADE e 4A B C com o 4ABC igual, o que implica que 4ADE e
4A0 B 0 C 0 so congruentes por LLL. Logo, 4A0 B 0 C 0 tem ngulos correspondentes congruentes
com

4ADE

Ento

que por sua vez, tem os ngulos correspondentes congruentes com

4ABC .

O teorema acima garante que os tringulos com ngulos correspondentes congruentes so

semelhantes e os tringulos com lados correspondentes proporcionais tambm so semelhantes.
O Teorema de Tales generalizada, tambm conhecido como Teorema da projeo paralela
um resultado equivalente ao Teorema fundamental da proporcionalidade.

Teorema 2.6 (Tales generalizado).

Dado trs retas paralelas, eles determinam segmentos com

a mesma proporo, independente da reta concorrente.

Signicado.

e s2 so as retas concorrentes
A1 A2
1 B2
.
ri , determinando pontos de interseco Ai e Bi com ri , ento A A = B
B2 B3
2 3
Sejam

ri

com

i = 1, 2, 3

as retas paralelas. Se

s1

Demonstrao. Sejam r1 , r2 e r3 as retas paralelas e s1 e s2 so retas concorrentes a ri . Precisamos mostrar que os segmentos determinados por
determinados sobre

r1 , r2

r3

s2 .

Consideremos

A1 , A2

A3 ,

respectivamente. Tambm consideremos

com as retas

r1 , r2

ri

sobre

s1

so proporcionais aos segmentos

os pontos de interseco de

B1 , B2

B3 ,

s1

com as retas

os pontos de interseco de

s2

r3

respectivamente.
A A
B B
Queremos provar que 1 2 = 1 2 .
A2 A3
B2 B3
Sejam P e Q, os pontos sobre as retas

r2 e r3 respectivamente, obtido pela interseco com

B1 . Ento A1 A2 P B1 e A2 A3 QP so paralelogramos
B P
B B
e consequentemente, A1 A2 = B1 P e A2 B3 = P Q. Logo, basta mostrar que 1 = 1 2 . Como
PQ
B2 B3
B1 P B2 = P QB3 por ser ngulos correspondentes formado por B1 Q e as retas paralelas r1
e r2 , temos que 4B1 P B2 e 4B1 QB3 tem ngulos congruentes (pois B1 comum) e pelo
a reta paralela ao

s1

passando pelo ponto

teorema fundamental da proporcionalidade, tem lados proporcionais.

(Figura 5).

s1
r1

s2

A1
|

||

B2

||

B3

||

A3

||

r3

||

A2

||

r2

B1

Figura 5: As retas paralelas determina segmentos proporcionais

Logo,

B1 P
B1 Q

B1 B2
. Mas
B1 B3

B1 Q = B1 P + P Q

B1 B3 = B1 B2 + B2 B3 ,

tendo a igualdade

B1 P
B1 P +P Q

B1 B2
B1 B2 +B2 B3

B1 P +P Q
B1 P

B1 B2 +B2 B3
B1 B2

1 +

PQ
B1 P

= 1+

B2 B3
B1 B2

PQ
B1 P

B2 B3
B1 B2

B1 P
PQ

Exerccio 2.7

B1 B2
.
B2 B3

(Teorema da projeo paralela)

Dado trs retas paralelas, mostre que os seg-

mentos determinados numa reta concorrente proporcional aos segmentos determinados em

qualquer outra transversal.

Exerccio 2.8.

Dado um conjunto de retas paralelas, mostre que os segmentos determinados

numa reta concorrente proporcional aos segmentos determinados em qualquer outra transversal.

Referncias
[1] Toyo, Takami, Kika-kogi (zen-pen) (Curso de geometria, parte 1 de 2), seo
editoral da Universidade de Saneda, Japo, ano no especicado.
[2] Moise, Edwin E. e Downs Jr, Floyd L., (traduo de Renate G. Watanabe),
Geometria Moderna, Vol. 1 e 2, Edgard Blucher, 1971.
[3] Euclides (verso latino de Commandino, F.; ilustrao e adio de Simons, R.;
reviso de Anibalfaro), Elementos de Geometria, edies cultura, 1944.
[4] Rezende, Eliane Q. F. e Queiroz, Maria L. B de, Geometria Euclidiana plana e
construes geomtricas, Editora UNICAMP, 2000.
[5] Greenberg, Martin J., Euclidean and non-euclidean geometries, W. H. Freeman
and company, 1993.