全部で n 個あるとすると，可能性は
　　1が軽い，1が重い，2が軽い，2が重い，…，nが軽い，nが重い
の 2n 通り
天秤の状態は「つり合う」「左が下がる」「右が下がる」の3通りなので
2n ≦ 3^3 なら区別が付くから，計13個なら特定できるというのはわかる
もっとうまいやり方があるのか