纠正一下，是Dirichlet逼近定理： α∈R，n∈Z+, exsist a,b∈Z,1≤a≤n, s.t.|aα-b|<1/n一个实数的前n个倍数之一必定在某个整数的1/n邻域内。可以用来逼近无理数，也就是求一个无理数的近似值至于证明，这里的空白太小，我写不下（哈哈玩一下这个梗）
