原文:已知方程有实根,求a² b²的最小值.转换主元加数形结合!