Vamos abrir neste tpico a oportunidade de propormos vrios problemas e sugerir e postar possveis solues.

Comeemos pelo seguinte teorema. 1) Demontrem o seguinte teorema que irei usar para resolver vrios problemas: Paradoxo de Galileu: "Qualquer conjunto enumervel tem uma bijeo sobre um subconjunto prprio de si mesmo". Este teorema nos ajudar a sair de aparentes complicaes e revelar resultados realmente paradoxais. 2) Prove que [\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2...}}}}}}}] inteiro, usando o Paradoxo de Galileu. 3) (IME) Calcule: [\lim_{x\rightarrow2 }\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x...}}}}}}}], usando o Paradoxo de Galileu. OBS: Saiba que [\lim_{x\to L}x=L]. 4) (OMEGALEPH) Galileu ficou perplexo com os seguintes resultados: a) H tantos nmeros inteiros positivos quantos so os quadrados dos nmeros inteiros. Ou seja, designando por d o cardinal dos nmeros inteiros positivos, prove que #NQ = {1, 4, 9, 16, 25, ...} igual a #[\mathbb{N}]={1, 2, 3, 4, 5, ...} = d. b) Prove que h tantos inteiros positivos quantos so os nmeros triangulares. Lembre-se que os triangulares so os nmeros 1, 3, 6, 10, 15, 21, 28, 36, 45, 55, ..., ou seja, so os obtidos pela relao de recorrncia: [T_{n}=\frac{n(n+1)}{2}]. Perfeito, Joo! Depois eu fao uma demonstrao mais formal, mas voc atingiu o corao da famosa Aritmtica Transfinita, sobre a qual vamos nos deter posteriormente. No problema das razes de razes de razes ..., experimente fazer o seguinte: [\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2...}}}}}}}] = k. Em seguida, eleve os dois lados da igualdade ao quadrado e perceba que, usando o Paradoxo de Galileu, voc poder escrever que: [2 * \left (\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2...}}}}}}})\ \right ) =k^{2}] Por fim, pelo paradoxo de Galileu, podemos dizer que ainda teremos: [$$2*\left({\underbrace{\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2\sqrt{2...}}}}}}}}_{{k }}}\right)=k^{2}] Sendo assim, teremos: [2.k = k^{2} \therefore k = 2.]

C.Q.D. Use o mesmo racioccio com a questo 3. Depois voltamos. Caso algum no consiga ver as resolues em TeX, instale o seguinte plugin (extenso): https://chrome.google.com/webstore/detail/mbfninnbhfepghkkcgdnmfmhhbjmhggn O resultado ser imediato e voc ver as frmulas em grande estilo. Abraos. Demonstrao do Paradoxo de Galileu 1) Demonstrem o seguinte teorema que irei usar para resolver vrios problemas: Paradoxo de Galileu: "Qualquer conjunto enumervel tem uma bijeo sobre um subconjunto prprio de si mesmo". Prova. Consideremos um conjunto [S_1] cujos elementos satisfaam a condio do teorema de ser um conjunto enumervel. Sendo assim, poderemos escrever que: [S_1=\left \{ s_1, s_2, s_3, s_4, s_5, s_6, ... \right \}]. Agora, construamos o conjunto que satisfaa s condies do enunciado. Para simplificar podemos tomar [S_2=S_1-\left \{s_1\right\}=\left \{s_2, s_3, s_4, s_5, s_6, ... \right \}]. Observe que os inteiros positivos so os ndices dos elementos de [S_1] e de [S_2], de modo que se visualize de forma clara a enumerabilidade como tambm o fato de [S_2] ser um subconjunto prprio de [S_1], estando, portanto, inteiramente contido em [S_1]. fcil ver que podemos construir uma bijeo do tipo: [s_1\leftrightarrow s_2, s_2\leftrightarrow s_3, s_4\leftrightarrow s_4, ... s_i\leftrightarrow s_{i+1}, ...], com [s_i \in S_1 \wedge s_{i+1}\in S_2] . Tal bijeo , como se v, injetiva entre o conjunto [S_1] e o conjunto [S_2] pela simples eliminao de [s_1]. Assim, para cada elemento de podemos fazer corresponder um nico elemento de [S_2], pela bijeoad infinitum dada por [s_i\leftrightarrow s_{i+1}], com [s_i \in S_1 \wedge s_{i+1}\in S_2]. Ou seja, todos os elementos de [S_1] podem ser colocados em correspondncia biunvoca com os elementos de [S_2], [s_i\leftrightarrow s_{i+1}]. Sendo assim, podemos dizer que o cardinal do conjunto [S_2] igual ao cardinal do conjunto [S_1] que, por sua vez, igual ao cardinal do conjunto [\mathbb{N}]. Simbolicamente, escrevemos [\sharp\left ( S_1 \right ) = \sharp\left (S_2 \right ) = \sharp\left ( \mathbb{N} \right ) = \aleph_0=\mathbf{d}]. Por conseguinte, qualquer conjunto enumervel tem uma bijeo sobre um subconjunto prprio de si mesmo. C.Q.D Por que o termo PARADOXO? A simples definio de PARADOXO que ele consiste de uma afirmao aparentemente contraditria, mas que , no entanto, verdadeira. O Paradoxo de Galileu prova que h tantos nmeros naturais quantos so os nmeros mpares, pares, triangulares, ..., o que parece um contrasenso. Da o termo paradoxo. O nmero cardinal transfinito [\aleph_0] foi designado pelo matemtico alemo Georg Cantor (18451918), o criador da Teoria dos Conjuntos, para designar o menor nmero cardinal. Em seguida, temos o cardinal dos nmeros reais [\aleph_1], que identifica o nmero transfinito dos nmeros reais, ou da reta real.

