Una forma de hacerlo podría ser verificar directamente que v es un vector director de r. Puede ayudar observar que la recta r': ax+by=0 es paralela a r y pasa por el origen. Luego de esto es fácil ver que u es perpendicular a la recta r verificando que es perpendicular a v.