Editing ZeroFactorial
You are currently not logged in.
To change this, fill in the following fields:
Username
Password
Who can read this page?
The World
Members
Council
Admin
You have been granted an edit lock on this page
until Tue Apr 23 23:43:50 2024.
Press
to finish editing.
Who can edit this page?
World editing disabled
Members
Council
Admin
!! The question ... What "should" zero factorial be? There are several explanations. ---- COLUMN_START [[[ !! Direct - number of arrangements Working directly from the definition of factorial as the number of arrangements of objects, we declare that the number of ways of arranging zero objects is one, but some people are unconvinced by this. "There are no objects", they say, "so you can't arrange them at all. The answer should be zero." Well, here's an elaboration of the "arrangement" explanation. * Suppose you have 5 boxes and five objects. One person goes into the room and puts one thing in each box. Then someone else goes in, and they have to write down what the arrangement is. How many different answers can you get? 5! = 120. * Suppose you have 4 boxes and four objects. One person goes into the room and puts one thing in each box. Then someone else goes in, and they have to write down what the arrangement is. How many different answers can you get? 4! = 24. * ... * Suppose you have one box and one object. One person goes into the room and puts one thing in each box. Then someone else goes in, and they have to write down what the arrangement is. How many different answers can you get? 1! = 1. Now for zero boxes? There is only one answer that can be given. ]]] _ [[[ !! Identity approach If we define EQN:n! to be EQN:n(n-1)(n-2)...3.2.1 then we can deduce that EQN:\frac{n!}{(n-1)!}=n. Substituting n=1 we get that EQN:\frac{1!}{0!}=1, and hence 0!=1. ]]] COLUMN_SPLIT [[[ !! The number pattern explanation Look at the following sequence: 40320, 5040, 720, 120, 24, ... Ask "How does this continue? What's the rule?" Some work will show that going leftwards involves multiplying by successive integers, so going rightwards should be dividing by successive integers: {{{ 40320 (divide by 8 gives ...) 5040 (divide by 7 gives ... ) 720 (divide by 6 gives ...) 120 (divide by 5 gives ...) 24 (divide by 4 gives ...) ?? }}} This shows clearly the pattern we want. ]]] _ [[[ !! The "Algorithm" approach. Here's an algorithm to compute /n/ factorial (written in Python (yes, this is executable code)) {{{ . F = 1 . while n>0: . . F = F*n . . n = n-1 . print F }}} Running through this a few times shows how it works, why it works, and that it gives the right answer for n>0. What answer does it give for n=0? ]]] _ [[[ !! Another identity Since the number of ways of choosing r objects from n is EQN:\frac{n!}{r!(n-r)!} the number of ways of choosing n objects from n objects is EQN:\frac{n!}{n!.0!}, so 0! must be 1 to make that work. ]]] COLUMN_END ---- !! Conclusion Yup. 0! = 1. !! Credits Some of these have been suggested by contributors on the TES teacher bulletin board: * http://www.tes.co.uk/section/staffroom/list_threads.aspx?path=/mathematics/