Equation of Angle Bisectors: Explained with Examples

When two straight lines cross, they form four angles in two vertical pairs. The angle bisectors are the two perpendicular lines that cut these angles exactly in half — every point on a bisector is equidistant from both original lines. If the lines are a1x + b1y + c1 = 0 and a2x + b2y + c2 = 0, their bisectors come from a single formula with a plus-or-minus sign.

This topic matters because bisectors locate symmetric points — for example the mirror image of a point across an angle, or the centres of circles that touch both lines (incentre/excentre problems in triangles). Distinguishing which bisector gives the acute angle and which gives the obtuse angle is a favourite exam question, and the formula here feeds directly into incenter and angle-chasing problems.

Key Concepts

• Bisector equation: (a1x + b1y + c1) / sqrt(a1² + b1²) = ± (a2x + b2y + c2) / sqrt(a2² + b2²). The two signs give the two bisectors, which are perpendicular to each other.
• Equidistance property: any point P on a bisector satisfies distance(P, line 1) = distance(P, line 2).
• Which bisector contains the origin: rewrite both equations so that c1 and c2 have the same sign. Then the "+" equation is the bisector of the angle containing the origin and the "−" equation is the bisector of the opposite angle.
• Acute vs obtuse: if a1a2 + b1b2 < 0, the "+" equation bisects the acute angle; if a1a2 + b1b2 > 0, the "+" equation bisects the obtuse angle.

Formulas

• Bisectors: (a1x + b1y + c1)/sqrt(a1² + b1²) = ± (a2x + b2y + c2)/sqrt(a2² + b2²).
• Units: none — the formula is dimensionless (x, y in length units cancel in the ratio).
• Assumptions: the lines must not be parallel (parallel lines have a single midline instead) and not coincident.
• Angle between the original lines: tan θ = |(m2 − m1) / (1 + m1m2)|, useful for checking which bisector is acute.

Worked Example

Find the bisectors of 2x + y − 1 = 0 and x + 2y − 1 = 0, and identify the acute and obtuse bisectors.

1. Compute the normalising denominators: sqrt(2² + 1²) = sqrt(5) for both lines.
2. Bisector equation: (2x + y − 1)/sqrt(5) = ±(x + 2y − 1)/sqrt(5), so 2x + y − 1 = ±(x + 2y − 1).
3. "+" sign: 2x + y − 1 = x + 2y − 1 gives x − y = 0, i.e. y = x.
4. "−" sign: 2x + y − 1 = −x − 2y + 1 gives 3x + 3y − 2 = 0, i.e. x + y = 2/3.
5. Decide acute/obtuse: a1a2 + b1b2 = (2)(1) + (1)(2) = 4 > 0, so the "+" bisector (y = x) is the obtuse-angle bisector and x + y = 2/3 is the acute-angle bisector.
6. Cross-check: the two lines intersect at (1/3, 1/3); both bisectors pass through it. Substituting (1/3, 1/3) into y = x gives 1/3 = 1/3, and into x + y = 2/3 gives 2/3 = 2/3. Correct.

Common Misconceptions

• "The bisector formula needs the constants c1, c2 to be positive." Only for the origin-rule shortcut. The main ± formula works with any constants.
• "Only one bisector exists." Two lines make two distinct angles (one acute, one obtuse), so there are two perpendicular bisectors.
• "The acute bisector always comes from the + sign." It depends on the sign of a1a2 + b1b2; blindly taking + can give the obtuse bisector.

Real-World Applications

• Triangle incentres: the incentre is the intersection of two internal angle bisectors of the sides; excentres use external bisectors.
• Optics: the angle bisector gives the direction of a reflected ray when light bounces between two mirrors.
• Robotics and path planning: bisectors provide the "centre line" between two boundary walls for a robot to follow.
• Surveying: setting out an angle bisector with a theodolite divides a measured angle into two equal parts on the ground.

In short: the ± formula turns the equidistance condition into two perpendicular bisector lines. Normalise both line equations, apply the sign rules for origin-containing and acute/obtuse cases, and always verify that each bisector passes through the intersection point of the original lines.