Jul 222020
 

Fermat 的平方和定理:

素数 \(p\equiv1\pmod4\),则 \(p\) 能表成两个整数 \( a, b\) 的平方和 \(p=a^2+b^2\).

是很精彩的定理,在堆垒数论很经典,我们很感兴趣。今天先来谈一点关于它的历史。

在历史上,最早考虑把正整数(不仅仅是素数)表示成两个正整数的平方和的可能性的问题的数学家是 Albert Girard. 他的论文发表在 1625 年。前面刚刚提到的Fermat 平方和定理有时候也称为 Girard 定理。至于 Fermat, 他在1640年12月25日给 Marin Mersenne 的一封信对这个定理给出了一个详尽的描述,同时也定出了把 \(p\) 的幂表成两个整数的平方和有多少种方法。

Albert Girard 小传

Albert Girard 1595 出生于法国的 Saint-Mihiel,1632年 12月8日去世在 Leiden, The Netherlands. 他是早期对代数基本定理有思考的数学家,他还给出了斐波那契数的一个归纳定义,他亦是最早在论文中使用\(\sin, \cos, \tan\) 表示三角函数。

Girard 还证明了球面三角形的面积对内角的依赖,这结论以他的名字命名。 他也弹琴,提到写过音乐方面的论述,但没有发表过。

根据 Charles Hutton 的研究,Girard 得出了方程的根的和与乘积,以及它们的幂的公式的系数。此外,他还是第一个发现了方程的根的幂的和的公式的人。

Funkhouser 研究了 Girard 使用对称函数来研究方程的工作在历史上的贡献。Lagrange 后来引用了 Girard 在方程方面的工作。后来,在十九世纪,这项工作引出了Galois, Cauchy和其他的数学家创作的群论

Aug 112016
 

集合

\[\{\sqrt n|n\in\Bbb N\; \text{is Square-free integer}\}\]

在有理数域上线性无关.

这其实是非常古老的问题, 早已经有很一般的结果.

先厘清无平方因子整数Square-free integer这个概念: \(1\) 到底是不是无平方因子整数?

wiki 给出的定义是: 不被不是 \(1\) 的完全平方整除的整数称为无平方因子整数. 因此, \(1\) 算无平方因子正整数. 鉴于此, 我们认为: 无平方因子整数定义为”不被质数的平方整除的整数”更为恰当.

下面的证明来自 Iurie Boreico 的文章 Linear Independence of Radicals.

我们把问题写的更清楚一点, 即我们要证明:

\(n_1\), \(n_2\), \(\dotsc\), \(n_k\) 是互不相同的无平方因子正整数; \(a_1\), \(a_2\), \(\dotsc\), \(a_k\) 都是整数. 令

\[S=a_1\sqrt{n_1}+a_2\sqrt{n_2}+\dotsb+a_k\sqrt{n_k},\]

那么 \(S=0\) 当且仅当 \(a_1=a_2=\dotsb=a_k=0\).

第一个办法是指出更精细的结果:

记 \(p_1\), \(p_2\), \(\dotsc\), \(p_N\) 是 \(n_1n_2\dotsm n_k\) 的所有互不相同的质因子. 则存在

\[S^\prime=b_1\sqrt{m_1}+b_2\sqrt{m_2}+\dotsb+b_l\sqrt{m_l},\]

(这里 \(b_1\), \(b_2\), \(\dotsc\), \(b_l\) 都是整数; \(m_1\), \(m_2\), \(\dotsc\), \(m_l\) 都是无平方因子正整数, 并且都没有 \(p_1\), \(p_2\), \(\dotsc\), \(p_N\) 以外的质因子), 使得 \(SS^\prime\ne0\) 是整数. 进而, 顺水推舟, \(S\ne0\).

对 \(N\) 进行归纳.

明显 \(N=0\) 时, 结论为真: 此刻 \(k=1\), \(n_1=1\), 于是 \(S=a_1\ne0\). 令 \(S^\prime=1\) 即可.

 Posted by at 5:04 pm
Nov 252015
 

Sam Northshield 用一句话就说明了质数的无穷性. 这个很精彩的证明是这样的:

Proof.  If the set of primes is finite, then

\[0\lt \prod_p \sin\left(\frac \pi p\right)= \prod_p \sin\left(\frac{\pi\Big(1+2\prod\limits_{p’}p’\Big)}p\right)=0.     \qquad          \Box\]

有更短的数学证明吗?应该没有! 这个证明正确吗?好像不是一目了然啊!

不等号 \(\lt\) 显而易见.

第一个等号 \(=\) 也很显然, 因为\(\prod\limits_{p’}p’\) 跑遍所有的(有限个)质数, 因此, 对于任意的质数 \(p\), \(p\mid\prod\limits_{p’}p’\) 为真.

