Perpendicular lines
Published:
Perpendicular lines
A fact about lines, taught midway through highschool where I live, is that two lines with slope $m$ and $-1/m$ are perpendicular. As it is often the case with simple facts, we can show this in many different ways by using more or less justified techniques. In this document, I want to explore different proofs that are well justified and motivated.