Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Angle bisector"
 
Line 1: Line 1:
 
{{WotWAnnounce|week=June 6-12}}
 
{{WotWAnnounce|week=June 6-12}}
−
 
+
__TOC__
 +
== Angle Bisector ==
 
For an [[angle]] <math>\angle BAC</math>, the (internal) angle bisector of <math>\angle BAC</math> is the line from <math>A</math> such that the angle between this line and <math>\overline{AB}</math> is congruent to the angle between this line and <math>\overline{AC}</math>:
 
For an [[angle]] <math>\angle BAC</math>, the (internal) angle bisector of <math>\angle BAC</math> is the line from <math>A</math> such that the angle between this line and <math>\overline{AB}</math> is congruent to the angle between this line and <math>\overline{AC}</math>:
  
Line 28: Line 29:
 
</asy>
 
</asy>
  
−
The external angle is defined by <math>\angle A + \text{ external }\angle A = 180^\circ</math>, and the two angle bisectors are perpendicular to each other.  
+
The external angle is defined by  
 +
<cmath>
 +
\angle A + \text{ external } \angle A = 180^\circ,
 +
</cmath>  
 +
and the two angle bisectors are perpendicular to each other.  
  
 
== Features of Angle Bisectors ==
 
== Features of Angle Bisectors ==
Line 35: Line 40:
 
* The angle bisectors are the [[locus]] of points which are [[equidistant]] from the two sides of the angle.
 
* The angle bisectors are the [[locus]] of points which are [[equidistant]] from the two sides of the angle.
 
* A [[reflection]] about either angle bisector maps the two sides of the angle to each other.
 
* A [[reflection]] about either angle bisector maps the two sides of the angle to each other.
−
* In a triangle, the [[Angle Bisector Theorem]] gives the ratio in which the angle bisector cuts the opposite side.
+
* In a triangle, the '''Angle Bisector Theorem''' gives the ratio in which the angle bisector cuts the opposite side.
 
* In a triangle, the internal angle bisectors (which are [[cevian|cevians]]) all intersect at the [[incenter]] of the triangle. The internal angle bisector of one angle and the external angle bisectors of the other two angles all intersect at an [[excenter]] of the triangle.
 
* In a triangle, the internal angle bisectors (which are [[cevian|cevians]]) all intersect at the [[incenter]] of the triangle. The internal angle bisector of one angle and the external angle bisectors of the other two angles all intersect at an [[excenter]] of the triangle.
−
*A bisector of an angle can be [[Constructions|constructed]] using a compass and straightedge.
+
* A bisector of an angle can be [[Constructions|constructed]] using a compass and straightedge.
  
−
{{asy image|<asy>
+
{{asy image|1=<asy>
 
size(300);
 
size(300);
 
import markers;
 
import markers;
Line 71: Line 76:
 
markangle(n=1,X,Y,I,radius=22);
 
markangle(n=1,X,Y,I,radius=22);
 
markangle(n=1,I,Y,Z,radius=20);
 
markangle(n=1,I,Y,Z,radius=20);
−
</asy>|center|Triangle <math>\triangle XYZ</math> with [[incenter]] ''I'', [[incircle]] (blue), [[angle bisector]]s (orange),  and [[angle bisector|external angle bisectors]] (green)}}
+
</asy>|2=center|3=Triangle <math>\triangle XYZ</math> with [[incenter]] ''I'', [[incircle]] (blue), [[angle bisector]]s (orange),  and [[angle bisector|external angle bisectors]] (green)}}
 +
 
 +
== Proofs ==
 +
 
 +
=== Angle Bisector Locus Theorem ===
 +
 
 +
'''Theorem:''' A point lies on the internal angle bisector of <math>\angle BAC</math> if and only if it is equidistant from the sides <math>\overline{AB}</math> and <math>\overline{AC}</math>.
 +
 
 +
'''Proof:'''
 +
 
 +
Let point <math>D</math> lie on the angle bisector of <math>\angle BAC</math>. Drop perpendiculars from <math>D</math> to lines <math>AB</math> and <math>AC</math>, meeting them at points <math>E</math> and <math>F</math> respectively.
 +
 
 +
Since
 +
<cmath>
 +
\angle DAE = \angle DAC,
 +
</cmath>
 +
and both triangles <math>\triangle DAE</math> and <math>\triangle DAF</math> are right triangles with a shared hypotenuse <math>AD</math> and equal angles, they are congruent by AAS. Hence,
 +
<cmath>
 +
DE = DF.
 +
</cmath>
 +
 
 +