Cantor viveu dias conturbados porque suas descobertas revolucionaram o conceito de nmero na sua poca e ele chegou a resultados realmente paradoxais, pois a Aritmtica Transfinita, tema de minha dissertao de mestrado, realmente apresenta resultados surpreendentes que at o prprio Cantor perguntava a Dedekind se ele estava correto em suas concluses. Alguns resultados da teoria dos conjuntos de pontos realmente eram to paradoxais, que Cantor mesmo, em certa ocasio, em 1877, escreveu para Dedekind: Eu vejo, mas eu no creio!; e pediu a seu amigo para examinar as provas. Nessa poca foi que, pela primeira vez, chegou-se a uma definio rigorosamente matemtica de infinito, pois ningum havia realmente definido o que era um conjunto infinito. Tambm se descobriu que h diferenas entre infinito e infinito. Em sntese: Diz-se que um sistema S infinito quando ele semelhante a uma parte prpria de si mesmo. Caso contrrio, dir-se- que S um sistema finito. Um conjunto S infinito se e somente se existe uma bijeo de S com um subconjunto prprio de S. Volto ao assunto amanh, com vrios exemplos paradoxais. Soluo do Problema 3 No problema 3 das razes de razes de razes ..., envolvendo x, experimente fazer mesmo que foi feito no problema anterior: [\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x...}}}}}}} = k. ] Em seguida, eleve os dois lados da igualdade ao quadrado e perceba que: [x * \left ( \sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x...}}}}}}}\ \right ) =k^{2}] Por fim, pelo Paradoxo de Galileu, podemos dizer que teremos: [$$x*\left({\underbrace{\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x...}}}}}}}}_{{k} }}\right)=k^{2}] Sendo assim, vem:

Deste modo, se [\lim_{x\rightarrow L }x=L], ento: [\lim_{x\rightarrow2 }\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x\sqrt{x...}}}}}}}=\lim_{x\rightarrow2 }x=2]. De fato, apenas no constava no enunciado a dica de que [\lim_{x\rightarrow L }x=L], por ser, na poca da prova, um conceito elementar da Teoria dos Limites, matria exigida pelo IME nesta prova de 1964/1965, que exemplifica que Clculo era assunto de ensino mdio. Prossigamos na direo contrria proposta do ENEM. 5) (OMEGALEPH-2011) Usando o Paradoxo de Galileu, calcule: a) [\Psi\left ( x,y \right )=\sqrt{x\sqrt{y\sqrt{x\sqrt{y\sqrt{x\sqrt{y}}...}}}}] b) [\Phi\left ( x,y,z \right )=\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z}}...}}}}] c) [\Lambda=2\Psi^7\left ( 1,1 \right )+4\Phi^3\left ( 1,1,1 \right )] Roteiro:

1) Em a), determine [\Psi^4] e em b) determine [\Phi^8]. Em ambos os casos, aplique o Paradoxo de Galileu e pronto. 2) Em c), determine o que se pede com base nas funes obtidas em a) e b). Observao sobre [\Lambda, \Psi] e [\Phi] [\Psi] e [\Phi] So apenas outra forma de eu escrever que so, respectivamente, funes de duas e trs variveis. Apenas embelezamento esttico para acostumar o estudante a usar letras gregas em frmulas, como ele ver muitas em seus estudos superiores. Assim, [\Psi\left ( x,y \right )=\ f\left ( x,y \right)] e tambm [\Phi\left ( x,y,z \right )=\ f\left ( x,y,z \right)] Apenas isso. Tambm perceba que, poderamos ter convencionado que: [\Psi\left ( x,y \right )=\Psi] e tambm [\Phi\left ( x,y,z \right )=\Phi] E, assim, criar vrias relaes entre [\Lambda, \Psi] e [\Phi]. Pois , Renatinha, aqui eu apenas coloquei a fundamentao terica, o Paradoxo de Galileu, com demonstrao detalhada e enquadramento dentro da rea especfica, a Aritmtica Transfinita, que fornece o teorema por trs da resoluo que voc props para 5.a). Vale ressaltar que os problemas que vamos resolver no estilo Omegalheph, apesar de contemplar IME/ITA/IIT/MIT/Putnam/USAMO/AIME/IMO ..., estar apresentando problemas especficos desses vestibulares e competies, mas sempre procurando aprofundar a fundamentao terica e partir, sempre que possvel, para as generalizaes. Em outras ocasies, trataremos dos problemas genricos e os dos vestibulares e competies sero apenas aplicaes ou casos particulares. Nossa inteno ensinar o estudante a ir do particular para o genrico e do genrico para o particular. Omegaleph pretende ser um tratamento sui generis de questes no-elementares por metodologias elementares e questes elementares por metodologias no-elementares. Vamos ao trabalho. Forte abrao. Soluo do Problema 5 5) (OMEGALEPH-2011) Usando o Paradoxo de Galileu, calcule: a) [\Psi\left ( x,y \right )=\sqrt{x\sqrt{y\sqrt{x\sqrt{y\sqrt{x\sqrt{y}}...}}}}] b) [\Phi\left ( x,y,z \right )=\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z}}...}}}}] c) [\Lambda=2\Psi^7\left ( 1,1 \right )+4\Phi^3\left ( 1,1,1 \right )]

