几道数论趣题

内容来自Quora，只是做个笔记。涉及基础数论但很有意思

---

1.

• Q: $10^{100}+1$是质数吗？
• A/Alon Amit：
  $$\begin{eqnarray*} && \quad \quad x \equiv_{x+1} -1\\ && =>x^m \equiv_{x+1} (-1)^m \\ && =>x^m+1 \equiv_{x+1} (-1)^m+1\ \end{eqnarray*}$$
  于是当m为奇数时，$x^m+1 \equiv_{x+1}0$。
  $10^{100}+1=10^{4*25}+1=10000^{25}+1 \equiv_{10001} 0$
  换句话说，只要m含有奇质因子，$x^m+1$就不会是质数。
  

  ---

2.

• Q:是否存在一个自然数$n$，它的平方根是有理数但不是自然数？

• A:假设$n$的平方根为$x$，于是有:
  

  $$x^2-n=0$$
  其实对于整系数多项式的有理根有一个看似显然的定理：

  $设f(x)=a_nx^n+a_{n-1}x^{n-1}+...+a_0\in Z[x],其中a_n \neq 0. 如果有理数c=\frac{t}{s}是f(x)=0的根，其中s，t \in Z 且 (s,t)=1，则t|a_n且s|a_0。$

  上式中$a_n=1$，所以$c=t \in Z$。

---

3.

• Q：$若a，b \in Z_+, 且ab+1 | a^2+b^2，则 \frac{a^2+b^2}{ab+1}是完全平方数？$
• A:（此题被送给当时几个数学家去做。无人能在6h内给出解答，后被送往IMO，被大多数参赛选手当场秒过。下面的解答用到了递归下降思想+反证法。）
  先令：
  $$S=\{(a,b) | a\ge b \in Z_+, ab+1 | a^2+b^2，且\frac{a^2+b^2}{ab+1}不是完全平方数\}$$
  我们取$(a,b) \in S, s.t. a+b取得最小值$
  再令：
  $$\frac{a^2+b^2}{ab+1}=k$$
  移项化简得: $$a^2-kb*a+b^2-k=0$$
  把它看作关于a的一元二次方程。得到：
  $$x^2-kb*x+b^2-k=0$$
  设方程的两个解为$a,a',,显然a,a' \in Z。$关于一元二次方程的解我们有韦达(vieta)定理:
  $$a+a'=kb \\ aa'=b^2-k=>a'=\frac{b^2-k}{a}<b \le a$$
  因为我们令(a,b)为a+b最小，所以a’ 不能成为合法解，意味着:
  $$a'\notin Z_+$$
  但：
  
  • $a'=0时，有k = b^2，矛盾$
  • $a' \lt 0$时，
    $$\begin{aligned} 0=&{a'}^2-kb*{a'}+b^2-k \\ \ge &{a'}^2+k+b^2-k \\ = &{a'}^2+b^2 \\ \gt &0 \\ \end{aligned}$$
    矛盾。
    故，$a'$时合法解，且(a’+b)更小，矛盾！因此 S <script id="MathJax-Element-430" type="math/tex">S</script>为空集。