x方+y方>=x+y+xy-1
x^2/2+1/2≥x
y^2/2+1/2≥y
x^2/2+y^2/2≥xy
上式相加得
x方+y方>=x+y+xy-1