Soluo: a) [\Psi\left ( x,y \right )=\sqrt{x\sqrt{y\sqrt{x\sqrt{y\sqrt{x\sqrt{y}}...}}}}] Neste caso, sigamos os mesmos procedimentos que foram feitos nos problemas anteriores: Faamos: [\sqrt{x\sqrt{y\sqrt{x\sqrt{y\sqrt{x\sqrt{y...}}}}}}} = k ] Elevando os dois membros a 4: [x^2.y*\sqrt{x\sqrt{y\sqrt{x\sqrt{y ...}}}} =k^4] Note que, de acordo com o Paradoxo de Galileu, o que est dentro do parentese vale k (do enunciado) [x^2.y*\left ( \sqrt{x\sqrt{y\sqrt{x\sqrt{y...}}}} \right ) =k^4] Ou seja, o Princpio de Galileu nos permite asseverar que: [$$x^2.y*\left({\underbrace{\sqrt{x\sqrt{y\sqrt{x\sqrt{y\sqrt{x\sqrt{y...}}}}}}}_{{k}}}\r ight)=k^{4}] Sendo assim: [x^2.y.\left k =k^4] logo [x^2.y\left =k^3 \therefore k=\sqrt[3]{x^2.y}] Portanto, [\Psi\left ( x,y \right )=\sqrt[3]{x^2.y}] Ento, [\Psi\left ( 1,1 \right )=\sqrt[3]{1^2.1}=1] e [2\Psi^7\left ( 1,1 \right ) = 2.1^7=2] b) Resolvendo, teremos, em analogia com os procedimentos anteriores: [\Phi\left ( x,y,z \right )=\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z}}...}}}}] Neste caso, sigamos tambm os mesmos procedimentos que foram feitos nos problemas anteriores: [\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z...}}}}}}} = k ] Elevando os dois membros a 8: [x^4.y^2.z*\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z...}}}}}} =k^8]

Note que, de acordo com o Paradoxo de Galileu, o que est dentro do parentese vale k (do enunciado) [x^4.y^2.z*\left ( \sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z...}}}}}} \right ) =k^8] Ou seja, o Princpio de Galileu nos permite asseverar que: [$$x^4.y^2.z*\left({\underbrace{\sqrt{x\sqrt{y\sqrt{z\sqrt{x\sqrt{y\sqrt{z...}}}}}}}_{{k }}}\right)=k^{8}] Sendo assim: [x^4.y^2.z.\left k =k^8] logo [x^4.y^2.z\left =k^7 \therefore k=\sqrt[7]{x^4.y^2.z}] Portanto, [\Phi\left ( x,y,z \right )=\sqrt[7]{x^4.y^2.z}] Ento, [\Phi\left ( 1,1,1 \right )=\sqrt[7]{1^4.1^2.1}=1] e [4\Phi^7\left ( 1,1,1 \right ) = 4.1^7=4] Por fim, c) Calculando: [\Lambda=2\Psi^7\left ( 1,1 \right )+4\Phi^3\left ( 1,1,1 \right )=2+4=6] Logo, [\Lambda=6] Isto conclui a soluo do problema 5 e nos leva ao problema 6, que consiste numa generalizao preparada pelo professor Kumar para testar o Sinthaya Gupta e prepar-lo para o IIT e o AIEEE da ndia. Este tipo de problema exige um pouco mais de conhecimento de Heurstica dos estudantes e os estimula a desenvolver uma atitude metodolgica matemtica desde o princpio. Percebam um crescendo bem dosado do grau de dificuldade entre as questes e como o mesmo princpio, o Paradoxo de Galileu, est sendo bem explorado. Este o paradigma do Sistema Omegaleph de Ensino. Vamos em breve questo 6.

19 nov (6 dias atrs)

C bem que podia explicar o que so polinmios simtricos. No sei o que , mas vi um garoto comentando aqui na comunidade e no achei nada sobre =z

Polinmios simtricos Cara Renatinha, voc est falando em algo que envolva um problema como o que segue? Sabendo que: [;\left\{\begin{matrix} & x + y + z = 1 & \\ & x^2 + y^2 + z^2 = 9 & \\ & x^3 + y^3 + z^3 = 1 & \end{matrix}\right;]. Calcule: [;\frac{4}{x^4 + y^4 + z^4};] Este tipo de problema envolve o conceito de polinmios simtricos, e posso abrir um tpico sobre isto, se for do seu interesse. Preciso apenas saber se isto que voc tem em mente.

Usando o conceito de polinmios simtricos, teramos que [S_4 = 1.1-9.(-4)+1.(-4)=33], da[\frac{4}{S_4}=\frac{4}{33}]. Na EUREKA! N25 tem um artigo excelente que trata desses polinmios simtricos, mas tambm seria timos se o prof. Fabiano abordasse esse assunto aqui na comunidade :)

Como vimos, o Paradoxo de Galileu encurta o caminho na soluo de questes que, caso recorrssemos a sries geomtricas, teramos de trabalhar um pouco mais. Fomos criteriosos nas aplicaes dos conceitos, aumentando gradualmente o nvel de dificuldade das questes. Agora, tenho mais duas questes para dominarmos definitivamente o assunto e que demonstraro se vocs realmente aprenderam a usar o Paradoxo de Galileu, teorema to importante, mas que poucos estudantes do ensino mdio j viram e com a devida demonstrao e explicao. (OMEGALEPH 2011) Questo 6: Usando o Paradoxo de Galileu, a) Calcule: [; \delta=\left ( x_1,x_2,x_3,x_4 \right )=\sqrt{x_1\sqrt{x_2\sqrt{x_3\sqrt{x_4\sqrt{x_1\sqrt{x_2\sqrt{x_3\sqrt{x_4}}}}}}} }...;]

