Clase 4: Ceva, Menelaus i Homotécias

Ruben Carpenter, Jordi Ferré, Roger Lidón

31 de Julio de 2023

Disclaimer: Este documento contiene únicamente la teorı́a sobre homotecias, Ceva

y Manelaus, toda condensada. Los problemas de práctica de estos temas están en el
siguiente documento. Si se hace pesada la teorı́a, no es mala idea alternar entre el
documento de problemas y este. Dicho esto, empezemos.

1
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§1 Homotécias
§1.1 Introducción a las homotécias
Hablando informalmente, las homotécias consisten en ”hacer zoom” respecto a un punto en el plano.
Hablando formalmente, una homotécia es lo siguiente:
Definition 1.1 (Homotécia). Sea A, T dos puntos en el plano, y k un número real positivo. Decimos
que el resultado de realizar una homotécia de centro T y razón k sobre A es el punto A′ tal que A′
está sobre la recta T A y
T A′
= k.
TA

Tomar la homotécia de un solo punto no suele tener mucha gracia, la clave suele ser tomar la
homotécia de rectas, cı́rculos o polı́gonos. Empezemos con la homotécia de un segmento:

Aquı́ estamos realizando una homotécia de centro T y razón k sobre los puntos A y B. La clave
ahora es que AB es paralelo a A′ B ′ , cosa que sigue por Thales ya que

T A′ T B′
=k= .
TA TB
Esta observación nos empieza a encaminar a hacia la clave de las homotécias, que es que la homotécia
conserva la ”forma” de las figuras.
Por ejemplo, habiendo visto esto, podemos hacer exactamente lo mismo con un triángulo. Si
realizamos una homotecia centrada en T, y de cierta razón k, de un triángulo ABC, obtendremos un
triángulo A′ B ′ C ′ de tal manera que AB ∥ A′ B ′ , BC ∥ B ′ C ′ y AC ∥ A′ C ′ . Por lo tanto concluimos
que, después de realizar la homotecia, el triángulo resultanto es semejante al inicial.

2
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Una vez ya hemos demostrado estos dos casos más simples, y hemos visto que al realizar una
homotecia los segmentos van a segmentos, y los triángulos a triángulos, nos podemos dar cuenta de
que, informalmente, podemos visualiazar una homotecia como hacer ”zoom”. Por lo tanto, es bien
intuitivo pensar que las homotecias conservan cualquier forma. En concreto es muy util tener en
cuenta que la homotecia d euna circumferencia es otra circumferencia.

Una de las aplicaciones más potentes de las homotécias es su converso. Digamos que dos triángulos
△ABC y △A′ B ′ C ′ son homotéticos si sus lados son paralelos dos a dos, es decir, si AB ∥ A′ B ′ ,
BC ∥ B ′ C ′ y AC ∥ A′ C ′ . El converso de la homotecia dice lo siguiente:

Lemma 1.2 (Converso de la homotécia)

Si △ABC y △A′ B ′ C ′ son homotéticos, entonces AA′ , BB ′ y CC ′ son concurrentes en el centro
de la homotécia que manda △ABC a △A′ B ′ C ′ .

Proof. Definamos T1 como la intersección de AA′ y CC ′ , y T2 como la intersección de AA′ and BB ′ .

Entonces, por Thales, y usando que △ABC y △A′ B ′ C ′ son similares, tenemos que
T1 A′ A′ B ′ A′ C ′ T2 A′
= = = .
T1 A AB AC T2 A′
Pero como T1 y T2 estan ambos en AA′ y
T1 A′ T2 A′
= ,
T1 A T2 A′
sigue que T1 y T2 son en realidad el mismo punto. Por tanto AA′ , BB ′ y CC ′ concurren en un
punto T = T1 = T2 . Finalmente, como por Thales
T A′ T B′ T C′
= = ,
TA TB TC
obtenemos que T es el centro de la homotécia que manda ABC a A′ B ′ C ′ .

