AoPSWiki
NEW! Hard Problems DVD
A documentary about the 2006 US IMO team. Features many current and past AoPS members!
Click here for more details and to order
Personal tools

Angle Bisector Theorem

From AoPSWiki

(Redirected from Bisector Theorem)
This is an AoPSWiki Word of the Week for June 6-12

Contents

Introduction

The Angle Bisector Theorem states that given triangle and angle bisector AD, where D is on side BC, then . Likewise, the converse of this theorem holds as well.

Image:Anglebisector.png

Proof

Method 1

Because of the ratios and equal angles in the theorem, we think of similar triangles. There are not any similar triangles in the figure as it now stands, however. So, we think to draw in a carefully chosen line or two. Extending AD until it hits the line through C parallel to AB does just the trick:

image:Anglebisectortheorem.PNG

Since AB and CE are parallel, we know that and . Triangle ACE is isosceles, meaning that AC = CE.

By AA similarity, \triangle DAB \cong \triangle DEC. By the properties of similar triangles, we arrive at our desired result:

Method 2

Let . Now, we can express the area of triangle ABD in two ways:

[ABD] = \frac 12 cd\sin \angle BAD = \frac 12  md \sin \angle ADB.

Thus, \frac{\sin \angle ADB}{\sin \angle BAD} = \frac cm.

Likewise, triangle ACD can be expressed in two different ways:

[ACD] = \frac 12 bd \sin \angle CAD = \frac 12 dn \sin \angle ADC.

Thus, \frac{\sin \angle ADC}{\sin \angle CAD} = \frac bn.

But and \sin \angle ADC = \sin \angle ADB since . Therefore, we can substitute back into our previous equation to get \frac{\sin \angle ADB}{\sin \angle BAD} = \frac bn.

We conclude that \frac{\sin \angle ADB}{\sin \angle BAD} = \frac cm = \frac bn, which was what we wanted.

In both cases, if we reverse all the steps, we see that everything still holds and thus the converse holds.

Examples

  1. Let ABC be a triangle with angle bisector AD with D on line segment BC. If and , find AB and AC.
    Solution: By the angle bisector theorem, or . Plugging this into and solving for AC gives . We can plug this back in to find .
  2. In triangle ABC, let P be a point on BC and let AB = 20, AC = 10, BP = \frac{20\sqrt{3}}3, CP = \frac{10\sqrt{3}}3. Find the value of .
    Solution: First, we notice that . Thus, AP is the angle bisector of angle A, making our answer 0.
  3. Part (b), 1959 IMO Problems/Problem 5.

See also

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us