17：否。考虑所有小于n的素数的乘积，它们大于(\pi(n))!而这个值可以是任意O(n^k),k可以任意大，进而矛盾。
18：我们看出如果这个数列有上界，那么立刻得到结论，于是我们不妨设这个数列没有上界，也即存在无穷多次a_{n+1}=a_n+a_{n-1}.这里是关键，我们观察2，如果在这个无穷多个等式里面都至少有一个偶数，那么结论当然成立，于是在这无穷多等式里面有一些是三个奇数的，这自然矛盾。
19：还没想到，有没有人会啊555
20（1）将2带入1，得到(ab-1)^2=(c+1)(c^2-c+1+ab)然后素因子分析得到结果。
(2) 由(1)假设ab-1=xy,c+1=x^2,c^2-c+1+ab=y^2,得到c^2+3ab=(x+y)^2,由第二个方程得到c^2+3ab=(a+b)^2我们得到a+b=x+y,又由于ab-xy=1,得到c满足c=a=b=x+1=y-1,那么带入之后就得到a=b=c=3.
