a是大于1的无理数，那么{a*

这个有点意思。
其实我们不仅关心是否稠密，更关心小数部分的分布是否均匀。
a1,a2,a3,...均匀可以理解为：对任意的整数n，当m趋近于无穷大时 有：
[ exp(2\pi* i* n* a1) + exp(2\pi* i* n* a2) + ... + exp(2\pi* i* n* am) ] /m -> 0