A merőleges vonal meredeksége megegyezik az adott egyenlet meredekségének negatív reciprokjával
Tudjuk, hogy ennek az egyenletnek a lejtése
Szóval, megtesszük a viszonosságot, ami azt jelenti, hogy megfordítjuk a frakciót
De vesszük a negatív kölcsönösséget, így negatív jelet adunk hozzá
Ez egyenlő
Tehát a merőleges vonal meredeksége