1. 设 a , b , n 为 正 整 数 , 证 明 : n ! ∣ b n − 1 ∏ i = 0 n − 1 ( a + i b ) 1.设a,b,n为正整数,证明:n!|b^{n-1}\prod\limits_{i=0}^{n-1}(a+ib) 1.设a,b,n为正整数,证明:n!∣bn−1i=0∏n−1(a+ib)。
刚开始看到这题我还没什么思路,知道提示说讨论素因子我就明白了。
证:若
v
p
(
n
!
)
=
α
(
p
为
素
数
)
v_p(n!)=\alpha(p为素数)
vp(n!)=α(p为素数)。
①当
p
∣
b
p|b
p∣b 时,
α
=
∑
i
=
1
∞
[
n
p
i
]
<
∑
i
=
1
∞
n
p
i
=
n
p
−
1
≤
n
\large\alpha=\sum\limits_{i=1}^{\infty}[\frac{n}{p^i}]<\sum\limits_{i=1}^{\infty}\frac{n}{p^i}=\frac{n}{p-1}\le n
α=i=1∑∞[pin]<i=1∑∞pin=p−1n≤n,即
α
≤
n
−
1
∴
p
α
∣
b
n
−
1
\alpha\le n-1 \ \ \therefore p^\alpha|b^{n-1}
α≤n−1 ∴pα∣bn−1。
②当
p
∤
b
p\nmid b
p∤b 时,则
∃
c
s
.
t
.
b
c
≡
1
(
m
o
d
p
α
)
\exists c\ s.t.bc\equiv1\pmod{p^\alpha}
∃c s.t.bc≡1(modpα)。
则
∏
i
=
0
n
−
1
(
a
+
i
b
)
≡
∏
i
=
0
n
−
1
(
a
c
+
i
)
(
m
o
d
p
α
)
\prod\limits_{i=0}^{n-1}(a+ib)\equiv\prod\limits_{i=0}^{n-1}(ac+i)\pmod{p^\alpha}
i=0∏n−1(a+ib)≡i=0∏n−1(ac+i)(modpα)。
p
α
∣
n
!
∣
∏
i
=
0
n
−
1
(
a
c
+
i
)
p^\alpha|n!|\prod\limits_{i=0}^{n-1}(ac+i)
pα∣n!∣i=0∏n−1(ac+i)。
又 ( ∏ i = 0 n − 1 ( a c + i ) , b n − 1 ) = 1 (\prod\limits_{i=0}^{n-1}(ac+i),b^{n-1})=1 (i=0∏n−1(ac+i),bn−1)=1。所以成立。
2.
对
于
正
整
数
n
,
m
(
m
>
1
)
,
证
明
:
n
!
∣
∏
i
=
0
n
−
1
(
m
n
−
m
i
)
2.对于正整数n,m(m>1),证明:n!|\prod\limits_{i=0}^{n-1}(m^n-m^i)
2.对于正整数n,m(m>1),证明:n!∣i=0∏n−1(mn−mi)。
有了上题的经验这题就很简单了。
证:
当
n
=
1
n=1
n=1时,显然成立,这里不过多赘述。以下
n
≥
2
n\ge2
n≥2。
∏
i
=
0
n
−
1
(
m
n
−
m
i
)
=
m
n
(
n
−
1
)
2
∏
i
=
1
n
(
m
i
−
1
)
\prod\limits_{i=0}^{n-1}(m^n-m^i)=m^{\frac{n(n-1)}{2}}\prod\limits_{i=1}^n(m^i-1)
i=0∏n−1(mn−mi)=m2n(n−1)i=1∏n(mi−1)。
设
v
p
(
n
!
)
=
α
(
p
为
素
数
)
v_p(n!)=\alpha(p为素数)
vp(n!)=α(p为素数)。
①当
p
∣
m
p|m
p∣m 时,由于
n
≥
2
n\ge2
n≥2,所以
n
(
n
−
1
)
2
≥
n
−
1
≥
v
p
(
n
!
)
\frac{n(n-1)}{2}\ge n-1\ge v_p(n!)
2n(n−1)≥n−1≥vp(n!)(上面证过了,这里不再证了),
p
α
∣
m
n
(
n
−
1
)
2
p^\alpha|m^{\frac{n(n-1)}{2}}
pα∣m2n(n−1)。
②当
p
∤
b
p\nmid b
p∤b 时,
则
{
m
i
−
1
}
\{m^i-1\}
{mi−1}中整除
p
k
p^k
pk 的个数
s
(
k
)
=
[
n
o
r
d
(
p
k
)
m
]
≥
[
n
(
p
−
1
)
∗
p
k
]
\large s(k)=[\frac{n}{ord_{(p^k)}{m}}]\ge[\frac{n}{(p-1)*p^k}]
s(k)=[ord(pk)mn]≥[(p−1)∗pkn]。
故
v
p
(
∏
i
=
0
n
−
1
(
m
n
−
m
i
)
)
=
∑
i
=
1
∞
s
(
k
)
≥
∑
i
=
1
∞
[
n
p
i
]
=
α
\large v_p(\prod\limits_{i=0}^{n-1}(m^n-m^i))=\sum\limits_{i=1}^{\infty} s(k)\ge\sum\limits_{i=1}^{\infty}[\frac{n}{p^i}]=\alpha
vp(i=0∏n−1(mn−mi))=i=1∑∞s(k)≥i=1∑∞[pin]=α,
p
α
∣
∏
i
=
0
n
−
1
(
m
n
−
m
i
)
p^\alpha|\prod\limits_{i=0}^{n-1}(m^n-m^i)
pα∣i=0∏n−1(mn−mi)。
又
(
m
n
(
n
−
1
)
2
,
∏
i
=
1
n
(
m
i
−
1
)
)
=
1
(m^{\frac{n(n-1)}{2}},\prod\limits_{i=1}^n(m^i-1))=1
(m2n(n−1),i=1∏n(mi−1))=1。所以成立。
这种题型我只见过这两题,但是这样的思路还是值得借鉴的。