pigor: ...
|2x−3y|≤ 2 ⇔ −2 ≤ 2x−3y ≤ 2 /+(−2x) ⇔ −2x−2 ≤ −3y ≤−2x+2 /:(−3) ⇔
⇔
23x+23 ≥ y ≥ 23x−23 szukany zbiór par (x,y) − punktów między
prostymi równoległymi
y=23x± 23 , czyli pas (obszar) między tymi prostymi
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
| √x−y | |
| ≤ 1 /*(x+y)2 − sądzę , że o to chodzi (x+y) i powinno być to w nawiasie, |
| x+y | |
wtedy ⇔ x−y ≥0 ∧ x+y≠0 ∧
√x−y(x+y)− (x+y)
2 ≤ 0 ⇔
⇔
y≤ x ∧ y≠−x − to zapamiętać i dalej ∧ (x+y)[
√x−y−(x+y)] ≤ 0 ⇒
⇒ [x+y≤ 0 ∧
√x−y−(x+y) ≥0] ∨ [x+y ≥0 ∧
√x−y−(x+y)≤ 0] ⇔
⇔ [y≤−x ∧
√x−y ≥(x+y)] /
2 ] ∨ [y ≥−x ∧
√x−y≤ (x+y) /
2] ⇔
⇔ [y≤−x ∧ x−y ≥(x+y)
2] ∨ [y ≥−x ∧ x−y≤ (x+y)
2] ⇔ no i dalej ...