第壹個{1+2+3+4}比較{5+6+7+8}
如果相等,則第二次{9+10}比較{(1)+11}
如果相等,證明12的硬幣是不規則的。12和任何第三次的硬幣相比,不是重就是輕。
if { 9+10 } >;{(1)+11}
第三個9比較是10,如果9 >;10和{ 9+10 } & gt;{(1)+11}被證明是九次。
同理,如果9相同,如果9=10,則證明是11。
如果{9+10}第三次與10比較,if 9 >;10和{9+10}如果9=10,則證明為11。
到目前為止,只有八種可能性;
if { 1+2+3+4 } >;{5+6+7+8}
第二個{1+2+5}比較{3+6+(9)}(關鍵是交換3和5個硬幣的位置)。
如果相等,證明1,2,3,5,6是規則硬幣,不規則硬幣在4,7,8(見註2)。
第三次比較7和8,如果7=8且{ 1+2+3+4 } >;{5+6+7+8}證明是四倍。
If 7 if 7 & gt8,證明是8輕。
if { 1+2+5 } >;{3+6+(9)}
證明3,5,4,7,8是規則硬幣,不規則硬幣在1,2,6。
第三次比較2和1,如果1=2和{ 1+2+5 } & gt;{3+6+(9)}證明是6光。
if 1 >;2,證明是1權重。
If 1,if {1+2+5}證明不規則硬幣在3,5(因為位置變了,平衡變了)。
第三次隨便比較1和3。如果1=3,證明是5光。
如果1 1 >: 3不可能,因為已經有了第壹次{ 1+2+3+4 } & gt;{5+6+7+8}
這恰好是八種可能。