# Equal length of segments

Equal length of segments

## Header

Header

In[]:=

<<"EosHeader.m"

g3 Version 2.0

Eos3.34 (April 18,2021) running under Mathematica 12.2.0 for Mac OS X x86 (64-bit) (February 2, 2021)

## Construction

Construction

In[]:=

EosSession["Equal test"];

In[]:=

MarkOn[];

In[]:=

NewOrigami[]

Equal test: Step 1

Out[]=

In[]:=

HO["A","D"]

Equal test: Step 2

Out[]=

In[]:=

Unfold[]

Equal test: Step 3

Out[]=

## Verification

Verification

In[]:=

Prove["Equal Test",GoalSquaredDistance["D","E"]==SquaredDistance["F","B"]]

Proof is successful.

Equal test: Step 3

Out[]=

{Success,0.010593,}

In[]:=

EndSession[];