12/05/2016

FatorialWikipdia,aenciclopdialivre

Fatorial
Origem:Wikipdia,aenciclopdialivre.

Namatemtica,ofatorial(AO1945:factorial)deum
nmeronaturaln,representadoporn!,oprodutode
todososinteirospositivosmenoresouiguaisan.A
0
notaon!foiintroduzidaporChristianKrampem1808.
1

ndice
1
2
3
4
5

6
7
8
9

Definio
Aplicaes
ComoCalcularFatoriais
LogaritmodeFatorial
Generalidades
5.1 Afunogamasimilar
5.2 Multifactoriais
5.3 Hiperfactoriais
5.4 Superfactoriais
5.5 Hiperfatoriais(definioalternativa)
Fatoraoprimadefatoriais
Algoritmo
7.1 Recursivo
7.2 Iterativo
Vertambm
Ligaesexternas

Definio
Afunofatorialnormalmentedefinidapor:

1
1

24

120

720

5.040

40.320

362.880

10

3.628.800

15

1.307.674.368.000

20

2.432.902.008.176.640.000

25

15.511.210.043.330.985.984.000.000

50

3,04140932017133780441064

70

1,19785717...10100

450

1,73336873...101.000

3.249

6,41233768...1010.000

25.206 1,205703438...10100.000
100.000 2,8242294079...10456.573

Porexemplo,

Notequeestadefinioimplicaemparticularque

porqueoprodutovazio,isto,oprodutodenenhumnmero1.Deveseprestaratenonestevalor
poisestefazcomqueafunorecursiva

https://pt.wikipedia.org/wiki/Fatorial

1/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

funcioneparan=0.
Afunofatorialtambmpodeserdefinida(inclusiveparanointeiros)atravsdafunogama:

Asequnciadosfatoriais(sequnciaA000142naOEIS)paran=0,1,2,...comeacom:
1,1,2,6,24,120,720,5040,40320,362880,3628800,...

Aplicaes
Osfatoriaissoimportantesemanlisecombinatria.Porexemplo,existemn!caminhosdiferentesde
arranjarnobjetosdistintosnumasequncia.(Osarranjossochamadospermutaes)Eonmerode
opesquepodemserescolhidosdadopelocoeficientebinomial.VejatambmbinmiodeNewton.

Osfatoriaistambmaparecememclculo.Porexemplo,noteoremadeTaylor,queexpressaafuno
f(x)comoumasriedesriedepotnciasemx.Arazoprincipalqueonderivativodexnn!.Os
fatoriaistambmsousadosextensamentenateoriadaprobabilidade.
Osfatoriaissotambmfrequentementeutilizadoscomoexemplossimplificadosderecursividade,em
cinciadacomputao,porquesatisfazemasseguintesrelaesrecursivas:(sen1):
n!=n(n1)!

ComoCalcularFatoriais
Ovalornumricoden!podesercalculadopormultiplicaorepetidasennoforgrandedemais.isto
queascalculadorasfazem.Omaiorfatorial,queamaioriadascalculadorassuportam69!,porque
70!>10100.
Quandongrandedemais,n!podesercalculadocomumaboaprecisousandoaaproximaode
Stirling:

Estaumaversosimplificadaquepodeserprovadausandoamatemticabsicadoensinosecundrio
aferramentaessencialainduomatemtica.Estaaquiapresentadanaformadeumexerccio:

LogaritmodeFatorial
https://pt.wikipedia.org/wiki/Fatorial

2/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

Ologaritmodeumfatorialpodeserusadoparacalcularonmerodedgitosqueabasedeumfatorial
irocupar.ln(n!)podeserfacilmentecalculadodaseguinteforma:

Notequeestafuno,demonstradagraficamente,quaselinearparavaloresbaixosmasofator
crescedemaneiraarbitrria,emboravagarosa.Porexemplo,esteogrficodeseusprimeiros20mil
valores:

Umaboaaproximaoparaln(n!)fazerologaritmodafrmuladeStirling.

Generalidades
Afunogamasimilar
Afunogama(z)definidaparatodososnmeroscomplexoszexcetoosinteirosnopositivos
(z=0,1,2,3,...).Relacionaseaosfatoriaispelofatodequesatisfazumrelacionamentorecursivo
similarqueledafunofatorial:

Juntocomadefinio(1)=1istogeraaequao

Devidoaesterelacionamento,afunogamafrequentementetidacomoumageneralizaodafuno
fatorialparaodomniodosnmeroscomplexos.Issojustificadopelasseguintesrazes:
Significadocompartilhadoadefiniocannicadafunofactorialorelacionamento
recursivomencionado,compartilhadoporambos.
https://pt.wikipedia.org/wiki/Fatorial

3/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

