由已知得1/2ab=a+b+(a^2+b^2)^(1/2)
又a+b〉=2(ab)^1/2,
a^2+b^2>=2ab
所以1/2ab>=2(ab)^(1/2)+(2ab)^(1/2)
化简得ab>=24+16x2^(1/2)