Enunciado
Sendo \( a \) um real não-negativo, definimos: \( \sqrt{a} = b \Leftrightarrow (b \geq 0 \text{ e } b^2 = a) \). Prove que \( \sqrt{x^2} = |x| \), \( \forall x \in \mathbb{R} \).
Fonte: MACHADO, Antonio Dos Santos. Matemática - Tema e Metas: Conjuntos Numéricos e Funções. 2. ed. São Paulo: Atual, 1988.