Equal length of segments

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:05:53.

Construction

In[]:=
EosSession["Equal test"];
In[]:=
NewOrigami[]
Equal test: Step 1
Out[]=
In[]:=
HO["A","D"]
Equal test: Step 2
Out[]=
In[]:=
Unfold[]
Equal test: Step 3
Out[]=

Verification

In[]:=
Prove["Equal Test",GoalSquaredDistance["D","E"]==SquaredDistance["F","B"]]
Proof is successful.
Equal test: Step 3
Out[]=
{Success,0.001722,
Equal Test.pdoc.nb
}
In[]:=
EndSession[];