• Anúncio Global
    Respostas
    Exibições
    Última mensagem

Fatorial de 0

Fatorial de 0

Mensagempor Neperiano » Qua Set 14, 2011 19:45

Ola

Pessoal isso foi uma duvida de um colega meu de aula, mas a professora não soube tambem, então quero ver quem mata essa

Porque o fatorial de 0 é 1

Não basta dizer a porque foi convencionado assim ou explicações de lógica, quero saber através de calculos matemáticos, ou seja

Prove que fatorial de 0 é 1

Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor MarceloFantini » Qua Set 14, 2011 20:27

Isso é uma definição, não pode ser provado.
Futuro MATEMÁTICO
e^{\pi \cdot i} +1 = 0
MarceloFantini
Colaborador Moderador
Colaborador Moderador
 
Mensagens: 3126
Registrado em: Seg Dez 14, 2009 11:41
Formação Escolar: GRADUAÇÃO
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Qui Set 15, 2011 11:33

Ola

Era bem isso que eu não queria ouvir

Desculpe marcelofantini, mas nada na natureza não pode ser provado, tu não pode dizer isso, porque se isso é uma definição como aplica-la, tenque ter alguma explicação, o fato dessa resposta é que você tambem não sabe, xd

Ja ouvi respostas do tipo, ah pense que tem 5 pessoas numa fila, quantas maneiras de organizar a fila 5!, e se tem 0 pessoas, tem 1 maneira de organizar a fila, ou seja sem ninguem, mas tenque haver uma definição sim

Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor MarceloFantini » Qui Set 15, 2011 17:03

Primeiramente, seria interessante que você leia este artigo que fala dos teoremas da incompletude de Godel, que diz que num sistema de axiomas consistente existem afirmações que são verdadeiras mas não podem ser provadas, ou seja, o sistema não é completo. Da mesma forma, se um sistema é completo existe alguma inconsistência nele, há algum problema em algum lugar. Isso desmente que "nada na natureza não pode ser provado".

Sobre a definição, é bem simples. Vou pegar outro exemplo, porque dizemos que quando uma combinação linear de vetores a_1x_1 + a_2x_2 + \cdots + a_nx_n =0 é linearmente independente se todos os a_i = 0, para i=1, \, \ldots, \, n? Resposta: pois isto é uma definição. Aliás, nisto mesmo já estamos usando outra definição: o que é uma combinação linear de vetores? Resposta: a_1x_1 + a_2x_2 + \cdots + a_nx_n. Porque é assim? Resposta: porque é uma definição. Definições são feitas por várias razões. Primeira: é conveniente. Segunda: costuma-se definir a mais natural e prática.

A definição de que 0!=1 é conveniente em vários aspectos: primeiro, isto mantém a definição de fatorial como uma função que leva em um número inteiro; segundo, é um número simples de se trabalhar, não altera o produto; terceiro, com isso incluímos no fatorial o caso em que o zero aparece. Da mesma forma que um fatorial é definido como uma função f: \mathbb{N} \to \mathbb{N} \, | \, n \mapsto n!, com essa definição nós estendemos a função para quando n=0 (que nem sempre é incluído nos naturais).
Futuro MATEMÁTICO
e^{\pi \cdot i} +1 = 0
MarceloFantini
Colaborador Moderador
Colaborador Moderador
 
Mensagens: 3126
Registrado em: Seg Dez 14, 2009 11:41
Formação Escolar: GRADUAÇÃO
Andamento: formado

Re: Fatorial de 0

Mensagempor Claudin » Qui Set 15, 2011 17:48

Em relação a mensagem abaixo:
Correto, então resumindo, as demonstrações de definição o aluno tem que "aceitar" e o que pode ser provado são as propriedades e as fórmulas.
Desculpe-me pelo equívoco.
Editado pela última vez por Claudin em Qui Set 15, 2011 17:56, em um total de 1 vez.
"O que sabemos é uma gota, o que não sabemos é um oceano." - Isaac Newton
Claudin
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 913
Registrado em: Qui Mai 12, 2011 17:34
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia Elétrica
Andamento: cursando

Re: Fatorial de 0

Mensagempor MarceloFantini » Qui Set 15, 2011 17:52

Está equivocado, pois definição não se demonstra, aceita-se e procura-se compreender o significado e as razões por trás dela.
Futuro MATEMÁTICO
e^{\pi \cdot i} +1 = 0
MarceloFantini
Colaborador Moderador
Colaborador Moderador
 
