pigor: ...,
(x3−4x)2+|x4−2x3| ≤ 0 , gdzie lewa strona ∀x∊R nieujemna
(dodatnia lub równa0), przy czym z własności wartości bezwzględnej
(x
3−4x)
2+|x
4−2x
3| ≤ 0 ⇔ x
2(x
2−4)
2+x
2|x
2−2x|= 0 ⇔
⇔ x
2=0 lub (x
2−4)
2+|x(x−2)|= 0 ⇔
x=0 lub (x
2−4=0 i x(x−2)=0) ⇔
⇔ x=0 lub x=2 ⇔
x∊{0,2} . ...