(1) 均值不等式:
1 = 1/x + 9/y ≥ 3/√(xy) ==> √(xy) ≥ 3 ==> xy ≥ 9
(2) 柯西不等式:
(1/x + 9/y)(x + 2y) ≥ (1 + 3√2)2
x+2y ≥ 19 + 6√2