金貨を40,00,01,02,03、10,11,12,13,20,21,22,23 とする。
(a-1)10位4つと20位4つを比べ、前者が軽いとする。
(b)00位他5つと、10,11,20,21,22を比べる。
後者が重かったら、20と21を比べ重い方が偽。イコールなら22が偽。
後者が軽かったら、10と11を比べ軽い方が偽。
イコールなら、12+23と例えば00+01を比べる。
前者が軽かったら、12が偽。
前者が重かったら、23が偽。
イコールなら、13が偽。(軽い)
(a-2)10位4つと20位4つを比べ、イコールの場合。(8つは正)
b)00+01と02+10(例えば)を比べる。
イコールなら03と10を比べる。
イコールなら40が偽。そうでないなら03が偽。
前者が軽いとき、00+02と例えば10+11を比べる。
前者が軽ければ、00が偽、軽。
前者が重ければ、02が偽、重。
イコールなら、01が偽、軽。
(以上)あっているかな?