Directed Angles | ELEMENTARY GEOMETRY

Angles between lines

An ordinary angle describes two rays. A directed line angle records the rotation from one line to another, with counterclockwise rotation positive and angles differing by a half-turn identified. Thus we work modulo $\pi$ , or equivalently modulo $180^\circ$ .

Choose a direction $\alpha_\ell$ for each line $\ell$ , measured from a fixed reference line. Define

\angle(\ell,m)=\alpha_m-\alpha_\ell\pmod\pi.

Either direction along a line gives the same class. In particular, reversing the endpoints used to name one line does not change a directed line angle. Changing the reference line also leaves the difference unchanged.

For three distinct points, our convention is

\angle ABC=\angle(BA,BC).

This notation retains the order of the two lines, but not the directions of the individual rays. Replacing a point by another point on the same line through the vertex therefore preserves the angle. This is useful whenever intersections lie on extensions or a configuration changes its arrangement.

Addition, signs, and geometric meaning

All angle equalities below are understood modulo $\pi$ . The definition immediately gives

\begin{aligned} \angle(\ell,m)&=-\angle(m,\ell),\\ \angle(\ell,n)&=\angle(\ell,m)+\angle(m,n). \end{aligned}

The second identity is simply cancellation of the intermediate direction $\alpha_m$ . In point notation, whenever the lines are defined,

\begin{aligned} \angle ABC&=-\angle CBA,\\ \angle ABD+\angle DBC&=\angle ABC. \end{aligned}

Reversing the order of the two lines changes the sign; reversing endpoints along either individual line does not. These are different operations.

A zero angle means that the two lines are parallel or coincide. If they share a vertex, they must coincide: for distinct $A,B,C$ ,

\angle ABC=0 \quad\Longleftrightarrow\quad A,B,C\text{ are collinear}.

Perpendicular lines have angle $\pi/2$ . The two signs agree here because $-\pi/2\equiv\pi/2\pmod\pi$ .

There is no order relation on angle classes modulo $\pi$ . Statements such as “this angle is smaller” require chosen representatives or ordinary ray angles; they cannot be inferred from directed-angle arithmetic alone.

Recognizing a circle

Let $A,B,C,D$ be four distinct points, with no three collinear. The directed form of the inscribed-angle criterion is

A,B,C,D\text{ are concyclic} \quad\Longleftrightarrow\quad \angle ACB=\angle ADB.

The endpoint order $A,B$ is the same on both sides. The ordinary inscribed-angle theorem gives this equality on a circle: viewing the chord from the other arc changes the ray-angle interpretation, but the directed line angles remain equal modulo a half-turn.

For the converse, draw the circle through $A,B,C$ . If $AD$ meets it again at $X\ne A$ , the inscribed-angle theorem and the assumed equality give $XB\parallel DB$ . These lines both pass through $B$ , so $X=D$ . If $AD$ is tangent at $A$ , the tangent–chord theorem instead gives $\angle(AD,AB)=\angle ACB=\angle(AD,DB)$ , forcing $DB\parallel AB$ , contrary to noncollinearity. Thus $D$ lies on the circle.

A short calculation from Simson’s theorem

In Simson’s theorem, $P$ lies on the circumcircle of triangle $ABC$ , and $D,E,F$ are its perpendicular projections onto $BC,CA,AB$ . For this calculation, assume all seven named points are distinct.

The right angles make $P,D,C,E$ and $P,E,A,F$ cyclic. The inscribed-angle identities and the circumcircle of $ABC$ give

\begin{aligned} \angle DEP&=\angle DCP=\angle BCP\\ &=\angle BAP,\\ \angle PEF&=\angle PAF=\angle PAB. \end{aligned}

Addition and sign reversal now yield

\begin{aligned} \angle DEF&=\angle DEP+\angle PEF\\ &=\angle BAP+\angle PAB=0. \end{aligned}

The common vertex $E$ turns this zero angle into collinearity of $D,E,F$ . No choice of side versus side extension enters the calculation.

Simson’s Theorem

Angles between lines

Addition, signs, and geometric meaning

Recognizing a circle

A short calculation from Simson’s theorem

Related articles