Dada f: \mathbb{N} \rightarrow \mathbb{N} tal que f(x)=\left\{\begin{array}{l}x+5, \text { se } x \text { é par } \\\\ 2 x, \text { se } x \text { é impar }\end{array}\right. calcule: f(31)
Passo 1
O enunciado nos dá uma função f:\mathbb{N}\to\mathbb{N}\) definida por partes:
\[f(x)=\begin{cases} x+5, &\text{se } x \text{ é par},\\[4pt] 2x, &\text{se } x \text{ é ímpar}. \end{cases}
O problema pede para calcular o valor de (f(31)].]
Passo 2
Primeiro preciso saber se 31 é par ou ímpar, porque isso determina qual ramo da definição usar. Um número inteiro n é par se existe k\in\mathbb{Z} tal que n=2k. É ímpar se existe k\in\mathbb{Z} tal que n=2k+1. Outra forma prática é olhar o resto da divisão por 2: se n\bmod 2=0 é par; se n\bmod 2=1 é ímpar.
Verificando 31:
31 = 2\cdot 15 + 1,
portanto o resto da divisão de 31 por 2 é 1, isto é, 31 é ímpar. Logo usamos o ramo correspondente a números ímpares da função.
Cheque rápido de coerência: se alguém usasse por engano o ramo dos pares teria calculado 31+5=36, que é diferente de 62. Isso confirma que aplicar o ramo correto (o dos ímpares) era necessário.