[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
Sugestão: proponha pra eles o problema de determinar se é possível atribuir sinais "+" ou "-" a cada um dos números: 1 2 3 4 5 6 7 8 9 10 de modo que a soma algébrica (com sinal) destes números seja igual a zero. Isso é um desafio e é razoavelmente lúdico, apesar de envolver conceitos que uma criança de 8 anos entenderia. On Sat, Nov 14, 2020 at 4:22 PM Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> wrote: > Desculpe é q eu queria propor algo q fosse lúdico, mais um desafio, > voltada para jovens adolescentes, algo descompromissado, sem muitas > complicações com formalidades > > Em qui, 12 de nov de 2020 09:10, Anderson Torres < > torres.anderson...@gmail.com> escreveu: > >> >> >> Em sáb., 7 de nov. de 2020 às 16:44, Israel Meireles Chrisostomo < >> israelmchrisost...@gmail.com> escreveu: >> >>> o objetivo dessa proposta é recriar o ambiente vivido por Euler na >>> época. >>> >> >> E naquele tempo eles não usavam indução? Formalização é algo bem recente >> na matemática. >> >> Sua exigência me parece algo tão surreal quanto exigir rigor na geometria >> do tempo de Euclides. >> >> >> >>> >>> Em sáb., 7 de nov. de 2020 às 15:10, Israel Meireles Chrisostomo < >>> israelmchrisost...@gmail.com> escreveu: >>> Na verdade eu estava elaborando um problema que dependia disso.O problema é esse aqui: Desafio do ano: resolver o problema da Basiléia sem usar derivadas, integrais, série de potências, produto infinito do seno ou cosseno, ou mesmo indução ou números complexos. Em sáb., 7 de nov. de 2020 às 15:07, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > Na verdade eu estava elaborando um problema que dependia disso.O > problema é esse aqui: > > Desafio do ano: resolver o problema da Basiléia sem usar derivadas, > integrais, série de potências, produto infinito do seno ou cosseno, ou > mesmo indução. > > Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> conheço uma que usa o teorema de d'lambert >> >> Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < >> bernardo...@gmail.com> escreveu: >> >>> On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner >>> wrote: >>> > >>> > Para facilitar, suponhamos que o polinômio de grau n P seja >>> mônico. Sejam z_1, , z_n suas n raízes não necessariamente >>> distintas. >>> Para todo complexo z, temos que >>> > >>> > P(z) = ( z - z_1) (z - z_n) >>> > >>> > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as >>> relações de Girard. >>> >>> Eu não conhecia o produto de Stevin, mas de forma geral quando você >>> usa "..." tem, muitas vezes, um argumento por indução que está >>> subentendido. Pode ser que o produto de Stevin "faça a indução pra >>> você" (calculando os termos \sum \prod z_i que vão aparecer como >>> coeficientes dos monômios z^k), mas é "quase" como se você estivesse >>> empurrando a indução um andar abaixo ;-) >>> >>> >>> Israel: qual a demonstração por indução que você conhece? E porque >>> você gostaria de outra?? >>> >>> Abraços, >>> -- >>> Bernardo Freitas Paulo da Costa >>> >>> >>> = >>> Instru�ões para entrar na lista, sair da lista e usar a lista em >>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >>> >>> = >>> >> >> >> -- >> Israel Meireles Chrisostomo >> > > > -- > Israel Meireles Chrisostomo > -- Israel Meireles Chrisostomo >>> >>> >>> -- >>> Israel Meireles Chrisostomo >>> >>
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
Desculpe é q eu queria propor algo q fosse lúdico, mais um desafio, voltada para jovens adolescentes, algo descompromissado, sem muitas complicações com formalidades Em qui, 12 de nov de 2020 09:10, Anderson Torres < torres.anderson...@gmail.com> escreveu: > > > Em sáb., 7 de nov. de 2020 às 16:44, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> o objetivo dessa proposta é recriar o ambiente vivido por Euler na >> época. >> > > E naquele tempo eles não usavam indução? Formalização é algo bem recente > na matemática. > > Sua exigência me parece algo tão surreal quanto exigir rigor na geometria > do tempo de Euclides. > > > >> >> Em sáb., 7 de nov. de 2020 às 15:10, Israel Meireles Chrisostomo < >> israelmchrisost...@gmail.com> escreveu: >> >>> Na verdade eu estava elaborando um problema que dependia disso.O >>> problema é esse aqui: >>> >>> Desafio do ano: resolver o problema da Basiléia sem usar derivadas, >>> integrais, série de potências, produto infinito do seno ou cosseno, ou >>> mesmo indução ou números complexos. >>> >>> Em sáb., 7 de nov. de 2020 às 15:07, Israel Meireles Chrisostomo < >>> israelmchrisost...@gmail.com> escreveu: >>> Na verdade eu estava elaborando um problema que dependia disso.O problema é esse aqui: Desafio do ano: resolver o problema da Basiléia sem usar derivadas, integrais, série de potências, produto infinito do seno ou cosseno, ou mesmo indução. Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > conheço uma que usa o teorema de d'lambert > > Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < > bernardo...@gmail.com> escreveu: > >> On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner >> wrote: >> > >> > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. >> Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para >> todo >> complexo z, temos que >> > >> > P(z) = ( z - z_1) (z - z_n) >> > >> > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as >> relações de Girard. >> >> Eu não conhecia o produto de Stevin, mas de forma geral quando você >> usa "..." tem, muitas vezes, um argumento por indução que está >> subentendido. Pode ser que o produto de Stevin "faça a indução pra >> você" (calculando os termos \sum \prod z_i que vão aparecer como >> coeficientes dos monômios z^k), mas é "quase" como se você estivesse >> empurrando a indução um andar abaixo ;-) >> >> >> Israel: qual a demonstração por indução que você conhece? E porque >> você gostaria de outra?? >> >> Abraços, >> -- >> Bernardo Freitas Paulo da Costa >> >> >> = >> Instru�ões para entrar na lista, sair da lista e usar a lista em >> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >> >> = >> > > > -- > Israel Meireles Chrisostomo > -- Israel Meireles Chrisostomo >>> >>> >>> -- >>> Israel Meireles Chrisostomo >>> >> >> >> -- >> Israel Meireles Chrisostomo >> >
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
Em sáb., 7 de nov. de 2020 às 16:44, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > o objetivo dessa proposta é recriar o ambiente vivido por Euler na > época. > E naquele tempo eles não usavam indução? Formalização é algo bem recente na matemática. Sua exigência me parece algo tão surreal quanto exigir rigor na geometria do tempo de Euclides. > > Em sáb., 7 de nov. de 2020 às 15:10, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> Na verdade eu estava elaborando um problema que dependia disso.O problema >> é esse aqui: >> >> Desafio do ano: resolver o problema da Basiléia sem usar derivadas, >> integrais, série de potências, produto infinito do seno ou cosseno, ou >> mesmo indução ou números complexos. >> >> Em sáb., 7 de nov. de 2020 às 15:07, Israel Meireles Chrisostomo < >> israelmchrisost...@gmail.com> escreveu: >> >>> Na verdade eu estava elaborando um problema que dependia disso.O >>> problema é esse aqui: >>> >>> Desafio do ano: resolver o problema da Basiléia sem usar derivadas, >>> integrais, série de potências, produto infinito do seno ou cosseno, ou >>> mesmo indução. >>> >>> Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < >>> israelmchrisost...@gmail.com> escreveu: >>> conheço uma que usa o teorema de d'lambert Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < bernardo...@gmail.com> escreveu: > On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner > wrote: > > > > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. > Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para > todo > complexo z, temos que > > > > P(z) = ( z - z_1) (z - z_n) > > > > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as > relações de Girard. > > Eu não conhecia o produto de Stevin, mas de forma geral quando você > usa "..." tem, muitas vezes, um argumento por indução que está > subentendido. Pode ser que o produto de Stevin "faça a indução pra > você" (calculando os termos \sum \prod z_i que vão aparecer como > coeficientes dos monômios z^k), mas é "quase" como se você estivesse > empurrando a indução um andar abaixo ;-) > > > Israel: qual a demonstração por indução que você conhece? E porque > você gostaria de outra?? > > Abraços, > -- > Bernardo Freitas Paulo da Costa > > > = > Instru�ões para entrar na lista, sair da lista e usar a lista em > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > > = > -- Israel Meireles Chrisostomo >>> >>> >>> -- >>> Israel Meireles Chrisostomo >>> >> >> >> -- >> Israel Meireles Chrisostomo >> > > > -- > Israel Meireles Chrisostomo >
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
o objetivo dessa proposta é recriar o ambiente vivido por Euler na época. Em sáb., 7 de nov. de 2020 às 15:10, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > Na verdade eu estava elaborando um problema que dependia disso.O problema > é esse aqui: > > Desafio do ano: resolver o problema da Basiléia sem usar derivadas, > integrais, série de potências, produto infinito do seno ou cosseno, ou > mesmo indução ou números complexos. > > Em sáb., 7 de nov. de 2020 às 15:07, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> Na verdade eu estava elaborando um problema que dependia disso.O problema >> é esse aqui: >> >> Desafio do ano: resolver o problema da Basiléia sem usar derivadas, >> integrais, série de potências, produto infinito do seno ou cosseno, ou >> mesmo indução. >> >> Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < >> israelmchrisost...@gmail.com> escreveu: >> >>> conheço uma que usa o teorema de d'lambert >>> >>> Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < >>> bernardo...@gmail.com> escreveu: >>> On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner wrote: > > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para todo complexo z, temos que > > P(z) = ( z - z_1) (z - z_n) > > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as relações de Girard. Eu não conhecia o produto de Stevin, mas de forma geral quando você usa "..." tem, muitas vezes, um argumento por indução que está subentendido. Pode ser que o produto de Stevin "faça a indução pra você" (calculando os termos \sum \prod z_i que vão aparecer como coeficientes dos monômios z^k), mas é "quase" como se você estivesse empurrando a indução um andar abaixo ;-) Israel: qual a demonstração por indução que você conhece? E porque você gostaria de outra?? Abraços, -- Bernardo Freitas Paulo da Costa = Instru�ões para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html = >>> >>> >>> -- >>> Israel Meireles Chrisostomo >>> >> >> >> -- >> Israel Meireles Chrisostomo >> > > > -- > Israel Meireles Chrisostomo > -- Israel Meireles Chrisostomo
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
Na verdade eu estava elaborando um problema que dependia disso.O problema é esse aqui: Desafio do ano: resolver o problema da Basiléia sem usar derivadas, integrais, série de potências, produto infinito do seno ou cosseno, ou mesmo indução ou números complexos. Em sáb., 7 de nov. de 2020 às 15:07, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > Na verdade eu estava elaborando um problema que dependia disso.O problema > é esse aqui: > > Desafio do ano: resolver o problema da Basiléia sem usar derivadas, > integrais, série de potências, produto infinito do seno ou cosseno, ou > mesmo indução. > > Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> conheço uma que usa o teorema de d'lambert >> >> Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < >> bernardo...@gmail.com> escreveu: >> >>> On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner >>> wrote: >>> > >>> > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. >>> Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para todo >>> complexo z, temos que >>> > >>> > P(z) = ( z - z_1) (z - z_n) >>> > >>> > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as >>> relações de Girard. >>> >>> Eu não conhecia o produto de Stevin, mas de forma geral quando você >>> usa "..." tem, muitas vezes, um argumento por indução que está >>> subentendido. Pode ser que o produto de Stevin "faça a indução pra >>> você" (calculando os termos \sum \prod z_i que vão aparecer como >>> coeficientes dos monômios z^k), mas é "quase" como se você estivesse >>> empurrando a indução um andar abaixo ;-) >>> >>> >>> Israel: qual a demonstração por indução que você conhece? E porque >>> você gostaria de outra?? >>> >>> Abraços, >>> -- >>> Bernardo Freitas Paulo da Costa >>> >>> = >>> Instru�ões para entrar na lista, sair da lista e usar a lista em >>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >>> = >>> >> >> >> -- >> Israel Meireles Chrisostomo >> > > > -- > Israel Meireles Chrisostomo > -- Israel Meireles Chrisostomo
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
Na verdade eu estava elaborando um problema que dependia disso.O problema é esse aqui: Desafio do ano: resolver o problema da Basiléia sem usar derivadas, integrais, série de potências, produto infinito do seno ou cosseno, ou mesmo indução. Em sáb., 7 de nov. de 2020 às 14:47, Israel Meireles Chrisostomo < israelmchrisost...@gmail.com> escreveu: > conheço uma que usa o teorema de d'lambert > > Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < > bernardo...@gmail.com> escreveu: > >> On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner >> wrote: >> > >> > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. >> Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para todo >> complexo z, temos que >> > >> > P(z) = ( z - z_1) (z - z_n) >> > >> > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as >> relações de Girard. >> >> Eu não conhecia o produto de Stevin, mas de forma geral quando você >> usa "..." tem, muitas vezes, um argumento por indução que está >> subentendido. Pode ser que o produto de Stevin "faça a indução pra >> você" (calculando os termos \sum \prod z_i que vão aparecer como >> coeficientes dos monômios z^k), mas é "quase" como se você estivesse >> empurrando a indução um andar abaixo ;-) >> >> >> Israel: qual a demonstração por indução que você conhece? E porque >> você gostaria de outra?? >> >> Abraços, >> -- >> Bernardo Freitas Paulo da Costa >> >> = >> Instru�ões para entrar na lista, sair da lista e usar a lista em >> http://www.mat.puc-rio.br/~obmlistas/obm-l.html >> = >> > > > -- > Israel Meireles Chrisostomo > -- Israel Meireles Chrisostomo
[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
conheço uma que usa o teorema de d'lambert Em sáb., 7 de nov. de 2020 às 12:50, Bernardo Freitas Paulo da Costa < bernardo...@gmail.com> escreveu: > On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner > wrote: > > > > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. > Sejam z_1, , z_n suas n raízes não necessariamente distintas. Para todo > complexo z, temos que > > > > P(z) = ( z - z_1) (z - z_n) > > > > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as > relações de Girard. > > Eu não conhecia o produto de Stevin, mas de forma geral quando você > usa "..." tem, muitas vezes, um argumento por indução que está > subentendido. Pode ser que o produto de Stevin "faça a indução pra > você" (calculando os termos \sum \prod z_i que vão aparecer como > coeficientes dos monômios z^k), mas é "quase" como se você estivesse > empurrando a indução um andar abaixo ;-) > > > Israel: qual a demonstração por indução que você conhece? E porque > você gostaria de outra?? > > Abraços, > -- > Bernardo Freitas Paulo da Costa > > = > Instru�ões para entrar na lista, sair da lista e usar a lista em > http://www.mat.puc-rio.br/~obmlistas/obm-l.html > = > -- Israel Meireles Chrisostomo
[obm-l] Re: [obm-l] Re: [obm-l] Relação de girard
On Thu, Nov 5, 2020 at 9:26 PM Artur Costa Steiner wrote: > > Para facilitar, suponhamos que o polinômio de grau n P seja mônico. Sejam > z_1, , z_n suas n raízes não necessariamente distintas. Para todo > complexo z, temos que > > P(z) = ( z - z_1) (z - z_n) > > Desenvolvendo e aplicando o chamado produto de Stevin, vc tem as relações de > Girard. Eu não conhecia o produto de Stevin, mas de forma geral quando você usa "..." tem, muitas vezes, um argumento por indução que está subentendido. Pode ser que o produto de Stevin "faça a indução pra você" (calculando os termos \sum \prod z_i que vão aparecer como coeficientes dos monômios z^k), mas é "quase" como se você estivesse empurrando a indução um andar abaixo ;-) Israel: qual a demonstração por indução que você conhece? E porque você gostaria de outra?? Abraços, -- Bernardo Freitas Paulo da Costa = Instru��es para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =
[obm-l] Re: [obm-l] Re: [obm-l] relação de girard
Muito obrigado! Em sex, 1 de fev de 2019 às 16:24, Pedro Cardoso escreveu: > Expandindo o produto (x-r_1)(x-r_2)(x-r_3)...(x-r_n), ele equivale ao > polinômio x^n-(r_1+r_2+...+r_n)x^(n-1)+...+(-1)^n(r_1r_2r_3...r_n). > Evidentemente, pelo modo como o construímos, esse polinômio tem raízes r_1, > r_2, r_3, ..., r_n. Não é muito difícil ver que a razão entre dois > polinômios com as mesmas raízes é constante. Dessa forma todos os > polinômios com essas raízes podem ser escritos como > ax^n-a(r_1+r_2+...+r_n)x^(n-1)+...+a(-1)^n(r_1r_2r_3...r_n), em que a é um > número real. Isso só funciona se você souber que n raízes existem. Agora, > para garantir que sempre vão existir n raízes num polinômio de enésimo > grau, não vejo outro jeito senão algo equivalente ao TFA > > Em sex, 1 de fev de 2019 às 08:38, Israel Meireles Chrisostomo < > israelmchrisost...@gmail.com> escreveu: > >> Alguém ai sabe como provar as relações de Girard sem usar o TFA(teorema >> fundamental da álgebra)? >> >> -- >> Israel Meireles Chrisostomo >> >> -- >> Esta mensagem foi verificada pelo sistema de antivírus e >> acredita-se estar livre de perigo. > > > -- > Esta mensagem foi verificada pelo sistema de antivírus e > acredita-se estar livre de perigo. -- Israel Meireles Chrisostomo -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.