b) Prove que [;\sqrt{x_1\sqrt{x_2\sqrt{x_3...\sqrt{x_n\sqrt{x_1\sqrt{x_2\sqrt{x_3...\sqrt{x_n}}}}} }}}...=$${\left[{{\prod\limits_{k=1}^{n}{\left({x_{k}}\right)}}^{2^{n- k}}}\right]}^{{{1}\over{2^{n}-1}}}$$;], para todo [;$$x_{k}\in \mathbb{N}$$;]. Observao: O expoente do produtrio [;\frac {1}{2^{n}-1};]
Polinmios simtricos - Teoria e Problemas Como sugerido pela Renatinha, abrimos um tpico sobre Polinmios Simtricos. Vamos, a partir de uma definico desses polinmios e aps os interessados lerem artigo citado abaixo, propor vrios problemas para que os conceitos sejam bem ilustrados. Definio: Seja [$K$] um corpo e [$K[X_1,\ldots,X_n]$] o anel das formas polinomiais sobre [$K$]. Um polinmio [$f \in K[X_1,\ldots,X_n]$] simtrico se para toda permutao [$\pi$] de [$\{1,\ldots,n\}$:] [$$ f(X_1,\ldots,X_n) = f(X_{\pi(1)},\ldots,X_{\pi(n)})$$.] Frmulas de Vite Para um polinmio [$P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$], com razes [$z_1 , z_2, \dots, z_n$], que no precisam ser necessariamente distintas, temos que: [$\displaystyle \sum_{1 \le i_1 < \cdots < i_k \le n} z_{i_1} \cdots z_{i_k} = (-1)^k \frac{a_{n-k}}{a_n} $] para [$k = 1, 2, \dots, n$]. Listando essas frmulas explicitamente, [*$z_1 + z_2 + \cdots + z_n = -\frac{a_{n-1}}{a_n}$;] [*$z_1 z_2 + \cdots + z_1 z_n + z_2 z_3 + \cdots + z_2 z_n \cdots + z_{n-1} z_n = \frac {a_{n-2}}{a_n}$;] [*$\cdots$] [*$z_1 z_2 \cdots z_n = (-1)^n \frac {a_0}{ a_n}$.] Prova das Frmulas de Vite Estas frmulas de Vite so popularizadas no mbito do ensino mdio brasileiro como Relaes de Girard, mas, seguindo Titu Andreescu e muitas outras obras de histria de matemtica, as designamos de Frmulas de Vite. Oferecemos aqui uma prova destas relaes. Primeiramente, observe que a indexao [$1 \le i_1 \le \cdots i_k \le n$] representa todos os subconjuntos possveis de [$\{ 1, 2, \dots, n \}$] de tamanho [$ k $] at atingir . O Teorema Fundamental da lgebra (TFA) pertmite-nos estabelecer que [$P(x) = a_n (x z_1) \cdots (x- z_n)$], o que, de acordo com um corolrio da frmula do produto das somas

podemos reescrever [$P(x)$] como a soma das potncias[$x^k$] com coeficientes resultante das somas de todos os produtos dos elementos dos subconjuntos de [$\{ z_1, \dots, z_n \}$] de tamanhos complementares [$n-k$]. Portanto, igualando respectivamente com os coeficientes originais de[$P(x)$], divididos todos eles por [$a_n$], obtemos assim as Frmulas de Vite ou as assim chamadas Relaes de Girard. Fazendo uma demonstrao um pouco mais grfica, a fim de que voc possa acompanhar o algebrismo envolvido nesta prova, podemos explicitar todas as etapas da demonstrao como segue abaixo. Isto far parte de nossa abordagem sobre polinmios que est sendo escrita e em breve estar disponvel no site do Projeto Omegaleph. Consideremos a equao: [P(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+a_{n-3}x^{n-3}+ ... a_{1}x+a_{0}=0], com [(a_n \neq 0)]. Sejam [$\{ z_1, z_2,z_3, \dots, z_n \}$] as razes de [P(x)]. Pelo TFA podemos estabecer a seguinte identidade: [$P(x) \equiv a_n (x - z_1)(x - z_2) \cdots (x- z_n)$].

Assim: [$P(x) \equiv a_n (x - z_1)(x - z_2) \cdots (x- z_n)\equiv $] [P(x)=a_{n}x^{n}-a_{n}($\underbrace{z_1+z_2+z_{3}+...z_{n}}_{\sigma_{1}}$)x^{n1}+$] [+a_{n}($\underbrace{z_1z_2+z_1z_3+...+z_{n-1}z_{n}}_{\sigma _{2}}$)x^{n-2}-]

[- a_{n}($\underbrace{z_1z_2z_3+z_1z_2z_4+...+z_{n-2}z_{n-1}z_{n}}_{\sigma _{3}}$)x^{n-3}+...+] [+(-1)^ka_n\sigma _kx^{n-k}+ ... + (1)^na_n($\underbrace{z_1z_2z_{3}...z_{n}}_{\sigma _{n}})$] Com [$\sigma _k$] representamos a soma de todos os [$C_{n}^{k}$] produtos de [$k$] razes de [$P(x) = 0$], calculada como [$\sigma _k=(-1)^k \frac {a_{n-k}}{a_n}] . Por fim, basta igualarmos as duas formulaes de [$P(x)$] para obtermos: [$\sigma _1$ = z_1+z_2+z_{3}+...+z_{n}] [$\sigma _2$ = z_1z_2+z_1z_3+...+z_{n-1}z_{n}] [$\sigma _3$ = z_1z_2z_3+z_1z_2z_4+...+z_{n-2}z_{n-1}z_{n}] ............................................................................................................... [$\sigma_k$ = $$\sum\left[{\prod\limits_{k}{C_{n}^{k}}(z)}\right]$$ = (-1)^k \frac {a_{n-k}}{a_n}] ................................................................................................................ [$\sigma _n$ = z_1z_2z_{3}...z_{n} = (-1)^n \frac {a_0}{a_n}]

Portanto, terminamos a prova das Frmulas de Vite ou as assim chamadas Relaes de Girard, que estabelece as relaes entre os coeficentes e as razes da equao polinomial [$P(x)$]. [$C.Q.D.$] Em seguida veremos outros resultados que podero ser usados para resolvermos inmeras questes tipo IME, ITA e Olimpadas que envolvem os conceitos de Frmulas de Vite e sua aplicao a questes sobre polinmios simtricos, Somas de Newton e temas correlatos dentro do tema Polinmios, cujos Polinmios Simtricos definidos acima fazem parte. Aguardem que daremos prosseguimento. Primeiras Questes Como aplicao das Frmulas de Vite, resolva as seguintes questes: Questo 1: Usando as Frmulas de Vite, calcule a soma dos quadrados e a e a soma dos cubos das razes da equao [x^3 - px + qx - r = 0$] . Questo 2: Se o conjunto-soluo da equao [x^4 - \alpha x^3 + \beta x^2 - \gamma x + \delta = 0] [$$S$=\left\{{r_{1},\ r_{2},\ r_{3},\ r_{4}}\right\}$$], calcule, em funo de [ $\alpha$], [$ \beta$], [ $\gamma$] e [$ \delta$], o nmero [$$\varphi$$ = \frac {1}{r_1} + \frac {1}{r_2} + \frac {1}{r_3} + \frac {1}{r_4}$] . > Euacalahd 1) De acordo com suas definies acima, fiz assim: [S_2=r_1^2+r_2^2+r_3^2=\sigma_12\sigma_2], basta substiturmos pelas relaes de Girard agora [\longrightarrow S_2=(-b)^22c=p^2+2r]. No caso da soma dos cubos, temos [S_3=r_1^3+r_2^3+r_3^3=\sigma_1^33\sigma_1\sigma_2+3\sigma_3=-(-p)^3+3(-p)c-3(-r)=p^3-3pq+3r]

