台湾看大陆军舰下饺子:已知:y^2 -x^2+2x+3=0 求:y^2 -x^2的极小值