关键的地方来了, 为什么必有一项 \(\sin\Bigg(\frac{\pi\Big(1+2\prod\limits_{p’}p’\Big)}p\Bigg)=0\)? 这是因为 \(1+2\prod\limits_{p’}p’\) 肯定有质因子, 不妨 \(q\) 是其中之一. 设整数 \(k\) 使得 \(1+2\prod\limits_{p’}p’=kq\), 于是

\[\sin\left(\frac{\pi\Big(1+2\prod\limits_{p’}p’\Big)}q\right)=\sin k\pi=0.\]

似曾相识? Euclid 的那个最著名的证明好像也有这么一个类似的步骤!

普遍流行的认识是, Euclid 的那个质数无穷性的著名证明是通过反证法. 事实不是如此.

References

  1. Sam Northshield, A One-Line Proof of the Infinitude of Primes, The American Mathematical Monthly, Vol. 122, No. 5 (May 2015), p. 466
  2. Michael Hardy and Catherine Woodgold, Prime Simplicity,  the Mathematical Intelligencer, Volume 31, Issue 4, December 2009,  44-52
  3. Harold Edwards, Contradict or Construct?,  the Mathematical Intelligencer, Volume 32, Issue 1, March 2010, p.3
  4. Harold Edwards, Essays in Constructive Mathematics,  Springer, 2010
Apr 162014
 

\(p\) is a odd prime,  then

  1. there are infinite primes \(q\) such that \(q\) is a quadratic residue modulo \(p\);
  2. there are infinite primes \(q\) such that \(q\) is a quadratic nonresidue modulo \(p\).

第二件事是容易的. 事实上,  是 \(q>0\) quadratic non-residue modulo \(p\) 的最小正整数, 则 \(p\) 是质数 . 考虑

\[a_0=q, a_1=q+p,a_2=q+pa_1,a_3=q+pa_1a_2,\dotsc, a_n=q+pa_1a_2\dotsb a_{n-1},\dotsc \]

显然, \((a_i,a_j)=1\).

换个做法  假定只有有限个, 不妨设为 \(q_1, q_2, q_3,\dotsc, q_n\), 二次非剩余 modulo \(p\). 因为 \((q_1q_2q_3\dotsm q_n, p)=1\), 因之必有正整数 \(k\), 使得

\[\bigg(\dfrac{kq_1q_2q_3\dotsm q_n+1}p\bigg)=-1.\]

无穷个质数二次剩余的证明要难一些, 关键在于巧妙的使用二次互反律.

在 \(p\equiv1\pmod4\) 的情形, 如果 \(q\) 是奇质数且 \(q \neq p\), 那么

\[\bigg(\frac qp\bigg) = \bigg(\frac pq\bigg). \]

首先选定一个正整数 \(k\) 使得 \(4^k\gt p\). 考虑

\[a_1 = 4^k – p,\]
\[a_2 = 4^ka_1^2 -p,\]
\[ a_3 = 4^ka_1^2a_2^2 -p, \]
\[\dotsc\]
\[a_n = 4^ka_1^2a_2^2\dotsm a_{n-1}^2-p,\]
\[\dotsc\]

显然, \((a_i,a_j)=1\), 并且 \((a_n,p)=1\). 然后, \(a_n\) 的任意一个质因子 \(q\) 都使得 \(\Big(\dfrac{p}q\Big)=1\).

余下的另一种情况, 即 \(p\equiv3\pmod4\), 如果 \(q\) 是奇质数且 \(q \neq p\), 那么

\[\bigg(\frac qp\bigg)=\bigg(\frac {-p}q\bigg).\]

考察

\[a_1 = 4+p, \]
\[a_2 = 4a_1^2 + p, \]
\[ a_3 = 4a_1^2a_2^2 + p, \]
\[a_4 = 4 a_1^2a_2^2 a_3^2 + p, \]
\[\dotsc\]
\[a_n = 4 a_1^2a_2^2\dotsm a_{n-1}^2+ p,\]
\[\dotsc\]

显然, \((a_i,a_j)=1\), 并且 \((a_n,p)=1\). \(a_n\) 的每一个质因子 \(q\) 都使得 \(\Big(\dfrac{-p}q\Big)=1\).

Mar 252014
 

Which integers can be expressed as \(a^3+b^3+c^3-3abc\)? \(a\), \(b\), \(c\in\Bbb Z\).

\[(a\pm1)^3+a^3+a^3-3(a\pm1)a^2=3a\pm1\]

\[(a-1)^3+a^3+(a+1)^3-3a(a+1)(a-1)=9a\]

\[2(a^3+b^3+c^3-3abc)=3(a+b+c)(a^2+b^2+c^2)-(a+b+c)^3\]

