Na geometria analítica, duas retas r_1: a_1x + b_1y + c_1 = 0 e r_2: a_2x + b_2y + c_2 = 0 são perpendiculares se e somente se o produto de seus coeficientes angulares for igual a 1.