How to Prove the Alternate Interior Angles Theorem

“AIP theorem” is not a universally standard abbreviation, so the exact claim depends on the source using it. A common intended result is the alternate interior angles theorem: when a transversal crosses two parallel lines, the angles inside the two lines and on opposite sides of the transversal are equal.

The proof below uses that interpretation. If AIP means a different named result in your class or text, use its full statement and diagram: the abbreviation alone is not enough to identify it reliably.

The theorem

Let two distinct parallel lines, $\ell$ and $m$, be crossed by a transversal $t$. The transversal forms four angles at each intersection. The angles lying between $\ell$ and $m$ are called interior angles. A pair of interior angles on opposite sides of $t$ are alternate interior angles.

The theorem says that each such pair has equal measure. In symbols, if $\ell \parallel m$, then

$$\text{alternate interior angles are equal}.$$

Proof using standard angle results

Name the intersection of $t$ with $\ell$ as $A$, and the intersection with $m$ as $B$. Choose one of the alternate interior angles at $A$ and the alternate interior angle at $B$ on the opposite side of the transversal.

A standard result for parallel lines cut by a transversal says that corresponding angles are equal. The selected angle at $A$ is vertically opposite to an angle that corresponds to the selected angle at $B$. Vertically opposite angles are also equal. Therefore, by transitivity, the two alternate interior angles are equal.

This proof depends on the parallel-lines angle result: in Euclidean geometry, Euclid’s Proposition I.29 establishes angle relationships for parallel lines and a transversal. If a proof is required from a particular set of axioms, state which parallel postulate or parallel-lines theorem you are allowed to use. The alternate interior angles theorem is not an assumption-free fact in every geometry.

Worked example

Suppose two parallel lines are crossed by a transversal. One of the alternate interior angles measures $67^\circ$. By the theorem, the other alternate interior angle also measures

$$67^\circ.$$

An adjacent angle forms a linear pair with it, so their measures add to $180^\circ$. Thus that adjacent angle is

$$180^\circ - 67^\circ = 113^\circ.$$

The result is consistent with the familiar pattern: the angles in the two intersections alternate between $67^\circ$ and $113^\circ$.

The converse

There is also a converse: if a pair of alternate interior angles formed by a transversal are equal, then the two lines are parallel. This is often called the converse of the alternate interior angles theorem.

For example, if a transversal creates alternate interior angles of $67^\circ$ and $67^\circ$, the converse lets you conclude that the two lines are parallel. Do not reverse the original theorem without checking that the converse is available; a statement and its converse are separate claims.

Common mistakes

• Using the wrong pair: Alternate interior angles are inside the two lines and on opposite sides of the transversal. Angles on the same side are not an alternate pair.
• Assuming the lines are parallel: The theorem requires parallel lines. Equal-looking angles in a sketch are not proof of parallelism; use given information or the converse theorem.
• Confusing equal and supplementary angles: Alternate interior angles are equal when the lines are parallel. Same-side interior angles add to $180^\circ$.
• Treating “AIP” as unambiguous: Different courses may use different abbreviations. Confirm the full theorem statement before building a proof around the initials.