Dados $a,b,c\in\mathbb{N}$, demonstre que se $a\le b$ então $c=b-a\iff c+a=b$.

Questão

Dados a,b,c∈Na,b,c\in\mathbb{N}, demonstre que se a≤ba\le b então c=b−a  ⟺  c+a=bc=b-a\iff c+a=b.

Resposta

Como a,b,c∈Na,b,c\in\mathbb{N} e a≤ba\le b, a subtração b−ab-a está definida em N\mathbb{N}.

(⇒\Rightarrow) Suponha que c=b−ac=b-a. Somando aa aos dois lados, obtemos c+a=(b−a)+a=b.c+a=(b-a)+a=b. Logo, c+a=bc+a=b.

(⇐\Leftarrow) Suponha agora que c+a=bc+a=b. Subtraindo aa dos dois lados, temos c=b−a.c=b-a. Como a≤ba\le b, o termo b−ab-a pertence a N\mathbb{N}, então a igualdade faz sentido em N\mathbb{N}.

Concluímos que, sob a condição a≤ba\le b, vale c=b−a  ⟺  c+a=bc=b-a\iff c+a=b. Alternativa correta: (sem alternativas).

Explicação

Como a,b,c∈Na,b,c\in\mathbb{N} e a≤ba\le b, a subtração b−ab-a está definida em N\mathbb{N}.

(⇒\Rightarrow) Suponha que c=b−ac=b-a. Somando aa aos dois lados, obtemos c+a=(b−a)+a=b.c+a=(b-a)+a=b. Logo, c+a=bc+a=b.

(⇐\Leftarrow) Suponha agora que c+a=bc+a=b. Subtraindo aa dos dois lados, temos c=b−a.c=b-a. Como a≤ba\le b, o termo b−ab-a pertence a N\mathbb{N}, então a igualdade faz sentido em N\mathbb{N}.

Concluímos que, sob a condição a≤ba\le b, vale c=b−a  ⟺  c+a=bc=b-a\iff c+a=b. Alternativa correta: (sem alternativas).

Carregando…

Questões relacionadas

Ver últimas questões