Vektorit a, b ja c ovat kolmion kärkipisteiden A, B ja C paikkavektorit. Olkoon P sivuille AC ja BC piirrettyjen korkeusjanojen leikkauspiste ja p sen paikkavektori. Tällöin pätee

Jos voidaan todistaa, että myös (p - c) . (a - b) = 0, on tullut todistetuksi, että kaikki kolme korkeusjanaa leikkaavat samassa pisteessä. Suorita todistus Mathematican vektorialgebraa käyttäen.