Students prove the converse of the neutral geometry parallel theorem: if lines are parallel, then alternate interior angles are congruent. They use contradiction to demonstrate why the Parallel Postulate is required for this specific direction.

Similar Lessons