defined orthocenter via vector, this is an important work that serves as the bedrock for orthocenter, it is done by @tonyxty
defined orthocenter via intersection of three heights, this is done by first constructing intersection of two heights then proving that it lies on the third height
proving uniqueness as well as permutation invariance of orthocenter, this is still under construction
improved certain contents regarding orthocenter.