（5）因数分解与算数基本定理

因数分解与算数基本定理

素数是这样的整数$p\ge 2$，它的（正）因数仅有1与p。不是素数的整数$m\ge 2$叫做合数。例如，

$素数2，3，5，7，11，13，\cdots$
$合数4，6，8，9，10，12，\cdots$

引理7.1 令p是素数，假设p整除乘积ab，则p整除a或p整除b（或者p既整除a也整除b）。
证明已知$p\mid ab$。如果$p\mid a$，则证明已完成；另一种情况$p\nmid a$，则$gcd(p,a)=1$，因此我们可以根据线性方程定理得出：

$px+ay=1$

一定有整数解现在，方程两边同乘以b得：

$pbx+aby=b$

显然，$p\mid pbx$,由于$p\mid ab$，所以$p\mid aby$，因此p整除和

$pbx+aby$，
从而 $p\mid b$。这就完成了证明。
注意p一定是素数才能成立，是合数就不再成立了。

定理7.2（素数整除性质） 假设素数$p\mid a_1{a}_2,a_3\cdots a_r$，那$a_1{a}_2,a_3\cdots a_r$中至少有一个因数。
证明如果$p\mid a_1$，则定理证明完毕。否则，应用引理到乘积

$a_1(a_2{a}_3\cdots a_r)$

得出$p\mid a_2{a}_3\cdots a_r$的结论。换句话说应用$a=a_1,b=a_2{a}_3\cdots a_r$的引理。我们已知$p\mid ab$,所以如果$p\nmid a$，则引理表明p必整除b。继续这种过程最终必然可以得到p整除某个a_i。

**定理7.3（算数基本定理）**每个整数$n\ge 2$可唯一分解成素数乘积

$n=p_1{p}_2\cdots p_r$

证明算数基本定理实际上包含两个断言。
断言1数n可以以某种方式分解成素数乘积。
断言2仅有一种这样的因数分解（除因数重排外）。
先证明断言1。可以使用归纳证明。首先证明$n=2$时的断言，然后证明$n=3$时的断言，$n=4$时断言，等等。我们将这种断言推广到N的每个数n断言1成立。也就是说每个数$n\le N$可分解成素数的乘积。现在验证N+1成立。
有两种可能，一种N+1是素数，此时它本身已是素数。其次N+1是合数，则表明他可以分解为两个数$N+1=n_1{n}_2,2\le n_1,n_2\le N$。但是已知$n_1,n_2$断言1成立，这是因为他们都小于N。从而

$n_1=p_1{p}_2{p}_3\cdots p_r与n_2=q_1{q}_2{q}_3\cdots q_r$

将这两个乘积乘起来得

$N+1=n_1{n}_2=p_1{p}_2{p}_3\cdots p_r{q}_1{q}_2{q}_3\cdots q_r$

所以，N+1可分解为素数的乘积，这说明对N+1断言1成立。
下面证明断言2成立。假设能将n分解为两种形式的素数乘积，即

$n=p_1{p}_2{p}_3\cdots p_r=q_1{q}_2{q}_3\cdots q_s$

需要证明重排因数次序后分解是相同的。首先观察$p_1\mid n$所以$p_1\mid q_1{q}_2{q}_3\cdots q_s$本章前面已证明的素数整除性质告诉我们p₁必整除q_i中的（至少）一个，所以如果重排这些q_i可以使得$p_1\mid q_1$，但是q₁也是素数，因而它的因数仅是1或q₁，因此必得$p_1=q_1$。
现在从等式两边消去p₁（与q₁相等）得等式

$p_2{p}_3{p}_4{\cdots }_r=q_2{q}_3{q}_4\cdots q_s$

重复上述过程直到所有的p_i或所有的q₁被消去。但是如果所有的p_i被消去，则等式的左边等于1，所以不能余下任何q_i，p_i全消去同理。所以p_i与q₁的个数一定相等，所以

$p_1=q_1,p_2=q_2,p_3=q_3,\cdots p_r=q_s$

这就完成了仅有一种表示方式将n表示成素数乘积的证明。

