设x为一无理数具简单的连分式展开x=[a0,a1,a2,…，n].若对无穷多个是标k有ak〉n则至少有m个解p/q（p与q互素）使不等式｜x-p/q｜〈1/Cm（n）q^2......