Sobre Isolamento de Raízes, marque verdadeiro ou falso para as afirmações a seguir.
a) Uma equação algébrica de grau n tem exatamente n raízes, reais ou complexas, contando cada raiz de acordo com a sua multiplicidade.

b) Uma equação algébrica de grau ímpar com coeficientes reais tem, no mínimo, uma raiz real. □
c) Se os coeficientes de uma equação algébrica forem reais, então suas raízes complexas serão complexos conjugados em pares, ou seja, se \xi_{1}=a+b i for uma raiz de multiplicidade m, então \xi_{2}=a-b i também será uma raiz e com a multiplicidade diferente. □
d) Os limites das raízes reais não garantem a existência delas, mas informam onde elas poderão estar caso existam. □
e) A Regra de sinais de Descartes além de conseguir discenir entre as raízes positivas e negativas, consegue também separar as raízes reais das complexas, as quais aparecem em pares conjugados.

f) No caso de equações transcendentes, como por exemplo f(x)=0.03 x^{3}-2 x+8 \operatorname{sen}(x+2), o método gráfico é a maneira mais simples para achar um intervalo que contenha uma única raiz, pois o Teorema de Lagrange não pode ser aplicado a este tipo de equação.

g) Uma das grandes vantagens do método da bisseção é que ele tem convergência garantida se f for contínua em [a, b] e possui um número ímpar de raízes nesse intervalo, contando com a multiplicidade.

h) O método da bisseção além de robusto é também eficiente, pois possui uma convergência rápida. □

Passo 1

O enunciado pede que eu marque Verdadeiro ou Falso para cada uma das afirmações (a) a (h). As afirmações dadas são:
a) Uma equação algébrica de grau n tem exatamente n raízes, reais ou complexas, contando cada raiz de acordo com a sua multiplicidade.
b) Uma equação algébrica de grau ímpar com coeficientes reais tem, no mínimo, uma raiz real.
c) Se os coeficientes de uma equação algébrica forem reais, então suas raízes complexas serão complexos conjugados em pares, ou seja, se \xi_{1}=a+b i for uma raiz de multiplicidade m, então \xi_{2}=a-b i também será uma raiz e com a multiplicidade diferente.
d) Os limites das raízes reais não garantem a existência delas, mas informam onde elas poderão estar caso existam.
e) A Regra de sinais de Descartes além de conseguir discernir entre as raízes positivas e negativas, consegue também separar as raízes reais das complexas, as quais aparecem em pares conjugados.
f) No caso de equações transcendentes, como por exemplo f(x)=0,03 x^{3}-2 x+8\operatorname{sen}(x+2), o método gráfico é a maneira mais simples para achar um intervalo que contenha uma única raiz, pois o Teorema de Lagrange não pode ser aplicado a este tipo de equação.
g) Uma das grandes vantagens do método da bisseção é que ele tem convergência garantida se f for contínua em [a, b] e possui um número ímpar de raízes nesse intervalo, contando com a multiplicidade.
h) O método da bisseção além de robusto é também eficiente, pois possui uma convergência rápida.
A partir daqui vou analisar cada afirmação passo a passo, explicando a teoria necessária de forma bem didática para você entender por que cada item é verdadeiro ou falso.

Passo 2

Análise do item (a). Primeiro a teoria (com jeitinho): existe um teorema básico — o Teorema Fundamental da Álgebra — que diz o seguinte: toda polinômio não constante de grau n com coeficientes complexos tem exatamente n raízes complexas, se contarmos cada raiz de acordo com sua multiplicidade. O que é multiplicidade? Se p(x) é um polinômio e (x-\alpha) aparece k vezes no fatoramento de p(x), dizemos que \alpha é raiz de multiplicidade k. Ex.: p(x)=(x-1)^2(x+2) tem grau 3 e raízes 1 (multiplicidade 2) e -2 (multiplicidade 1); somando multiplicidades dá 3.
Aplicando isso ao item (a): a afirmação é exatamente a enunciação do teorema — portanto (a) é Verdadeiro.

Passo 3

Análise do item (b). Vamos entender por que um polinômio de grau ímpar com coeficientes reais tem pelo menos uma raiz real. Ideia simples e intuitiva: polinômios são funções contínuas; se o grau é ímpar, os termos dominantes para x\to+\infty e x\to-\infty têm sinais opostos (por exemplo x^3 vai para +\infty quando x\to+\infty e para -\infty quando x\to-\infty). Mais formal: para um polinômio real de grau ímpar, \lim_{x\to+\infty} p(x)=\pm\infty e \lim_{x\to-\infty} p(x)=\mp\infty. Pelo Teorema do Valor Intermediário (TVI) — que diz que uma função contínua que toma valores de sinais opostos em dois pontos precisa zerar em algum ponto entre eles — existe pelo menos um c com p\text{(c)}=0.
Logo (b) é Verdadeiro.

Passo 4

Análise do item (c). Primeiro a propriedade: se um polinômio tem coeficientes reais e a+bi ( b\neq0) é raiz, então o conjugado a-bi também é raiz. Isso ocorre porque ao substituir x=a+bi em um polinômio com coeficientes reais e tomar conjugado, obtemos zero também; portanto raízes complexas aparecem em pares conjugados. Sobre multiplicidade: se a+bi é raiz de multiplicidade m, o conjugado a-bi tem exatamente a mesma multiplicidade m. É importante: a multiplicidade não muda entre conjugados. A afirmação do enunciado diz que o conjugado “também será uma raiz e com a multiplicidade diferente” — isso está errado, devia ser “com a mesma multiplicidade”.
Portanto (c) é Falso.

Passo 5

