Let , and let be real numbers. Among all the positive differences , where , there are exactly distinct values.
The following incomplete proof shows that form an arithmetic progression.
Consider the list
[Missing argument]
This establishes
Rearranging shows that each of the first consecutive gaps equals the last gap, , proving the result.
Which argument correctly fills the gap without assuming the result to be proved?
AThe first list contains entries, and there are consecutive gaps. Thus the consecutive gaps exhaust this list. Comparing them in order gives the required equalities.
BFor , we have . Strict ordering alone then forces the left-hand value to be the next smaller entry of the first list.
CSubtract from every entry of the first list. Each result is a positive difference already in the list, so the list is unchanged. Matching entries gives the required equalities.
DAll positive differences occur in the first list. The distinct differences with are smaller than its largest entry, so they fill the other entries. Match these two decreasing lists.
EWrite , where . The first list is , and the differences from are . Comparing these lists gives the required equalities.