Hoogtepunt van een willekeurige driehoek (analytisch bewijs)