Ta sẽ chứng minh : xy+1+yx+1≥2√xy√xy+1(*)(*)⇔x2+x+y2+yxy+x+y+1≥2√xy√xy+1
⇔(x2+y2).√xy+(x+y)√xy+(x2+y2+x+y)≥2√xy(x+y)+(xy+1)2√xy
⇔(x2+y2)√xy+(x2+y2+x+y)≥√xy(x+y)+(xy+1)2√xy
Bất đẳng thức cuối đúng do có đánh giá sau
(x2+y2)√xy≥2xy√xy
x2+y2≥√xy(x+y)
x+y≥2√xy
~~~~~~~~~~~~~
⇒P≥6√xy√xy+1+xyx+y−(x2+y2)
=6√xy√xy+1+xy3−xy−(x+y)2+2xy
=6√xy√xy+1+xy3−xy−(3−xy)2+2xy
=6√xy√xy+1+xy3−xy−x2y2+8xy−9 (0<xy≤1)
Tới đây chị thử khảo sát hàm 1 biến xem :D