El converso de la homotécia es una herramienta muy muy potente para demostrar concurrencias, y
hay muchos problemas complicados que admiten soluciones basadas en esta idea.

3
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Remark 1.3 (Homotecias de razón negativa). En esta sección hemos estado hablando de que una
′
homotecia centrada en T envı́a un punto A a otro punto A′ sobre T A de tal mera que TTAA = k para
cierta k constante. Es interesante tener en cuenta que esta constante también puede ser negativa, y en
este caso encontraremos que los puntos A y A′ están en lados opuestos con respecto a T.
La manera más intuitiva de visualizar una homotecia negativa es pensar en ella como, primero realizar
una homotecia positiva normal, y posteriormente realizar una reflexión con respecto a T . De hecho,
démonos cuenta que una refelxión con respecto a T no es más que una homotecia de razón −1.

4
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§1.2 Circumferencia de 9 puntos

Theorem 1.4 (Circumferencia de 9 puntos)

Sea ABC un triángulo, D, E y F con pies de las alturas a los lados BC, AC y AB respecti-
vamente, H su ortocentro, y A′ , B ′ , C ′ los puntos medios de AH, BH y CH respectivamente,
y MA , MB y MC los puntos medios de BC, AC y AB respectivamente. Demuestra que
DEF MA MB MC A′ B ′ C ′ están sobre una misma circumferencia

Solution. Empezaremos por demostrar el siguiente resultados conocidos sobre el ortocentro:

Lemma 1.5
Sea ABC, H su ortocentro y M el punto medio de BC. Ahora, si K es la reflexión de H con
respecto a BC y L es la refelxión de H con respecto a M, entonces K y L están sobre la
circumferencia (ABC).

Proof. Durante esta solución llamaremos α, β, γ a los ángulos del triángulo △ABC.
Empecemos demostrando que K está en esta circumferencia. Notemos que claramente por simetrı́a
con respecto a BC obtenemos que los triángulos △BHC y △BKC son congruentes. Por lo tanto,
tenemos que ∠BHC = ∠CKB. Ası́ que si logramos demostrar que ∠BHC = 180 − α, entonces
habremos terminado. Pero notemos que esto es obvio si miranos el triángulo △BHC, pues ∠HCB =
90◦ −β y ∠CBH = 90◦ −γ, implicando que ∠BHC = 180◦ −(90◦ −β)−(90◦ −γ) = β +γ = 180◦ −α.
Ahora, para L, notemos que al hacer la reflexión del triángulo △BHC con respecto a M obtenemos
el triángulo △CLB, y por lo tanto ∠BHC = ∠CLB. Pero como ya hemos demostrado que
∠BHC = 180◦ − α, ya hemos acabado.

5
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Una vez demostrado esto consideramos una homotecia centrada en H de razón 12 . Nota que esta
homotecia envı́a K a D, L a MA , y claramente A′ , B ′ , C ′ a A, B y C respectivamente. Similarmente
podemos hacer lo mismo con F, E, MB y MC . Esto implica que los puntos DEF MA MB MC A′ B ′ C ′
son el resultado de hacer una homotecia de razón 12 de otros 9 puntos que están sobre la circumferencia
(ABC). Por lo tanto, como las homotecias conservan las circumferencias, esto implica que estos 9
puntos son concı́licos.

6
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§1.3 Homotécias incentros

Finalmente, hay una última configuración básica de homotécia que conviene saber, ahora al rededor
del incentro y el incı́rculo. Se resume en el siguiente lemma:

Lemma 1.6
Sea ABC un triángulo con incentro I y excentros IA , IB , IC . Sean A′ , B ′ , C ′ los puntos medios
de los arcos BC, CA y AB sin contener A, B y C, respectivamente. Sean D, E, F los puntos
de contacto del incirculo con BC, CA, AB, respectivamente.
Entonces, los triángulos △DEF , △XY Z y △IA IB IC son todos homotéticos entre si.

