对于正数a，b，有a+b≥2√ab。根据已知条件ab=a+b+3，可以推导出ab≥2√ab+3。通过对√ab进行不等式求解，我们得出√ab≥3，进而且得出ab≥9。同样使用均值不等式，可以得到ab≤(a+b)2/4。结合已知条件a+b+3≤(a+b)20，且x+y=1的情况下，有1/x+2/y=(1/x+2/y)*(x+y)=3+y/x+2x/y≥3+2√2。当且仅当x=√2-1，y=2-√2时，1/x+2/y的最小值为3+2√2。