Ceva’s Theorem
Ceva’s Theorem
Hidekazu Takahashi
Header
Header
<<"EosHeader.m"
In[]:=
Construction
Construction
EosSession["Ceva's Theorem"];
In[]:=
NewOrigami[10];
In[]:=
NewPoint["E"{7,10}]
In[]:=
Ceva's Theorem: Step 1
Out[]=
HO["AE",Handle"D"]
In[]:=
Ceva's Theorem: Step 2
Out[]=
Unfold[]
In[]:=
Ceva's Theorem: Step 3
Out[]=
HO["BE",Handle"C"]
In[]:=
Ceva's Theorem: Step 4
Out[]=
Unfold[]
In[]:=
Ceva's Theorem: Step 5
Out[]=
NewPoint["F"{6,3}]
In[]:=
Ceva's Theorem: Step 5
Out[]=
HO["AF",Handle"B",Mark"BE"]
In[]:=
Ceva's Theorem: Step 6
Out[]=
Unfold[]
In[]:=
Ceva's Theorem: Step 7
Out[]=
HO["BF",Handle"A",Mark{"AE"}]
In[]:=
Ceva's Theorem: Step 8
Out[]=
Unfold[]
In[]:=
Ceva's Theorem: Step 9
Out[]=
HO["EF",Handle"B",Mark{"AB"}]!
In[]:=
Ceva's Theorem: Step 11
Out[]=
seg={Thick,Green,Line[{"A","G"}],Line[{"B","H"}],Line[{"E","I"}],Red,Line[{"A","E","B","A"}]};
In[]:=
GraphicsOrigami[Moreseg]
In[]:=
Ceva's Theorem: Step 11
Out[]=
Verification
Verification