Alternate interior angles are on opposite sides of the transversal and between (interior to) the two lines. When the lines are parallel, alternate interior angles are congruent. This theorem can be proven from the Corresponding Angles Postulate using vertical angles. The converse also holds: if alternate interior angles are congruent, the lines are parallel. This relationship is essential for proving properties of parallelograms.
Use the "Z-pattern" visual to identify alternate interior angles. Prove the theorem from corresponding angles and vertical angles so students see the logical chain. Practice both directions: finding angle measures when lines are known parallel, and determining parallelism from given angle measures.
When a transversal crosses two parallel lines, it creates eight angles. You already know from the Corresponding Angles Postulate that angles in matching positions (same side of the transversal, same side of each parallel line) are congruent. Alternate interior angles build on that foundation with a different pair of angles — and the same powerful conclusion.
Alternate interior angles sit between the two parallel lines (that is the "interior" part) and on opposite sides of the transversal (that is the "alternate" part). A reliable way to spot them is to look for a Z-shape: trace the transversal and the two parallel lines and you will see the alternate interior angles nestled in the bends of the Z. Because they are on opposite sides, they can look quite far apart, but they are congruent.
The proof is short and elegant. Call one of the corresponding angle pairs: angle 1 (above the upper parallel line, on the left of the transversal) and angle 2 (above the lower parallel line, on the left). By the Corresponding Angles Postulate, ∠1 = ∠2. Now, ∠1 and one of the alternate interior angles are vertical angles (they share a vertex and are across from each other), so they are also congruent. Chain those two equalities together: the alternate interior angle equals ∠1, and ∠1 equals ∠2, so the two alternate interior angles are congruent. The proof works in the other direction too — if alternate interior angles are congruent, the lines must be parallel — which gives you a tool for proving lines parallel from angle evidence alone.
This theorem does real work. To prove that opposite sides of a parallelogram are parallel, you draw a diagonal and show that alternate interior angles are congruent, which forces the sides to be parallel. Similar reasoning underlies the proof that the angles of a triangle sum to 180°: extend one side, draw a parallel to the opposite side, and alternate interior angles reveal the three triangle angles laid out in a straight line.