Cantor(p1014)

Q:现代数学的著名证明之一是Georg Cantor证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的：

1/1 1/2 1/3 1/4 1/5 …

2/1 2/2 2/3 2/4 …

3/1 3/2 3/3 …

4/1 4/2 …

5/1 …… 我们以Z字形给上表的每一项编号。第一项是1/1，然后是1/2，2/1，3/1，2/2，…

输入：整数N;  eg:7          

输出：表中的第N项；  eg:1/4

#include<bits/stdc++.h>
using namespace std;
int main()
{
    int n,k=0,s=0;               //前k条斜线，一共有s个数；
    scanf("%d",&n);
    while(s<n)                     //找到最小的k使得s>=n；
    {
        k++;                       //找到n所在的那条斜线；
        s+=k;
    }
    if(k%2==1)           //k的奇偶决定着斜线上数的顺序, n是第k条斜线上倒数第s-n+1个数；
    printf("%d/%d\n",s-n+1,k+n-s);    //若k是奇数，第k条斜线上倒数第i个元素是i/(k+1-i)，则分母为k+1-（s-n+1);
    else
    printf("%d/%d\n",k+n-s,s-n+1);    //若k是偶数，第k条斜线上倒数第i个元素是(k+1-i)/i
    return 0;
}

 

 

                                                              找规律

 

分析：                                                                 

　　数表提示我们按照斜线分类。第1条斜线有1个数，第2条有2个数，第3条有3个数……第k条有k个数。这样，前k条斜线一共有S=1+2+3+……+k个数。

　　第n项在哪条斜线上呢？只要找到一个最小的k，使得S≥n，那么第n项就是第k条斜线上倒数第S-n+1个数（最后一个元素是倒数第1个元素，而不是倒数第0个元素）。第k条斜线上无论分子还是分母最大数都为k.

　　而k的奇偶决定着第k条斜线上数的顺序：若k是奇数，第k条斜线上倒数第i个元素是i/(k+1-i)；若k是偶数，第k条斜线上倒数第i个元素是(k+1-i)/i。