Unicidadeafunogamaanicafunoquesatisfazorelacionamentorecursivomencionado
paraodomniodosnmeroscomplexoseholomrficaecujarestrioaoeixopositivoreal
convexanolog.Ouseja,anicafunoquepoderiaserumageneralizaodafunofatorial.
Contextoafunogamageralmenteusadanumcontextosimilaraodosfactoriais(mas,
claro,ondeumdomniomaisgeralfordeinteresse).

Multifactoriais
Umanotaorelacionadacomumousodemltiplospontosdeexclamaoparasimbolizarum
multifactorial,oprodutodeinteirosempassosdedois(n!!),trs(n!!!),oumais.
n!!denotaofactorialduplodenedefinidorecursivamentepor

Porexemplo,8!!=2468=384e9!!=13579=945.Asequnciadefactoriaisduplospara
n=0,1,2,...:1,1,2,3,8,15,48,105,384,945,3840,...
Algumasidentidadesenvolvendofactoriaisduplosso:

Devesesercuidadosoparanointerpretarn!!comoofactorialden!,quedeveriaserescrito(n!)!eum
nmeromuitomaior(paran>2).
Ofactorialduploavariantemaiscomumenteusada,maspodesedefinirofactorialtriplodomesmo
modo(n!!!)eassimpordiante.Emgeral,oksimofactorial,notadoporn!(k),definidorecursivamente
como

Hiperfactoriais
Ocasionalmenteohiperfactorialdenconsiderado.escritocomoH(n)edefinidopor

Paran=1,2,3,4,...osvaloresdeH(n)so1,4,108,27648,...
https://pt.wikipedia.org/wiki/Fatorial

4/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

Afunohiperfactorialsimilarfactorial,masproduznmerosmaiores.Ataxadecrescimentodesta
funo,contudo,nomuitomaiorqueumfactorialregular.

Superfactoriais
NeilSloaneeSimonPlouffedefiniramosuperfactorialem1995comooprodutodosprimeirosn
fatoriais.Assim,osuperfatorialde4

Nogeral,

Asequnciadesuperfatoriaiscomea(den=0)como:
1,1,2,12,288,34560,24883200,...(sequnciaA000178naOEIS)
Estaideiapodeserfacilmenteestendidaparasuperduperfatorialcomooprodutodosprimeirosn
superfactoriais(iniciandocomn=0),assim
1,1,2,24,6912,238878720,5944066965504000,...(sequnciaA055462naOEIS)
eaemdiante,recursivamenteparatodososfatoriaismltiplos,ondeomfactorialdenoprodutodos
primeirosn(m1)factoriais,i.e.

onde

para

Hiperfatoriais(definioalternativa)
CliffordPickover,noseulivroKeystoInfinity,de1995,defineosuperfactorialden,escrito
comodidaden$(o$deveria,naverdade,serumsinaldefatorial!comumSsobrepusto)como

ondeanotaocientfica(4)denotaooperadorhyper4,ouusandoanotaodasetadeKnuth,

Estasequnciadesuperfatoriaiscomeaquandoseusa:

https://pt.wikipedia.org/wiki/Fatorial

5/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

Fatoraoprimadefatoriais
Apotnciadepqueocorrenafatoraoprimaden!

Estafrmulapermitequefatoriaisgrandessejamfatoradoseficientemente.
OTeoremadeWilsondizque(p1)!+1ummltiplodepse,esomentese,pforumnmeroprimo.

Algoritmo
UmexemploclssicodoclculodefatorialnalinguagemdeprogramaoC.

Recursivo
intfatorial(intnumero){
returnnumero==0?1:numero*fatorial(numero1);
}

Iterativo
intfatorial(intnumero){
intresultado=numero;
if(numero==0)resultado++;
while(numero>1)resultado*=numero;
returnresultado;
}

Vertambm
Funodigama
Funogama
FrmuladeStirling
Desarranjo
Nmerotriangular

Ligaesexternas
tableof2!256!(exata)(http://membres.lycos.fr/rsirdey/facttabl.htm)
Guiadereferenciaparaofactorialn!(emingls)(http://factorielle.free.fr)
Odicionriodosnmerosgrandes(http://home.earthlink.net/~mrob/pub/math/largenum2.html)
Algoritmofactorial(http://www.misalgoritmos.com/source94.html)Pascal
Algoritmosinteressantes(http://www.luschny.de/math/factorial/FastFactorialFunctions.htm)
Clculodofatorial(N40000)(http://www.elektroenergetika.cz/calculations/faktorial.php?
language=portugues)
Obtidade"https://pt.wikipedia.org/w/index.php?title=Fatorial&oldid=44027882"
https://pt.wikipedia.org/wiki/Fatorial

6/7

12/05/2016

FatorialWikipdia,aenciclopdialivre

Categorias: Teoriadosnmeros Funesmatemticas Combinatria

https://pt.wikipedia.org/wiki/Fatorial

7/7