基本不等式8*(k^2+2+1/k^2)大于等于32?