Teorema de la bisectriz

B |AD| ≡ m ,
|BD| ≡ n ,
∠ACD ≡ ∠DCB ≡ x ,
∠ADC ≡ y .
D Aplicando el teorema del seno al triángulo ∆ADC tene-
mos:

m b
(bz01) sin x = sin y

Los ángulos “y” y “π-y” son suplementarios, lo cual im-

plica que sin(π−y)=sin(y) , entonces aplicando ahora el teo-
A C rema del seno al triángulo ∆DBC tenemos:

En este diagrama, siendo A el ángulo bisecado, BA:AC = BD:DC (bz02) n

= a
sin x sin y

El teorema de la bisectriz del ángulo interno de un Dividiendo m.a.m. la ecuación (bz01) por la ecuación
triángulo es un teorema de la geometría elemental la cual (bz02) y simplificando obtenemos: m = b , ∎.[1]
n a
es una consecuencia o corolario del Teorema de Tales.
O lo que es equivalente:
2 Demostración 2
1 Demostración 1 Dibujando desde C una línea paralela a la recta AD hasta
encontrar la prolongación de lado BA a partir del lado
A y encontrándose en el punto E. El triángulo ACE es
isósceles porque sus ángulos C y E son congruentes:
C
xx b = C AD
ACE b

porque los dos ángulos son alternos internos respecto a las

b a
rectas paralelas AD y EC cortadas por la recta transversal
AC

y π-y b = B AD
AEC b
A m D n B
porque son correspondientes a las rectas paralelas AD y
EC a las cuales corta la recta BE, además
Figura bz1 Demostración del teorema de la bisectriz aplicando
la «Ley de senos».
b = B AD
C AD b
Nomenclatura (correspondiente a la Figura bz1):
porque los ángulos creados por la bisectriz son iguales.
Por la propiedad transitiva de la igualdad se tiene que
|AC| ≡ b ,

|BC| ≡ a , b = ACE
AEC b

1
2 6 ENLACES EXTERNOS

Por tanto los segmentos AC y AE son congruentes. Por

el Teorema de Thales se mantiene la proporción:
b = C AD
B AD b =α

b =θ
ADB
BA BD
=
AE DC Entonces:
y ya que AC y AE son congruentes, también se cumple
que
b = 180 − θ
ADC

BA BD Considerando el triángulo ABD, por el Teorema del seno

= BD
se obtiene que: sen(α) AB
= sen(θ)
AC DC
CD
Considerando el triángulo ACD se obtiene que: sen(α) =
3 Demostración 3 AC
sen(180−θ)

Pero se conoce la siguiente identidad: sin(x) = sin(180−

El triángulo △ABD y el triángulo △ACD comparten x)
altura h, y si (ABD) y (ACD) representan sus respectivas CD AC
Entonces la ecuación queda: sin(α) = sin(θ)
áreas, se cumple que:
BD·sin(α)
Dividiendo las dos igualdades se obtiene: CD·sin(α) =
AB·sin(θ)
(ABD) BD · h BD AC·sin(θ)
= =
(ACD) CD · h CD Simplificando: AB
= BD
AC CD
Sean F y G los pies de altura de los triángulos ABD y
ACD en AB y AC respectivamente. EL ángulo BAD es
congruente con el ángulo CAD, por ser AD bisectriz. 5 Notas y referencias
Los ángulos AFD y AGD son iguales a π/2 rad (90°) y
[1] Unicode indica que el cuadrado relleno (∎), como símbolo
congruentes entre sí, por ser los pies de las alturas. matemático, significa ‘fin de la prueba’ (en inglés ‘end of
Por lo tanto, los ángulos ADF y ADG son congruentes. proof’) o también QED (Quod erat demonstrandum).
Entonces el triángulo △ADF y el triángulo △ADG son
congruentes, por el criterio ángulo–lago–ángulo (ALA),
pues además comparten el lado AD. 6 Enlaces externos
Con lo que se obtiene que:
• Demostración del Teorema de la bisectriz en
PlanetMath
DF = DG • Otra demostración del Teorema de la bisectriz at
PlanetMath
Pero DF y DG son las alturas de los triángulos △ABD y
△ACD respectivamente. Por lo tanto la razón entre sus
áreas es igual a la razón entre sus bases:

(ABD) AB · h AB
= =
(ACD) AC · h AC

Por transitividad con lo establecido anteriormente, se tie-

ne que:

AB BD
=
AC CD

4 Demostración 4
Sean los ángulos:
 3

7 Origen del texto y las imágenes, colaboradores y licencias

7.1 Texto
• Teorema de la bisectriz Fuente: https://es.wikipedia.org/wiki/Teorema_de_la_bisectriz?oldid=78460903 Colaboradores: Tano4595, Vi-
tamine, Götz, Alfredobi, CEM-bot, JMCC1, Davius, CommonsDelinker, Pólux, Technopat, Matdrodes, Muro Bot, Rhernan, Nicop, Fari-
sori, Eduardosalg, AVBOT, Luckas-bot, Rubinbot, Gusbelluwiki, Fayervirus, Wikiléptico, Grillitus, Nabadvin, KLBot2, Ginés90, Helmy
oved y Anónimos: 18

7.2 Imágenes
• Archivo:Bisector_theorem2.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1f/Bisector_theorem2.svg Licencia: CC-
BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Patrol110
• Archivo:Triangle_ABC_with_bisector_AD.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d1/Triangle_ABC_with_
bisector_AD.svg Licencia: Public domain Colaboradores: No machine-readable source provided. Own work assumed (based on copyright
claims). Artista original: No machine-readable author provided. Limaner assumed (based on copyright claims).

7.3 Licencia del contenido

• Creative Commons Attribution-Share Alike 3.0