Análise do item (d). O que significa “limites das raízes reais”? Aqui estamos falando de estimativas ou limites (ou “intervalos” ou “bounds”) que dizem onde as raízes reais podem estar — por exemplo, desigualdades de Cauchy, de Lagrange, etc., que dão um raio R tal que todas as raízes complexas (portanto também as reais) estão dentro do disco |x|\le R. Essas estimativas não garantem que exista uma raiz real; apenas restringem onde, caso existam raízes reais, elas podem estar. Exemplo concreto: o polinômio p(x)=x^2+1 tem todas as raízes com |x|\le1 (na verdade \pm i), mas não tem raízes reais. Então limites/bounds não garantem existência, apenas delimitam possíveis posições. A frase do item (d) diz exatamente isso.
Então (d) é Verdadeiro.

Passo 6

Análise do item (e). Vamos estudar a Regra de Sinais de Descartes. A forma essencial da regra: para um polinômio com coeficientes reais, o número de raízes reais positivas (contadas com multiplicidade) é igual ao número de mudanças de sinal nos coeficientes quando listados na ordem decrescente de potências, ou é menor que esse número por um número par (ou seja, diferença por múltiplos de 2). Há uma versão análoga para o número de raízes negativas se substituirmos x por -x. Observações importantes:
  • A regra dá um máximo possível para o número de raízes positivas e informações sobre paridade;
  • Ela não identifica quais das raízes são reais versus complexas — apenas limita quantas positivas reais pode haver; complexas não aparecem “separadas” pela regra, apenas são contabilizadas indiretamente pelo fato de diminuírem o número de raízes reais possíveis.
    Logo a parte que diz que a regra “consegue também separar as raízes reais das complexas” é falsa: Descartes não separa explicitamente reais de complexas, só dá um teto e informa paridade. Portanto (e) é Falso.

Passo 7

Análise do item (f). Primeiro interpretar: temos uma função que mistura polinomial e trigonométrica, por exemplo f(x)=0,03 x^{3}-2 x+8\operatorname{sen}(x+2). A afirmação diz que o método gráfico é a maneira mais simples para achar um intervalo contendo uma única raiz porque “o Teorema de Lagrange não pode ser aplicado a este tipo de equação”. Vamos esclarecer dois pontos importantes:
  1. O Teorema de Lagrange (Teorema do Valor Médio) exige diferença de continuidade e diferenciabilidade em um intervalo aberto/fechado; funções formadas por polinômio e senóide são contínuas e diferenciáveis em toda \mathbb{R}. Logo o Teorema do Valor Médio (Lagrange) é aplicável aqui.
  2. O método gráfico é uma boa ferramenta intuitiva para localizar raízes, mas não é necessariamente “a maneira mais simples” em todas as situações — existem outros métodos (análise de sinal, TVI, estudo de monotonicidade usando derivadas) que também podem dar intervalos contendo uma única raiz. Dizer que o Teorema de Lagrange “não pode ser aplicado” é categoricamente falso para essa função diferenciável.
    Por esses motivos (f) é Falso.

Passo 8

Análise do item (g). Primeiro o que garante o método da bisseção: se f é contínua em [a,b] e f(a) e f(b) têm sinais opostos (ou seja f(a)f(b)<0), então existe pelo menos uma raiz em (a,b) e o método da bisseção, que divide intervalos ao meio mantendo um subintervalo onde há mudança de sinal, converge para uma raiz. Agora a relação com “número ímpar de raízes contando multiplicidade”: sempre que se tem um número ímpar de raízes (contando multiplicidade) no intervalo (a,b) e assumindo que não há raízes exatamente nos pontos de extremidade que estraguem o sinal, o sinal de f em a e em b será oposto — porque cada raiz de multiplicidade ímpar troca o sinal e cada raiz de multiplicidade par não troca o sinal; soma de multiplicidades ímpar implica troca de sinal global. Assim, se existem um número ímpar de raízes (contando multiplicidade) estritamente no interior do intervalo, isso implica f(a)f(b)<0 e a bisseção funciona e converge. Observação prática e caveat: se houver raízes exatamente nos extremos ou outras situações degeneradas (por exemplo múltiplas raízes de multiplicidade par que fazem o sinal não trocar mesmo com multiplicidade total ímpar por causa de configuração estranha), convém checar f(a) e f(b) explicitamente. Mas, com a interpretação natural do enunciado (função contínua em [a,b] e número ímpar de raízes no intervalo), a afirmação traduz uma condição suficiente para aplicação da bisseção.
Portanto, interpretando o item de forma usual, (g) é Verdadeiro (com a ressalva prática que na implementação é necessário checar o sinal em a e b e tratar casos degenerados).

Passo 9

Análise do item (h). Sobre eficiência do método da bisseção: a bisseção é muito robusta — ela sempre reduz o comprimento do intervalo pela metade a cada iteração e tem garantia de convergência sob as condições apropriadas. Contudo, o tipo de convergência é linear (a precisão melhora proporcionalmente à razão 1/2 do comprimento do intervalo a cada passo), o que é relativamente lento. Outros métodos (por exemplo Newton-Raphson) têm convergência quadrática sob hipóteses favoráveis e, na prática, são muito mais rápidos quando funcionam bem. Logo a afirmação “além de robusto é também eficiente, pois possui uma convergência rápida” é enganosa: a bisseção não tem convergência rápida — ela é lenta mas segura.
Portanto (h) é Falso.

Resposta

(a) Verdadeiro
(b) Verdadeiro
(c) Falso
(d) Verdadeiro
(e) Falso
(f) Falso
(g) Verdadeiro
(h) Falso

Exercícios relacionados