> Euacalahd 2) Nesse caso encontrei [\phi] em funo apenas de [\gamma] e [\delta], assim ->[\phi=\dfrac{\dfrac{-d}{a}}{\dfrac{e}{a}}=\dfrac{d}{e}][=\frac{\gamma}{\delta}] Devo estender para incluir[\alpha] e [\beta]?

t Renatinha Hoooooooooooow agradeo

As solues esto perfeitas! Parabns! Quanto questo 2, o enunciado est realmente ambguo e at mesmo impreciso, pois o autor da questo quis apenas dizer que o nmero pedido deveria ser em funo dos coeficientes da equao dada, mas no necessariamente envolvendo todos eles. Em sntese, essa questo 2 apenas sugeriria que se desenvolvesse: [$$\varphi$$ = \frac {1}{r_1} + \frac {1}{r_2} + \frac {1}{r_3} + \frac {1}{r_4}= \frac {r_1r_2r_3+r_1r_2z_4+r_1r_3r_4+r_2r_3r_4}{r_1r_2r_3r_4}= \frac {\sigma _3}{\sigma _4}$] [\therefore $$\varphi$$ =\frac {\sigma _3}{\sigma _4}= \frac {(-1)^3 \frac

{a_{1}}{a_4}}{(-1)^4 \frac {a_{0}}{a_4}}=\frac {(1)a_{1}}{a_{0}}=\frac{\gamma}{\delta}] Entretanto, elas avanaram o ponto e, nesta altura, vamos ver como os conceitos de Frmulas de Vite ou Relaes de Girard podem ter sua aplicao a questes sobre polinmios simtricos, como j foi adiantado acima, mas no de forma sistematizada. Veremos tambm Somas de Newton e temas correlatos dentro do tema Polinmios, cujos Polinmios Simtricos definidos acima fazem parte. Aguardem que daremos prosseguimento.

Para eu ro reinventar a roda, aps a introduo que dei, hora de ler o texto do Carlos A. Gomes: Polinmios Simtricos. Siga o link: http://www.oei.es/oim/revistaoim/numero24/gomes.pdf. A partir da voc ter uma viso mais ampla dos polinmios simtricos de 2 e 3 variveis. Depois releremos com vocs e ampliaremos a abordagem. Abraos.

Reescrevendo parte da prova das Frmulas de Vite Reescrevo aqui parte da prova das Frmulas de Vite ou Relaes de Girard porque elas facilitam a compreenso da famosas regras de sinais, dando-lhes consistncia terica. [ $\sigma_1=$z_1 + z_2 + \cdots + z_n = -\frac{a_{n-1}}{a_n}$] [ \sigma_2=$z_1 z_2 + \cdots + z_1 z_n + z_2 z_3 + \cdots + z_2 z_n \cdots + z_{n-1} z_n = \frac {a_{n-2}}{a_n}$] [$\sigma _3$ = z_1z_2z_3+z_1z_2z_4+...+z_{n-2}z_{n-1}z_{n}= -\frac {a_{n3}}{a_n}$;] ............................................................................................................... [$\sigma_k$ = $$\sum\left[{\prod\limits_{k}{C_{n}^{k}}(z)}\right]$$ = (-1)^k \frac {a_{n-k}}{a_n}] ................................................................................................................ [$\sigma _n$ = z_1z_2z_{3}...z_{n} = (-1)^n \frac {a_0}{a_n}] Ou, de modo sinttico: [$\displaystyle \sum_{1 \le i_1 < \cdots < i_k \le n} z_{i_1} \cdots z_{i_k} = (-1)^k \frac{a_{n-k}}{a_n} $] para [$k = 1, 2, \dots, n$] Daqui surgem as regras de sinais das relaes de Girard.

