◆大阪府 CHECK さんからの解答。
[ ]はガウス記号とする。
α,βを1より大きい,
|
1 ―― α | + |
1 ―― β | =1 |
A={[α],[2α],[3α],・・・・・・}
B={[β],[2β],[3β],・・・・・・}
自然数nについて
|
n ―― α | =[ |
n ―― α | ]+a |
|
n ―― β | =[ |
n ―― β | ]+b ・・・(1) |
とおくと,α,βが無理数であることから,
0<a<1,0<b<1 ・・・(2)である。
このとき,
| n∈A⇔a+ |
1 ―― α | >1 |
| n∈B⇔b+ |
1 ―― β | >1 ・・・(3) |
が成り立つ。
(∵n∈Aとは,n=[pα]
すなわち
|
n ―― α | <p< |
n+1 ―――― α |
を満たす自然数pが存在することである)
さて,(1)および
|
1 ―― α | + |
1 ―― β | =1より |
| ∴( |
1 ―― α | +a)+( |
1 ―― β | +b)=2 ・・・(4) |
更に,(1)より
|
1 ―― α | +a= |
n+1 ―――― α | −[ |
n ―― α | ], |
|
1 ―― β | +b= |
n+1 ―――― β | −[ |
n ―― β | ] |
で,α,βは無理数だからこの2式の右辺は無理数で,
|
1 ―― α | +a≠1, |
1 ―― β | +b≠1 ・・・(5) |
である。
(4)(5)より
|
1 ―― α | +aと |
1 ―― β | +bの一方のみが |
すなわち,各自然数がAまたはBに重複なく1度ずつ現れる。
いま,題意の
|
1 ―― g | , |
1 ――― g2 | は |
「α,βを1より大きい,
|
1 ―― α | + |
1 ―― β | =1 |
よって題意は示された。
◆宮城県 アンパンマン さんからの解答。
| [ |
1 ― g | ]=1,[ |
1 ―― g2 | ]=2,[ |
2 ― g | ]=3, |
| [ |
3 ― g | ]=4,[ |
2 ―― g2 | ]=5,[ |
4 ― g | ]=6,... |
| {[ |
k ―― g | ]},{[ |
k ――― g2 | ]} |
は 両方increasing functionです。
| [ |
k1 ―― g | ],[ |
k2 ――― g2 | ]≦N になるような |
k1=1,2,...,[(N+1)g] → [(N+1)g] 個
k2=1,2,...,[(N+1)g2]→ [(N+1)g2]個
[(N+1)g]+[(N+1)g2]≦[(N+1)(g+g2)]= N+1
でもgとg2は無理数ですから
[(N+1)g]+[(N+1)g2] =N
つまり
| [ |
k1 ―― g | ],[ |
k2 ――― g2 | ]≦N つくれるような |
同様に、
| [ |
k1 ―― g | ],[ |
k2 ――― g2 | ]≦N+1つくれるような |
ということは
| [ |
k1 ―― g | ],[ |
k2 ――― g2 | ]=N+1になるような |
重複無しに全ての自然数を尽くせるわけです。