от martin.nikolov » 27 Апр 2010, 17:03
Нека [tex]n[/tex] и [tex]m[/tex] са такива, че
[tex]n^{\frac{\tau(n)}2}=m^{\frac{\tau(m)}2}[/tex]
Кето разбира се е същото като
[tex]n^{\tau(n)}=m^{\tau(m)}[/tex]
От тук следва, че [tex]n[/tex] и [tex]m[/tex] имат еднакви прости делители. Нека [tex]n=p_1^{a_1}\dots p_r^{a_r}[/tex] и [tex]m=p_1^{b_1}\dots p_r^{b_r}[/tex]. Ако [tex]\tau(n)=\tau(m)[/tex] от горното равенство следва, че [tex]n=m[/tex]. Ако са различни, нека [tex]\tau(n)>\tau(m)[/tex], другия случай е аналогичен. Сравнявайки степените на простите числа в същото равенство следва, че [tex]a_i\tau(n)=b_i\tau(m)[/tex]. От където [tex]a_i<b_i[/tex]. От друга страна, както е добре известно или лесно се съобразява, [tex]\tau(n)=\prod_{i=1}^r(a_i+1)[/tex] и [tex]\tau(m)=\prod_{i=1}^r(b_i+1)[/tex]. От което следва, че [tex]\tau(n)<\tau(m)[/tex]. Противоречи на допускането, следователно имаме равенство.