■フルヴィッツ・ボレルの定理(その9)

 (その8)において,

  |α−a/b|=|α^2b^2−a^2|/b^2(α+a/b)≧1/b^2(α+a/b)

の右辺にαが含まれているのは不満である.

===================================

 そこで,αはx^2−α=0の解ではなく,

  x^n+cn-1x^n-1+cn-2x^n-2+・・・+cn=0

の解で,α<1としても一般性を失わない.a<b

 すると,

  |α−a/b|≧1/b^2(α+a/b)>1/b^2(1+a/b)=1/b(a+b)

===================================

[雑感]

 相対稠密性と一様離散性をまとめると

  1/b(a+b)<|α−a/b|<1/2b^2

 ここで,左辺はa<bであるから

  1/b(a+b)>1/2b^2・・・?

かなりギリギリの議論になっているのだと思う.

===================================