推论如果n本身不是素数，则必有整除n的素数$p\le \sqrt{n}$。
证明如果p是整除n的最小素数，则$n=pm,m\ge q$,从而$n=pm\ge p^2$。两边取平方根得$\sqrt{n}\ge p$，得证。

这样也给出了任何一个整数n表示成素数乘积的方法:
要将n表示成素数乘积，用小于等于$\sqrt{n}$的每个数（或正好每个素数）$2，3，\cdots$试除它，如果没有求得整除n的整数，则n本身是素数。否则求得的第一个因数是素数p。分解得$n=pm$，然后对m重复这个过程。
当然这是一种效率很低的方法，只适用于不超过十位的数。虽然这个问题几乎不可能快速求解，但是我们以后会学习如何快速的判断一个数是不是合数。

本原勾股数组两两互素的证明

我们学习了素数整除性质，就可以使用这条性质证明

$st,\frac{s^2-t^2}{2},\frac{s^2+t^2}{2}，s,t为奇数，s>t\ge 1，gcd(s,t)=1$

两两互素，即他们中的每一对都互素。
注意一下的证明过程是本人通过所学写的，可能不严谨，不正确，仅供参考，网上没找到官方证明
首先我们先观察三个数的奇偶性。
s,t都为奇数，显然st一定是奇数。
$\frac{s^2-t^2}{2}=\frac{(s-t)(s+t)}{2}$，其中$(s-t),(s+t)$都是偶数，所以$\frac{s^2-t^2}{2}$是一个偶数。
$\frac{(s+t{)}^2}{2}=\frac{s^2+t^2}{2}+st$,$\frac{(s+t{)}^2}{2}$是偶数，st是奇数，那么$\frac{s^2+t^2}{2}$一定是奇数。
综上我们可以得知三个数两两之间没有公因数2。
勾股数中的除2很麻烦，我们知道了他们没有公因数2，那么将三个数同乘2，此时我们只要证明$2st,s^2-t^2,s^2+t^2$两两之间没有大于2的公因数，就可以证明$st,\frac{s^2-t^2}{2},\frac{s^2+t^2}{2}$两两互素。
要证明这个我们可以一步一步推进，首先聚焦于$2st,s^2-t^2$我们首先假设

$gcd(2st,s^2-t^2)=m，m>2，m为素数$

显然两个数如果有公因数那么一定可以找到素公因数，因为合数可以分解为素数的乘积。
根据素数整除性质，我们可以知道$m\mid 2st$，且$gcd(s,t)=1$，那么可以得出$m\mid s$或$m\mid t$且二者不能同时成立。
$s^2-t^2=(s-t)(s+t)$，因为m不能同时整除s，t所以$m\nmid (s-t),m\nmid (s+t)$，得出$m\nmid (s^2-t^2)$，这与前提条件相冲突，那么我们可以知道$2st,s^2-t^2$没有大于2的公因数。

我们再来看$2st,s^2+t^2$，同样我们假设

$gcd(2st,s^2+t^2)=m，m>2，m为素数$

同上，我们可以知道$m\mid 2st$，且$gcd(s,t)=1$，那么可以得出$m\mid s$或$m\mid t$且二者不能同时成立。
$(s+t{)}^2=s^2+t^2+2st$其中$m\mid 2st,m\mid s^2+t^2$可知$m\mid (s+t{)}^2$，因为m不能同时整除s，t所以$m\nmid (s+t)$，得出$m\nmid (s+t{)}^2$，二者冲突，那么我们可以知道$2st,s^2+t^2$没有大于2的公因数。

最后，假设

$gcd(s^2-t^2,s^2+t^2)=m，m>2，m为素数$

$m\mid (s^2-t^2),m\mid (s^2+t^2)$，$(s^2-t^2)+(s^2+t^2)=2s^2,(s^2+t^2)-(s^2-t^2)=2t^2$得出$m\mid s,m\mid t$，但这就与$gcd(s,t)=1$冲突，那么我们可以知道$s^2-t^2,s^2+t^2$没有大于2的公因数。

综上我们证明了本原勾股数组公式得出的数两两互素，满足本原勾股数组的要求，证明可能重复或不严谨欢迎指正。