Angle Bisectors

Two roads meet at a crossing. A traffic island sits right at the junction, and the municipality wants to plant a flagpole so that it is exactly the same distance from both roads. Where should the pole go?

There are actually two answers — one in the narrow wedge between the roads, and one in the wide wedge. Both positions are equidistant from the two roads, but the narrow-wedge spot is between the acute angle and the wide-wedge spot is between the obtuse angle. Each answer traces out a line through the intersection point, and those two lines are the angle bisectors of the pair of roads.

The same geometry shows up everywhere in coordinate geometry: the incircle of a triangle touches all three sides because its centre lies on all three angle bisectors; reflection problems in optics reduce to bisector computations; and JEE problems love asking you to identify which bisector contains a particular point. The whole theory rests on one clean idea — equal perpendicular distances — and this article builds everything from that idea.

The key insight: equal distances

Take two lines L_1 and L_2 that cross at some point P. Pick any point Q that lies on the bisector of the angle between these lines. Because the bisector cuts the angle in half, Q is tilted equally toward both lines. That means the perpendicular distance from Q to L_1 equals the perpendicular distance from Q to L_2.

Conversely, if a point has equal perpendicular distances to both lines, it must lie on one of the two bisectors.

This is the entire foundation. To find the bisector equations, you just write down the condition "distance to L_1 = distance to L_2" and simplify.

Setting up the equation

Write the two lines in general form:

Recall the perpendicular distance formula from the article on distance formulas. The signed perpendicular distance from a point (h, k) to L_1 is

and the signed perpendicular distance from (h, k) to L_2 is

The word signed is important. The numerator a_1 h + b_1 k + c_1 is positive when (h, k) lies on one side of L_1 and negative when it lies on the other. The sign tells you which half-plane the point is in. This sign is going to do important work in distinguishing the two bisectors.

The bisector is the locus of points where the magnitude of the distance to L_1 equals the magnitude of the distance to L_2:

Removing the absolute values splits this into two cases:

The first case (d_1 = d_2) collects points where the signed distances to both lines have the same sign and magnitude — the point is on the same side of both lines. The second case (d_1 = -d_2) collects points where the signed distances have equal magnitude but opposite signs — the point is on opposite sides of the two lines. Each case traces out a line, giving one bisector each. Writing them out:

Why two equations, not one? Because two intersecting lines create four angles — two pairs of vertically opposite angles. The acute pair shares one bisector; the obtuse pair shares the other. The + sign and - sign separate these two.

Why the formula works. Each side of the equation is just the signed perpendicular distance formula. Setting them equal (with +) picks out points equidistant from both lines on the same side; setting them equal with a - sign picks out points equidistant from both lines on opposite sides. Together, they cover both bisectors.

Which bisector is which? Acute vs obtuse

You have two bisector equations. One bisects the acute angle, the other bisects the obtuse angle. How do you tell them apart?

Here is the method. Find the angle between one of the original lines and one of the bisectors. If that angle is less than 45°, the bisector lies inside the acute angle. If it is greater than 45°, the bisector lies inside the obtuse angle.

There is a quicker test that avoids computing angles explicitly. Suppose the two original lines have slopes m_1 and m_2, and a candidate bisector has slope m_b. Compute

If \tan\theta < 1 (i.e., \theta < 45°), that bisector is the acute bisector. If \tan\theta > 1, it is the obtuse bisector. If \tan\theta = 1 exactly, the original lines meet at 90° and both bisectors make 45° with each line — there is no distinction between acute and obtuse.

A shortcut using coefficients. There is an even faster rule that skips slopes entirely. Write both lines in the form a_i x + b_i y + c_i = 0 and compute a_1 a_2 + b_1 b_2.

• If a_1 a_2 + b_1 b_2 > 0: the bisector from the negative sign (d_1 = -d_2) is the acute bisector.
• If a_1 a_2 + b_1 b_2 < 0: the bisector from the positive sign (d_1 = +d_2) is the acute bisector.
• If a_1 a_2 + b_1 b_2 = 0: the lines are perpendicular, and both bisectors make 45° angles.

Why this shortcut works. The quantity a_1 a_2 + b_1 b_2 is the dot product of the normal vectors (a_1, b_1) and (a_2, b_2) of the two lines. When the normals point in roughly the same direction (positive dot product), the acute angle between the lines opens on the side where the signed distances have opposite signs — hence the negative-sign bisector is the acute one. When the normals point in roughly opposite directions (negative dot product), the logic flips.

The bisector containing the origin

JEE and board exams frequently ask: which bisector passes through the origin, or which bisector contains the origin on a particular side?

The trick is straightforward. First, make the constant terms c_1 and c_2 the same sign — both positive, say — by multiplying one equation by -1 if needed. This standardises the sign convention so that the origin is on the same "side" of each line.

Once c_1 and c_2 are both positive (or both negative):

• The bisector from the positive sign (d_1 = +d_2) is the one that contains the origin.
• The bisector from the negative sign (d_1 = -d_2) is the one that does not contain the origin.

Why? When c_1, c_2 > 0, substituting the origin (0, 0) into both a_1 x + b_1 y + c_1 and a_2 x + b_2 y + c_2 gives c_1 and c_2, both positive. So the origin produces the same sign from both line expressions. The + bisector collects exactly those points where both signed distances have the same sign — the origin is among them.

Worked examples

Common confusions

• "There is only one angle bisector." Two intersecting lines form four angles in two pairs. Each pair has its own bisector, giving two bisectors in total. They are always perpendicular to each other.

