Dado un triángulo ABC , el punto J es el centro del excírculo opuesto al vértice A. Este excírculo es tangente al lado BC en M , y a las rectas AB y AC en K y L, respectivamente. Las rectas LM y BJ se cortan en F , y las rectas KM y CJ se cortan en G. Sea S el punto de intersección de las rectas AF y BC , y sea T el punto de intersección de las rectas AG y BC . Demostrar que M es el punto medio de ST .
Descargar ficheros .euk desde Bitbucket
Tutorial de Eukleides
Llamemos C0 a la circunferencia mencionada en el enunciado del ejercicio. En la figura auxiliar el punto H es el ortocentro del triángulo JBC, mientras que X y Y son los pies de las alturas relativas a los lados JB y JC respectivamente. Denotemos además como C1 y C2 las circunferencias circunscritas a los triángulos MJC y MJB respectivamente.
I MJ _|_ BC por ser C0 tangente a BC en M
II LJ _|_ AC por ser C0 tangente a AC en L
III KJ _|_ AB por ser C0 tangente a AB en K
IV <)BMJ = <)CMJ = <)BKJ = <)CLJ = 90° por I, II y III
V <)BYJ = <)CXJ = 90° por construcción
VI Y y K pertenecen a C2 por IV y V y el recíproco del teorema de Thales
VII X y L pertenecen a C1 por IV y V y el recíproco del teorema de Thales
Denotemos como C3 la circunferencia circunscrita al triángulo HJY y C4 la circunferencia de diámetro MJ.
VIII X pertenece a la circunferencia C3 de diámetro HJ por V y el recíproco del teorema de Thales
IX J, H y M están alineados por I
X C3 y C4 son tangentes en el punto J por IX y VIII y JM es diámetro por construcción
Consideremos la transformación I consistente en la inversión con respecto a C0 (i.e. centro en J y radio JM).
XI I(M) = M , I(L) = L , I(K) = K porque K, L y M se encuentran en C0 por definición
XII I(JG) = JG , I(JF) = JF porque son rectas que pasan por el centro de inversión
XIII I(C1) = LM , por VII y XI . M y J pertenecen a C1 por construcción
XIV I(C2) = KM , por VI y XI . M y J pertenecen a C2 por construcción
XV I(X) = F . I(F) = X , por XII y XIII ya que X es la intersección de C1 con JF mientras que F es la intersección de JF con LM en ambos casos por construcción
XVI I(Y) = G . I(G) = Y , por XII y XIV ya que Y es la intersección de C2 con JG mientras que G es la intersección de JG con KM en ambos casos por construcción
XVII I(C3) = FG , por XV y XVI . J pertenece a C3 por construcción
XVIII I(C4) = BC , debido a que la recta MJ contiene los diámetros de C0 y C4 lo que las hace tangentes en M , J pertenece a C4 por construcción , AB es tangente a C0 en M por definición y por XI.
XIX FG || BC por X , XVII y XVIII
XX |SF| / |FA| = |TG| / |GA| por XIX
XXI |AK| = |AL| por ser segmentos tangentes a C0 desde A
XXII |BK| = |BM| por ser segmentos tangentes a C0 desde B
XXIII |CL| = |CM| por ser segmentos tangentes a C0 desde C
XXIV |AK| · |BM| · |TG| = |KB| · |MT| · |GA| por teorema de Menelao aplicado al triángulo ABT y la secante KG
XXV |MT| = |AK| · ( |TG| / |GA| ) despejando en XXIV considerando XXII
XXVI |AL| · |CM| · |SF| = |LC| · |MS| · |FA| por teorema de Menelao aplicado al triángulo ACS y la secante LF
XXVII |MS| = |AL| · (|SF| / |FA| ) despejando en XXVI considerando XXIII