Caruccio questo

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Mattysal
Messaggi: 254
Iscritto il: 06 feb 2018, 14:54
Località: Torino
Contatta:

Caruccio questo

Messaggio da Mattysal »

Per ogni intero positivo $d$ sia $f(d)$ il più piccolo intero con $d$ divisori interi positivi.
Ad esempio $f(1)=1, f(2)=2, f(5)=16$.
Dimostrare che per ogni $k \ge 0$ si ha $f(2^k) \mid f(2^{k+1})$.
Claudio.
Messaggi: 698
Iscritto il: 29 nov 2009, 21:34

Re: Caruccio questo

Messaggio da Claudio. »

Una dimostrazione un po' particolare.
Testo nascosto:
Un numero con $2^n$ divisori ha una rappresentazione in fattori primi della forma $\displaystyle p_1^{2^{\alpha_1}-1}p_2^{2^{\alpha_2}-1}\cdots p_i^{2^{\alpha_i}-1}$. Ogni $p^k$ può essere scritto univocamente come prodotto di fattori di tipo $ \displaystyle\beta_p^i=p^{2^i}$ tramite la rappresentazione binaria di $k$. Un numero con esattamente $2^n$ divisori è biunivocamente rappresentato dal prodotto di $n$ fattori $\beta_p^i$, alla condizione di non fare salti, ossia che se il fattore $\beta_p^i$ compare, allora compaiono tutti i $\beta_p^{j<i}$ (questo equivale al fatto che $2^{\alpha_i}-1 = \overbrace{111\cdots1}^{\alpha_i}$ in binario e $n=\sum\alpha_i$).

Se chiamiamo $q_n$ l'enumerazione che ordina naturalmente i $\beta_p^i$ (in teoria dovremmo giustificare l'esistenza di tale enumerazione ma si costruisce facilmente) vale quindi $f(2^k)=\prod_1^kq_i$, da qui segue $f(2^k)\mid f(2^{k+1})$.
Notare che il prodotto rispetta la condizione di non fare salti poiche i $\beta_p^i$ per un stesso $p$ sono ordinati rispetto ad $i$, e che l'espressione consente di costruire i $f(2^k)$.
rockyjoe
Messaggi: 1
Iscritto il: 09 mar 2021, 01:22

Re: Caruccio questo

Messaggio da rockyjoe »

Non è banalmente che f(d) è sempre 2^(d-1)?
LucaMac
Messaggi: 180
Iscritto il: 14 set 2014, 19:59
Località: Napoli

Re: Caruccio questo

Messaggio da LucaMac »

rockyjoe ha scritto: 24 mag 2021, 10:51 Non è banalmente che f(d) è sempre 2^(d-1)?
$6$ ha $4$ divisori positivi e $6<8$.
"And if we want to buy something to drink?"
"Just go to 7-11"
-----------------------------------
"Why an inequality?"
"Inequality happens"
Rispondi