Prof. Fabiano Caros amigos, pretendo resolver a questo do IME para mostrar, seguindo nossa linha de abordagem, como precisamos ver mais de cima os problemas e como importante a viso clara das definies e teoremas para resolver problemas deste tipo. O Titu Andreescu, por exemplo, deu uma soluo ao problema que ficou muito aqum do nosso modo de abordagem, porque foi por um caminho que nem sequer pensou em generalizao e sim um modo direto restrito ao problema particular. Nossa proposta, ao contrrio, foi fazer o estudante resolver o problema geral, por relao de recorrncia, e deixar

o problema proposto como um simples caso particular, para k=2, do problema genrico. A diferena que estamos ensinando os estudantes a verem mais de cima. Estamos preparando um material com questes do IME e do ITA, o Renji est trabalhando isto, em que antes de resolvermos a questo particular, procuramos ver mais de cima as questes generalizadas. Os problemas do IME, ITA e outros sero meros casos particulares desses problemas gerais. Percebe a diferena? Gastando o latim, esta a metodologia a maiore ad minus, do maior para o menor. Como se resolvssemos algebricamente problemas de aritmtica. Se voc sabe resolver o problema generalizado, saber, com certeza, resolver o particular. Como exemplo, a forma da equao do segundo grau [x^{2}-Sx+P=0] nada mais do que uma decorrncia da aplicao das relaes entre coeficientes e razes de uma equao geral: [A_{0}x^{m}+A_{1}x^{m-1}+A_{2}x^{m-2}+A_{3}x^{m-3}+ ... A_{m1}x+A_{m}=0]. Isto ns veremos com muitos detalhes mais adiante em nossas aulas tericas em vdeo e por escrito. Pode aguardar. Abrao e deixe-me preparar para viajar. Talvez fique alguns dias sem nos falarmos. To logo chegue ao Brasil e ajeite minha agenda, passo por aqui para nos falarmos. Esta comunidade tem contribudo muito para que eu possa direcionar o Projeto Omegaleph. A participao de vocs tem sido decisiva. Bons estudos.

Provar que se a e b so rases da equao [x^{2} - px + B^{m} = 0]. Teremos[\log_{B}a^{a}+\log_{B}b^{b}+\log_{B}a^{b}+\log_{B}b^{a} = mp] Soluo: 1) Utilizando a propriedade: [\log x^{k} = k.\log x] Temos que: [{\color{Red} \log_{B}a^{a}+\log_{B}b^{b}+\log_{B}a^{b}+\log_{B}b^{a}} = a.\log_{B}a+b.\log_{B}b+b.\log_{B}a+a.\log_{B}b] 2) Colocamos os termos multiplicados por [{\color{Red} a}] e por[{\color{Red} b}] em evidncia. [{\color{Red} a}.(log_{B}a + log_{B}b) + {\color{Red} b}.(log_{B}b + log_{B}a)] 3) Colocamos agora o termo: [{\color{Blue} (log_{B}a + log_{B}b)}] em evidncia. [{\color{Blue} (log_{B}a + log_{B}b)} (a+b)] 4)Aplicando a propriedade: [\log_{K}xy = \log_{K}x + \log_{K}y ] Temos: [{\color{Blue} (log_{B}a.b)} (a+b)] 5)Como a soma das razes igual a: [-\frac{b}{a}] e o produto vale: [\frac{c}{a}], podemos escrever da seguinte forma: [{\color{Blue} (log_{B}a.b)} (a+b) = \log_{B}B^{m}. (p)]

6) [{\color{DarkGreen} \log_{B}B^{m}= m}] 7) [ \log_{B}B^{m}. (p) = mp] [\log_{B}a^{a}+\log_{B}b^{b}+\log_{B}a^{b}+\log_{B}b^{a} = mp] C.Q.D

Problema Hungaro: Sabemos que se a|b e a|c, ento a|(sb+vc) onde s e v so constantes inteiras. seja a=17, e b=2x+3y, c=9x+5y, temos que: 17|(2x+3y) e 17|(9x+5y) -> 17|(-5)*(2x+3y)+(3)*(9x+5y) 17|(-10x-15y+27x+15y) -> 17|17x -> 1|x 17|(9)*(2x+3y)+(-2)*(9x+5y) -> 17|(18x+27y-18x-10y) -> 17|17y -> 1|y No tenho certeza, no sou muito bom com este tip ode exerccio, mas acho que isso.

Resoluo do 2 desafio: x^2011-20x+11=0 Utilizando somas de Newton, temos: 1*S(2011)-20*S(1)+11*S(0)=0 A soma pedida no problema S(2011).Por Girard, sabemos que a soma de todas as razes nula, portanto S(1)=0.Logo: S(2011)=-11*S(0)=-11*2011 = -22121

Renatinha:
O Segundo desafio tambm to usando somas de newton Ta dando o seguinte S(2011) -20S1 +11S0 = 0 S1=0 S0= 2011 Logo S(2011) = -11.2011 bateu com a do danilo

Pedro Regis: Harvard-MIT) Econtre o valor de: [\frac{2^{2}}{2^{2}-1}\cdot \frac{3^{2}}{3^{2}1}\cdot \frac{4^{2}}{4^{2}-1}\cdot \cdot \cdot \cdot \cdot \cdot \frac{2006^{2}}{2006^{2}-1}] Soluo: Vou trabalhar separado em duas partes para poder deixar com mais termos para que fique mais claro. Parte I os cinco primeiros termos.