Conversely, if <math>D</math> is equidistant from <math>AB</math> and <math>AC</math>, then <math>\triangle DAE \cong \triangle DAF</math>, and <math>D</math> lies on the angle bisector of <math>\angle BAC</math>.
 +
 
 +
=== Angle Bisector Theorem ===
 +
 
 +
'''Theorem:''' In triangle <math>\triangle ABC</math>, if the internal angle bisector of <math>\angle A</math> intersects <math>\overline{BC}</math> at point <math>D</math>, then
 +
<cmath>
 +
\frac{BD}{DC} = \frac{AB}{AC}.
 +
</cmath>
 +
 
 +
'''Proof:'''
 +
 
 +
Let <math>\angle BAD = \angle DAC</math>, and draw the angle bisector <math>AD</math>.
 +
 
 +
Construct a line through <math>C</math> parallel to <math>AD</math>, and let it intersect the extension of <math>AB</math> at point <math>E</math>.
 +
 
 +
Since
 +
<cmath>
 +
\angle BAD = \angle DAC = \angle ECA
 +
</cmath>
 +
(by alternate interior angles), triangles <math>\triangle ABD</math> and <math>\triangle ECD</math> are similar by AA.
 +
 
 +
Therefore,
 +
<cmath>
 +
\frac{BD}{DC} = \frac{AB}{AC}.
 +
</cmath>
 +
 
 +
=== Internal and External Angle Bisectors Are Perpendicular ===
 +
 
 +
'''Theorem:''' The internal and external angle bisectors of any angle are perpendicular.
 +
 
 +
'''Proof:'''
 +
 
 +
Let the internal and external angle bisectors divide <math>\angle A</math> and its supplement into two equal parts.
 +
 
 +
The internal angle is <math>\theta</math>, and the external angle is <math>180^\circ - \theta</math>.
 +
 
 +
So the internal bisector makes an angle of <math>\theta/2</math> with one side, and the external bisector makes an angle of <math>(180^\circ - \theta)/2</math> with the same side. Adding them:
 +
<cmath>
 +
\frac{\theta}{2} + \frac{180^\circ - \theta}{2} = \frac{180^\circ}{2} = 90^\circ,
 +
</cmath>
 +
so the two bisectors are perpendicular.
  
 
==See also==
 
==See also==
 +
 
* [[Cevian]]
 
* [[Cevian]]
 
* [[Geometry]]
 
* [[Geometry]]
 
