TEOREMAS DE MENELAU E CEVA

O objetivo desse artigo apresentar dois teoremas bsicos para a geometria euclidiana - a saber, os teoremas de Menelau e Ceva, atualmente ``esquecidos" em nossos cursos de geometria elementar. Menelau de Alexandria foi um astrnomo que viveu no fim do primeiro sculo D.C.. Atravs de comentrios de historiadores gregos e rabes sabemos que ele escreveu uma coleo de seis livros sobre Cordas no Crculo, um livro de Elementos da Geometria e uma srie de trabalhos em geometria e astronomia, todos perdidos. O nico livro de Menelau que sobreviveu aos tempos foi o Sphaerica, um tratado em trs volumes sobre geometria e trigonometria esfrica, do qual chegou at o nosso tempo uma traduo rabe. No volume III ele menciona o teorema que (abaixo) leva seu nome, como sendo bem conhecido e a seguir o generaliza para a geometria esfrica. Mais tarde, em 1806, Carnot baseou toda sua teoria de transversais neste teorema de Menelau. TEOREMA DE MENELAU Sua verso simples : Teorema de Menelau (Forma Simples): Qualquer transversal ao tringulo ABC corta as retas que contm os lados, em pontos D(B, C), E(A, C) e F(A, B) tais que BD / DC . CE / EA . AF / FB = 1 Demonstrao: De fato, baixemos pelos vrtices A,B e C perpendiculares a e sejam P, Q e R, respectivamente, os pontos de interseo dessas perpendiculares com . Sejam CR' =r, AP =p e B Q =q. Da semelhana dos tringulos CDR e BDQ tiramos D BD / CD = B Q / CR' =q/r. Analogamente, das semelhanas de CRE com APE e de APF com BFQ, tiramos EC / CA = CR' / AP =r/p e AP / B Q = AF / BF = p/q Ou seja c.q.d.
D

A F R E P Q

C f i g u ra 1

E Q FP R

A recproca desse teorema, que vlida, no pode ser demonstrada nessa formulao, pois dado um nmero k positivo existem dois pontos D e D', na reta (B,C) um interno e outro externo ao segmento BC, tais que D'C= k. Este fato ser verificado no pargrafo que se segue.

C figura 2

BC

DC

= BD' /

RAZO Afim de estabelecer uma correspondncia biunvoca entre os nmeros reais r e a razo que um ponto divide > um segmento fez-se necessria a introduo da noo de segmento orientado AB , que mais tarde deu origem aos vetores. Apesar de Descartes j ter usado segmentos negativos, a idia e uso dos segmentos orientados s foi sistematicamente explorada com L. Carnot (1803) e A. Moebius (1827). Em muitas situaes este conceito unifica vrios teoremas os quais pareciam isolados. Na Introduo assumimos que a reta pode ser coordenada, o que nela induz uma orientao e da podemos definir segmento orientados. Vamos agora trabalhar com estes segmentos orientados. Dado C (A,B), C B, definimos a razo orientada r= r(C;AB) que C divide o segmento AB por > =r(C;AB). -1<r(E)<0 r(C)>0 r(D)<-1 AC , e da |r|= AC / CB . Quando no houver perigo E A C B figura 3 de confuso vamos escrever r(C) em vez de r(C;AB). Observe-se que r(A) = 0, porm r(B) no existe ; vamos convencionar que r(B) = .
CB
>

PROPRIEDADES DA RAZO ORIENTADA 1. Se CAB ento r(c) > 0. De fato neste caso > e AB
> >

>

CB

tem a mesma orientao.

2. Se CAB ento r(c) < 0. De fato aqui AC e CB tem orientao oposta. 3. Existe uma correspondncia biunvoca sobre entre os pontos de (A,B), distintos de B, e os nmeros reais diferentes de -1. De fato de > + > = > tiramos para C B. AC CB AB (1 + r). > = > , > =(1 + r)-1. CB AB CB
>

AB

>

AC

= (r/(1 + r)). > . AB

