pigor: ..., np. tak : dany układ ma sens ⇔ (*)
y≥0 z def, w.bezwzględnej, czyli
5|y|+3x=3y+3 i |4y+9x|=6y ⇔ 5y+3x=3y+3 i (4y+9x=−6y v 4y+9x=6y) ⇔
⇔ 3x+2y=3 i (9x+10y=0 v 9x−2y=0) ⇔ (9x+6y=9 i 9x+10y=0) v (3x+2y=3 i 9x−2y=0) ⇔
⇔ (−4y=9 i 9x=−10y) v (12x=3 i 2y=9x), stąd i z (*) ⇒
⇒ (x,y)∊∅ v (x=
14 i 2y=
94) ⇒
x=14 i
y= 98 ,
czyli
para liczb
(x,y)=(14, 98) − szukane
rozwiązanie układu.