# Nine-point circle

Nine-point circle

## Load Eos

Load Eos

In[]:=

<<"EosHeader.m"

## Nine-point circle

Nine-point circle

The nine-point circle is a circle that can be constructed by the nine concyclic points defined from the triangle. These nine points are :

1

.The midpoint of each side of the triangle.

2

.The foot of each altitude.

3

.The midpoint of the line segment from each vertex of the triangle to the orthocenter.

### Construction

Construction

In[]:=

EosSession["nine-point circle"];

In[]:=

NewOrigami[10]

nine-point circle: Step 1

Out[]=

In[]:=

NewPoint["E"{6,7}]

nine-point circle: Step 1

Out[]=

In[]:=

triangle={Thick,Red,Line[{"A","E","B","A"}]};

In[]:=

HO["E","A",Mark{{"EA","F1"},{"AB","F2"}}]!

nine-point circle: Step 3

Out[]=

In[]:=

HO["A","B",Mark{{"AB","G1"},{"F1F2","O"}}]!

nine-point circle: Step 5

Out[]=

In[]:=

HO["B","E",Mark{{"BE","H1"}}]!

nine-point circle: Step 7

Out[]=

Point O is circumcenter

In[]:=

circle1={Thick,Green,GraphicsCircle["O","OA"]};

In[]:=

ShowOrigami[More{circle1,triangle}]

nine-point circle: Step 7

Out[]=

In[]:=

HO["EA","B",Mark{{"EA","J1"}}]!

nine-point circle: Step 9

Out[]=

In[]:=

HO["BA","E",Mark{{"BA","K1"},{"J1B","H"}}]!

nine-point circle: Step 11

Out[]=

In[]:=

HO["EB","A",Mark{{"EB","L1"}}]!

nine-point circle: Step 13

Out[]=

In[]:=

NewMidpoint["M",{"A","H"}]

nine-point circle: Step 13

Out[]=

In[]:=

NewMidpoint["N",{"B","H"}]

nine-point circle: Step 13

Out[]=

### Verification

Verification