Азиатско-Тихоокеанская математическая олимпиада, 2003 год
(а) если n=2pk, то (n−k)! не делится на n;
(б) если n>2pk, то (n−k)! делится на n.
Комментарий/решение:
(a)
n-k=2p_k-k<p_k \rightarrow p_k \nmid (n-k)!
(b)
(i)n=a^2
a \notin P
a=q^pp_1^{\alpha_1} \dots p_i^{\alpha_i}
q^p>p_1^{\alpha_1}, \dots, p_i^{\alpha_i}
a^2-k\geq 2q^p
a^2-k>\frac{k}{2}
Если \frac{k}{2} \geq 2q^p то утверждение верно значит:
\frac{k}{2} < 2q^p
2q^p=\frac{k}{2}+x
a\geq 2q^p
a^2 \geq \frac{k^2}{4}+{kx}+x^2
\frac{k^2}{4}+{kx}+x^2-k \geq \frac{k}{2}+x
При:
x\geq 1
x^2 \geq x
kx\geq \frac{k}{2}
\frac{k^2}{4} \geq k
x=\frac{1}{4},\frac{1}{2},\frac{3}{4}
Подставив получим три случая:
\frac{k^2}{4}+\frac{k}{4}+\frac{1}{16} \geq \frac{3k}{2}+\frac{1}{4} \rightarrow k^2-5k-1+\frac{1}{4} \geq 0
\frac{k^2}{4}+\frac{k}{2}+\frac{1}{4} \geq \frac{3k}{2}+\frac{1}{2} \rightarrow k^2-4k-1\geq 0
\frac{k^2}{4}+\frac{3k}{4}+\frac{9}{16} \geq \frac{3k}{2}+\frac{3}{4} \rightarrow k^2-3k-\frac{3}{4} \geq 0
Что верно
a \in P
a=q
q^2-k\geq 2q
Пойдем от обратного
q^2-k+1\leq 2q
2q \geq \frac{3k}{2}+2-k=\frac{k}{2}+2 \rightarrow q \geq \frac{k}{4}+1
k\geq q^2-2q+1=(q-1)^2\geq \frac{k^2}{16} \rightarrow k\leq16
q \leq 5, q^2\leq 25
p_k\geq 13
n>26 \rightarrow \varnothing
(ii)ab=n
a,b \ne 1
Б.О.О. a>b
ab-k\geq a
a(b-1)\geq k
a(b-1)>\frac{3k(b-1)}{2b} \rightarrow \frac{3k}{2}-\frac{3k}{2b}
При:
b\geq 3 \rightarrow \frac{3k}{2}-\frac{3k}{2b}\geq k
b=2
a \in P \rightarrow a>p_k \rightarrow a\geq k \rightarrow 2a-k\geq a
a \notin P
2a-k \geq a
\frac{3k}{4}<a<k
a=k-l
2a-k=k-2l
Если степень каждого простого делителя a меньше 2 то:
Наибольший возможный простой делитель:
\frac{k-l}{2}
2k-4l>k-l \rightarrow k>3l
Что верно
Значит число (n-k)! будет содержать все простые делители n
Значит степень хотя бы одного из делителей превышает 2
^p\sqrt{k-l}\geq q
q^p \mid a, q^{p+1} \nmid a
Допустим:
p\times {^p\sqrt{k-l}} \geq k-2l
p^p(k-l)\geq (k-2l)^p
k-l\geq (\frac{k-2l}{p})^p
p\leq\sqrt{k-l},n\geq 32
a^2\leq2^a \rightarrow a\geq 4
k-l \geq (\frac{k-2l}{p})^p > (\sqrt{k-l}-\frac{l}{\sqrt{k-l}})^p>(\sqrt{k-l}-1)^p
p=2
k-l=x
l<\frac{k-l}{3} \rightarrow 4x\geq (x-l)^2 > (\frac{2x}{3})^2 \rightarrow \varnothing
Т.к. \frac{x}{9}> 1 \rightarrow \frac{4x^2}{9} > 4x
Поскольку:
c^px=a,x\geq 1 \rightarrow c\leq ^p\sqrt{a} \rightarrow cp<k-2l
(c - любой простой делитель числа a, p его степень)
Для n=28,30
k=14,15,16
Во всех случаях (n-k)! будет содержать числа:
4,5,6,7
Ч.Т.Д.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.