# External Angle BisectorsWhat is this about? A Mathematical Droodle

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

Explanation Internal angle bisectors divide the opposite side in the ratio of the adjacent sides. More accurately,

If, in ΔABC, AD is an angle bisector of angle A, then

AB/AC = DB/DC

Perhaps curiously, the same is true of the external angle bisectors, i.e., bisectors of the external angles. And the proof is in fact the same.

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

### Proof

Assume the straight line through C parallel to AD meets AB in E. Then, first of all, ΔAEC is isosceles: AC = AE. This is because

∠AEC = ∠BAD = 90° - ∠BAC/2,

such that

∠ACE = 180° - ∠CAE - ∠AEC = 90° = ∠BAC/2

Therefore, AE = AC, and the required proportion follows from the similarity of triangles BEC and BAD.

This property of angle bisectors is one way to show that one internal and two external angle bisectors in a triangle meet in a point. The result is an immediate consequence of Ceva's theorem. ### Angle Bisector

• Angle Bisector
• Angle Bisector Theorem
• Angle Bisectors in Ellipse
• Angle Bisectors in Ellipse II
• Angle Bisector in Equilateral Trapezoid
• Angle Bisector in Rectangle
• Property of Angle Bisectors
• Property of Angle Bisectors II
• A Property of Angle Bisectors III
• Angle Bisectors On Circumcircle
• Angle Bisectors in a Quadrilateral - Cyclic and Otherwise
• Problem: Angle Bisectors in a Quadrilateral
• Triangle From Angle Bisectors
• Property of Internal Angle Bisector - Hubert Shutrick's PWW
• Angle Bisectors Cross Circumcircle
• For Equality Choose Angle Bisector
• 