4つの辺部分と2つの切断長を代入すると、L=(−sAB/h)+AC(1+s/h)+(−sAB/h)+(tAB/h)+AC(1−t/h)+(tAB/h)L=(-sAB/h)+AC(1+s/h)+(-sAB/h)+(tAB/h)+AC(1-t/h)+(tAB/h)L=(−sAB/h)+AC(1+s/h)+(−sAB/h)+(tAB/h)+AC(1−t/h)+(tAB/h) である。整理して L=2AC+((2AB−AC)/h)(t−s)L=2AC+((2AB-AC)/h)(t-s)L=2AC+((2AB−AC)/h)(t−s) を得る。