Orthocenter Definition

#In the diagram, O=Orthocenter(A,B,C)

# The intersection of the three altitudes of the vertices
# of a triangle whose vertices are Points A, B, C
# hence the intersection of any two of them, its existence is proved by the OrthocenterExists Theorem

Orthocenter:=proc(A,B,C):

Pt ( Altitude (A,Le(B,C)) , Altitude (B,Le(A,C)) ):

end:

Definitions Theorems