[จูกัดเหลียง]

อย่างนี้ป่ะครับ
$$x^2+2y=4-y^2+2y\le 5$$
เเละ สมการเป็นจริงเมื่อ $y=1,x=\pm\sqrt 3$