대답:
# (x-2y) ^ 2 in 0,9 #.
설명:
#x in -1,0 rArr -1lexle0 …………. << 1 >> #.
# -2y -2,2 rArr -2le-2yle2 ………………. << 2 >> #.
#:. << 1 >> + << 2 >> rArr -1-2lex-2yle0 + 2, 즉 #
# -3lex-2yle2 #.
-3,2에있는 #rArr (x-2y) = - 3,0 uu 0,2 #.
-3,0의 #rArr (x-2y) 또는 0,2 #의 (x-2y).
# -3,0, -3le (x-2y) le0 #의 "If"(x-2y)
# rArr0le (x-2y) ^ 2le9 또는 #
# (x-2y) ^ 2 in 0,9 ……………………….. << 3 >> #.
0,4의 0,2 rArr (x-2y) ^ 2에있는 "유사하게"(x-2y) … << 4 >> #.
결합 #<<3,4>>#, 우리는 찾는다,
0,9 uu 0,4 #에서 # (x-2y) ^ 2.
0,9 #에서 #rArr (x-2y) ^ 2.