ab-3=a+b>=2根号ab
令T=根号ab,
T^2-2T-3>=0
T>=3 or T=3,
故,ab>=9 (当且仅当a=b=3是取等号）