Mensagens: 3126
Registrado em: Seg Dez 14, 2009 11:41
Formação Escolar: GRADUAÇÃO
Andamento: formado

Re: Fatorial de 0

Mensagempor LuizAquino » Qui Set 15, 2011 18:51

Olá Pessoal,

Primeiro, vamos esclarecer alguns conceitos. Como o colega Fantini lembrou, não provamos definições.

Vejamos um exemplo. Uma circunferência é definida como "o conjunto de todos os pontos do plano que são equidistantes de um ponto fixo (chamado de centro)".

Já que isso é a definição de circunferência, não faz sentido dizermos: "Prove que a circunferência é o conjunto de todos pontos do plano que são equidistantes de um ponto fixo (chamado de centro)".

Esclarecido essa parte, vejamos agora a questão particular de dizer que 0! tem valor igual a 1.

Como bem sabemos, nós definimos o fatorial do número inteiro (positivo) n, como sendo o produto entre todos os inteiros de 1 até n. Nós representamos essa operação por n!. Ou seja, colocamos o símbolo de exclamação ("!") ao lado do número. Como exemplo, temos que 5! = 5\cdot 4 \cdot 3 \cdot 2 \cdot 1 = 120 . Em particular, notamos também que 1! = 1.

Manipulando agora a definição de fatorial, podemos escrever que n(n-1)! = n!. Vale destacar que no primeiro membro o fatorial está aplicado apenas no número (n-1) e não mais no número n.

Vamos analisar o que acontece com essa identidade quando n = 1. Nesse caso ficamos com 1(1 - 1)! = 1!. Nós já sabíamos que 1! = 1. Além disso, se multiplicamos 1 pelo número (1 - 1)!, então temos como resultado o próprio número (1 - 1)!. Isso significa que podemos escrever (1 - 1)! = 1. Lembrando que nós partimos apenas da definição de fatorial, para que essa definição seja condizente precisamos então ter que 0! = 1.

Por outro lado, infelizmente notamos que 0! não pode ser calculado diretamente da definição de fatorial, pois o produto entre todos os inteiros de 1 até 0 é zero. Dessa maneria, a argumentação acima serve apenas para ilustrar a necessidade de atribuirmos 1 ao valor de 0!, pois caso contrário a definição de fatorial não seria condizente. Isso porque se 0! tivesse outro valor diferente de 1, digamos c, então da identidade n(n-1)! = n! chegaríamos que 1! = c, mas sabemos que 1! é 1 e portanto não podemos ter 1! = c.

A partir disso, precisamos então definir que 0! = 1.

Deixando as argumentações um pouco mais intuitivas. Vamos analisar que a necessidade de termos 0! = 1 é razoável. Considere que em um grupo de 4 pessoas, cada uma deva apertar a mão das outras apenas uma vez. Teremos ao todo \frac{4 \cdot 3}{2} = \frac{4!}{2!(4-2)!} = 6 apertos de mão distintos. De modo geral, se temos n pessoas teremos \frac{n!}{2!(n-2)!} apertos de mão distintos.

Agora imagine que há apenas 2 pessoas. Claramente teremos apenas 1 aperto de mão. Ou seja, precisamos ter 1 = \frac{2!}{2!(2-2)!} . Ou ainda, podemos escrever que devemos ter 1 = \frac{1}{0!} . O único valor para o número 0! que torna essa equação válida é 1. Mais uma vez percebemos a necessidade de termos definido que 0! = 1.
professoraquino.com.br | youtube.com/LCMAquino | @lcmaquino

"Sem esforço, não há ganho."
Dito popular.
Avatar do usuário
LuizAquino
Colaborador Moderador - Professor
Colaborador Moderador - Professor
 
Mensagens: 2654
Registrado em: Sex Jan 21, 2011 09:11
Localização: Teófilo Otoni - MG
Formação Escolar: PÓS-GRADUAÇÃO
Área/Curso: Mestrado - Modelagem Computacional
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Qui Set 15, 2011 19:16

Ola

Essa resposta do luizaquino ja explica um pouco melhor, se não tem como provar, como chegaram a essa definição, e sempre há um motivo para isso

É um belo trabalho de conclusão esse tema

Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor LuizAquino » Qui Set 15, 2011 20:54

Neperiano escreveu:É um belo trabalho de conclusão esse tema


Bem, com certeza é um tema curioso. Mas render um trabalho de conclusão de curso eu acho um pouco improvável.
professoraquino.com.br | youtube.com/LCMAquino | @lcmaquino