Necessariamente r -1, caso contrrio > = 0, implica que A=B, o que contradiz o fato A B. Passemos AB s coordenadas: seja A:(a), B:(b) e C:(c). Ento a ltima expresso se escreve c-a=(r/(1+r)).(b-a) ,ou c=a+(r/(1+r)).(b-a). Esta ltima expresso determina c a partir de r desde que r -1, i.e. , dado r , r -1 existe um ponto C tal que r(C) = r, i.e. , nossa correspondncia sobre. Finalmente mostremos que ela biunvoca. Seja C C' . Se r(C)=r(C') ento > = > , ou C = C' o que uma contradio. Logo r(C) r(C'). AC AC c.q.d. Observemos que se r(C) = r ento o ponto D tal que r(D) = - r satisfaz a igualdade AD / DB = AC / CB = r. A questo do valor r = -1 F contornada pela introduo do ponto do infinito P pondo r(P ) = -1 e isto ``fecha" a reta. Convencionamos que se |r(P)| for bem grande estaremos perto de P . A reta projetiva obtida da reta por adio do ponto do C infinito. O plano projetivo obtido do plano cartesiano real por adio do ponto do infinito de cada uma de suas retas, identificando-se os pontos do l(C,F)=l(C,P ) infinito de retas paralelas. A reta do infinito ser o conjunto de todos o o os pontos do infinito. Vamos designar por *(A,B) a reta projetiva que contm (A,B). Diremos que trs pontos so projetivamente colineares se figura 4 eles pertencem a mesma reta projetiva. Observemos que duas retas paralelas no plano se encontram no infinito. Assim se o ponto do infinito de F e C , indicaremos por (C,F) a paralela a que contm C. Dado um tringulo ABC vamos fixar a orientao > , > e > AB BC CA assim a razo r(P,AB) estar bem definida e quando no houver perigo de confuso escreveremos somente r(P). O teorema de Menelau como veremos a seguir um exemplo onde a linguagem projetiva rene dois teoremas num s enunciado.

TEOREMA DE MENELAU

( GERAL)

Agora podemos enunciar o teorema de Menelau em sua forma mais geral. Teorema de Menelau: Seja dado um tringulo ABC e sejam E*(A,C), E A,C , F*(A,B) , F A,B e D*(B,C), D B,C. Ento D, E e F sero projetivamente colineares se e somente se r(D,BC). r(E,CA). r(F,AB)=-1. Demonstrao: Vamos dividi-la em trs casos. Primeiro caso: Dois pontos, digamos E,F . Ento o teorema fica: D se e s se r(D)=-1. (Pois r(E)=r(F)=-1), e isto trivial. Segundo caso: Somente um dos pontos, digamos, F esta em . Seja A a reta (D,E). Aqui o teorema se reduz a F em , F(C,D) e r(D).r(E) = 1 se e s se DE||AB , (pois (D,E)(A,B)=F). Assim

D F

figura 5

o teorema se reduz ao teorema de Tales e sua recproca. (A menos de sinais DE||AB)

A

CE / EA

= CD / DB se e s se

