1

Teorema de Harcourt
Por Juan Carlos Salazar 1. Introduccin: Este teorema establece una relacin interesante para el clculo del rea (S) de un tringulo (ABC), que involucra a los lados del tringulo (a, b, c) y las distancias (a1 , b1 , c1 ) desde los vrtices (A, B, C) respectivos hacia una tangente cualesquiera sobre el incrculo o excrculo, segn sea el caso. La nica referencia escrita de este teorema, facilitada por el Prof. Francisco Bellot Rosado [1], que se encontr sin demostracin por mtodos geomtricos, establece la relacin para el caso del incrculo, esto motiv al autor para tratar de encontrar un mtodo de demostracin apropiado y como resultado del mtodo de demostracin desarrollado, se interpret que tambin es aplicable para el caso del excrculo [2]. Se incluyen adems dos problemas de aplicacin de este teorema. 2. Teorema de Harcourt para el Incrculo: Sea el tringulo ABC con lados a, b y c. Si las distancias desde los vrtices A, B y C hacia una tangente al incrculo por el menor arco cercano al vrtice A, son a1 , b1 , c1 (-a.a1 + b.b1 + c.c1 ) .(Ver respectivamente, luego el rea (S) del tringulo ABC es igual a 2 Fig.1)

Demostracin: Considerando el punto de tangencia H con sus respectivas distancias HR = x, HW = z y HQ = y hacia los lados AB = c, BC = a y AC = b respectivamente, tenemos adems que las distancias desde los otros puntos de tangencia D, E y F hacia la tangente LK cumplen con las siguientes relaciones EG = x, DN = y y FP = z. (Ver Fig.2)

Trazamos por el vrtice A, UY // LK tambin BT // LK // FS, adems UB // VE // PF // (a + b + c) AM // XD // YC. Sabemos que p = (semipermetro). 2 Luego tenemos que: AM = UL = VG = XN = YK = a1 , tambin CT = c1 - b1 y CS = c1 - z . Entonces: AreaABC = S = AreaAHB + AreaAHC + AreaBHC 1 1 1 S = . AB.HR + . AC.HQ + . BC.HW 2 2 2 1 1 1 S = . c.x + . b.y + . a.z(1) 2 2 2 Por semejanza de tringulos: (x + a1 ) EV AE (p - a) AEV-ABU: = = BU AB (a1 + b1 ) c (p - a)(a1 +b1 ) a1 .............(2) x= c (y + a1 ) (p a) DX AD ADX-ACY: = = CY AC (a1 + c1 ) b (p a)(a1 + c1 ) a1 .............(3) y= b (c z) (p c) CS FC CFS-CBT: = 1 = CT BC (c1 b1 ) a (p c)(c1 a1 ) ..............(4) z = c1 a