"Sem esforço, não há ganho."
Dito popular.
Avatar do usuário
LuizAquino
Colaborador Moderador - Professor
Colaborador Moderador - Professor
 
Mensagens: 2654
Registrado em: Sex Jan 21, 2011 09:11
Localização: Teófilo Otoni - MG
Formação Escolar: PÓS-GRADUAÇÃO
Área/Curso: Mestrado - Modelagem Computacional
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Sex Set 16, 2011 15:18

Ola

Olha o que um colega meu fez quando perguntei pra ele isso

n = n!/(n-1)
1=1!/0
0=1!/1
1!=0

Ele conseguiu provar desse jeito, claro que se tu usa 0 no n vai dar 0=-1, ou seja isso não vale pra tudo

Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor MarceloFantini » Sex Set 16, 2011 15:22

Você quis dizer n = \frac{n!}{(n-1)!}, mas para isso (n-1)! \neq 0, e se você não sabe o valor de 0! esse resultado é inválido para n=1. Já que você até agora não acreditou que isto é uma definição, então use que a função fatorial generalizada é a função gama:

\Gamma (x) = \int_0^{\infty} t^{x-1} e^{-t} \, \textrm{d}t

Quando x=0 temos \Gamma(0) = 1.
Futuro MATEMÁTICO
e^{\pi \cdot i} +1 = 0
MarceloFantini
Colaborador Moderador
Colaborador Moderador
 
Mensagens: 3126
Registrado em: Seg Dez 14, 2009 11:41
Formação Escolar: GRADUAÇÃO
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Sex Set 16, 2011 15:30

Ola

Não não

Não tem o fatorial embaixo marcelo

Mas como disse isso foi uma maneira qualquer, o objetivo era provar, e não ser lógico

Atenciosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor LuizAquino » Sex Set 16, 2011 15:33

Neperiano escreveu:Olha o que um colega meu fez quando perguntei pra ele isso

n = n!/(n-1)


Você deve querer dizer n = n!/(n-1)!. Isso é obtido da própria definição de n!. É apenas uma outra forma de ver a identidade n(n-1)! = n! que indiquei anteriormente. Basta dividir toda a equação por (n-1)! e teremos n = n!/(n-1)!.


MarceloFantini escreveu:Você quis dizer n = \frac{n!}{(n-1)!}, mas para isso (n-1)! \neq 0, e se você não sabe o valor de 0! esse resultado é inválido para n=1

Veja que não há inconsistência. Para n = 1, temos que (n-1)! é o mesmo que 0!, que por enquanto é um número que desconhecemos. Não necessariamente ele é zero, e portanto a divisão pode estar bem definida. A ideia por traz da argumentação é que conhecemos o valor de 1!, que é 1. Sendo assim, a equação fica algo do tipo 1 = \frac{1}{0!} . Ora, mas para essa equação ser válida só há um número que podemos atribuir para 0!, que é 1. Ou seja, precisamos ter (definir) 0! = 1.

Neperiano escreveu:Ele conseguiu provar desse jeito

Apenas frisando, isso não é uma prova de que 0! = 1. Assim como as argumentações que indiquei antes, isso serve apenas para ilustrar a necessidade de atribuirmos 1 ao valor de 0!, ou seja, a necessidade de definirmos que 0! = 1. Lembre-se sempre que esse resultado não pode ser obtido diretamente da definição de fatorial.

Como argumentei na mensagem anterior, a definição de que 0! = 1 surge da necessidade de deixar a própria definição de fatorial condizente.
Editado pela última vez por LuizAquino em Sex Set 16, 2011 15:39, em um total de 1 vez.
professoraquino.com.br | youtube.com/LCMAquino | @lcmaquino

"Sem esforço, não há ganho."
Dito popular.
Avatar do usuário
LuizAquino
Colaborador Moderador - Professor
Colaborador Moderador - Professor
 
Mensagens: 2654
Registrado em: Sex Jan 21, 2011 09:11
Localização: Teófilo Otoni - MG
Formação Escolar: PÓS-GRADUAÇÃO
Área/Curso: Mestrado - Modelagem Computacional
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Sex Set 16, 2011 15:38

Ola

Novamente, não é Fatorial embaixo, pode ser que a definição seja isso, mas ele não colocou ela embaixo, porque olha o que eu fiz antes
Neperiano escreveu:Ola

Olha o que um colega meu fez quando perguntei pra ele isso

n = n!/(n-1)
1=1!/0
0=1!/1
1!=0

Ele conseguiu provar desse jeito, claro que se tu usa 0 no n vai dar 0=-1, ou seja isso não vale pra tudo

