Fatorial

Ao produto dos números naturais começando em n e decrescendo até 1 denominamos de fatorial de n e representamos por n!.

Segundo tal definição, o fatorial de 5 é representado por 5! e lê-se 5 fatorial.

5! é igual a 5 . 4 . 3 . 2 . 1 que é igual a 120, assim como 4! é igual a 4 . 3 . 2 . 1 que é igual a 24, como 3! é igual a 3 . 2 . 1 que é igual a 6 e que 2! é igual a 2 . 1 que é igual a 2.

Por definição tanto 0!, quanto 1! são iguais a 1.

Vimos que 5! é equivalente a 5 . 4 . 3 . 2 . 1, mas note que também podemos escrevê-lo de outras formas, em função de fatoriais menores, tais como 4!, 3! e 2!:

1. 5! = 5 . 4!
2. 5! = 5 . 4 . 3!
3. 5! = 5 . 4 . 3 . 2!

Para um fatorial genérico temos:

n! = n . (n - 1)!  =  n . (n - 1) . (n - 2)!  =  n . (n - 1) . (n - 2) . (n - 3) . ... . 1!

Observe atentamente os exemplos seguintes:

1. (n + 3)! = (n + 3) . (n + 2)!
2. (n + 3)! = (n + 3) . (n + 2) . (n + 1)!
3. (n + 1)! = (n + 1) . n!

Vamos atribuir a n o valor numérico 6, para termos uma visão mais clara destas sentenças:

1. 9! = 9 . 8!
2. 9! = 9 . 8 . 7!
3. 7! = 7 . 6!

Estes conceitos são utilizados em muitos dos problemas envolvendo fatoriais.

Observe a fração abaixo:

Vimos que 5! é equivalente a 5! = 5 . 4 . 3!. Então podemos escrever a fração da seguinte forma:

Agora podemos simplificar o 3! do numerador com o 3! do denominador. Temos então: