ここでformula_6は伸長度、formula_25、formula_26である。