1=1/a+2/b≥2√[2/(ab)],成立的条件是 a>0,b>0,
因√[2/(ab)]>0,将 1≥2√[2/(ab)] 两边平方,得 1≥4*2/ab,得 ab≥8.