orthocenter triangle whose vertices are (0, 0), (0, 12), (9, 6)