• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
Geometry Help
  • About
  • Privacy Policy
  • Contact Me
  • Terms of Service
  • Accessibility Statement
menu icon
go to homepage
search icon
Homepage link
  • About
  • Privacy Policy
  • Contact Me
  • Terms of Service
  • Accessibility Statement
×
Home » Triangles » Isosceles Triangles » Angle Bisector in a Triangle

Angle Bisector in a Triangle

Last updated: Oct 29, 2021 by Ido Sarig · This website generates income via ads and uses cookies · Terms of use · Privacy policy

Today's geometry problem presents an application of the angle bisector theorem in a triangle. It also incorporates several other concepts we've explored, like the properties of isosceles triangles and congruent triangles.

This is a more challenging problem, so don't give up too quickly! It's completely doable if you follow the steps slowly and methodically.

Problem

In triangle △ABC, AE is the angle bisector of ∠BAC (∠BAE≅∠CAE). G is the midpoint of side AB (AG=GB) and H is the midpoint of side AC (AH=HC). Also, FG=AH. FE is perpendicular to AE. Show that BD=DC.

Angle bisector in a triangle

Strategy

Since we are given two midpoints of sides in a triangle, it is tempting to try and use the triangle midsegment theorem. Especially since the theorem says the length of the midsegment is half of the base - so perhaps we might be able to show that GH is equal to either BD or DC, and have our proof.

Indeed, I tried to solve this problem that way, but got nowhere. Perhaps it is possible, but I haven't figured out how, yet.

So let's try a different way- using the fact that we have an angle bisector. AE is both the angle bisector of ∠BAC, and perpendicular to FE. Recall that in an isosceles triangle, the height to the base bisects the apex angle.

And the converse of this is also true - If the bisector of an angle in a triangle is perpendicular to the opposite side, the triangle is isosceles.

Thus, if we extend FE and AC until they intersect at point J, we will have a triangle (△AFJ). And by the above converse theorem, it is an isosceles triangle, in which AF=AJ.

Now let's do some side length math: H is the midpoint of side AC, so we'll label the two equal halves (AH and HC) 'x'. FG is equal to AH, so we will label it 'x', too, and we'll label each half of AB 'y'. G is the midpoint of side AB, so AG=GB=y, so FB which is GB-GF, is y-x.

On the other side, AB=2x, and since △AFJ is isosceles, AJ=AF, and AJ=x+y. AJ is 2x+CJ, so y+x=2x+CJ. CJ is thus y-x, and equal to FB .

triangles with side lengths

This is good progress - we now have two equal sides (CJ=FB) and a pair of equal angles (the two vertical angles at point D). But triangles △BFD and △CJD are clearly not congruent. In an isosceles triangle (△AFJ), the hight to the base bisects the base, so FE=EJ. And that means that FD, which is a smaller part of FE, can't be equal to DJ.

So what we need to do is to construct some triangles where CE and EB would be sides and the vertical angles at D would be interior angles, and then find some other equal side or angle. If we had that, we could use one of the congruent triangle postulates.

This is the tricky part. After some experimenting, we come up with the following idea: draw a line, CK, that is parallel to AB. Because CK||AB, ∠AFE≅∠CKJ, as corresponding angles of two parallel lines. But since △AFJ is isosceles, ∠AFE≅∠CJK, as base angles. So ∠CKJ≅∠CJK, and triangle △AFJ is isosceles by the converse base angle theorem.

adding a parallel line

From this we get CJ=CK, so FB=CK. And, because CK||AB, ∠FBD≅∠DCK, as alternating interior angles, and also ∠BFD≅∠CKD as alternating interior angles. We can now prove △BFD is congruent to △CKD, and BD=DC as corresponding sides.

Proof

(1) ∠BAE≅∠CAE //Given
(2) AE⊥FE // Given
(3) △AFJ is isosceles // Angle bisector is perpendicular to opposite side → isosceles triangle
(4) AF=AJ // Definition of isosceles trinangle
(5) AH=HC=x // Given
(6) FG=AH=x // Given
(7) AG=GB=y // Given
(8) FB = GB-GF=y-x //(6), (7)
(9) AJ=AH+HC+CJ=2x+CJ //(5)
(10) AF=x+y=AJ //(4)
(11) x+y=2x+CJ /(9), (10)
(12) CJ=y-x //Simplify (11)
(13) CJ=FB //(8), (12)
(14) CK||AB //Construction
(15) ∠AFE≅∠CKJ //Corresponding angles of two parallel lines
(16) ∠AFE≅∠CJK // Base angles theorem
(17) ∠CKJ≅∠CJK //(15), (16), Transitive property of equality
(18) CJ=CK // converse base angle theorem
(19) FB=CK //(13), (18), Transitive property of equality
(20) ∠FBD≅∠DCK //(14), alternating interior angles
(21) ∠BFD≅∠CKD //(14), alternating interior angles
(22) △BFD≅ △CKD //(19),(20),(21), Angle-side-Angle postulate
(23) BD=DC // Corresponding sides in congruent triangles (CPCTC)

So you see that we used the angle bisector theorem in a triangle to solve a truly difficult geometry problem, and survived! 🙂

« Converse Angle Bisector Theorem for Isosceles Triangles
Converse Base Angle Theorem »

About the Author

Ido Sarig is a high-tech executive with a BSc degree in Computer Engineering. His goal is to help you develop a better way to approach and solve geometry problems. You can contact him at [email protected]

Primary Sidebar

About

Welcome to Geometry Help! I'm Ido Sarig, a high-tech executive with a BSc degree in Computer Engineering and an MBA degree in Management of Technology. I'm here to tell you that geometry doesn't have to be so hard! My goal with this website is to help you develop a better way to approach and solve geometry problems, even if spatial awareness is not your strongest quality. Read More…

Geometry Topics

  • Area of Geometric Shapes
  • Circles
    • Arcs, Angles, and Sectors
    • Chords
    • Inscribed Shapes
    • Tangent Lines
  • Lines and Angles
    • Intersecting Lines and Angles
    • Parallel Lines
    • Perpendicular lines
  • Pentagons and Hexagons
  • Perimeter of Geometric Shapes
  • Polygons
  • Quadrangles
    • Kites (Deltoids)
    • Parallelograms
    • Rectangles
    • Rhombus
    • Squares
    • Trapezoids
  • Triangles
    • Congruent Triangles
    • Equilateral Triangles
    • Isosceles Triangles
    • Pythagorean Theorem
    • Right Triangles
    • Similar Triangles
    • Triangle Inequalities

By accessing or using this website, you agree to abide by the Terms of Service and Privacy Policy.


Copyright © 2023