# Orthocenter

Orthocenter

## Load Eos

Load Eos

<<"EosHeader.m"

In[]:=

## Orthocenter

Orthocenter

The three (possibly extended) altitudes intersect in a single point H of the triangle. The point H is called the orthocenter of the triangle.

EosSession["Orthocenter"];

In[]:=

NewOrigami[10]

In[]:=

Orthocenter: Step 1

Out[]=

NewPoint["E"{6,7}]

In[]:=

Orthocenter: Step 1

Out[]=

HO["AE"]!

In[]:=

Orthocenter: Step 3

Out[]=

HO["AE","B",Mark{"AE"}]!

In[]:=

Orthocenter: Step 5

Out[]=

HO["BE"]!

In[]:=

Orthocenter: Step 7

Out[]=

HO["BE","A",Mark{{"FB","H"}}]!

In[]:=

Orthocenter: Step 9

Out[]=

Goal[O4Q["AB","E","EH"]];

In[]:=

Prove["Orthocenter",Mapping{"A"{0,0},"B"{1,0},(*"C"{1,1},"D"{0,1},*)"E"{u,v}}]

In[]:=

Proof is successful.

Orthocenter: Step 9

Success,0.027044,

Out[]=

HO["AB","H",Mark{"AB"}]!

In[]:=

Orthocenter: Step 11

Out[]=

ShowOrigami[More{Thick,Red,Line[{"A","E","B","A"}]}]

In[]:=

Orthocenter: Step 11

Out[]=

EndSession[];

In[]:=