Ta có: ax+by=2
=>(ax+by)2=4
<=>a2x2+b2y2+2abxy=4(1)
Áp dụng bất đẳng thức côsi cho 2 số dương:
a2x2+b2y2\(\ge\)2|abxy|\(\ge\)2abxy
Dấu "=" xảy ra khi và chỉ khi ax=by
=> (1) tương đương 4\(\ge\)4abxy=4xy(do ab=1)
=>1\(\ge\)xy(đpcm)
Dấu = xảy ra khi ax=by=1