formula_50を正の実数とし、formula_51と置く。