Back to Discover
Spark

Why 0! Equals 1

0! equals 1 because factorials count arrangements, and there is exactly one way to arrange zero objects.

Before you enter

A complete interactive classroom, not just a preview.

Start when you are ready to enter this Stage's 4 scenes and explore, respond, and learn as you go.

4
Scenes
8 min
Estimated
Content language: en-US
Start this Stage
Sign-in may be required to play
What happens inside
  1. 01The Missing Factorialslide
    Slot 1Hook

    Present a short list of factorial values (1!, 2!, 3!, 4!) and stop at the question: what comes before 1!?

    • Factorials shrink by dividing by n
    • The pattern n! = n × (n−1)!
    • What value keeps the chain unbroken?
    Phenomenon

    The familiar factorial sequence 1, 2, 6, 24 ends with 1! at the top, leaving a hole where 0! should be.

    Question

    What number must 0! be so that dividing 1! by 1 still gives the next factorial down?

  2. 02Two Competing Intuitionsslide
    Slot 2Tension

    Contrast the 'nothing was multiplied, so it should be 0' intuition with the combinatorial 'arrange zero objects' intuition.

    • Empty product feels like 0
    • Empty set feels like one arrangement
    • Pattern-consistency suggests 1
    Prediction

    Before seeing the answer, learners often guess 0 or 'undefined.'

    Tempting intuition

    It feels natural to say that multiplying no numbers together gives 0, just as adding nothing gives 0.

  3. 03The Empty Productinteractive

    Show the staircase 4!/4 = 3!, 3!/3 = 2!, 2!/2 = 1!, 1!/1 = 0!, forcing 0! = 1 to keep the recurrence alive.

    • n! = n × (n−1)! implies (n−1)! = n!/n
    • Following the chain gives 0! = 1!/1 = 1
    • Arranging zero items yields exactly one arrangement
  4. 04The Same Trick in a New Placeslide
    Slot 4Takeaway

    Transfer the empty-product idea to a nearby situation: the number of ways to choose 0 items from n.

    • nC0 = 1 by the same identity
    • Binomial coefficients stay consistent
    • Empty operations in math usually default to the identity element
    Transfer

    Apply the same reasoning to combinations: nC0 asks how many ways to choose nothing from n items, and the formula nC0 = 1 mirrors 0! = 1.

    Expected inference

    Learners should expect that any 'empty' operation — choosing nothing, multiplying nothing, intersecting nothing — defaults to the identity element of that operation.

Discussion

Discussion threads for a Stage aren't available yet.

Where this leads
Next on this path
  1. Why must 0! equal 1?
Explore more

More in Math & Logic

See all