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.