Centroid Exists Theorem

CentroidExists:=proc() local A,B,C:

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

end:

Previous     Definitions     Theorems     Next