In this lesson, we will investigate how to formally prove or disprove whether two lines are perpendicular.