Regular Heptagon

Load Eos

In[]:=
<<EosLoader`
Eos3.7.1.1 (March 21,2023) running under Mathematica 13.2.0 for Mac OS X ARM (64-bit) (November 18, 2022) on Mon 27 Mar 2023 18:02:23.

Construction

In[]:=
EosSession["Regular Heptagon"];
In[]:=
MarkOff[];Inexact[];
In[]:=
NewOrigami[]
Regular Heptagon: Step 1
Out[]=
In[]:=
HO["A","D",Mark{{"AD","E"},{"BC","F"}}]
Regular Heptagon: Step 2
Out[]=
In[]:=
Unfold[]
Regular Heptagon: Step 3
Out[]=
In[]:=
HO["A","B",Mark{{"CD","G"},{"FE","H"}}]
Regular Heptagon: Step 4
Out[]=
In[]:=
Unfold[]
Regular Heptagon: Step 5
Out[]=
In[]:=
HO["E","H",Mark{{"EF","I"}}]
Regular Heptagon: Step 6
Out[]=
In[]:=
Unfold[]
Regular Heptagon: Step 7
Out[]=
In[]:=
HO["F","I",Mark{{"AB","J"},{"CD","K"}}]
Regular Heptagon: Step 8
Out[]=
In[]:=
Unfold[]
Regular Heptagon: Step 9
Out[]=
In[]:=
HO["A","E",Mark{{"KJ","L"}}]
Regular Heptagon: Step 10
Out[]=
In[]:=
Unfold[]
Regular Heptagon: Step 11
Out[]=
In[]:=
HO["I","GH","L","HF"]
Regular Heptagon: Step 11
Out[]=

,
,

In[]:=
HO["I","GH","L","HF",FoldLine3]
Regular Heptagon: Step 12
Out[]=

Verification