El documento presenta una demostración matemática de que dos rectas son perpendiculares si el producto de sus pendientes es igual a -1. La demostración utiliza el teorema de Pitágoras aplicado a un triángulo formado por las rectas y el origen para derivar la ecuación m1m2=-1.