Ensino Superior ⇒ RAIZES DE POLINOMIOS
Mai 2011
27
09:21
RAIZES DE POLINOMIOS
Seja f(x) [tex3]\in[/tex3] R[x]. Suponha que f(a)=0 e f'(a)=0. Mostre que (x-a)^2 divide f(x).
Editado pela última vez por borges em 27 Mai 2011, 09:21, em um total de 1 vez.
- poti Offline
- Mensagens: 2750
- Registrado em: 19 Mai 2010, 18:27
- Agradeceu: 388 vezes
- Agradeceram: 835 vezes
Mai 2011
27
10:59
Re: RAIZES DE POLINOMIOS
Só faz sentido falar em raiz dupla se o polinômio tiver grau [tex3]n \geq 2[/tex3]. Sendo assim:
[tex3]f(a) = 0[/tex3] implica [tex3]x_{0} = 0[/tex3] (onde [tex3]x_{0}[/tex3] é o termo independente do polinômio).
Então
[tex3]f'(x) = n.x^{n-1} + (n-1).x^{n-2}......[/tex3]
[tex3]f'(a) = n.a^{n-1} + (n-1).a^{n-2}...... = 0[/tex3] implica [tex3]x_{1} = 0[/tex3] (onde [tex3]x_{1}[/tex3] é o termo de grau 1 no polinômio original).
Portanto, [tex3]a = 0[/tex3].
Qualquer polinômio com termo independente valendo 0 será divisível por [tex3]x^2[/tex3], pois:
[tex3](x - a)^2 = x^2[/tex3] c.q.d.
[tex3]f(a) = 0[/tex3] implica [tex3]x_{0} = 0[/tex3] (onde [tex3]x_{0}[/tex3] é o termo independente do polinômio).
Então
[tex3]f'(x) = n.x^{n-1} + (n-1).x^{n-2}......[/tex3]
[tex3]f'(a) = n.a^{n-1} + (n-1).a^{n-2}...... = 0[/tex3] implica [tex3]x_{1} = 0[/tex3] (onde [tex3]x_{1}[/tex3] é o termo de grau 1 no polinômio original).
Portanto, [tex3]a = 0[/tex3].
Qualquer polinômio com termo independente valendo 0 será divisível por [tex3]x^2[/tex3], pois:
[tex3](x - a)^2 = x^2[/tex3] c.q.d.
Editado pela última vez por poti em 27 Mai 2011, 10:59, em um total de 1 vez.
VAIRREBENTA!
- poti Offline
- Mensagens: 2750
- Registrado em: 19 Mai 2010, 18:27
- Agradeceu: 388 vezes
- Agradeceram: 835 vezes
Mai 2011
27
13:41
Re: RAIZES DE POLINOMIOS
Esqueça o que eu escrevi aí em cima, acabei de ver que minhas suposições foram absurdas. Eu vou provar pro caso de grau 3 e você vai perceber que é fácil generalizar depois. Considere um polinômio de grau 3:
[tex3]P(x) = (x - a)^2.(x - b)[/tex3]
Perceba que ele se anula com [tex3]x = a[/tex3] e [tex3]x = b[/tex3]. Ao derivarmos pela regra do produto, temos:
[tex3]P'(x) = 2(x - a)(x - b) + (x - a)^2[/tex3], que se anula com [tex3]x = a[/tex3], c.q.d.
De modo geral, um polinômio com uma raiz repetida [tex3]n[/tex3] vezes, terá as primeiras [tex3]n[/tex3] derivadas valendo zero.
[tex3]P(x) = (x - a)^2.(x - b)[/tex3]
Perceba que ele se anula com [tex3]x = a[/tex3] e [tex3]x = b[/tex3]. Ao derivarmos pela regra do produto, temos:
[tex3]P'(x) = 2(x - a)(x - b) + (x - a)^2[/tex3], que se anula com [tex3]x = a[/tex3], c.q.d.
De modo geral, um polinômio com uma raiz repetida [tex3]n[/tex3] vezes, terá as primeiras [tex3]n[/tex3] derivadas valendo zero.
Editado pela última vez por poti em 27 Mai 2011, 13:41, em um total de 1 vez.
VAIRREBENTA!
- andrecaldas Offline
- Mensagens: 187
- Registrado em: 05 Jul 2010, 22:53
- Agradeceram: 5 vezes
- Contato:
Mai 2011
28
22:01
Re: RAIZES DE POLINOMIOS
É um bocado artificial, mas mesmo que não tivéssemos uma noção de limite em R (se estivéssemos trabalhando com um corpo qualquer), podemos definir para [tex3]f(x) = a_0 + \ldots + a_n x^n[/tex3] sua derivada [tex3]f'(x) = a_1 + \ldots + n a_n x^{n-1}[/tex3]. A regra do produto usual continua valendo.
Note que para o caso de um corpo qualquer, não é verdade que [tex3]\mathbb{N} \subset R[/tex3]. O que temos é que [tex3]n \in \mathbb{N}[/tex3] pode ser visto como o elemento [tex3]1+\ldots + 1 \in R[/tex3]. Note que este elemento pode ser 0, mesmo que [tex3]n \neq 0[/tex3]. Bom... pra este problema específico, isso foi uma observação meio irrelevante. Continuando...
Como [tex3]f(a) = 0[/tex3], [tex3]f(x) = (x - a) g(x)[/tex3]. Pela regra do produto,
[tex3]f'(x) = g(x) + (x-a) g'(x)[/tex3].
Por hipótese, [tex3]f'(a) = 0[/tex3]. Portanto, [tex3]g(a) = 0[/tex3]. Mas isso implica que [tex3]g(x) = (x-a)h(x)[/tex3]. Ou seja,
[tex3]f(x) = (x-a)^2 h(x)[/tex3].
Note que para o caso de um corpo qualquer, não é verdade que [tex3]\mathbb{N} \subset R[/tex3]. O que temos é que [tex3]n \in \mathbb{N}[/tex3] pode ser visto como o elemento [tex3]1+\ldots + 1 \in R[/tex3]. Note que este elemento pode ser 0, mesmo que [tex3]n \neq 0[/tex3]. Bom... pra este problema específico, isso foi uma observação meio irrelevante. Continuando...
Como [tex3]f(a) = 0[/tex3], [tex3]f(x) = (x - a) g(x)[/tex3]. Pela regra do produto,
[tex3]f'(x) = g(x) + (x-a) g'(x)[/tex3].
Por hipótese, [tex3]f'(a) = 0[/tex3]. Portanto, [tex3]g(a) = 0[/tex3]. Mas isso implica que [tex3]g(x) = (x-a)h(x)[/tex3]. Ou seja,
[tex3]f(x) = (x-a)^2 h(x)[/tex3].
Editado pela última vez por andrecaldas em 28 Mai 2011, 22:01, em um total de 1 vez.
-
- Tópicos Semelhantes
- Resp.
- Exibições
- Últ. msg
-
- 0 Resp.
- 564 Exibições
-
Últ. msg por borges
-
- 1 Resp.
- 1932 Exibições
-
Últ. msg por Swiichi
-
- 1 Resp.
- 909 Exibições
-
Últ. msg por csmarcelo
-
- 1 Resp.
- 941 Exibições
-
Últ. msg por MateusQqMD
![🔴 [ENEM 2025 PPL Live 06] Matemática - Resolução de 161 até 165](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/ucQZ6Qn91JM/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 05] Matemática - Resolução de 156 até 160](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/m2T1rBKy2qU/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 04] Matemática - Resolução de 151 até 155](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/1scCX1e_dZo/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 03] Matemática - Resolução de 146 até 150](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/fD8ohgS6JKo/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 02] Matemática - Resolução de 141 até 145](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/np7jAEKAjTE/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 01] Matemática - Resolução de 136 até 140](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/vb1b6e7VXjw/mqdefault.jpg)