Problem 1111 worked answer

The Empty Arrangement

Designed for Grade 8 · Grade 9 · Grade 10 · Uses HS DISC math · About 12–28 minutes

Complete to collectIndicoliteLevel 3

At a glance

  • Part 1: , , and the untouched zero-seal display is exactly one complete arrangement.
  • Part 2: Choosing the first case gives . At , this forces .
  • Part 3: Every collection has one identity permutation. For the empty collection, it is the unique empty instruction list.

Key idea: no objects is not the same as no valid way

An arrangement is a complete assignment, not a pile of marks. When there are no seals and no cases, the blank assignment already meets every requirement: no seal is omitted, no case is unfilled, and no case receives two seals.

There is one such blank assignment. A second one would need to differ somewhere, but there is no seal or case where a difference could occur.

1. Prove the empty count

For two seals , the complete arrangements are:

  1. case 1 contains , and case 2 contains ;
  2. case 1 contains , and case 2 contains .

Seal must occupy either case 1 or case 2. Once that choice is made, the location of is forced. These two cases are disjoint and exhaustive, so

For one seal and one case, the only complete arrangement places in that case. Thus

For zero seals and zero cases, the untouched display is valid:

  • no seal is unused, because there are no seals;
  • no case is empty, because there are no cases; and
  • no case contains more than one seal.

It is also the only possible arrangement. Any different arrangement would have to contain at least one seal-case assignment, but neither a seal nor a case exists. Therefore

2. Derive the factorial recurrence

For , build a complete arrangement by first choosing the seal for case 1.

  • There are choices for case 1.
  • After one seal is chosen, distinct seals remain.
  • Those remaining seals can be arranged in the remaining cases in ways.

Each finished arrangement has exactly one seal in case 1, so it appears in exactly one of these groups. The groups are disjoint and cover every arrangement. By the multiplication principle,

Substitute :

Since ,

and therefore

This agrees with the one empty arrangement from Part 1. It also agrees with the product form

When , that list contains no factors, and the empty-product rule assigns it the value .

3. Find the identity permutation

A permutation records one destination for every object, with every destination used exactly once. The identity permutation sends each object to itself.

For any collection , every arrow in an identity permutation is forced:

for each in . Therefore there can be at most one identity permutation. The collection of all these self-arrows is a valid reversible permutation, so an identity permutation also exists. Hence it is unique.

If is empty, there are no inputs and no destinations. The identity permutation is the empty instruction list: it contains no arrows. It is valid because no input or destination is omitted, and it is unique because there is no possible arrow by which another instruction list could differ.

Check

The three arguments agree:

  • direct counting finds one complete zero-object arrangement;
  • the factorial recurrence forces ; and
  • the empty collection has one identity permutation, represented by the same empty assignment.

Each argument supplies both existence and exclusion, so “exactly one” is proved rather than inferred from a pattern.

Teaching note

The proof uses a general logical pattern sometimes called vacuous truth: a requirement such as “every seal is used” cannot fail when there are no seals. Students do not need that term. A complete response should say why the blank arrangement satisfies every rule and why a second arrangement would require an impossible seal-case pair.

Technical fit and rating

MJ HS:DISC.2 · C3 · W2 Stretch challenge · Moderate workload

Discrete mathematics and logic

How the rating works →

Keep exploring

The Manyfold challenge 18 of 22