Transformando em produtos os numeradores e fatorando as diferenas de quadrados dos denominadores. [\frac{2\cdot 2}{(2-)(2+1)}\cdot \frac{3\cdot3 }{(3-1)(3+1)}\cdot \frac{4\cdot4 }{(41)(4+1)}\cdot \frac{5\cdot5 }{(5-1)(5+1)}\cdot \frac{6\cdot6 }{(6-1)(6+1)}] Efetuando as somas e subtraes do denominador, e observando como vo se cancelar. [\frac{2\cdot 2}{(1)(3)}\cdot \frac{3\cdot3 }{(2)(4)}\cdot \frac{4\cdot4 }{(3)(5)}\cdot \frac{5\cdot5 }{(4)(6)}\cdot \frac{6\cdot6 }{(5)(7)}] Chegamos a este resultado. [\frac{2}{1}\cdot \frac{6}{7}]

Parte II os 4 ultimos termos . Transformando em produtos os numeradores e fatorando as diferenas de quadrados dos denominadores. [\cdot \frac{2003\cdot2003 }{(2003-1)(2003+1)}\cdot \frac{2004\cdot2004 }{(20041)(2004+1)}\cdot \frac{2005\cdot2005 }{(2005-1)(2005+1)}\cdot \frac{2006\cdot2006 }{(2006-1)(2006+1)}] Efetuando as somas e subtraes do denominador, e observando como vo se cancelar. [\cdot \frac{2002\cdot2002 }{(2001)(2003)}\cdot \frac{2003\cdot2003 }{(2002)(2004)}\cdot \frac{2004\cdot2004 }{(2003)(2005)}\cdot \frac{2005\cdot2005 }{(2004)(2006)}\cdot \frac{2006\cdot2006 }{(2005)(2007)}] Chegamos a este resultado. [\frac{2002}{2001}\cdot \frac{2006}{2007}]

Agora juntando os resultados das partes I) e II). [\frac{2}{1}\cdot \frac{6}{7}\cdot\frac{2002}{2001}\cdot \frac{2006}{2007}] Pelo padro do cancelamento o 6 o 7 o 2001 e o 2002 vo se cancelar com outros termos. Ficando apenas. [\frac{2\cdot 2006}{2007}] [\frac{4012}{2007}] Sera que acertei ? Foi mal ai se fiz besteira.

Renji-Rodrigo

D pra fazer o caso geral ;x~ [\prod^{n}_{k=2}\frac{k^2}{k^2-1}=\frac{( \prod\limits^{n}_{k=2}k )^2}{\prod\limits^{n}_{k=2}(k-1)\prod\limits^{n}_{k=2}(k+1)}= \frac{(n!)^2}{(n-1)! \frac{(n+1)!}{2}}=\frac{2(n)! (n)!}{(n-1)!(n)!(n+1)}=\frac{2n}{n+1}.] Como exemplo [\prod^{2006}_{k=2}\frac{k^2}{k^2-1} = \frac{4012}{2007}. ]

Natasha foi mal faltou um e ali ''Harry e Natasha''. A respeito do problema que eu disse que me deu a ideia de fazer este de Haverd, me deu a ideia porque ele segue o mesmo raciocinio, foi esse ai abaixo, no sei se a fonte correta porque tem varias fontes pra esse problema na net. (E.U.A) Calcule: [ \frac{(10^{4}+324)(22^{4}+324)(34^{4}+324)(46^{4}+324)(58^{4}+324)}{(4^{4}+3 24)(16^{4}+324)(28^{4}+324)(40^{4}+324)(52^{4}+324)}] Minha opinio sobre essa questo. Eu acho essa questo 100 vezes mais difcil de sacar como resolver, s vi at hoje um jeito de resolve-lo como resolver, fora o trabalho algbrico que tambm consideravelmente grande. Gostaria de ver maneiras alternativas de resolver essa questo. Renji muito massa essa generalizao, eu tinha percebido que dava pra encontrar o caso geral, mas me falta habilidades pra fazer uma resoluo assim. Olhar e dizer '' vou encontrar a generalizao do caso dese problema e vai ser mais facil pra mim resolve-lo pelo caso geral ''. omentando o que falou no post anterior) Ento, as vezes resolver um caso mais geral mais simples ( as vezes, talvez minoria das vezes xD), de qualquer forma acho interessante os casos gerais ( acho que vale a pena escrever xD), e voc consegue generalizar sim \o\ sobre o problema que postou, tambm no sei soluo simples =/, arranjar uma fatorao rpida para chegar no resultado, mas aqui uma generalizao dele Calcular o produto [\prod^{n-1}_{k=0}\frac{324 +(10+12k)^4}{324 +(4+12k)^4}. ] Se sabemos as fatoraes (tem que demonstrar que elas valem) [324 +(4+12k)^4=4(5+12k+72k^2)(29+84k+72k^2) ] [324 +(10+12k)^4=4(5+12(k+1)+72(k+1)^2)(29+84k+72k^2) ] da [\prod^{n-1}_{k=0}\frac{324 +(10+12k)^4}{324 +(4+12k)^4}=\prod^{n1}_{k=1}\frac{(5+12(k+1)+72(k+1)^2)}{(5+12k+72k^2)} =]

