Tensions in Practice: A compact existence proof in tension with an identified witness¶
Four labeled tokens placed in three boxes
Four tokens A–D are each placed in exactly one of three boxes. If every box held at most one token, at most three tokens could be placed—a contradiction. So some pair shares a box without our knowing which pair. Reading the assignment record additionally identifies A and D in box 1. Existence is sufficient for some questions; retrieval needs an actual witness.
Establish that a pair exists
Use a count argument without inspecting every assignment.
Identify the pair
Retain enough assignment detail to name a shared-box pair.
Why these aims pull against each other
The counting argument is short and assignment-independent but does not return the concrete pair needed for retrieval.
Choose an arrangement to see what changes and what remains difficult.
Arrows express the stated dependencies or transformations, not measured effects. All example quantities are invented.
What this choice protects
What it costs
When it fits
Compare the arrangements
Use the count argument
Assume no box has a pair and derive a capacity of at most three tokens.
- What it protects
- The existence conclusion does not depend on reading the placement record.
- What it costs
- No particular shared-box pair is named.
- When it fits
- Fits when existence, rather than retrieval, is the required deliverable.
Illustration note: The contradiction uses all four tokens being placed exactly once in only three boxes.
Read the assignment
Inspect the actual placement: box 1 holds A,D; box 2 B; box 3 C.
- What it protects
- A and D can be named and retrieved.
- What it costs
- Placement information must be collected, retained and read.
- When it fits
- Fits when a downstream operation needs the actual pair.
Illustration note: This example supplies a witness; not every contradiction proof is inherently incapable of yielding one.
What this illustration does—and does not—establish
The source supplies the tension. The invented setting, alternatives and any numbers illustrate a limited comparison; each arrangement retains its stated costs and conditions.
- The placement is stipulated, not an empirical inventory.
- The count argument requires four tokens and only three boxes; hidden boxes or unplaced tokens change it.
- The distinction is between the deliverables of these two methods, not a universal classification of direct and indirect proofs.
Source entries
Proof By Contradiction
This source passage supplies the contextual tension. The concrete arrangements and schematic examples are editorial illustrations, not measured findings.
Existence versus Construction (the classical penalty)
The tension is between "this must exist" and "here it is," and they are not the same deliverable. The characteristic failure mode is treating an existence-by-contradiction result as if it handed over the object, then stalling when a downstream task needs the actual algorithm, witness, or physical realization.
The source operation
Proof by contradiction is the structural move of *establishing a claim by assuming its negation, deriving consequences from that negation under the system's accepted rules, and showing that those consequences include an impossibility* — at which point the negation must have been false, and the original claim must hold.