因数

File:Disambig gray.svg关于相关术语，请见“约量”。

File:Confusion grey.svg提示：此条目的主题不是因式。

因数（英语：factor）也称 约数、因子、除子、除数（divisor），是一个常见的数学名词，用于描述自然数 <math>a</math> 和自然数 <math>b</math> 之间存在的整除关系，即 <math>b</math> 可以被 <math>a</math> 整除。这里我们称 <math>b</math> 是 <math>a</math> 的倍数，<math>a</math> 是 <math>b</math> 的因数或因子。

定义

设 <math>a,b</math> 满足 <math>a\in \mathbb{N}^*,b\in \mathbb{N}</math>. 若存在 <math>q\in \mathbb{N}</math> 使得 <math>b=aq</math>, 那么就说 <math>b</math> 是 <math>a</math> 的倍数， <math>a</math> 是 <math>b</math> 的因数。这种关系记作 <math>a|b</math>,读作“<math>a</math> 整除 <math>b</math>”.

例如 <math>24=3\times 8,\;1150=25\times 46</math>. 所以 <math>3|24,\;25|1150</math>，同时 <math>3</math> 是 <math>24</math> 的因数；<math>25</math> 是 <math>1150</math> 的因数。

除了自己本身外的因数，称为 真因数 或 真因子（proper divisor）。

性质

• 若 <math>a|b,\;b|c</math> 那么 <math>a|c</math>.
• 若 <math>a|b,\;a|c</math> 且 <math>x,y\in\mathbb{Z}</math>, 有 <math>a|(bx+cy)</math>.
• 若 <math>a|b</math>, 设 <math>t\not= 0</math>, 那么 <math>(ta)|(tb)</math>.
• 若 <math>b=qd+c</math>, 那么 <math>d|b</math> 的充要条件是 <math>d|c</math>
• 若 <math>x,y\in\mathbb{Z}</math> 满足 <math>ax+by=1,\;a|n.\;b|n</math> 那么 <math>ab|n</math>.

这里对最后一条性质进行证明:

<math>\because a|n,\;b|n\quad\therefore ab|bn,\;ab|an\quad\therefore ab|(anx+bny)</math>

<math>\because ax+by=1\quad\therefore ab|n</math>

证毕。

相关定理

整数的唯一分解定理

任何一个正整数都有且仅有一种方式写出它所有素数因子的乘积表达式。这个过程称为素因数分解

如果 <math>A\in\mathbb{N}^{+}</math>, 那么

<math>A=\prod_{i=1}^n p_i^{a_i}</math>, 其中 <math>p_i</math> 是一个素数.

这种表示方法是唯一的。

因数个数

自然数 <math>N</math> 的因数个数以 <math>d(n)</math> 表示。

若 <math>N</math> 唯一分解为 <math>N=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times\cdots\times p_n^{a_n}=\prod_{i=1}^n p_i^{k_i}</math>, 则 <math>d(N)=(a_1+1)\times (a_2+1)\times (a_3+1)\times\cdots\times (a_n+1)=\prod_{i=1}^n\left (a_i+1\right )</math>.

例如 <math>2646=2 \times 3^3 \times 7^2</math>，则其正因数个数 <math>d(2646)=(1+1)\times(3+1)\times(2+1)=24</math>。

因数和

自然数N的正因数和，以因数函数 <math>\sigma (N)</math> 表示。由素因数分解而得。

若 <math>N</math> 唯一分解为 <math>N=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times\cdots\times p_n^{a_n}=\prod_{i=1}^n p_i^{k_i}</math>, 则 <math>\sigma (N)=\prod_{i=1}^n\left (\sum_{j=0}^{a_i} p_i^j\right )</math>.

再由等比级数求和公式可知，上式亦可写成：

<math>\begin{align} \sigma (N) &=\frac{p_1^{a_1+1}-1}{p_1-1} \times \frac{p_2^{a_2+1}-1}{p_2-1} \times \cdots \times \frac{p_n^{a_n+1}-1}{p_n-1} &\end{align}</math>

例如<math>2646=2 \times 3^3 \times 7^2</math>，则其正因数之和

<math>\begin{align}\sigma(2646) &=(1+2)\times(1+3+9+27)\times(1+7+49)\\ &=\frac{2^2-1}{2-1} \times \frac{3^4-1}{3-1} \times \frac{7^3-1}{7-1}\\ &=3 \times 40 \times 57\\ &=6840 \end{align}</math>。

其他

• 所有n的正因数都是n的素因数的积的一些幂。这是算术基本定理的结果。
• 1是所有整数的正因数，-1是所有整数的负因数，因为<math>x=1x=-1\times(-x)</math>

由上式同样可证明，一个整数及其相反数必然为自身的因数，叫做 明显因数。

• n的正因数数目是积性函数d(n)，正因数之和则是另一个积性函数σ(n)。详见除数函数
• 素数<math>p</math>只有2个正因数：1, <math>p</math>。<math>p</math> 的平方数只有三个正因数：1, <math>p</math>, <math>p^2</math>。

相关条目

• 因数判别法可参照整除规则。
• 素数
• 同余
• 素因数
• 公倍数、最小公倍数
• 公因数、最大公因数