formula_7，则formula_8得到formula_9等式两边同时乘 formula_10 得formula_11得formula_12，将其带入上面方程，并设formula_13，得到一个formula_14的二次方程formula_15解得formula_16根据formula_13，得formula_18则formula_19有实数解formula_20根据formula_19与formula_22的关系，得formula_23，