Primi e binomiali dall'Engel (facile)

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Luca Milanese
Messaggi: 54
Iscritto il: 28 mag 2019, 19:32
Località: Borgo Hermada, Terracina (LT)

Primi e binomiali dall'Engel (facile)

Messaggio da Luca Milanese » 30 dic 2019, 15:58

Sia [math] un intero positivo e [math] un numero primo tale che [math]. Dimostare che [math].

Galgo
Messaggi: 5
Iscritto il: 15 apr 2019, 17:26

Re: Primi e binomiali dall'Engel (facile)

Messaggio da Galgo » 02 gen 2020, 16:27

Testo nascosto:
Da $\frac{2n}{3}<p<n$ si ricava $p>\frac{n}{2}$, $2p<2n$ e $3p > 2n$. Notiamo che $p=2\implies 2<n<3$, quindi necessariamente $p\neq2$. Di conseguenza $v_p\binom{2n}{n}=v_p((2n)!)-2v_p(n!)=0$.
Chiarimento:
Testo nascosto:
Per la formula di De Polignac $v_p((2n)!)=\sum_{k=1}^{\infty}\lfloor\frac{2n}{p^k}\rfloor=\lfloor\frac{2n}{p}\rfloor+\sum_{k=2}^{\infty}\lfloor\frac{2n}{p^k}\rfloor$. Notiamo che $\lfloor\frac{2n}{p}\rfloor=2$ poiché $2p<2n$ e che, poiché $3p>2n\land p\geq 3$, vale $\forall k \in\mathbb{N}:k\geq 2\implies \lfloor\frac{2n}{p^k}\rfloor = 0$. Ne segue che $v_p((2n)!)$=2.
$v_p(n!)=\sum_{k=1}^{\infty}\lfloor\frac{n}{p^k}\rfloor=\lfloor\frac{n}{p}\rfloor+\sum_{k=2}^{\infty}\lfloor\frac{n}{p^k}\rfloor$. Poiché $p<n$, allora $\lfloor\frac{n}{p}\rfloor=1$ e per quanto detto prima $\sum_{k=2}^{\infty}\lfloor\frac{n}{p^k}\rfloor=0$, quindi $v_p(n!)=1$.
Detto più rozzamente, tra i numeri tra $1$ e $2n$, gli unici multipli di $p$ sono $p$ e $2p$ per le disuguaglianze scritte prima, quindi, tolto il caso $p=2$ che renderebbe $2p=p^2$, segue $v_p((2n)!)=2$.
Ultima modifica di Galgo il 02 gen 2020, 23:53, modificato 1 volta in totale.

Luca Milanese
Messaggi: 54
Iscritto il: 28 mag 2019, 19:32
Località: Borgo Hermada, Terracina (LT)

Re: Primi e binomiali dall'Engel (facile)

Messaggio da Luca Milanese » 02 gen 2020, 18:34

Sarebbe il caso che chiarissi l'ultimo passaggio, anche perchè usa un teorema che conviene conoscere.

Galgo
Messaggi: 5
Iscritto il: 15 apr 2019, 17:26

Re: Primi e binomiali dall'Engel (facile)

Messaggio da Galgo » 02 gen 2020, 23:53

Ho appena aggiornato, effettivamente era una soluzione incompleta.

erFuricksen
Messaggi: 168
Iscritto il: 28 lug 2014, 10:01
Località: Genova, Pisa

Re: Primi e binomiali dall'Engel (facile)

Messaggio da erFuricksen » 13 apr 2020, 14:56

Bonus Question: A questo punto sapreste usare questo fatto per dimostrare il Postulato di Bertrand?
$ x^2 + (y - \sqrt {|x|} )^2 = 2 $

Rispondi