Centroid Definition

# The intersection of the three medians of a triangle whose
# vertices are Points A, B, C,
# hence the intersection of any two medians. The Centroid's existence is proved by the CentroidExists Theorem

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

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

end: