Skip to content

The angle bisector theorem

The angle bisector theorem

The angle bisector theorem

The angle bisector theorem: An internal angle bisector of a triangle divides the opposite side into two segments whose ratio equals the ratio of the sides enclosing the angle.

BDDC\displaystyle \frac{BD}{DC} =\displaystyle = ABAC\displaystyle \frac{AB}{AC}

Given: AD\displaystyle AD bisects the angle A\displaystyle A of the triangle ABC\displaystyle ABC, and D\displaystyle D is on BC\displaystyle BC.
To prove: BDDC=ABAC\displaystyle {\frac{BD}{DC}}={\frac{AB}{AC}}.

The proof below draws through C\displaystyle C a line parallel to AD\displaystyle AD, to the point E\displaystyle E on the extension of the side BA\displaystyle BA. It shows that AE=AC\displaystyle {AE}={AC}, and then uses Thales’ theorem in the triangle BEC\displaystyle BEC.

ClaimReason
1∠BAD=∠DAC\displaystyle {\angle BAD}={\angle DAC}Given
2CE∥AD\displaystyle CE\parallel ADConstruction
3∠ACE=∠DAC\displaystyle {\angle ACE}={\angle DAC}(2); alternate angles between parallel lines
4∠AEC=∠BAD\displaystyle {\angle AEC}={\angle BAD}(2); corresponding angles between parallel lines
5∠ACE=∠AEC\displaystyle {\angle ACE}={\angle AEC}(1), (3), (4)
6AE=AC\displaystyle {AE}={AC}(5); in a triangle, equal angles are opposite equal sides
7BDDC=BAAE\displaystyle {\frac{BD}{DC}}={\frac{BA}{AE}}(2); Thales’ theorem in the triangle BEC\displaystyle BEC
8BDDC=ABAC\displaystyle {\frac{BD}{DC}}={\frac{AB}{AC}}(6), (7)
Exercise 1

AD\displaystyle AD bisects the angle A\displaystyle A of the triangle ABC\displaystyle ABC, and D\displaystyle D is on the side BC\displaystyle BC.

a

AB=6\displaystyle {AB}={6}, AC=9\displaystyle {AC}={9} and BC=10\displaystyle {BC}={10}.
Find BD\displaystyle BD.
(A hint: BD=x\displaystyle {BD}={x}, and then DC=10−x\displaystyle {DC}={10-x}.)

    b

    AB=8\displaystyle {AB}={8}, BD=4\displaystyle {BD}={4} and DC=6\displaystyle {DC}={6}.
    Find AC\displaystyle AC.

      The converse of the angle bisector theorem

      The converse: A line through a vertex of a triangle that divides the opposite side internally in the ratio of the other two sides bisects the angle at that vertex.

      In the triangle ABC\displaystyle ABC: if D\displaystyle D is on BC\displaystyle BC and BDDC=ABAC\displaystyle {\frac{BD}{DC}}={\frac{AB}{AC}}, then AD\displaystyle AD bisects the angle A\displaystyle A.

      The proof below shows that the bisector of the angle A\displaystyle A reaches BC\displaystyle BC exactly at D\displaystyle D:

      • the bisector of the angle A\displaystyle A meets BC\displaystyle BC at a point D′\displaystyle D';
      • by the angle bisector theorem BD′D′C=ABAC\displaystyle {\frac{BD'}{D'C}}={\frac{AB}{AC}}, so BD′D′C=BDDC\displaystyle {\frac{BD'}{D'C}}={\frac{BD}{DC}};
      • adding 1\displaystyle 1 to both sides: BCD′C=BCDC\displaystyle {\frac{BC}{D'C}}={\frac{BC}{DC}}, so D′C=DC\displaystyle {D'C}={DC};
      • D′\displaystyle D' and D\displaystyle D are both on the segment BC\displaystyle BC, at the same distance from C\displaystyle C – they are one point, and AD\displaystyle AD is the bisector.
      Exercise 2

      In the triangle ABC\displaystyle ABC, D\displaystyle D is on the side BC\displaystyle BC.
      BDDC=ABAC\displaystyle {\frac{BD}{DC}}={\frac{AB}{AC}}.
      Prove: ∠BAD=∠DAC\displaystyle {\angle BAD}={\angle DAC}.

      Exercise 3

      AD\displaystyle AD bisects the angle A\displaystyle A of the triangle ABC\displaystyle ABC, and D\displaystyle D is on the side BC\displaystyle BC.
      E\displaystyle E is on the side AC\displaystyle AC, and DE∥AB\displaystyle DE\parallel AB.
      Prove: AE=DE\displaystyle {AE}={DE}.

      Exercise 4

      In the triangle ABC\displaystyle ABC, AB=12\displaystyle {AB}={12}, AC=8\displaystyle {AC}={8} and BC=10\displaystyle {BC}={10}.
      AD\displaystyle AD bisects the angle A\displaystyle A, and D\displaystyle D is on BC\displaystyle BC.
      BE\displaystyle BE bisects the angle B\displaystyle B, and E\displaystyle E is on AC\displaystyle AC.
      The bisectors cross at I\displaystyle I.

      a
      Find BD\displaystyle BD.

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        b
        Find the ratio AIID\displaystyle \frac{AI}{ID}. (A hint: BI\displaystyle BI bisects an angle of the triangle ABD\displaystyle ABD.)

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          Exercise 5

          In the triangle ABC\displaystyle ABC, AB=AC\displaystyle {AB}={AC}, and AD\displaystyle AD bisects the angle A\displaystyle A.
          What does the angle bisector theorem say about D\displaystyle D?
          Which theorem about the isosceles triangle does this agree with?