Es decir, las rectas formula_30 y formula_31 son perpendicualres siempre que el producto de sus pendientes formula_32 y formula_33 sea igual a formula_37.