ヒンチンの定理は，連分数の測度論，すなわち，その部分商がａになる確率は

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

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

からのアプローチです．

　また，ユークリッドの互除法は連分数と関連していて，レヴィの定理はそのアルゴリズムの効率解析からのアプローチのようです．両者はほぼ一致することが示されています．

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