现代数学的著名证明之一是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,…
程序:
#include<bits/stdc++.h>//找规律
using namespace std;
int main()
{
int n,i,s; //前k条斜线一共s个数
cin>>n;
i=0;
s=0;
while(s<n) //找到最小的k使得s>=n
{
i++;
s+=i;
}
if(i%2==1) //k的奇偶决定着斜线上数的顺序,n是第k条斜线上倒数第s-n+1个数
cout<<s-n+1<<"/"<<i+n-s<<endl; //若k是奇数,第k条斜线上倒数第i个元素是i/(k+1-i)
else
cout<<i+n-s<<"/"<<s-n+1<<endl; //若k是偶数,第k条斜线上倒数第i个元素是(k+1-i)/i
return 0;
}