商がａになる確率は

　　ｌｏｇ2（１＋１／ａ）−ｌｏｇ2（１＋１／（ａ＋１））

＝ｌｏｇ2（（ａ＋１）^2／（（ａ＋１）^2−１））

＝ｌｏｇ2（１＋１／（（ａ＋１）^2−１））

＝ｌｏｇ2（１＋１／ａ（ａ＋２））

　ｎ→∞のとき，

　　Σｌｏｇ2（ｎ^2／（ｎ^2−１））→１

は保証されている．

　　Σｌｏｇ2（ｎ^2／（ｎ^2−１））

＝Σ｛ｌｏｇ2（１＋１／ｋ）−ｌｏｇ2（１＋１／（ｋ＋１））｝

＝ｌｏｇ2２−ｌｏｇ2（１＋１／２）＋・・・−ｌｏｇ2（１＋１／ｎ）

→ｌｏｇ2２＝１

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

【１】ガウスの定理

　１８２８年，ガウスは整数部を除いた［０：ａ1，ａ2，ａ3，・・・，ａn］がｘより小さい小数となる確率は

　Ｐ（［０：ａ1，ａ2，ａ3，・・・，ａn］＜ｘ）＝ｌｏｇ2（１＋ｘ）＋εn

で与えられることを証明しました．

　誤差項に関して，１９２８年にクズミンはほとんどすべての連分数に対して，

　　εn＝Ｏ（ｑ^√n）　　０＜ｑ＜１

１９２９年にレヴィは

　　εn＝Ｏ（ｑ^n）　　ｑ＝０．７

であることを示しました．どちらも誤差項εnは漸近的に０になることを示しています．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　ガウスはまた，連分数の部分商の確率密度関数は

　　Ｐ（ａn＝ｋ）＝Ｐ（ｋ＜εn＜ｋ＋１）＝Ｐ（εn＜ｋ＋１）−Ｐ（εn＜ｋ）

→ｌｏｇ2（１＋１／ｋ）−ｌｏｇ2（１＋１／（ｋ＋１））＝ｌｏｇ2（１＋１／ｋ（ｋ＋２））

であることを示しました．

　ａn＝１，２，３，・・・に対する確率は大部分の小数部で等しいのと対照的に，連分数では減少していきます．そして，十分大きなｎに対する部分商の起こる確率Ｐは

ｋ　　　　　　　　１　　２　　３　　４　　５　　６　　７　　８　９＋

Ｐ（ａn ＝ｋ）　 .41 .17　 .09　 .06　 .04 .03 .02 .02 .16

となることがわかります．

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