Duas retas são perpendiculares entre si se o produto dos seus coeficientes angulares for igual $a-1$. Logo, é perpendicular à reta $x+2y+3=0$ a reta