Proof. La demostración en si no usa nada de homotecias. Simplemente, nos damos cuenta de que:
• IB IC es perpendicular a AI, ya que IB IC es la bisectriz exterior de ∠BAC y AI es la interior.
• EF es perpendicular a AI, ya que AE = AF y IE = IF , por lo que AF IE es una cometa.
• B ′ C ′ es perpendicular a IB IC , ya que IC ′ = C ′ IC y IB ′ = B ′ IB (intentad recordar o demostrar
porqué), y por tanto
IC I IB I
′
=2= ′
CI BI
implicando el resultado por Thales. Bonus: esto también nos dice que B ′ C ′ es en realidad la
mediatriz de AI (¿por qué?).
Estos tres puntos juntos demuestran que IB IC , B ′ C ′ y EF son todas tres paralelas entre sı́. Por
simetrı́a, es decir, aplicando esta misma demostración análogamente al resto de vértices del triángulo
ABC, se deduce que △IA IB IC , △XY Z y △DEF tienen los lados paralelos dos a dos, implicando
el resultado.

7
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

No obstante, podemos observar aquı́ un indicio de una configuración más profunda que relaciona
incentro y ortocentro. Canviemos el enfoque, fijándonos en que es cada elemento del diagrama
respecto del triángulo △IA IB IC :
• I es el ortocentro de △IA IB IC .
• A, B, C son pies de las alturas.
• El cı́rcumcirculo de △ABC es el cı́rculo de los nueve puntos de △IA IB IC .
• El circumcentro de △ABC es el nine point center de △IA IB IC .
• El punto medio de IB IC es también el punto medio del arco BC pasando por A.
Animamos al lector a demostrar todos estos puntos.

8
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§2 Teorema de Ceva
§2.1 Conocimiento previo

Theorem 2.1 (Teorema de Ceva)

Sea ABC un triángulo y D, E, F tres puntos en BC, AC y AB respectivamente. Ahora AD, BE
y CF concurren si y solo si
BD CE AF
· · = 1.
DC EA F B

Solution. Asumiremos que las tres rectas AD, BE, CF concurren en un punto P y demostraremos
la relación. Notemos que si demostramos esto, también habremos demostrado el converso, pues si
partimos de que tres puntos D, E, F que cumplen la condición de distancias, entonces fijados los
puntos E y F solo hay un único punto D que la cumple, y por lo tanto deberá ser aquel que haga
que AD, BE, CF concurran.
Empezamos considerando l como la recta paralela a BC que pasa por A, y definimos B ′ = BE ∩ l y
C ′ = CF ∩ l.

Ahora, notemos que los triángulos △AEB ′ y △CEB son semejantes, lo que, por Tales, nos implica
que
CE BC
= .
EA AB ′
De la misma manera los triángulos △BP C y △B ′ P C ′ son semejantes, lo que implica que

BD AB ′
= ′ .
DC CA
Por último, también tenemos que los triángulos △C ′ F A y △CF B también son semejantes, impli-
cando que
AF C ′A
= .
FB BC

9
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Una vez hecho esto ya hemos acabado, pues obtenemos que

BD CE AF AB ′ BC C ′ A
· · = ′ · · = 1.
DC EA F B C A AB ′ BC

Theorem 2.2 (Teorema de Ceva en forma trigonométrica)

Sea ABC un triángulo y D, E, F tres puntos en BC, AC y AB respectivamente. Ahora AD, BE
y CF concurren si y solo si
sin ∠BAP sin ∠ACP sin ∠CBP
· ·
sin ∠P AC sin ∠P CD sin ∠P BA

Solution. Para demostrar este resultado usaremos la versión del Teorema de Ceva que acabamos de
demostrar, pero antes debemos demostrar el siguiente lema:

Lemma 2.3 (Ratio Lemma)

Sea ABC un triángulo y D un punto sobre BC. Ahora,
BD AB sin ∠BAD
= · .
DC AC sin ∠DAC

