ICSP: D : x ≠ 1 ∧ x ≠ 8
| |x2 + 9x + 8| | |
| ≥ 1 // * |x2 − 9x + 2| > 0 |
| |x2 − 9x + 8| | |
|x
2 + 9x + 8| ≥ |x
2 − 9x + 8| //Obie strony są dodatnie, więc mogę podnieść nierówność do
kwadratu
(x
2 + 9x + 8)
2 − (x
2 − 9x + 8)
2 ≥ 0
(x
2 + 9x + 8 − x
2 + 9x − 8)(x
2 + 9x + 8 + x
2 − 9x + 8) ≥ 0
36x(x
2 + 8) ≥ 0 // : x
2 + 8 > 0
36x ≥ 0
x > 0 ∧ x ∊ D ⇒ x ∊ [0 ; +
∞)\{1 ; 8}