Terceiro caso: D, E e F no esto em . Mostremos que a condio necessria. De fato, seja uma transversal ao tringulo ABC; pelo teorema de Menelau clssico teremos |r(D).r(E).r(F)| = |r(D)|.|r(E)|.|r(F)| = BD / DC . EC / EA . FA / FB = 1. Logo r(D).r(E).r(F) =1. Como uma transversal a ABC que no passa por um vrtice ou intercepta dois dos trs lados AB, BC, CA ou no intercepta nenhum deles ento, no primeiro caso duas das razes sero positivas e a terceira negativa, no segundo caso todas as razes sero negativas. Logo, o produto r(D).r(E).r(F) sempre negativo, e da segue-se que este produto -1. Mostremos que a condio suficiente. Sejam E (A,C) , F(A,B) e D(A,B), e seja F' o ponto de interseo de (E,D) com (A,B), ento aplicando-se a condio necessria transversal =(E,D)) temos que r(D).r(E).r(F') = -1. Por hiptese r(D).r(E).r(F) =-1; e da r(D)r(E)r(F')=r(D)r(E)r(F) , logo r(F')=r(F), i.e. r(F';AB)=r(F;AB) , ou seja F' = F . c.q.d.
C B F D figura 6 E

TEOREMA DE CEVA Passemos agora ao teorema de Ceva. Este ser obtido pela troca de reta por ponto e vice-versa e pontos colineares por retas concorrentes. Ele foi publicado em 1678 pelo italiano Giovanni Ceva (16471736) num artigo onde ele apresentou seu teorema juntamente com o j na poca esquecido teorema de Menelau. Estes dois teoremas so as bases da geometria euclidiana moderna. O teorema de Ceva se anuncia: Teorema de Ceva: Num tringulo ABC sejam dados trs pontos D(B, C), E (C,A) e F(A,B) Ento (C,F), (B,E) e (A,D) so concorrentes num ponto P se e s se r(E).r(F).r(D) = 1.
C

D B P

Demonstrao: De fato, como no teorema de Menelau vamos dividir a demonstrao em trs casos. Primeiro caso: Dois pontos, esto na reta do infinito, digamos E = (A, C) e F = (A, B) Assim (C, F)|| (A, B) e (B,E)||(A, C), i.e., a figura ABCG um paralelogramo onde G = (C, F)(B, E), ento nosso teorema enuncia-se: G(A,D) se e somente se G o ponto mdio de BC (e de AG ), e isto equivalente ao fato das diagonais de um paralelogramo se cortarem ao meio. Segundo caso: somente um dos pontos E, F, ou D est em . Suponhamos que F , i.e., r(F) = -1 e seja * = *(C, F)|| AB. Seja P = **(E, B). Nosso teorema fica ento: P(A,D) se e somente se r(D).r(E) = -1. Mostremos que a condio necessria. De fato os tringulos CDP e ADB so semelhantes pois ambos tem ngulo D em comum e CPA = PAB j que *(A, P) transversal as paralelas *(C, P)|| *(A, B). Assim teremos DC / DB = DP / AD = CP / AB tambm` os tringulos ECP e EAB so semelhantes ou seja EC / AE = CP / AB = EP / EB , DC / DB = EC / AE , i.e. EC / AE . DB / DC = 1 ou |r(D).r(E)| = 1. Como DCB e ECA temos que r(D) > 0 e r(E) < 0. Logo r(D).r(E) = -1. Para a recproca basta aplicar o mesmo raciocnio da recproca do teorema de Menelau aos pontos N A M D e D' = (A,P) (C,B). Terceiro caso: D, E e F no esto em De fato, teremos dois casos: ou o ponto P interior ao tringulo ou P exterior. Vamos F E tratar o caso onde P interior, o outro caso deixaremos como exerccio. (No primeiro caso as trs razes sero positivas e no P segundo precisamente duas so negativas. Mostremos
E figura 7 A C D B A E P F fig r 8 ua E P C D figura 9 B

D fi gura 10

primeiramente que a condio necessria. Por A tracemos uma reta paralela a BC. Seja M = (C, F) e N = (E, B) (aqui (E, B) e (C, F) so transversais as retas paralelas e (B, C)). Analisando a figura temos os seguintes quatro pares de tringulos semelhantes: FAM FBC, EBC EAN, PAM PCD, PAN FBC . Como todos os pontos D, E, F so interiores aos lados, teremos r(E) = CE / EA , r(F) = AF / FB e r(D) = BD / CD . Vamos mostrar que CE / EA = BC / AN , AF / FB = AM / BC e BD / CD = AN / AM da seguir- se- a que r(E).r(F).r(D) = BC / AN . AM / BC . AN / AM = 1. De (I) teremos AM / BC = AF / FB = MF / CF AM / BC = AF / FB . De (II) teremos AN / BC = AE / EC = EN / BE ou AN / BC = AE / EC . Agora (III) e (IV) nos fornece AM / CD = AP / DP = MP / CP e AN / BD = AP / PD = NP / PB . A Logo AM / CD = AP / DP = AN / BD , i.e., AM / NA = CD / BD . F Isto completa neste caso, a nossa demonstrao.
E

A recproca anloga do teorema de Menelau. Suponhamos que r(E).r(F).r(D)=1 , e sejam P= (A, D) (B, E), F'= (A, B) C (C, P). Pela condio necessria aplicada a (A, D), (B ,E) e (C, F') teremos 1 = r(E).r(F').r(D) = r(E).r(F).r(D). Logo r(F) = r(F') ou seja F = F'. c.q.d. As retas (A, D), (B, E) e (C, F) chamam-se cevianas de ABC

figura 9

Observao: O teorema de Ceva admite uma forma trigonomtrica: A condio r(E).r(F).r(D) = 1 equivalente (*) sen (BAD) / sen (DAC) . sen(CBE) / sen(EBA) . sen(ACF) / sen(FCB) = - 1. Observe-se tambm que para simplificar nossa notao, convencionamos que todos os senos so senos de ngulos orientados. A frmula (*) segue-se do fato que se P for interno ao tringulo ABC, ento BD / DC = AB .sen(BAD) / ( AC . sen(DAC)) , CE / EA = BC .sen(CBE)/( BA . sen(EBA)), AF / FB = CA .sen(ACF)/( BC . sen(FCB)) Porque BD / CD =2.Area(BDA) / rea(CDA) = AB .sen(BAD) / ( AC .sen(CAD)) . As outras frmulas se deduzem de modo anlogo. Agora o produto das trs razes equivalente ao produto dos quocientes dos senos. Da segue-se o resultado. c.q.d No caso geral, P fora do tringulo, s fazer o ajuste necessrio. APLICAES Antes de terminarmos este artigo vamos dar algumas aplicaes imediatas do teorema de Ceva; outras aplicaes sero apresentadas num prximo artigo. Exemplo 1: Num tringulo ABC as medianas se encontram num ponto chamado baricentro de ABC. Aqui os pontos escolhidos sobre os lados do tringulo so pontos mdios, i.e., r(D) = r(E) = r(F) = 1 e nossa afirmao conseqncia do teorema de Ceva.

Exemplo 2: As bissetrizes de ABC passam por um mesmo ponto chamado incentro de ABC. Para tal usaremos o teorema das bissetrizes: A bissetriz relativa a um dos vrtices do tringulo divide o lado oposto em segmentos proporcionais nos outros lados, i.e.
BD / DC =c/b, AF / FB

E F P =I

=b/a e

CE / EA

=a/c;
C D=B a figura 13 B

BD / DC . AF / FB . CE / EA

=c/b . b/a . a/c = 1.

A

Exemplo 3: As alturas do tringulo ABC passam pelo ponto H chamado ortocentro de ABC. De fato, j vimos no captulo 1 que no tringulo ABC abaixo (figura 14) 2 2 2 2 2 2 CD =m=(a +b -c )/2a e DB =n =(a +c -b )/2a. Logo 2 2 2 2 2 2 DB / CD = (a +c -b )/(a +b -c ) Analogamente AE / EC =(b2+c2-a2)/(b2 + a2-c2), e AF / FB =(b2+c2-a2)/(a2 + c2-b2).
DB / CD . EC / AE . AF / FB

F P=H

C figura 14

D=H a

=(a2+c2-b2)/(a2+b2-c2). (b2+c2-a2)/(b2 + a2-c2).(b2+c2-a2)/(a2 + c2-b2)=1.

AC + CD

Exemplo 4: Marquemos no lado BC um ponto D tal que semipermetro de ABC. Analogamente marquemos E em AC e F em AB de tal modo que BC + CE = EA + AB = p = CA + AF = FB + BC . Assim CD =p-b, BD =p-c, CE =p-a, EA =p-c, AF =p-b e FB =pa. Da teremos que
DB / a)=1. CD

DB +
A

AB

=p=

p-b p-c F E P p-a p-a

CE /

EA

AF /

FB

=(p-c)/(p-b) .(p-a)/(p-c) .(p-b)/(pC

p-b

D figura 15

p-c

Logo as retas (A ,D), (B, E) e (C, F) passam por um mesmo ponto chamado ponto de E. Nagel (1803 - 1882). Os pontos D, E e F so respectivamente os pontos onde os trs excrculos tangenciam os lados BC, CA e AB. Exemplo 5: Sejam D, E, F os respectivos pontos de contato das circunferncias inscritas externamente ao tringulo ABC com os lados BC, CA, e AB. As retas, (D, A), (E, B), e (F, C), so concorrentes num ponto chamado ponto de Gergonne (J.D. Gergonne (1771-1859)- Fundador e editor do jornal de Matemtica, Annales des Mathemtiques). De fato, mostramos no Captulo II que CD = CE =p-c, BD = BF =p-b e AE = AF =p-a Assim BD / CD . CE / AE . AF / BF = 1. B'
A E P =T C D B F C'

E P C D

A' figura 17

Figura16 16a 16 Exemplo 6: Tracemos sobre os lados do tringulo ABC, tringulos equilteros BCA', CAB' e ABC'. Ento as retas (A, A'), (B, B') e (C, C') so concorrentes num ponto P. Se o tringulo for acutngulo este ponto tal que AP + BP + CP mnimo. Este o primeiro ponto notvel depois do perodo grego da geometria. Foi descoberto por Torriceli o qual resolveu um problema proposto por Fermat, com soluo publicada em 1659. De fato, vamos trabalhar com o tringulo acutngulo; deixamos os outros casos ao leitor. Sejam na figura 6 abaixo dados o tringulo ABC e o tringulo equiltero BCD .

Vamos calcular r (D; BC). Da semelhana dos tringulos ADX e YDA', tiramos XD / YD = AX / A ' Y ou
XD YD

/ /

XY XY

= =

AX A' Y

/( /(

AX AX

+ +

A' Y A' Y

) , )

ou ainda, = AX . XY / ( AX + A ' Y ) , = XY . A ' Y / ( AX + A ' Y ) . C Assim (substituindo e operando) teremos r = r (D; CB) = CD / BD =( CX + XD ).( BY + YD )= ( CX . ( AX + A ' Y )+ XY . AX ) / ( BY . ( AX + A ' Y )+ XY . YD )= ( CX . A ' Y + AX . CY ) / ( BY . AX + BX . A ' Y ) . Como AX =h =h a , CX = m = ma, BY =a/2 = CY , A ' Y = a.(3)/2, XB =n = n a, teremos AX . CY = AX . BY =ah/ 2= A, CX . A ' Y =a ma .(3)/2, BX . A ' Y = a n a .(3)/2,
XD YD
Y D X B

A' figura 18

Tambm j vimos no Captulo I, que a n a = b mb. Conseqentemente substituindo-se estes valores na frmula obtida para r e eliminando-se denominadores de (3) /2, obteremos r= r (D; CB) = 2A+a.m a (3) /2.A+ b. mb.3 =: U/V Permutando-se ciclicamente as letras A,B,C e a, b, c obteremos r (E:AC )= 2A+ b. mb.(3) /2. A + c. mc.3 =: V/T, e r (F; BA) = 2A+ c. mc.(3) /2 .A+ a. ma.(3) = T/U e da r(D) . r(E) . r(F) = U/V . V/T. T/U = 1 Logo, pelo teorema de Ceva, as retas (A, A'), (B, B'), e (C, C') no concorrentes. c.q.d.
X M' O

Finalmente o seguinte resultado conseqncia imediata da forma trigonomtrica do teorema de Ceva: Exemplo 7: Sejam O[X] e O[X'] dois raios de vrtice O do angulo MON que so simtricos relativamente o raio bissetor deste ngulo. O[X] e O[X'] chamam-se um par de raios isogonais para o ngulo MON. (figura 21) Sejam dadas seis cevianas (A, D), (B, E) e (C, F) e (A, D'), (B, E') e (C, F'). Tais que A[D], A[D'], B[E], B[E'], C[F], C[F'] so pares de raios isogonais respectivamente para os ngulos A, B e C. Se (A, D), (B, E) e (C, F) so concorrentes em P ento (A, D'), (B, E') e (C, F') so tambm concorrentes (digamos em P'), De fato, da figura 22 abaixo segue-se que figura 21 CAD = D'AB, CAD'=DAB. E analogamente CBE = ABE', CBE' =ABE , ACF =BCF', ACF' =BCF. Agora so substituir estes ngulo na frmula (*) e aplicarmos o teorema de Ceva. Os pontos P e P' chama-se par de pontos conjugados isogonais, ou P' imagem isogonal de P e vice versa .
X' figura 20 M A E' B b E F B c F' P I P' C D B a D' B figura 21