Proof. Usando el Teorema del Seno en el triángulo △BAD obtenemos que

BD BA
= .
sin ∠BAD sin ∠ADB
Pero similarmente, usando el Teorema del Seno en el triángulo △DAC obtenemos
CD AC
= .
sin ∠DAC sin ∠CDA
Pero ahora, usando el hecho de que sin ∠ADB = sin ∠CDA, concluimos

BA
BA sin ∠ADB BD sin ∠DAC BD AB sin ∠BAD
= AC
= · =⇒ = · .
AC sin ∠CDA
CD sin ∠BAD DC AC sin ∠DAC

Ahora, volviendo al Teorema de Ceva, asumamos que AD, BE y CF concurren en un punto P.

Ahora, por el lema que acabamos de demostrar obtenemos que
sin ∠BAP sin ∠ACP sin ∠CBP BD · AC AF · BC CE · AB BD CE AF
· · = · · = · · = 1,
sin ∠P AC sin ∠P CD sin ∠P BA DC · AB BF · AC AE · BC DC EA F B
donde en la última igualdad hemos usado la el Teorema de Ceva.

10
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§2.2 Problemas

Example (Incentro)
Demuestra que las tres bisectrices interiores de un triángulo concurren.

Proof. Llamamos I al incentro. Ahora, su existencia es trivial por la versión trigonométrica de Ceva.
Notamos que ∠BAI = ∠IAC =⇒ sin ∠BAI = sin ∠IAC. Por lo tanto, haciendo el productorio
con todos los seis ángulos, acabamos trivialmente.

Example (Baricentro)
Demuestra que las tres bisectrices interiores de un triángulo concurren,

Proof. Usando el Teorema de Ceva acabamos trivialmente, devido a que cada numerador y denomi-
nador de cada fracción son iguales, y por lo tanto su producto nos dará 1.

Example (Punto de Gergonne)

Dado un triángulo ABC, define D, E, F como los puntos de contacto del incı́rculo con los lados
BC, AC y AB respectivamente. Demuestra que AD, BE y CF concurren.

Proof. Debido a las condiciones de tangencias obtenemos que AF = AE, BF = BD y CE = CD.

Por lo tanto,
BD CE AF
· · = 1,
DC EA F B
ası́ que por el Teorema de Ceva obtenemos que AD, BE y CF concurren.

Figure 1: AD, BE y CF concurren en el punto de Gergonne.

11
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Lemma 2.4 (Conjugado isogonal)

Sea ABC un triángulo y sea P un punto distinto de A, B y C. Existe un único punto Q tal que

∠BAP = ∠QAC
∠CBP = ∠QBA
∠ACP = ∠QCB.

Figure 2: P y Q son isogonales respecto de △ABC

Nótese además que las bisectrizes de ∠P AQ, ∠P BQ y ∠P CQ concurren en el incentro de △ABC

(por qué?).
Esto no es difı́cil de demostrar usando Ceva trigonométrico, y es un buen ejercicio de práctica.

12
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Lemma 2.5 (Simediana)

Sea ABC un triángulo. Definimos D como la intersección de las rectas tangentes a (ABC) por
A y B. Si M es el punto medio de BC, demuestra que ∠BAD = ∠M AC.

Solution. Notemos que por la condición de tangencia tenemos ∠DBC = ∠BCD = ∠BAC. Ahora,
consideramos el conjugado isogonal de D con respecto a △ABC, al que llamaremos D′ . Entonces
tenemos que ∠BAD = ∠D′ AC, ası́ que si vemos que D′ está sobre la recta AM hemos acabado.
Para esto notemos que, por la condición de conjugado isogonal, obtenemos que ∠DBC = 180◦ −
∠D′ BA, y ∠BCD = 180◦ − ∠ACD′ , y por lo tanto ∠D′ BA = ∠ADC ′ = 180◦ − ∠BAC, which
implies that BD′ ∥ AC and CD′ ∥ AB. Por lo tanto BACD′ es un paralelogramo, lo que implica
que sus diagonales intersecan en su punto medio, ası́ demostrando que D′ está sobre la recta AM,
lo que acaba el problema.

