1
$\begingroup$

i have a question about the following assertion:

let $n,j,u $ positive integer satisfying

$ n \geq 5,$ $ 1\leq j \leq n-1$,$ \; n+1 \leq u \leq n+j$

let $ d[n]:=\operatorname{lcm}[1,2,..,n]$ thus $u$ divide $d[n] \cdot C_{n+j}^n$

I think I have found a proof using valuation p-adic of prime number appearing in $u$ but I would like have another proof... thanks for help

$\endgroup$
3
  • $\begingroup$ Some clarifying questions: Do you mean $d[n].C_{n+j}^n$ as the product of those two terms? The claim is that $u$ divides $d[n]\binom{n+j}{n}$? $\endgroup$ Mar 11, 2019 at 2:27
  • $\begingroup$ Do you mind editing your question to show the proof you attempted? $\endgroup$ Mar 11, 2019 at 2:31
  • 2
    $\begingroup$ Comments are not for extended discussion; this conversation has been moved to chat. $\endgroup$
    – Todd Trimble
    Mar 11, 2019 at 11:30

1 Answer 1

1
$\begingroup$

Here is a simple proof of your divisibility relation. It suffices to show that $$\frac{\mathrm{lcm}(1,2,\dots,n+j)}{\mathrm{lcm}(1,2,\dots,n)}\quad\text{divides}\quad\binom{n+j}{n}\quad\text{for}\quad 0\leq j\leq n.$$ That is, for any prime $p$ and for $0\leq j\leq n$, we have that $$\lfloor\log_p(n+j)\rfloor-\lfloor\log_p(n)\rfloor\leq\sum_{k=1}^\infty \left(\left\lfloor\frac{n+j}{p^k}\right\rfloor-\left\lfloor\frac{n}{p^k}\right\rfloor-\left\lfloor\frac{j}{p^k}\right\rfloor\right).$$ Note that the terms on the right hand side are nonnegative integers. In addition, for $\lfloor\log_p(n)\rfloor<k\leq\lfloor\log_p(n+j)\rfloor$, the $k$-th term is positive, because in this case $n+j\geq p^k>n\geq j$. Hence the right hand side is at least the number of $k$'s satisfying $\lfloor\log_p(n)\rfloor<k\leq\lfloor\log_p(n+j)\rfloor$, and we are done.

$\endgroup$
5
  • $\begingroup$ yes!!,, it's better then considering cases thank you. $\endgroup$
    – mamiladi
    Mar 11, 2019 at 5:37
  • $\begingroup$ @mamiladi: If you like my answer, please accept it officially (so that it turns green). Thanks in advance! $\endgroup$
    – GH from MO
    Mar 11, 2019 at 5:40
  • $\begingroup$ yes i accepeted, tell me how to do ( for it turn to green) $\endgroup$
    – mamiladi
    Mar 11, 2019 at 5:42
  • $\begingroup$ i see share cite edit $\endgroup$
    – mamiladi
    Mar 11, 2019 at 5:43
  • 1
    $\begingroup$ it's done , thank you again. I have put another question about binomial identity.... $\endgroup$
    – mamiladi
    Mar 11, 2019 at 6:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.