2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Единственность представления в факториальной системе
Сообщение12.11.2018, 10:54 


06/07/17
56
Допустим, что мы представили число n $a_1\cdot1!+a_2\cdot2!+\cdots+a_m\cdot m!=b_1\cdot1!+b_2\cdot2!+\cdots+b_m\cdot m!$ где $a_m > b_m$
Но тогда, выбирая $a_i$ минимально возможными, то есть равными нулю, а $b_i$ максимально возможными, то есть равными i, мы получаем неравенство $m!\le(a_m-b_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!=m!-1$ Не понятно как это неравенство получается.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 11:43 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
Какой именно переход непонятен? Их несколько.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 14:32 


06/07/17
56
[quote="mihaild в сообщении #1353484"]Можете все перечислить?

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 14:38 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
Нет, не могу, это даже на "простую учебную задачу" не тянет.
Максимум могу еще сказать следующее: у вас написано несколько неравенств (т.к. одиночное неравенство имеет вид (левая часть) (знак) (правая часть)), и непонятно, про какое из них вопросы.
(ну и где самостоятельные попытки его получить)

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 15:19 


06/07/17
56
mihaild в сообщении #1353530 писал(а):
Нет, не могу, это даже на "простую учебную задачу" не тянет.
Максимум могу еще сказать следующее: у вас написано несколько неравенств (т.к. одиночное неравенство имеет вид (левая часть) (знак) (правая часть)), и непонятно, про какое из них вопросы.
(ну и где самостоятельные попытки его получить)

Мне не понятно.
$m!\le(a_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!+b_m\cdot m!$
если $m!\le(a_m-b_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!+m\cdot m!$тогда ясно.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 15:26 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
CliniqueHappy в сообщении #1353540 писал(а):
Мне не понятно.
$m!\le(a_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!+b_m\cdot m!$
Так этого нигде и нет, это не требуется, и, вообще говоря, неверно.
В выражении
CliniqueHappy в сообщении #1353472 писал(а):
$m!\le(a_m-b_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!=m!-1$
есть два неравенства и одно равенство. Какое / какие из них непонятно как обосновать?

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 15:42 


06/07/17
56
mihaild в сообщении #1353542 писал(а):
CliniqueHappy в сообщении #1353540 писал(а):
Мне не понятно.
$m!\le(a_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!+b_m\cdot m!$
Так этого нигде и нет, это не требуется, и, вообще говоря, неверно.
В выражении
CliniqueHappy в сообщении #1353472 писал(а):
$m!\le(a_m-b_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m-1)\cdot(m-1)!=m!-1$
есть два неравенства и одно равенство. Какое / какие из них непонятно как обосновать?
Неверно $b_m$ не равно $m_m!$ тогда бы было правильно. Неясно как образуются первое и второе неравенство, с равенством все ясно.
Написано выбрать $a_i=0$ В левой части $m!$ как его получили?

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 17:28 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
CliniqueHappy в сообщении #1353546 писал(а):
Неверно $b_m$ не равно $m_m!$ тогда бы было правильно
Я чисто грамматически не могу это прочитать.
CliniqueHappy в сообщении #1353546 писал(а):
Неясно как образуются первое и второе неравенство
Хорошо, давайте начнем с первого.
$m! \leqslant (a_m - b_m) \cdot m!$. Посмотрите внимательно на условия, которые вы написали в стартовом посте. Из них это неравенство получается в одно-два действия. Как?

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 18:47 


06/07/17
56
mihaild в сообщении #1353569 писал(а):
CliniqueHappy в сообщении #1353546 писал(а):
Неверно $b_m$ не равно $m_m!$ тогда бы было правильно
Я чисто грамматически не могу это прочитать.
CliniqueHappy в сообщении #1353546 писал(а):
Неясно как образуются первое и второе неравенство
Хорошо, давайте начнем с первого.
$m! \leqslant (a_m - b_m) \cdot m!$. Посмотрите внимательно на условия, которые вы написали в стартовом посте. Из них это неравенство получается в одно-два действия. Как?

По первому неравенству $m!\le(a_m-b_m)\cdot m!$ мне понятно, что оно верно, но непонятно как получается в левой части $m!$ на сколько я понимаю вследствие зануления $a_i$, но каким образом непонятно $a_i$ присутствуют в каждом слагаемом поэтому все выражение должно быть равно нулю вроде.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 18:49 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
CliniqueHappy в сообщении #1353580 писал(а):
но непонятно как получается в левой части $m!$
Что значит "как получается"?
Есть неравенство, оно либо верно, либо нет.
(как додуматься до такого доказательства - отдельный вопрос)

И цитируйте аккуратнее.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 19:22 


06/07/17
56
mihaild в сообщении #1353581 писал(а):
CliniqueHappy в сообщении #1353580 писал(а):
но непонятно как получается в левой части $m!$
Что значит "как получается"?
Есть неравенство, оно либо верно, либо нет.
(как додуматься до такого доказательства - отдельный вопрос)

И цитируйте аккуратнее.

Извините. Но со вторым неравенством не понятно. Если к его правой части прибавить единицу, то получится $m!$ если разница между a и b единица тогда получается равенство, но как правая часть может быть больше???

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 19:31 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
Никакого прибавления $1$ там не нужно, там нужно воспользоваться тем, что
CliniqueHappy в сообщении #1353472 писал(а):
$a_1\cdot1!+a_2\cdot2!+\cdots+a_m\cdot m!=b_1\cdot1!+b_2\cdot2!+\cdots+b_m\cdot m!$
и
CliniqueHappy в сообщении #1353472 писал(а):
выбирая $a_i$ минимально возможными, то есть равными нулю, а $b_i$ максимально возможными, то есть равными i

Более точно, второе предложение следует понимать как получение оценки снизу на левую часть равенства и оценки сверху на правую часть. Напишите эти оценки явно.

(Оффтоп)

Правила форума допускают использование английского языка; если русский для вас не является родным, то, возможно, вам будет проще писать по-английски? На русском у вас, извините, всё плохо настолько, что сложно понять смысл.

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 19:49 


06/07/17
56
mihaild в сообщении #1353588 писал(а):
Напишите эти оценки явно.

$0\le(a_m-b_m)\cdot m!\le1\cdot1!+2\cdot2!+\cdots+(m)\cdot(m)!$

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 19:51 
Заслуженный участник
Аватара пользователя


16/07/14
8603
Цюрих
Нет, не эти, а нижнюю оценку на левую часть и верхнюю на правую част равенства
CliniqueHappy в сообщении #1353472 писал(а):
$a_1\cdot1!+a_2\cdot2!+\cdots+a_m\cdot m!=b_1\cdot1!+b_2\cdot2!+\cdots+b_m\cdot m!$

 Профиль  
                  
 
 Re: Единственность представления в факториальной системе
Сообщение12.11.2018, 20:21 


06/07/17
56
mihaild в сообщении #1353596 писал(а):
$0\cdot1!+0\cdot2!+\cdots+0\cdot m!< 1\cdot1!+2\cdot2!+\cdots+m\cdot m!$

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу 1, 2  След.

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



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

Сейчас этот форум просматривают: 0101


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

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