13
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Theorem 2.6 (Teorema de Napoleón)

Sea ABC un triángulo. Ahora consideramos tres puntos D, E, F tales que

∠BCD = ∠ECA, ∠CAE = ∠F AB, ∠ABF = ∠DBC.

Demuestra que las rectas AD, BE y CF concurren.

Solution. La idea clave es usar Ceva trigonométrico para calcular ratios de senos. En concreto, ceva
trigonométrico en △ABC respecto del punto D nos dice que
sin ∠BAD sin ∠DCA sin ∠DBC
· · =1
sin ∠DAC sin ∠DCB sin ∠DBA
y por tanto tenemos que
sin ∠DAC sin ∠DCA sin ∠DBC
= · .
sin ∠BAD sin ∠DCB sin ∠DBA
Haciendo el cálculo análogo para B y para C, se obtiene que
sin ∠EBA sin ∠EAB sin ∠ECA
= ·
sin ∠CBE sin ∠EAC sin ∠ECB
y que
sin ∠F CB sin ∠F BC sin ∠F AB
= · .
sin ∠ACF sin ∠F BA sin ∠F AC
Pero al multiplicar estas tres igualdades, nos queda que
sin ∠DAC sin ∠EBA sin ∠F CB
· · = Fracción gigante = 1,
sin ∠BAD sin ∠CBE sin ∠ACF
ya que los términos de la fracción gigante se cancelan por parejas gracias a las igualdades de
ángulos que definen los puntos D, E y F . Invitamos al lector interesado a comprobar que dichas
cancelaciones, efectivamente, se dan.

14
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§3 Teorema de Manelaus
§3.1 Conocimiento previo

Theorem (Manelaus)
Sea ABC un triángulo y sean D, E, F puntos sobre las rectas BC, CA y AB, respectivamente.
Los puntos D, E, F son colineares si y solo si
BD CE AF
· · = −1,
DC EA F B
donde tomamos las distancias orientadas.

Proof. Empezamos definiendo l como la recta que pasa por A y es paralela a BC. Ahora llamamos
B ′ = EF ∩ l, y C ′ = CE ∩ l.

Si se quiere evitar el uso de distancias orientadas usando manelau, otra opción es la sigiuente:

Theorem (Manelaus sin orientar)

Sea ABC un triángulo y sean D, E, F puntos sobre las rectas BC, CA y AB, respectivamente.
Los puntos D, E, F son colineares si y solo si
BD CE AF
· · = 1,
DC EA F B
y o bién cero o bién dos de los puntos D, E, F se encuentran sobre el perı́metro del triángulo
ABC.

Al igual que Ceva, el teorema de Manelaus tiene una versión trigonométrica:

15
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Theorem (Manelaus trigonométrico)

Sea ABC un triángulo y sean D, E, F puntos sobre las rectas BC, CA y AB, respectivamente.
Los puntos D, E, F son colineares si y solo si
sin ∠BAD sin ∠CBE sin ∠ACF
· · = 1,
sin ∠DAC sin ∠EBA sin ∠F CB
y o bién cero o bién dos de los puntos D, E, F están sobre el perı́metro del triángulo ABC.

Si los ángulos se ven como orientados se puede modificar Manelaus trigonométrico para hacerlo
análogo al Manelaus de distancias orientadas. Veamos un problema de ejemplo de aplicación de
Manelaus trigonométrico:

Example (Olimpiada de las Baleares)

Sea ABC un triángulo. Supón que las bisectrizes de ∠ABC y ∠BCA intersecan los lados AC
y AB del triángulo en E y F , respectivamente. Sea D la intersección de BC y EF . Demuestra
que D está sobre la bisectriz exterior del ángulo ∠BAC.

