The positive integers $x_1, \cdots , x_n$, $n \geq 3$, satisfy $x_1 < x_2 <\cdots< x_n < 2x_1$. Set $P = x_1x_2 \cdots x_n.$ Prove that if $p$ is a prime number, $k$ a positive integer, and $P$ is divisible by $pk$, then $\frac{P}{p^k} \geq n!.$
Problem
Source:
Tags: number theory, Sequence, Prime number, Inequality, IMO Shortlist
11.09.2010 01:00
Please post your solutions. Use $\LaTeX$ please! Please omit jokes/smilies etc. Comments and generalizations are welcome. If you noticed that the comment has been discussed elsewhere, please provide a link. If you don't know the link(s) do NOT post and state that the problems has been discussed many times. If the provided solution is not complete, right or in $\LaTeX$-style I would be happy if you could (re-) post your/the solution in this thread again! At the end of your (re-)written solution post the links to those insufficient solutions as follows:
Happy Problem-Solving!
28.12.2010 02:09
amparvardi wrote: $P$ is divisible by $pk$, then $\frac{P}{p^k} \geq n!.$ Should be $P$ is divisible by $p^k$. It suffices to show this for the greatest k such that $p^k$ divides P. Let $x_i = p^{k_i}r_i$, such that $r_i$ is not divisible by p. Note $k=k_1 + k_2 + \cdots + k_n$, and that $\frac{P}{p^k}= (r_1)(r_2)\cdots (r_n)$. Suppose that $r_a = r_b$ for some $1 \le a< b \le n$. Since $x_b > x_a$, it is also true that $p^{k_b} > p^{k_a}$. Then, $\frac{x_b}{x_a} = p^{k_b - k_a} < 2$, which is an impossibility. Therefore, all $r_i$ must be distinct, so $(r_1)(r_2)\cdots (r_n) \ge n!$
28.12.2010 11:40
aboojiga wrote: amparvardi wrote: $P$ is divisible by $pk$, then $\frac{P}{p^k} \geq n!.$ Should be $P$ is divisible by $p^k$. Thanks, edited