已知方程有实根，求a² b²的最小值.转换主元加数形结合！