Regular Heptagon
Regular Heptagon
Load Eos
Load Eos
In[]:=
<<EosLoader.wl
Eos3.7.4 (December 12,2023) running under Mathematica 13.3.0 for Mac OS X ARM (64-bit) (June 3, 2023) on Thu 14 Dec 2023 15:39:35.
This version is effective until June 30,2024.
Construction
Construction
In[]:=
EosSession["Regular Heptagon"];
In[]:=
MarkOff[];Inexact[];
In[]:=
NewOrigami[]
Regular Heptagon/Origami: Step 1
Out[]=
In[]:=
HO["A","D",Mark{{"AD","E"},{"BC","F"}}]
Regular Heptagon/Origami: Step 2
Out[]=
In[]:=
Unfold[]
Regular Heptagon/Origami: Step 3
Out[]=
In[]:=
HO["A","B",Mark{{"CD","G"},{"FE","H"}}]
Regular Heptagon/Origami: Step 4
Out[]=
In[]:=
Unfold[]
Regular Heptagon/Origami: Step 5
Out[]=
In[]:=
HO["E","H",Mark{{"EF","I"}}]
Regular Heptagon/Origami: Step 6
Out[]=
In[]:=
Unfold[]
Regular Heptagon/Origami: Step 7
Out[]=
In[]:=
HO["F","I",Mark{{"AB","J"},{"CD","K"}}]
Regular Heptagon/Origami: Step 8
Out[]=
In[]:=
Unfold[]
Regular Heptagon/Origami: Step 9
Out[]=
In[]:=
HO["A","E",Mark{{"KJ","L"}}]
Regular Heptagon/Origami: Step 10
Out[]=
In[]:=
Unfold[]
Regular Heptagon/Origami: Step 11
Out[]=
In[]:=
HO["I","GH","L","HF"]
Regular Heptagon/Origami: Step 11
Out[]=
,,
In[]:=
HO["I","GH","L","HF",FoldLine3]
Regular Heptagon/Origami: Step 12
Out[]=
Verification
Verification