[=\prod^{n-1}_{k=0}Q(5+12k+72k^2)=\frac{5+12n+72n^2}{5} ] Estou usando a notao [Qf(k) =\frac{f(k+1)}{f(k)} ] que um operador que faz o quociente dos termos consecutivos e a propriedade de produto telescpico ( parecido com soma telescpica, mas com produto 8D (=^.^=)) [\prod^{n-1}_{k=0}Q f(k) =\frac{f(n)}{f(0)} ] s ver que os termos vo se cancelando. A respeito da questo que postei com fonte do E.U.A. Eu postei ela por que acho que ela tem em pelo menos uma resoluo um raciocnio parecido com a questo do MIT. Eu disse que gostaria de ver uma resoluo diferente para ela. Se a galera puder postar algumas solues alternativas seria interessante. @Renji cabeluda pra meu nvel matemtico essa sua segunda generalizao, no entendi esse muito bem no, mas isso ai. Kkkkkk @Alcemyr no tenho esse livro mas j ouvi muito falar e quero muito telo mas falta grana, se vc puder postar a resoluo, ou pelo menos a ideia pra eu saber se diferente da que eu conheo. Prof.Fabiano acredito que essa questo seja boa para ser feito um vdeo. Digo isso porque a maneira que eu conheo de resolve-la usa o produto notvel [ a^{4}+4b^{4} ], seria um caso mais avanado da questo do MIT. Ai esta ela novamente com a fonte correta. (AIME-1987) Calcule: [ \frac{(10^{4}+324)(22^{4}+324)(34^{4}+324)(46^{4}+324)(58^{4}+324)}{(4^{4}+3 24)(16^{4}+324)(28^{4}+324)(40^{4}+324)(52^{4}+324)}] E prof aqui esta ela em ltex se o senhor quiser colocar no site \frac{(10^{4}+324)(22^{4}+324)(34^{4}+324)(46^{4}+324)(58^{4}+324)}{(4^{4}+3 24)(16^{4}+324)(28^{4}+324)(40^{4}+324)(52^{4}+324)};] Desculpas ai quer coisa. Pode ser que eu demore a voltar aqui no tpico porque no tenho PC pessoal, portanto se me fizerem uma pergunta ou algo do tipo pode ser que eu demore a responder ok. acho que a mesma resoluo que vc disse saber, mesmo assim l vai: desenvolve [a^{4}+4b^{4}] assim: [a^{4}+4b^{4} = a^{4}{\color{Red}+ 4x^{2}y^{2}}+4b^{4}{\color{Red} 4x^{2}y^{2}}] ... ... at chegar em:

[a^{4}+4b^{4} = [(x-y)^{2}+y^{2}].[(x+y)^{2}+y^{2}] depois mostra que [n^{4} + 324] pode ser escrito como [n^{4} + 4.3^{4}], substitui os valores na expresso de cima e encontra: [n^{4} + 324 = [(n-3)^{2}+9].[(n+3)^{2}+9]] a substitui cada termo na equao inicial e simplifica tudo...

(Antes de responder , queria postar essa outra generalizao do produtrio postado pelo Pedro regis ) Calcular a frmula fechada do produtrio [\prod^{n-1}_{k=1} \frac{(x+2y+4yk)^4+4y^4}{(x+4yk)^4+4y^4}.] Usamos a fatorao de Sophie Germain, no numerador e no denominador [a^4+4b^4=[(a-b)^2+b^2][(a+b)^2+b^2] ] [(x+2y+4yk)^4+4y^4=\underbrace{[(x+y+4yk)^2+y^2]}_{A}[(x+3y+4yk)^2+y^2]= A[(x-y+4y(k+1))^2+y^2] ] [(x+4yk)^4+4y^4=[(x-y+4yk)^2+y^2]\underbrace{[(x+y+4yk)^2+y^2]}_{A} ] a diviso dos dois fatores se simplifica em [\frac{(x+2y+4yk)^4+4y^4}{(x+4yk)^4+4y^4}=\frac{(xy+4y(k+1))^2+y^2}{\underbrace{(x-y+4yk)^2+y^2}_{g(k)}}=\frac{g(k+1)}{g(k)} ]

logo o produto telescpico, resultando em [\prod^{n-1}_{k=1}\frac{(x+2y+4yk)^4+4y^4}{(x+4yk)^4+4y^4} = \frac{g(n)}{g(1)}=\frac{(x-y+4yn)^2+y^2}{(x+3y)^2+y^2} ]

Prof. Fabiano

Tente a generalizao logo, seguindo o Sinthaya Gupta, rsrsrsrs, Perceba que temos aqui relao de recorrncia. Veja no site o material do Renji, se tiver dvida. Passo 1: Calcule [f_{2k}+f_{2k+2}] Passo 2: Use a relao: [sen^{2}x + cos^{2}x=1] Passo 3: Tendo a forma da relao geral de recorrncia e vendo que ela funo de k: [f_{2k}+f_{2k+2}=f(k)], faa o problema do Andreescu como uma aplicao para k=2. Matou a questo. Sinthaya Gupta brincou com o Andreescu! rsrsrsrs Abrao! Roteiro para a Questo do MIT

Na segunda, do MIT, calcule g(x)=f(f(x)) e depois calcule h(x)=f(g(x)). Observe que, intermitentemente, voc ter: 1) Primeira aplicao, o resultado ser sempre f(x); 2) Segunda aplicao, o resultado sempre ser f(f(x))=g(x); 3) Terceira aplicao, o resultado ser f(f(f(x)))=h(x). 4) Quarta aplicao, o resultado ser f(f(f(f(x))))=f(x). 4) Deste modo, 1 aplicao f(x), 2 aplicaes g(x), 3 aplicaes h(x), 4 aplicaes, f(x), 5 aplicaes g(x), e assim sucessivamente. Como 2010 mltiplo de 3, na sequncia, f, g, h, f, g, h, ...f, g, h, na aplicao de ordem 2010, teremos que ela assumar o valor h(x). Logo: [$$\underbrace{f,\ g, h, f, g, h, \ ...,\ f,\ g,\ h}_{2010 apliaes}$$] Chamando F o resultado desejado, teremos que [F=h(2011)^{2011}]. L se foi a questo. Tente a. Estou pretendendo, quando voltar de viagens, criar um frum com resoluo orientada de problemas, onde darei roteiros para os problemas, isto , quando for encontrada dificuldade. Boa a ideia?