If \(3\mid(a^3+b^3+c^3-3abc)\), then \(3\mid(a+b+c)^3\), \(3\mid(a+b+c)\). so \(9\mid(a^3+b^3+c^3-3abc)\).

All \(n\) such that \(3\nmid n\) or \(9\mid n\).

Feb 042014
 

Let \(f(x)=x^n+a_{n-1}x^{n-1} +\dotsb+a_1x+a_0\) be a polynomial with integer coefficients, and let \(d_1\),\(\dotsc\), \(d_n\) be pairwise distinct integers. Suppose that for infinitely many prime numbers \(p\) there exists an integer \(k_p\) for which

\begin{equation}f\left(k_p+d_1\right)\equiv f\left(k_p+d_2\right)\equiv\dotsb\equiv f\left(k_p+d_n\right)\equiv0\pmod p.\end{equation}

Prove that there exists an integer \(k_0\) such that

\[f\left(k_0+d_1\right)=f\left(k_0+d_2\right)=\dotsb= f\left(k_0+d_n\right)=0.\]

用 \(P\) 表示 \(\gt n\), 且具有下列性质的质数 \(p\) 所组成的集合: 存在整数 \(k_p\), 使得 \((1)\) 为真.

记 \(u=d_1+d_2 +\dotsb+d_n+a_{n-1}\). 对于 \(p\in P\), 设 \(K_p=nk_p+u\); 对每个 \(\leq n\) 的正整数 \(i\), 设 \(D_i=nd_i-u\). 易见, 所有的 \(\mid D_i-D_j\mid\) 都不会是 \(0\).

\[F(x)=n^nf\Big(\frac xn\Big)=x^n+na_{n-1}x^{n-1}+n^2a_{n-2}x^{n-2}\dotsb+n^{n-1}a_1x+n^na_0.\]

注意到, 对正整数 \(i\)(\(1\leq i\leq n\)), 有

\[F\big(K_p+D_i\big)=n^nf\bigg(\frac{K_p+D_i}n\bigg)=n^nf\big(k_p+d_i\big)\equiv0\pmod p.\]

只要质数 \(p\in P\) 足够大, 任意的 \(\mid D_i-D_j\mid\) 都不被 \(p\) 整除. 既然 \(K_p+D_1\), \(K_p+D_2\), \(\dotsc\), \(K_p+D_n\) \(\bmod p\) 互不同余, 从而它们就是 \(F(x)\equiv0\pmod p\) 的全部解. 然后, Vieta formula 定出

\[\big(K_p+D_1\big)+\big(K_p+D_2\big)+\dotsb+\big(K_p+D_n\big)\equiv-na_{n-1}\pmod p,\]

\[\big(K_p+nd_1-u\big)+\big(K_p+nd_2-u\big)+\dotsb+\big(K_p+nd_n-u\big)\equiv-na_{n-1}\pmod p,\]

进而

\[nK_p\equiv-n\big(a_{n-1}+d_1+d_2+\dotsb+d_n-u\big)=0\pmod p.\]

既然 \(p\gt n\), \(p\mid K_p\).

再次使用 Vieta formula, 当 \(1\leq l\leq n\) 时,

\[(-1)^ln^la_{n-l}\equiv\prod_{1\leq i_1\lt\dotsb\lt i_l\leq n}\big(K_p+D_{i_1}\big)\dotsm\big(K_p+D_{i_l}\big)\pmod p,\]

由 \(p\mid K_p\) 得知

\begin{equation}(-1)^ln^la_{n-l}\equiv\prod_{1\leq i_1\lt\dotsb\lt i_l\leq n}D_{i_1}\dotsm D_{i_l}\pmod p.\end{equation}

只要 \(P\) 中的质数 \(p\) 使得任意的 \(\mid D_i-D_j\mid\) 都不被 \(p\) 整除, 则 \((2)\) 成立. 如此, 就必须有

\[(-1)^ln^la_{n-l}=\prod_{1\leq i_1\lt\dotsb\lt i_l\leq n}D_{i_1}\dotsm D_{i_l}.\]

从而

\[F(x)=\big(x-D_1\big)\big(x-D_2\big)\dotsm\big(x-D_n\big).\]

返回到多项式 \(f\) 以及 \(d_i\),

\[f(x)=\Big(x-d_1-\frac un\Big)\Big(x-d_2-\frac un\Big)\dotsm\Big(x-d_n-\frac un\Big).\]

\(f\) 是首一多项式, 其有理根必是整数. 故 \(\dfrac un\) 是整数.

令 \(k_0=\dfrac un\), 则 \(f(k_0+d_i)=0\) 对所有的 \(1\leq i\leq n\).