lemotw
says to
YSITD
目前想到的是用兩個不等式去夾在用圓方程去排除~