天秤の問題では，

　　１，３，３^2，３^3，３^4，・・・，３^r

のおもりによって，１から（３^(r+1)−１）／２グラムまでのすべての整数の重さを量ることができ，しかもそれが唯一の方法であるという．

　一般に，母関数に関する美しい恒等式

　　Π（１＋ｘ^(3^n)＋ｘ^-(3^n)）＝Σｘ^n

が成り立つ．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ここでは，ａn，ａn-1，・・・，ａ1，ａ0が互いに独立に−１，０，１を動くとき，

　　Ｐ＝３^nａn＋３^n-1ａn-1＋・・・＋３ａ1＋ａ0

によって，（２Ｈ＋１）個の数

　　−Ｈ，・・・，−１，０，１，・・・，Ｈ

　　　（Ｈ＝３^n+1−１）／（３−１））

が一意位に表示されることを証明する．

（Ａ）Ｐ＝３^nａn＋３^n-1ａn-1＋・・・＋３ａ1＋ａ0に

　　Ｈ＝３^n＋３^n-1＋・・・＋３＋１

を加えれば，ａn，ａn-1，・・・，ａ1，ａ0に０，１，２という値をとらせたときの数，すなわち，０，１，・・・，２Ｈのすべてが得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