NinePointCircle Definition

# In the diagram above, the blue circle is NinePointCircle(A,B,C)

# Euler's Nine-point circle for triangle ABC.
# It is the circle that passes through the nine points described in the
# NinePointCircleExists Theorem,
# and hence through any three of them, for example, the three midpoints

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

Ce ( MidPt (A,B), MidPt (A,C), MidPt (B,C) ):

end:

Definitions Theorems