Solution. Definamos el problema del revés: sea D la intersección de la bisectriz exterior de ∠BAC
con BC, vamos a demostrar que D, E, F están alineados. Usamos la versión trigonómetrica de
Manelau: queremos ver que
sin ∠BAD sin ∠CBE sin ∠ACF
· · = 1.
sin ∠DAC sin ∠EBA sin ∠F CB
No obstante, si α, β, γ son los ángulos interiores del triángulo ABC, entonces

sin 90 − α2 sin β2 sin γ2

sin ∠BAD sin ∠CBE sin ∠ACF
· · = · · γ = 1.
sin 90 + α2


sin ∠DAC sin ∠EBA sin ∠F CB sin β2 sin 2

por lo que hemos acabado por Manelaus.

16
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

§3.2 El teorema de Monge

Theorem 3.1 (Teorema de Monge)

Sean ωA , ωB , ωC tres circumferencias disjuntas. Definimos P como la intersección de las
tangentes exteriores comunes de ωA y ωB , Q a la intersección de las tangentes exteriores
comunes de ωB y ωC , y R la intersección de las tangentes exteriores comunes de ωC y ωA .
Demuestra que P, Q y R están alineados.

Proof. La demostración de Monge es un simple ejercicio de Manelaus. Observa que, por homotécia,
tenemos que P está sobre OA OB , y que si definimos RA y RB como los radios de ωA y ωB entonces
también por homotécia
P OA RA
= .
P OB RB
Podemos definir el radio de ωC como RC y aplicar esta misma idea con la homotécia desde Q y la
homotécia desde R. Ası́ pues, se obtiene que:
P OA QOB ROC RA RB RC
· · = · · = 1.
P OB QOC ROA RB RC RA
Como P, Q, R estan todos en el exterior de sus lados respectivos del triángulo OA OB OC , hemos
acabado por Manelaus.

17
Ruben Carpenter, Jordi Ferré, Roger Lidón Clase 4: Ceva, Menelaus i Homotécias

Además de la versión más habitual de Monge, existe la siguiente variante:

Theorem 3.2 (1-2 Monge)

Sean ωA , ωB , ωC tres circumferencias disjuntas. Definimos P como la intersección de las
tangentes interiores comunes de ωA y ωB , Q a la intersección de las tangentes interiores
comunes de ωB y ωC , y R la intersección de las tangentes exteriores comunes de ωC y ωA .
Demuestra que P, Q y R están alineados.

La demostración es muy similar a la del Monge habitual.

Remark avanzado.
Se puede frasear Monge de manera distinta usando los conceptos de insimilicentro y exsimilicentro:
• El exsimilicentro de dos circulos ωA y ωB es el punto P tal que existe una homotécia positiva
de centro P mandando ωA a ωB y vice-versa.
• Similarmente, el insimilicentro de dos circulos ωA y ωB es el punto P tal que existe una
homotécia negativa de centro P mandando ωA a ωB y vice-versa.
Ambas variantes de Monge son válidas si substituyes la frase ”intersección de las tangentes exteriores”
por ”exsimilicentro” y la frase ”intersección de las tangentes interiores” por ”insimilicentro”, y la
demostración es exactamente la misma.
Más allá, existe un centro del triángulo llamado el exsimilicentro del triángulo ABC, que es en
verdad el exsimilicentro del circumcirculo y el incirculo de dicho triángulo. Esto son ideas avanzadas,
pero está bien que os vayan sonando.
Para trabajar esta idea junto con Monge, el siguiente problema es interesante:
Problem 3.3. Sea ABC un triángulo con circumcı́rculo Ω. Sea ωA un cı́rculo tangente a AB, AC
y interiormente a Ω. Similarmente definimos ωB y ωC tales que ambos son interiormente tangentes
a Ω, ωB es tangente a BA y BC, y ωC es tangente a CA y CB. Sean PA , PB , PC los puntos de
tangencia de Ω con ωA , ωB y ωC , respectivamente. Demuestra que APA , BPB y CPC concurren.

18