Observe que ambas as retas estão dadas pelas suas equações reduzidas, que é do tipo: y=mx+n, onde m é o coeficiente angular da reta.
Agora, da teoria da Geometria Analítica, temos que:
Se r e s são paralelas, então mr = ms
Se r e s são paralelas, então mr = ms e nr = ns
Se r e s são concorrentes então mr é diferente de ms
Se r e s são perpendiculares então mr . ms = -1
Veja que neste caso: mr=-3 e ms=1/3
Multiplicando-se -3 por 1/3 obtemos exatamente -1. Logo as retas são perpendiculares
