在正数 n ! {\displaystyle n!} 的质因数分解中,質数p的指数记作 ν p ( n ! ) {\displaystyle \nu _{p}(n!)} ,则 ν p ( n ! ) = ∑ k ≥ 1 [ n p k ] {\displaystyle \nu _{p}(n!)=\sum _{k\geq 1}[{n \over p^{k}}]} 。
勒让德定理是由法国数学家勒让德发现证明的。
若把2,3,...,n都分解成了标准分解式,则 ν p ( n ! ) {\displaystyle \nu _{p}(n!)} 就是这n-1个分解式中p的指数和.设其中p的指数为r的有 n r {\displaystyle n_{r}} 个( r ≥ 1 {\displaystyle r\geq 1} ),则
ν p ( n ! ) = n 1 + 2 n 2 + 3 n 3 + . . . = ∑ r ≥ 1 r n r = ( n 1 + n 2 + n 3 + . . . ) + ( n 2 + n 3 + . . . ) + ( n 3 + . . . ) = N 1 + N 2 + N 3 + . . . = ∑ k ≥ 1 N k {\displaystyle {\begin{aligned}\nu _{p}(n!)&=n_{1}+2n_{2}+3n_{3}+...=\sum _{r\geq 1}rn_{r}\\&=(n_{1}+n_{2}+n_{3}+...)+(n_{2}+n_{3}+...)+(n_{3}+...)=N_{1}+N_{2}+N_{3}+...=\sum _{k\geq 1}N_{k}\end{aligned}}}
其中 N k = n k + n k + 1 + . . . = ∑ r ≥ k n r {\displaystyle N_{k}=n_{k}+n_{k+1}+...=\sum _{r\geq k}n_{r}} 恰好是2,3,...,n这n-1个数中能被 p k {\displaystyle p^{k}} 除尽的数的个数,即 N k = [ n p k ] {\displaystyle N_{k}=[{n \over p^{k}}]} 得证。
將n以p為基底寫做 n = n ℓ p ℓ + ⋯ + n 1 p + n 0 {\displaystyle n=n_{\ell }p^{\ell }+\cdots +n_{1}p+n_{0}} (進位制)
定義 s p ( n ) = n 0 + n 1 + ⋯ + n r {\displaystyle {\displaystyle s_{p}(n)=n_{0}+n_{1}+\cdots +n_{r}}} 是p基底的數位和,則
因此勒讓德定理可以用來證明庫默爾定理。
n = n ℓ p ℓ + ⋯ + n 1 p + n 0 {\displaystyle n=n_{\ell }p^{\ell }+\cdots +n_{1}p+n_{0}}
⌊ n p i ⌋ = n ℓ p ℓ − i + ⋯ + n i + 1 p + n i {\displaystyle \textstyle \left\lfloor {\frac {n}{p^{i}}}\right\rfloor =n_{\ell }p^{\ell -i}+\cdots +n_{i+1}p+n_{i}}