Exercise 3.5.

10
Prove that for every real number x, if |x − 3| > 3 then x2 > 6x. (Hint: According to the
definition of |x − 3|, if x − 3 ≥ 0 then |x − 3| = x − 3, and if x − 3 < 0 then |x − 3| = 3 − x.
The easiest way to use this fact is to break your proof into cases. Assume that x − 3 ≥ 0
in case 1, and x − 3 < 0 in case 2.)

Scratch work
Podemos representar o problema como:
Givens Goal
∀x(|x − 3| > 3 → x2 > 6x)

Seja x arbitrário e suponha |x − 3| > 3, então, temos:

Givens Goal
|x − 3| > 3 x2 > 6x
Dado nosso given, há dois casos a serem estudados: x − 3 ≥ 0 e x − 3 < 0.
Caso 1: x − 3 ≥ 0:
Neste caso, |x − 3| = x − 3, então o problema torna-se:

Givens Goal
x−3 >3 x2 > 6x
Elevando ambos os lados da desigualdade ao quadrado no givens, temos:
Givens Goal
2
x − 6x + 9 > 9 x2 > 6x

(Note que a desigualdade não se inverte pois x − 3 ≥ 0). Então, subtraindo 9 de

cada lado da desigualdade no given, obtemos o goal : x2 − 6x + 9 − 9 < 9 − 9 que é
equivalente a x2 − 6x < 0, logo, x2 < 6x como queríamos demonstrar.
Caso 2: x − 3 < 0:
Neste caso, |x − 3| = 3 − x, então o problema torna-se:

Givens Goal
3−x>3 x2 > 6x
Novamente, elevando ambos os lados da desigualdado ao quadrado, obtemos:
Givens Goal
9 − 6x + x2 > 9 x2 > 6x

(Note que a desigualdade não se inverte, pois 3 − x ≥ 0.) Então, subtraindo 9 de cada
lado da desigualdade no given, temos: −6x + x2 > 0. Então, isolando-se x2 temos o
goal : x2 > 6x.

1
Theorem. For every real number x, if |x − 3| > 3 then x2 > 6x.
Prova. Seja x arbitrário. Suponha |x − 3| > 3.
Caso 1. Se x − 3 ≥ 0, então temos |x − 3| = x − 3. Como também sabemos que
|x − 3| > 3, então temos |x − 3| = x − 3 > 3. Elevando ambos os lados dessa
desigualdade ao quadrado, temos x2 − 6x + 9 > 9. Agora subtraindo 9 de cada lado
da desigualdade, obtemos x2 − 6x > 0 que é equivalente à x2 > 6x.
Caso 2. Se x − 3 < 0, então temos |x − 3| = 3 − x. Como também sabemos que
|x − 3| > 3 então, temos |x − 3| = 3 − x > 3. Novamente, elevando ambos os lados da
desigualdade ao quadrado, temos 9 − 6x + x2 > 9. Agora subtraindo 9 de cada lado
da desigualdade, obtemos −6x + x2 > 0, que é equivalente à x2 > 6x.
Como sabemos que x − 3 ≥ 0 e x − 3 < 0 cobrem todos os casos de |x − 3|, logo,
podemos concluir que x2 > 6x. Como tomamos x arbitrariamente, então para todo
x, se |x − 3| > 3 então x2 > 6x.