formula_11は、最も広い区間(この場合formula_3とformula_4の間)のどこかに決めると効率がよい。