abo血型实验:已知:y^2 -x^2+2x+3=0 求:y^2 -x^2的极小值