全部で9個の場合
3個ずつ天秤に載せX,Y、載せなかった3つをZとする
X≠Yなら：
　TをXとYのうち軽い方とする
X＝Yなら：
　TをZとする
Tから1個ずつ天秤に載せV,U、載せなかった1個をTとする
　　V≠Uなら：
　　　VとUのうち軽い方
　　V＝Uなら：
　　　T

載せる(1)、載せる(2)、載せない、に分けられるからだね
もし天秤の皿がm枚あって一つだけ軽い皿があった場合にそれがわかり、n回まで使っていいのなら、m^n個までいけるかな