2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Суммы факториалов почти никогда не являются степенями
Сообщение08.01.2009, 14:56 
Заслуженный участник


05/09/05
515
Украина, Киев
Несложная задача, хотя сразу не сообразил...

Докажите, что число $\sum\limits_{i=1}^{n}{i!}$, $(n \in \mathbb{N}, n \geqslant 2)$ нельзя представить в виде $m^k$, $(m,k \in \mathbb{N}, m > 3).$

 Профиль  
                  
 
 
Сообщение08.01.2009, 17:28 
Заслуженный участник


09/02/06
4401
Москва
Это детская задача. Только забыли указать $k>1$.
При n=3 получаем $9=3^2$, при n=4 $S(n)=\sum_{i=1}^n i!=33$, $S(5)=153=9*17$, при $n=6$ $S=873=9*97$, при n=7 $S=5913=3^4*73$, при n=8 $S=46233=3^2*11*467$.
Значит при $n\ge 9$ $S(n)=9*(7+9k)$, т.е. возможно только $k=2$. Так как при $n\ge 4$ $S(n)=3\mod 5$ не является квадратичным вычетом и этот случай исключается.

 Профиль  
                  
 
 
Сообщение08.01.2009, 20:25 
Заслуженный участник


05/09/05
515
Украина, Киев
Я немного по другому.

1) Поскольку $\sum\limits_{i=1}^{n}{i!}=10x+3$, для всех n>3, то эта сумма не может быть квадратом и вообще четной степенью ($m^{2k}$).

2)Осталось проверить для нечетных степеней.
Заметим, что $\sum\limits_{i=1}^{n}{i!}=0 (mod 3)$.
Отсюда следует, что должно быть $\sum\limits_{i=1}^{n}{i!}=0 (mod 27)$.
И тогда для n>8:
$\sum\limits_{i=1}^{n}{i!}=\sum\limits_{i=1}^{8}{i!}+\sum\limits_{i=9}^{n}{i!}=9(mod27)+0(mod27)=9(mod27)$.
Для случаев n<9 легко проверяется.

 Профиль  
                  
 
 
Сообщение10.01.2009, 13:23 
Заслуженный участник


08/04/08
8564
Еще одна легкая задача:
$n!=k^m, n,k,m \in \mathbb{N}б m>1$.
Я ее решил, но я использовал одно известное нетривиальное утверждение. Хотелось бы увидеть решение, не ссылающееся на подобные утверждения.

 Профиль  
                  
 
 
Сообщение10.01.2009, 14:23 
Заслуженный участник
Аватара пользователя


18/05/06
13440
с Территории
Если то была детская, то это младенческая. Грубо говоря, между n/2 и n есть одно (обычно даже не одно) простое число. Оно входит в первой степени. Ўсё.

 Профиль  
                  
 
 
Сообщение10.01.2009, 14:41 
Заслуженный участник
Аватара пользователя


01/08/06
3156
Уфа
ИСН писал(а):
...между n/2 и n есть одно (обычно даже не одно) простое число.

Это и есть то самое нетривиальное утверждение.
Школьник самостоятельно такое не докажет.

 Профиль  
                  
 
 
Сообщение10.01.2009, 16:20 


30/06/06
313
Докажите, что $C_{n}^{k}$ при $n \geqslant 2k$ всегда имеет простой делитель $p>k$.

 Профиль  
                  
 
 
Сообщение11.01.2009, 02:35 
Заслуженный участник


05/09/05
515
Украина, Киев
worm2 писал(а):
ИСН писал(а):
...между n/2 и n есть одно (обычно даже не одно) простое число.

Это и есть то самое нетривиальное утверждение.
Школьник самостоятельно такое не докажет.


Видимо речь идет о постулате Бертрана?

Кстати, его доказательство можно найти в книге, на которую давал ссылку maxal - М.Айгнер, Г.Циглер. Доказательства из Книги.
Причем в названии этой темы форума я также неявно ссылался на эту книгу (хоть в книге задача посложнее).

Imperator писал(а):
Докажите, что $C_{n}^{k}$ при $n \geqslant 2k$ всегда имеет простой делитель $p>k$.


Теорема Сильвестра?

 Профиль  
                  
 
 
Сообщение12.01.2009, 06:09 
Заслуженный участник


08/04/08
8564
Насчет утверждения - да, это постулат Бертрана.

 Профиль  
                  
 
 
Сообщение13.01.2009, 01:09 
Заслуженный участник


05/09/05
515
Украина, Киев
Тогда может быть ещё задачу?
Я немного переделал одну детскую задачу (привел к текущему моменту). От этого она не перестала быть детской, но вопрос в том не ошибся ли я и каково решение:

Докажите, что число $\sum\limits_{i=1}^{2009}{i^i}$ нельзя представить в виде $m^k$, $(m,k \in \mathbb{N}, k \geqslant 2).$

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group