AB=根号{(1+k^2)*[(X1+X2)^2-4X1X2]}是如何推导来的?