Reemplazando (2),(3) y (4) en (1): (p a)(a1 + b1 ) (p a)(a1 + c1 ) (p c)(c1 a1 ) 1 1 1 a1 ] + . b.[ a1 ] + . a.[ c1 ] S= . c.[ 2 c 2 b 2 a Simplificando obtenemos: S= (a.a1 + b.b1 + c.c1 ) 2 LQQD.

3. Teorema de Harcourt para el Excrculo: Sea el tringulo ABC con lados a, b y c. Si las distancias desde los vrtices A, B y C hacia una tangente al excrculo relativo al vrtice A, son a1 , b1 , c1 respectivamente, luego el rea (-a.a1 + b.b1 + c.c1 ) .(Ver Fig.3) (S) del tringulo ABC es igual a 2

Demostracin: De manera similar al mtodo desarrollado para el caso del incrculo, tomamos como referencia al punto de contacto G de la tangente con el excrculo. Las distancias hacia los lados o prolongaciones del tringulo ABC, son GM = x, GT = y y GH = z . Para los puntos de tangencia D, E y F, sus distancias a la tangente IG cumplen las siguientes relaciones: DN = x , FP = y , y EL = z. (Ver Fig. 4). Adems trazamos EL//FP//AI//BJ//CK, por el vrtice B VS//IG, tambin OD//IG y AQ//IG.

Tambin: OB = b1 - x , AV = a1 - b1 , FQ = y - a1 , CR = c1 - a1 , UE = z - b1 y CS = c1 - b1 . Entonces: AreaABC = S = AreaAGB + AreaAGC AreaBGC 1 1 1 S = . AB.GM + . AC.GT . BC.GH 2 2 2 1 1 1 S = . c.x + . b.y . a.z..(1) 2 2 2 Por semejanza de tringulos: (b1 x) (a1 b1 ) OB AV = BOD-AVB: = BD AB (p c) c (a b1 )(p c) .............(2) x = b1 1 c (y a1 ) (c1 a1 ) FQ CR AQF-ARC: = = AF AC p b p(c1 a1 ) + a1 .....................(3) y= b (z b1 ) (c1 b1 ) UE CS BUE-BSC: = = BE BC (p c) a (p c)(c1 b1 ) + b1 ............(4) z= a

Reemplazando (2), (3) y (4) en (1): (a b1 )(p c) p(c a ) (p c)(c1 b1 ) 1 1 1 ] + . b.[ 1 1 + a1 ] - . a.[ + b1 ] S = . c.[ b1 1 c b a 2 2 2 Simplificando obtenemos: S= (a.a1 + b.b1 + c.c1 ) 2 LQQD.

4. Problemas de Aplicacin: Problema 1: Sea el tringulo ABC cuyos excrculos son (Oa), (Ob) y (Oc). Si trazamos AH y CG perpendiculares a la tangente comn de los excrculos (Oa) y (Oc) , de manera similar trazamos BF y AE perpendiculares a la tangente comn de (Oa) y (Ob) adems BI y CJ perpendiculares a la tangente comn de (Ob) y (Oc). Demostrar que : AH.BF.CJ = AE.BI.CG. [2] (Ver Fig.1a).

Demostracin: Aplicaremos el teorema de Harcourt para el caso del excrculo, por tal motivo trazamos las perpendiculares que faltan desde los vrtices hacia las tangentes AP, BQ y CT.(Ver Fig. 1b). Por lo tanto tenemos que estas perpendiculares son iguales a las alturas del tringulo es decir: AP = ha, BQ = hb y CT = hc.

Aplicamos Harcourt con la tangente comn a (Oa) y (Oc): ( BC.AH + AC.BQ + AB.CG) S= 2 (a.AH + b.BQ + c.CG) S= 2 (a.AH + b.hb + c.CG) S= 2 Por lo tanto: a.AH = c.CG...............(1) De manera similar, tenemos: Para la tangente comn a (Ob) y (Oc): c.CJ = b.BI..(2) Para la tangente comn a (Oa) y (Ob): b.BF = a.AE................(3) Combinando (1), (2) y (3) tenemos: AH.BF.CJ = AE.BI.CG LQQD.

Problema 2: Sea el tringulo equiltero ABC, de lado L. Por un punto del menor arco de su incrculo cercano al vrtice A, se traza una tangente al mismo, de tal forma que las distancias desde los vrtices A y B son 18 y 30 respectivamente. Calcular L.(Ver Fig. 2a).

Solucin: Trazamos la perpendicular CS = H, hacia la tangente t .(Ver Fig. 2b)

Aplicamos Harcourt caso del incrculo en el tringulo ABC: ( BC.AQ + AC.BP + AB.CS) ( L(18) + L(30) + LH) = AreaABC = S = 2 2 L(12 + H) S= .(1) 2 Tambin: L2 3 .....................(2) S= 4 Por semejanza de tringulos: AQ CS 18 H (18 + H) 18 H AQE-ESC: = = = = AE CE AE CE L AE CE 18L LH Luego: AE = y CE = (H + 18) (H + 18) AQ BP 18 30 48 18 30 AQD-BPD: = = = = AD BD AD BD L AD BD 18L 3L 30L 5L Luego: AD = = y BD = = 48 8 48 8 Adems para el tringulo ADE: L 1 L 1 3L 18L AJ = AK = = . (AD +AE +DE) de donde: = . ( + + DE) 2 2 2 2 8 (18 + H) L(5H 54) Luego: DE = 8(H + 18) Entonces: DE.AQ 9L(5H 54) = ..........(3) AreaADE = 2 8(18 + H) Aplicando relacin de reas: AreaADE AD.AE = AreaABC AB.AC AreaADE 8 H +18 = L2 AreaABC AreaADE 54 (4) = AreaABC 8(H + 18) Combinando (1), (3) y (4) obtenemos: 9L(5H 54) 27L(H + 12) AreaADE = = 8(H + 18) 8(H + 18) Luego: 5H 54 = 36 +3H de donde H = 45. De (1) y (2): L(12 + H) L2 3 S= = reemplazando H, finalmente tenemos que L = 38 3 . 2 4
( 3L )( 18L )

5. Comentarios: Si observamos en la Fig.1a, correspondiente al Problema 1 y denotamos por A, B y C a los puntos de interseccin de los pares de perpendiculares BF y CG, AE y CJ, AH y BI respectivamente, podemos demostrar que el hexgono ACBACB es equiltero con lado igual al circunradio del tringulo ABC y el tringulo ABC es homottico y congruente con el tringulo ABC, teniendo como centro de homotecia al centro del crculo de los nueve puntos del tringulo ABC. No se descarta que las relaciones obtenidas por medio de la aplicacin del teorema de Harcourt se puedan obtener por la aplicacin de otras relaciones mtricas ya conocidas, sin embargo creemos que el conocimiento de este teorema facilitar establecer las relaciones correspondientes por su aplicacin de una forma directa, como conclusin podemos afirmar que tenemos una nueva herramienta para aprovecharla. Finalmente no podemos dejar de mencionar que este teorema puede ser generalizado en una forma analtica, cuya relacin se puede establecer haciendo uso de coordenadas baricntricas homogneas.[2] 6. Agradecimientos: Aprovecho la oportunidad por medio de esta tribuna, de agradecer el inestimable apoyo que he recibido del Profesor Francisco Bellot Rosado, editor de la Revista Escolar de las Olimpiadas Iberoamericanas de Matemticas. Ha sido muy importante su preocupacin y constante comunicacin para lograr este cometido: el rescate de este teorema olvidado por muchos. Referencias: [1] F.G.-M., Exercises de Gomtrie, Pag. 750, Sexta Edicin, 1920, Editorial Jacques Gabay, Pars, Reimpresin 1991. [2] Harcourts Theorem By Nikolaos Dergiades and Juan Carlos Salazar, Forum Geometricorum, FG200313, 117-124. http://forumgeom.fau.edu/FG2003volume3 Nota: Juan Carlos Salazar colabora con la Asociacin Venezolana de Competencias Matemticas (IMO Venezuela) que preside el Prof. Rafael Snchez Lamoneda. Email: caisersal@yahoo.com.

Revista Escolar de la Olimpada Iberoamericana de Matemtica http://www.campus-oei.org/oim/revistaoim/

Edita: