# 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: