BIS 0003 - Bases Matemticas - Quad 2016.

2
Exerccios avulsos propostos em sala de aula
ltima atualizao:
12 de julho de 2016
Os exerccios aqui apresentados correspondem a exerccios propostos em sala de aula, com
eventuais pequenas diferenas ou complementos. Esta lista, consequentemente, ser atualizada
no decorrer do quadrimestre, conforme o andamento das aulas.

Lgica
1. Considere as proposies abertas
p(x, y) : 2xy = 0 e q(x, y) : x + y > 5
nas quais as variveis x e y so nmeros naturais.
(a) D um exemplo e um contraexemplo para cada uma das proposies, quando houver.
(b) Indentifique a varivel livre de x, p(x, y) e determine um exemplo e um contraexemplo para esta proposio, caso existam.
(c) Idem para a proposio aberta y : q(x, y).
(d) Determine o valor verdade das proposies:
i.
ii.
iii.
iv.
v.
vi.
vii.
viii.

y : x, p(x, y)
y, x, p(x, y)
x, y : q(x, y)
x : y : q(x, y)
y, x : p(x, y)
y : x : p(x, y)
x : y, q(x, y)
x, y, q(x, y)

lgebra Bsica
1. Resolva a equao abaixo (em R):

3x2 2x + 15 3x2 2x + 8 = 1
1

2. Resolva a inequao abaixo (em R):

x1<1+ 4x

Funes
1. Dada a funo f : R R, f (x) = x2 7x + 15, determine se:
(a) 1 Im f
(b) 3 Im f
2. Dada a funo f : R R, f (x) = x3 + x2 + x + 1, determine se 1000 Im f .
3. Dada a funo f : R R, f (x) = x4 + 5x2 + 6, determine se 0 Im f .
4. Dada a funo f : Z Z, f (n) =

n(1)n n
,
2

(a) 602 Im f
(b) 703 Im f
(c) 0 Im f

determine se:

(Re)Solues

Lgica
1. (a) Comeemos com a proposio p(x, y). Um exemplo (isto , valores das variveis que tornam a proposio verdadeira) dado por x = 0 e y = 2 (h infinitos outros exemplos, basta que uma das variveis
seja nula). Um contraexemplo (isto , valores das variveis que tornam a proposio falsa) dado por
x = 1 e y = 2 (tambm h infinitos contraexemplos, basta tomar ambas as variveis no nulas).
Quanto proposio q(x, y), um exemplo pode ser x = 1 e y = 412 (aqui tambm h infinitos outros
exemplos). J um contraexemplo pode ser x = 3, y = 1 (pergunta quase off topic: quantos contraexemplos h nesse caso?).
(b) Na proposio x, p(x, y), a varivel livre (isto , aquela que no est quantificada) a varivel y.
Um exemplo para essa proposio (isto , um valor para a varivel y que torna a proposio verdadeira)
dado por y = 0 (e no h outros exemplos). De fato, nesse caso a proposio pode ser escrita como
x, 0x = 0
o que evidentemente verdadeiro (por que?). J um contraexemplo (isto , um valor da varivel y que
torna a proposio falsa) dado por y = 1 (ou qualquer valor no nulo de y). De fato, a proposio
x, 2x = 0
claramente falsa (por que?).
(c) Na proposio y : q(x, y), a varivel livre a varivel x. Um exemplo para essa proposio dado
por x = 3. De fato, nesse caso a proposio pode ser escrita como
y : 3+y >5
o que evidentemente verdadeiro (por que?). J um contraexemplo no existe (por que?).
(d) Nesse item, justificaremos mais detalhadamente as proposies (i) e (iii), dando somente as respostas
das demais.
(i) Sendo uma proposio particular, para ser verdadeira preciso haver um exemplo para o seu predicado,
isto , para a proposio aberta x, p(x, y). Tal exemplo existe, como visto no item (b). Logo, a
proposio em questo verdadeira.
(ii) F
(iii) Sendo uma proposio universal, para ser verdadeira preciso que no existam contraexemplos para
o seu predicado, isto , para a proposio aberta y : q(x, y). Como visto no item (c), no h tais
contraexemplos. Logo, a proposio em questo verdadeira.
(iv) V
(v) V
(vi) V
(vii) V
(viii) F

lgebra Bsica
1. Inicialmente, vejamos o domnio da equao. Devemos ter
3x2 2x + 15 0

3x2 2x + 8 0.

Tratando-se de polinmios quadrticos, analisemos a existncia de razes. No primeiro caso = 4180 <
0, enquanto no segundo = 4 96 < 0. Logo, nenhum dos polinmios possuem raizes. Como o sinal do
coeficiente de x2 positivo em ambos os casos, segue que, para todo x R
3x2 2x + 15 0

3x2 2x + 8 0.

Conclumos que o domnio da equao R.

Para resolver a equao, uma primeira ideia poderia ser elevar ao quadrado. Mas isso deveria ser feito
duas vezes (em uma s no possvel eliminar as razes) e terminaramos com uma desagradvel equao
de quarto grau (verifique isso, mas sem fazer as contas!).
Usaremos ento a tcnica de "multiplicar pelo conjugado". Ela baseada no produto notvel
(a b)(a + b) = a2 b2
A ideia multiplicar ambos os membros por
p
p
3x2 2x + 15 + 3x2 2x + 8

que chamado de conjugado de 3x2 2x + 15 3x2 2x + 8 =, e usar que o produto da soma pela
diferena igual diferena dos quadrados.
Temos ento:

p
p
3x2 2x + 15 3x2 2x + 8 = 1
p
p
p
p
p
p
( 3x2 2x + 15 3x2 2x + 8)( 3x2 2x + 15+ 3x2 2x + 8) = 3x2 2x + 15+ 3x2 2x + 8
p
p
3x2 2x + 15 (3x2 2x + 8) = 3x2 2x + 15 + 3x2 2x + 8
donde

p
p
3x2 2x + 15 + 3x2 2x + 8 = 7

A essa altura, considerando a equao inicial e esta ltima, temos


2
2
3x 2x + 15 3x 2x + 8 = 1
2
3x 2x + 15 + 3x2 2x + 8 = 7
Somando as duas, resulta
2
donde

3x2 2x + 15 = 8

3x2 2x + 15 = 4

e, agora sim, elevando ao quadrado (notando que ambos os termos so positivos)

3x2 2x + 15 = 16
3x2 2x 1 = 0
cujas razes so x = 1 e x = 1/3. Assim, o conjunto-soluo
1
S = { , 1}.
3

2. Comecemos pela anlise do domnio. Devemos ter

x10

4 x 0,

donde o domnio dado por D = [1, 4].

Feito isso, precisaremos elevar ao quadrado ambos os membros. Para isso, fundamental lembrar que
expresses como a2 < b2 e a < b s so equivalentes quando a e b so ambos no-negativos. No caso em
questo, ambos os membros da inequao so no-negativos, ento podemos elevar ao quadrado, obtendo

x1<1+2 4x+4x
isto ,
2x 6 < 2
e logo
x3<

4x

4 x.

A essa altura, elevamos ao quadrado de novo? Basta se perguntar: ambos os lados so no-negativos?
E a resposta ser no, pois x 3 pode ser negativo. Dividimos ento em dois casos: (i) 1 x < 3; (ii)
3 x 4 )lembre que nosso domnio [1, 4]).
No primeiro caso, sendo x 3 < 0
soluo parcial

4 x, a inequao claramente satisfeita. Assim, o conjuntoS1 = [1, 3).

No segundo caso, estamos na condio de elevar ao quadrado e estudar a inequao correspondente:

x2 6x + 9 < 4 x
isto
x2 5x + 5 < 0.
Achando as razes e considerando que o sinal do coeficiente de x2 positivo, resulta que a inequao
acima (considerada em R) satisfeita para

5 5
5+ 5
<x<
.
2
2
Como nosso domnio, neste segundo caso, (3, 4], e considerando que

5 5
5+ 5
<3 e 3<
< 4,
2
2
(faa essa estimativa sem calcular com exatido, somente considerando que 2 <
conjunto-soluo parcial

5+ 5
S2 = [3,
).
2

5 < 3), ento o

Em suma, o conjunto-soluo da inequao

5+ 5
S = S1 S2 = [1,
).
2

Funes
1. A ideia central para este e os trs exerccios seguintes a mesma, a saber:
Para que um valor b do contradomnio seja imagem de algum elemento do domnio, a equao f (x) = b
deve ter uma ou mais solues (nesse caso, cada uma das solues seria uma pr-imagem de b). Note
que no necessrio, em geral, determinar as solues, mas somente se elas existem.

No caso especfico deste exerccio:

(a) A equao f (x) = 1 se escreve como
x2 7x + 15 = 1
x2 7x + 14 = 0
e assim percebemos que qualquer soluo de f (x) = 1, se existir, deve ser raiz do polinmio x2 7x + 14.
Observamos que
= 49 56 < 0
logo o polinmio x2 7x + 14 no possui raiz, ou seja, a equao x2 7x + 15 = 1 no possui soluo.
Assim, 1
/ Im f .
(b) A equao f (x) = 3 se escreve como
x2 7x + 15 = 3
x2 7x + 12 = 0
e assim, qualquer soluo de f (x) = 3, se existir, deve ser raiz do polinmio x2 7x + 12. Observamos
que
= 49 48 > 0
logo o polinmio x2 7x + 14 possui raiz (duas, para ser exato). Assim, 3 Im f .
2. A equao f (x) = 1000 se escreve
x3 + x2 + x + 1 = 1000
isto
x3 + x2 + x 999 = 0
e, mais uma vez, sabemos que qualquer soluo de f (x) = 1000, se existir, deve ser raiz do polinmio
x3 + x2 + x 999. Nesse caso, basta lembrar da propriedade que diz que todo polinmio de grau mpar
possui pelo menos uma raiz real. Assim, o polinmio acima possui pelo menos uma raiz, a qual uma
pr-imagem de 1000 pela funo f .
3. Para saber se a equao x4 + 5x2 + 6 = 0 possui soluo, basta sondar diretamente se o polinmio
x4 + 5x2 + 6 possui raiz. Dessa vez, como no conhecemos nenhum critrio como os usados nos exerccios
anteriores (na verdade, existe uma frmula como a de Baskara para polinmios de grau 4, mas raro seu
uso), ser necessrio buscar explicitamente as solues para ver se de fato existem.
"Mas um polinmio de quarto grau professor....", sim, de fato , mas bastante particular: s possui
termos de grau par (4, 2 e 0), sendo chamado por isso de biquadrtico. A ideia fazer a substituio
u = x2 , achar os valores de u e, em seguida, atravs de radiciao, achar as solues x.
Pois bem, pondo u = x2 na equao original:
x4 + 5x2 + 6 = 0
u2 + 5u + 6 = 0
Esta ltima uma simples equao de segundo grau, cujas razes so u = 2 ou u = 3.
Feito isso, lembrando que a relao entre x e u dada por u = x2 , as razes de x4 + 5x2 + 6 so todos os
valores de x que satisfazem pelo menos uma das equaes
x2 = 2

ou

x2 = 3

as quais, obviamente, no possuem soluo. Conclumos que o polinmio biquadrtico x4 + 5x2 + 6 no

possui raiz, ou seja, 0
/ Im f .

4. Para este exerccio, conveniente tentar entender melhor a funo antes de comear a resolver o problema
propriamente dito ( possvel tambm seguir direto, questo de gosto).
Deve-se notar que a expresso da funo depende da paridade de n. Vamos ento reescrever a expresso
da funo levando em conta essa caracterstica:
n+n
se n par
2
f (n) =
nn
se n mpar
2
Isto
f (n) =

se

n par

se

n mpar

Assim, voltando ao nosso problema, vemos imediatamente que f (n) = b possui soluo se e somente se b
par. Conclumos que a resposta afirmativa para os itens (a) e (c), mas negativa para o item (b).