* [[Stewart's Theorem]]
 
* [[Stewart's Theorem]]
−
 
  
 
[[Category:Geometry]]
 
[[Category:Geometry]]

Latest revision as of 19:47, 22 June 2025

This is an AoPSWiki Word of the Week for June 6-12

Angle Bisector

For an angle $\angle BAC$, the (internal) angle bisector of $\angle BAC$ is the line from $A$ such that the angle between this line and $\overline{AB}$ is congruent to the angle between this line and $\overline{AC}$:

Anglebisector.png

An angle $\angle BAC$ also has an external angle bisector, which bisects external angle $BAC$:

[asy] import markers; pair A,B,C,D,E,F; B=(0,0); C=(5,0); A=(4,2); D=(3,4); E=(10/3,0); F=rotate(-90,A)*(E); draw(A--B--C--cycle,blue); draw(C--D,blue); pen p=blue+0.15mm; draw(A--F,p); dot(A^^B^^C,red); label("$A$",A,NE); label("$B$",B,W); label("$C$",C,E); markangle(n=1,radius=20,D,A,F,green); markangle(n=1,radius=22,F,A,B,green); [/asy]

The external angle is defined by \[\angle A + \text{ external } \angle A = 180^\circ,\] and the two angle bisectors are perpendicular to each other.

Features of Angle Bisectors

  • The distances from a point on an angle bisector to both of its sides are equal.
  • The angle bisectors are the locus of points which are equidistant from the two sides of the angle.
  • A reflection about either angle bisector maps the two sides of the angle to each other.
  • In a triangle, the Angle Bisector Theorem gives the ratio in which the angle bisector cuts the opposite side.
  • In a triangle, the internal angle bisectors (which are cevians) all intersect at the incenter of the triangle. The internal angle bisector of one angle and the external angle bisectors of the other two angles all intersect at an excenter of the triangle.
  • A bisector of an angle can be constructed using a compass and straightedge.

[asy] size(300); import markers; pair excenter(pair A, pair B, pair C){ pair X, Z; X=A+expi((angle(A-B)+angle(C-A))/2); Z=C+expi((angle(C-B)+angle(A-C))/2); return extension(X,A,Z,C); } pair X=(0,0), Y=(-10,0), Z=(-3,6); pair exX=excenter(Z,X,Y), exY=excenter(X,Y,Z), exZ=excenter(Y,Z,X); label("X",X,2*(1.5,-1));label("Y",Y,2*(-3,-1));label("Z",Z,(0.6,2)); dot(X^^Y^^Z); draw(0.3*(X-Y)+X--Y+0.3*(Y-X));draw(0.3*(Y-Z)+Y--Z+0.3*(Z-Y));draw(0.3*(X-Z)+X--Z+0.3*(Z-X)); draw(X+0.3*(X-exX)--exX,orange);draw(Y+0.3*(Y-exY)--exY,orange);draw(Z+0.3*(Z-exZ)--0.6*(exZ-Z)+Z,orange); draw(Y-0.5*(exX-Y)--Y+0.5*(exX-Y),green);draw(Z-0.5*(exX-Z)--Z+0.5*(exX-Z),green);draw(X-0.5*(exY-X)--X+0.5*(exY-X),green); pair I=extension(X,exX,Z,exZ); dot("I",I,(-1,2)); draw(circle(I,length(I-foot(I,X,Y))),blue); markangle(n=1,3*(Z-X)+X,Z,exX,radius=22,marker(markinterval(stickframe(n=3),true))); markangle(n=1,exX,Z,Y,radius=20,marker(markinterval(stickframe(n=3),true))); markangle(n=1,3*(Y-Z)+Z,Y,exZ,radius=22,marker(markinterval(stickframe(n=2),true))); markangle(n=1,exZ,Y,X,radius=20,marker(markinterval(stickframe(n=2),true))); markangle(n=1,3*(X-Y)+Y,X,exY,radius=22,marker(markinterval(stickframe(n=1),true))); markangle(n=1,exY,X,Z,radius=20,marker(markinterval(stickframe(n=1),true))); markangle(n=3,I,Z,X,radius=20); markangle(n=3,Y,Z,I,radius=22); markangle(n=2,Z,X,I,radius=20); markangle(n=2,I,X,Y,radius=22); markangle(n=1,X,Y,I,radius=22); markangle(n=1,I,Y,Z,radius=20); [/asy]

Enlarge.png
Triangle $\triangle XYZ$ with incenter I, incircle (blue), angle bisectors (orange), and external angle bisectors (green)

Proofs

Angle Bisector Locus Theorem

Theorem: A point lies on the internal angle bisector of $\angle BAC$ if and only if it is equidistant from the sides $\overline{AB}$ and $\overline{AC}$.

Proof:

Let point $D$ lie on the angle bisector of $\angle BAC$. Drop perpendiculars from $D$ to lines $AB$ and $AC$, meeting them at points $E$ and $F$ respectively.

Since \[\angle DAE = \angle DAC,\] and both triangles $\triangle DAE$ and $\triangle DAF$ are right triangles with a shared hypotenuse $AD$ and equal angles, they are congruent by AAS. Hence, \[DE = DF.\]

Conversely, if $D$ is equidistant from $AB$ and $AC$, then $\triangle DAE \cong \triangle DAF$, and $D$ lies on the angle bisector of $\angle BAC$.

Angle Bisector Theorem

Theorem: In triangle $\triangle ABC$, if the internal angle bisector of $\angle A$ intersects $\overline{BC}$ at point $D$, then \[\frac{BD}{DC} = \frac{AB}{AC}.\]

Proof:

Let $\angle BAD = \angle DAC$, and draw the angle bisector $AD$.

Construct a line through $C$ parallel to $AD$, and let it intersect the extension of $AB$ at point $E$.

Since \[\angle BAD = \angle DAC = \angle ECA\] (by alternate interior angles), triangles $\triangle ABD$ and $\triangle ECD$ are similar by AA.

Therefore, \[\frac{BD}{DC} = \frac{AB}{AC}.\]

Internal and External Angle Bisectors Are Perpendicular

Theorem: The internal and external angle bisectors of any angle are perpendicular.

Proof:

Let the internal and external angle bisectors divide $\angle A$ and its supplement into two equal parts.

The internal angle is $\theta$, and the external angle is $180^\circ - \theta$.

So the internal bisector makes an angle of $\theta/2$ with one side, and the external bisector makes an angle of $(180^\circ - \theta)/2$ with the same side. Adding them: \[\frac{\theta}{2} + \frac{180^\circ - \theta}{2} = \frac{180^\circ}{2} = 90^\circ,\] so the two bisectors are perpendicular.

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Angle_bisector&oldid=251911"