ab=a+b+3
而由均值不等式有：a+b+3≥2√(ab)+3
所以ab≥2√(ab)+3
ab-2√(ab)-3≥0
[√(ab)-3][√(ab)+1]≥0
√(ab)≥3或√(ab)≤-1(舍去)
所以ab≥9,当a=b=3时取到等号.