我们证明满足abs(1/(n sinn))>k/n的正整数对(k,n)有无穷多组,其中k和n有如下关系:lim(n->inf)k/n=1/π
由连分数浅说定理20可知不等式abs(π-n/k)<1/k^2有无穷多对正整数解,即abs(kπ-n)<1/k有无穷多对正整数解。注意到abs(sinkπ-sinn)<=abs(kπ-n),故abs(sinkπ-sinn)=abs(sinn)<1/k有无穷多对正整数解,这意味着abs(1/(n sinn))>k/n有无穷多组正整数解。由反证法易知满足上式的n的全体构成无穷集合,故可对n取极限,因为关系式abs(π-n/k)<1/k^2,故有lim(n->inf)k/n=1/π>0.1,由极限性质知有无穷多个n使得abs(1/(n sinn))>0.1,所以原级数通项不趋于0,发散
@KeyTo9 但愿我没错。。。。