>>423
実数条件 X^2-4Y≧0
|x|+|y|≦1　⇔　(|x|+|y|)^2≦1 ⇔　X^2+2(|Y|-Y)≦1
Y≧0 と Y<0 で場合分けすれば、その通り。