由ln2+ln[(4-x)(4+y)]>=2ln(y-x+6),得
y-x+6>0,①
2(4-x)(4+y)>=(y-x+6)^2,②
由②,2(16+4y-4x-xy)>=(y-x)^2+12y-12x+36,
整理得x^2+y^2-4x+4y+4
由ln2+ln[(4-x)(4+y)]>=2ln(y-x+6),得
y-x+6>0,①
2(4-x)(4+y)>=(y-x+6)^2,②
由②,2(16+4y-4x-xy)>=(y-x)^2+12y-12x+36,
整理得x^2+y^2-4x+4y+4