Atenciosamente


Não tem o fatorial embaixo, é assim que ele fez

E eu não falei que estava certo ou errado, só disse que ele fez assim

Atencisosamente
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando

Re: Fatorial de 0

Mensagempor LuizAquino » Sex Set 16, 2011 15:42

Neperiano escreveu:(...) Novamente, não é Fatorial embaixo, pode ser que a definição seja isso, mas ele não colocou ela embaixo (...)

Se ele não colocou o símbolo de fatorial, então a argumentação dele está inválida. Note que o valor de \frac{n!}{n-1} seria diferente de n. Faça um teste. Escolha, por exemplo, n = 4 e faça os cálculos.
professoraquino.com.br | youtube.com/LCMAquino | @lcmaquino

"Sem esforço, não há ganho."
Dito popular.
Avatar do usuário
LuizAquino
Colaborador Moderador - Professor
Colaborador Moderador - Professor
 
Mensagens: 2654
Registrado em: Sex Jan 21, 2011 09:11
Localização: Teófilo Otoni - MG
Formação Escolar: PÓS-GRADUAÇÃO
Área/Curso: Mestrado - Modelagem Computacional
Andamento: formado

Re: Fatorial de 0

Mensagempor MarceloFantini » Sex Set 16, 2011 15:45

Então vamos esclarecer alguns fatos sobre a tentativa de seu amigo: primeiro, ele não provou nada; segundo, a relação está errada, pois tome n=5, teremos n = \frac{n!}{n-1} = \frac{5!}{5-1} = \frac{120}{4} = 30 \neq 5. E novamente você não conseguirá provar pois isto é uma definição, e qualquer tentativa será na verdade apenas uma motivação para a definição.
Futuro MATEMÁTICO
e^{\pi \cdot i} +1 = 0
MarceloFantini
Colaborador Moderador
Colaborador Moderador
 
Mensagens: 3126
Registrado em: Seg Dez 14, 2009 11:41
Formação Escolar: GRADUAÇÃO
Andamento: formado

Re: Fatorial de 0

Mensagempor Neperiano » Sex Set 16, 2011 15:48

Ola

Mas o que eu falei, eu disse que só dava para 0, quanto ao fatorial embaixo, eu coloquei errado ali antes

Era pra ter embaixo sim

Ficaria

n = n!/(n-1)!
1=1!/0!
0!=1

Mas que seja, só disse que deu assim, não falei que tava certo

Tomara que agora esse topico pare
Sómente os mortos conhecem o fim da guerra
"Platão"
Avatar do usuário
Neperiano
Colaborador Voluntário
Colaborador Voluntário
 
Mensagens: 960
Registrado em: Seg Jun 16, 2008 17:09
Formação Escolar: GRADUAÇÃO
Área/Curso: Engenharia de Produção
Andamento: cursando


Voltar para Estatística

 



  • Tópicos relacionados
    Respostas
    Exibições
    Última mensagem

Quem está online

Usuários navegando neste fórum: Nenhum usuário registrado e 7 visitantes

 



Assunto: Unesp - 95 Números Complexos
Autor: Alucard014 - Dom Ago 01, 2010 18:22

(UNESP - 95) Seja L o Afixo de um Número complexo a=\sqrt{8}+ i em um sistema de coordenadas cartesianas xOy. Determine o número complexo b , de módulo igual a 1 , cujo afixo M pertence ao quarto quadrante e é tal que o ângulo LÔM é reto.


Assunto: Unesp - 95 Números Complexos
Autor: MarceloFantini - Qui Ago 05, 2010 17:27

Seja \alpha o ângulo entre o eixo horizontal e o afixo a. O triângulo é retângulo com catetos 1 e \sqrt{8}, tal que tg \alpha = \frac{1}{sqrt{8}}. Seja \theta o ângulo complementar. Então tg \theta = \sqrt{8}. Como \alpha + \theta = \frac{\pi}{2}, o ângulo que o afixo b formará com a horizontal será \theta, mas negativo pois tem de ser no quarto quadrante. Se b = x+yi, então \frac{y}{x} = \sqrt {8} \Rightarrow y = x\sqrt{8}. Como módulo é um: |b| = \sqrt { x^2 + y^2 } = 1 \Rightarrow x^2 + y^2 = 1 \Rightarrow x^2 + 8x^2 = 1 \Rightarrow x = \frac{1}{3} \Rightarrow y = \frac{\sqrt{8}}{3}.

Logo, o afixo é b = \frac{1 + i\sqrt{8}}{3}.