$2^k$ érme között nincs három különböző súlyú. Egy kétkarú mérlegen súlyok használata nélkül $k$ méréssel meg kell mondanunk, hogy van-e köztük két különböző súlyú, és ha van, kell mutatni egy könnyebbet és egy nehezebbet. Bizonyítsuk be, hogy ez lehetséges, és mutassuk meg, hogyan.