• "The bisectors are always at 45° to the original lines." Only when the original lines are perpendicular. In general, the acute bisector makes an angle of \theta/2 with each line, where \theta is the acute angle between the lines. If \theta = 60°, the acute bisector makes 30° with each line, not 45°.

• "The plus-sign bisector is always the acute one." No. Whether the + sign gives the acute or obtuse bisector depends on the sign of a_1 a_2 + b_1 b_2. You must check this every time.

• "Both bisectors pass through the origin." Both bisectors pass through the intersection of the two original lines, not the origin. They pass through the origin only if the two original lines themselves intersect at the origin.

• "I can ignore the signs of c_1 and c_2 when finding the bisector containing the origin." The signs are critical. The entire method for identifying the origin-containing bisector depends on making c_1 and c_2 the same sign first. Skipping this step gives the wrong answer half the time.

Applications

Incircle and excentres of a triangle

The incircle of a triangle is the circle that fits snugly inside, touching all three sides. Its centre — the incentre — must be equidistant from all three sides. That means it lies on the angle bisector of every pair of sides. The incentre is where all three (internal) angle bisectors meet.

The excentres — the centres of the excircles — similarly lie on bisectors, but on the external bisectors. Understanding which bisector is internal and which is external is precisely the acute/obtuse analysis you have just learned.

Reflection in a line

When light bounces off a mirror, the angle of incidence equals the angle of reflection. If you model the mirror as a line and the incoming and outgoing rays as two other lines meeting at the mirror, the normal at the point of reflection bisects the angle between the two rays. This is the law of reflection restated in the language of angle bisectors.

In JEE physics problems, you sometimes need to find the equation of the reflected ray when a light ray hits a mirror-line. The method: find the angle bisector of the incident ray and the normal, and the reflected ray is the one that makes the same angle with the normal on the opposite side. The bisector formula gives you this directly.

Locus problems

Many locus problems reduce to the condition "the point is equidistant from two given lines." The locus is then, by definition, one of the two angle bisectors. Recognising this connection saves significant computation.

For example: "find the locus of a point that moves so that its distance from 3x + 4y - 5 = 0 always equals its distance from 5x + 12y + 7 = 0." The answer is immediate — the locus consists of the two bisectors of these lines, found by setting the signed distance expressions equal with a \pm sign.

Bisectors in triangle geometry

The internal bisectors of the three angles of a triangle are concurrent at the incentre I. This is a theorem, not an accident — it follows because the incentre is equidistant from all three sides, and a point equidistant from two sides must lie on their bisector. The proof is exactly the equal-distance argument you have already seen, applied three times.

The coordinates of the incentre of a triangle with vertices A(x_1, y_1), B(x_2, y_2), C(x_3, y_3) and opposite side lengths a, b, c are

This formula is a weighted average — each vertex is weighted by the length of the opposite side. The bisector equations are the algebraic engine that produces this result.

Going deeper

Proof of the acute/obtuse rule

Consider two lines with direction vectors \mathbf{d}_1 = (b_1, -a_1) and \mathbf{d}_2 = (b_2, -a_2) (these are perpendicular to the normals (a_1, b_1) and (a_2, b_2) respectively). The cosine of the angle \alpha between the two lines is

The + sign bisector has a direction that can be shown to make an angle with L_1 whose tangent involves \cos\alpha. After careful computation, the result is:

When a_1 a_2 + b_1 b_2 > 0, the normals to the two lines point in "similar" directions — the angle between the normals is acute. The positive-sign bisector lies in the region where both signed distances are positive (or both negative), which turns out to be the obtuse angle between the lines. Hence the negative-sign bisector gives the acute angle.

When a_1 a_2 + b_1 b_2 < 0, the normals point in roughly opposite directions, and the logic reverses.

Bisectors are always perpendicular

Here is a quick proof. Let the two bisector equations be

Write p = \frac{1}{\sqrt{a_1^2 + b_1^2}} and q = \frac{1}{\sqrt{a_2^2 + b_2^2}} for brevity. Then:

• B_1 has normal (a_1 p - a_2 q,\; b_1 p - b_2 q).
• B_2 has normal (a_1 p + a_2 q,\; b_1 p + b_2 q).

The dot product of these normals is

Since p^2 = \frac{1}{a_1^2 + b_1^2} and q^2 = \frac{1}{a_2^2 + b_2^2}, each term equals 1. So the dot product is 1 - 1 = 0. The normals are perpendicular, hence the bisectors are perpendicular.

This result is worth remembering: the two angle bisectors of any pair of intersecting lines are always perpendicular to each other.

A coordinate-free view

Bhaskara II, in the Lilavati, discussed angle bisection through the lens of triangle geometry — the angle bisector of a triangle divides the opposite side in the ratio of the adjacent sides. In coordinate geometry, this becomes the angle bisector theorem: if a ray bisects angle A of triangle ABC, it meets BC at a point D such that BD/DC = AB/AC. This result is closely related to the equal-distance property you used above, and it connects the algebraic approach (signed distances from lines) to the classical Euclidean approach (ratios of lengths).

Where this leads next

The angle bisector machinery connects to several important topics in coordinate geometry:

• Family of Lines — the bisectors are special members of the family of lines through the intersection of the two given lines.
• Centres of a Triangle — the incentre lies at the concurrence of all three internal bisectors; the excentres use external bisectors.
• Distance Formulas — the perpendicular distance formula is the engine behind the bisector equations.
• Angle and Conditions — the angle between two lines determines whether the bisector is acute or obtuse.
• Pair of Straight Lines — the bisectors of a pair of lines given by a homogeneous equation have their own elegant formula.