Regular Heptagon
Regular Heptagon
Load Eos
Load Eos
In[]:=
<<EosLoader.wl
Eos3.8.0 (October 13,2024) running under Mathematica 14.1.0 for Mac OS X ARM (64-bit) (July 16, 2024) on Mon 14 Oct 2024 18:26:18.
This version is effective until March 31,2025.
Construction
Construction
Verification
Verification
In[]:=
Goalα ToC["G","H"]-ToC["R","H"]0 ToC["G","H"]-ToC["S","H"]==0∧ ToC["G","H"]-ToC["T","H"]==0∧ToC["G","H"]-ToC["Q","H"]==0∧ToC["G","H"]-ToC["P","H"]==0∧ToC["G","H"]-ToC["O","H"]==0;
∀
α∈Complexes
2
α
3
α
4
α
5
α
6
α
In[]:=
??ToC
Regular Heptagon/Origami: Step 23
Out[]=
In[]:=
Prove["Regular heptagon",TacticsSplit]
Proof is successful.
Regular Heptagon/Origami: Step 23
Out[]=
In[]:=
EndSession[];