mol_ksiazkowy pisze:16. cdUkryta treść:ale \(\displaystyle{ f}\) to iloczyn dzielników:
\(\displaystyle{ f(11)=11 \ f(6)= 36}\) itd.
Ukryta treść:
Widział jedno, robił drugie...
Zakładamy, że \(\displaystyle{ f(m)=f(n)}\).
Krok 1.
Zachodzi \(\displaystyle{ f(a)=a^{\frac{1}{2}d(a)}}\), gdzie \(\displaystyle{ d(a)=\sum\limits_{d|a}d}\).
Krok 2.
B.s.o. \(\displaystyle{ n>m}\).
Skoro \(\displaystyle{ f(m)=f(n)}\), to \(\displaystyle{ n=m^\frac{d(m)}{d(n)}}\), czyli w szczególności \(\displaystyle{ d(m)>d(n)}\).
Krok 3.
Liczby \(\displaystyle{ n}\) oraz \(\displaystyle{ f(n)}\) mają takie same dzielniki pierwsze, zatem \(\displaystyle{ n}\) oraz \(\displaystyle{ m}\) takie mają.
\(\displaystyle{ n=p_1^{k_1}\ldots p_r^{k_r}\\
\\
m=p_1^{l_1}\ldots p_r^{l_r}}\).
gdzie \(\displaystyle{ k_i, l_i>0}\).
Krok 4.
Na podstawie kroku 3. możemy napisać:
\(\displaystyle{ d(n)=(1+k_1)\ldots(1+k_r)\\
\\
d(m)=(1+l_1)\ldots(1+l_r)}\),
skąd z równości \(\displaystyle{ n=m^\frac{d(m)}{d(n)}}\) mamy \(\displaystyle{ 1+k_i=\frac{d(m)}{d(n)}(1+l_i)}\)
oraz \(\displaystyle{ k_i>l_i}\).
Ale to oznacza, że \(\displaystyle{ d(n)>d(m)}\). Sprzeczność z nierównością z kroku 2.
Zakładamy, że \(\displaystyle{ f(m)=f(n)}\).
Krok 1.
Zachodzi \(\displaystyle{ f(a)=a^{\frac{1}{2}d(a)}}\), gdzie \(\displaystyle{ d(a)=\sum\limits_{d|a}d}\).
Krok 2.
B.s.o. \(\displaystyle{ n>m}\).
Skoro \(\displaystyle{ f(m)=f(n)}\), to \(\displaystyle{ n=m^\frac{d(m)}{d(n)}}\), czyli w szczególności \(\displaystyle{ d(m)>d(n)}\).
Krok 3.
Liczby \(\displaystyle{ n}\) oraz \(\displaystyle{ f(n)}\) mają takie same dzielniki pierwsze, zatem \(\displaystyle{ n}\) oraz \(\displaystyle{ m}\) takie mają.
\(\displaystyle{ n=p_1^{k_1}\ldots p_r^{k_r}\\
\\
m=p_1^{l_1}\ldots p_r^{l_r}}\).
gdzie \(\displaystyle{ k_i, l_i>0}\).
Krok 4.
Na podstawie kroku 3. możemy napisać:
\(\displaystyle{ d(n)=(1+k_1)\ldots(1+k_r)\\
\\
d(m)=(1+l_1)\ldots(1+l_r)}\),
skąd z równości \(\displaystyle{ n=m^\frac{d(m)}{d(n)}}\) mamy \(\displaystyle{ 1+k_i=\frac{d(m)}{d(n)}(1+l_i)}\)
oraz \(\displaystyle{ k_i>l_i}\).
Ale to oznacza, że \(\displaystyle{ d(n)>d(m)}\). Sprzeczność z nierównością z kroku 2.



