Здравствуйте, samius, Вы писали:
S>Здравствуйте, denisko, Вы писали:
D>>Здравствуйте, nikov, Вы писали:
N>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>
N>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>
D>>А есть такие ? Получается что m пропоционально корню из (факториал (n) +1), и поэтому целым быть не может (это доказывается элементарно).
S>1 + 2 + 3 = 1 * 2 * 3
Ну значит она такая одна Дальше факториал обгоняет прогрессию и становится верным мое утверждение
Здравствуйте, denisko, Вы писали:
S>>1 + 2 + 3 = 1 * 2 * 3 D>Ну значит она такая одна Дальше факториал обгоняет прогрессию и становится верным мое утверждение
Здравствуйте, denisko, Вы писали:
D>Здравствуйте, samius, Вы писали:
S>>Здравствуйте, denisko, Вы писали:
D>>>Здравствуйте, nikov, Вы писали:
N>>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>>
N>>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>>
D>>>А есть такие ? Получается что m пропоционально корню из (факториал (n) +1), и поэтому целым быть не может (это доказывается элементарно).
S>>1 + 2 + 3 = 1 * 2 * 3 D>Ну значит она такая одна Дальше факториал обгоняет прогрессию и становится верным мое утверждение
N>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
т.е. факториалы, являюющиеся и треугольными числами...
1, 6, 120 — навело на мысль о факториалах нечетных чисел, но уже 5040 не подходит.
И грубая сила не выявила в считабельном диапазоне достойных кандидатов.
Здравствуйте, Nuseraro, Вы писали:
N>Здравствуйте, nikov, Вы писали:
N>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>
N>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>
N>Эта задача равнозначна задаче "Найти, когда Math.Sqrt(1+8n!) — целое". Осталось малое
Также возможно важен этот факт — "Если Math.Sqrt(1+8n!) — целое, обозначим его L, L mod i=1, где i-любое натуральное <= N.
Наименьшее же число, обладающее таким свойством — НОД(1,2,3..N)+1
Здравствуйте, Nuseraro, Вы писали:
N>Наименьшее же число, обладающее таким свойством — НОД(1,2,3..N)+1
НОД(1,...)==1
Перекуём баги на фичи!
Re[3]: сумма равна произведению
От:
Аноним
Дата:
24.01.10 08:38
Оценка:
Здравствуйте, Nuseraro, Вы писали:
N>Здравствуйте, Nuseraro, Вы писали:
N>>Здравствуйте, nikov, Вы писали:
N>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>
N>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>
N>>Эта задача равнозначна задаче "Найти, когда Math.Sqrt(1+8n!) — целое". Осталось малое
N>Также возможно важен этот факт — "Если Math.Sqrt(1+8n!) — целое, обозначим его L, L mod i=1, где i-любое натуральное <= N.
А почему не может быть "-1"?
N>Наименьшее же число, обладающее таким свойством — НОД(1,2,3..N)+1
Наверное, вы имели в виду НОК, а не НОД. Конечно, это уже близко к решению.
Здравствуйте, Аноним, Вы писали:
А>Здравствуйте, Nuseraro, Вы писали:
N>>Здравствуйте, Nuseraro, Вы писали:
N>>>Здравствуйте, nikov, Вы писали:
N>>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>>
N>>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>>
N>>>Эта задача равнозначна задаче "Найти, когда Math.Sqrt(1+8n!) — целое". Осталось малое
N>>Также возможно важен этот факт — "Если Math.Sqrt(1+8n!) — целое, обозначим его L, L mod i=1, где i-любое натуральное <= N.
А>А почему не может быть "-1"?
А почему не может быть 5, например? L mod 8 = 5, L^2 mod 8 = 1?
Написал скрипт который "сверхбыстро" ищет пары чисел. Все равно кроме (1,1), (3,3) и (5,15) ниечего не найдено. Мистика
require 'bigdecimal'
n = nil
m = 1
prod = BigDecimal.new("1")
while true
prod *= m
n = (((prod * 8 + 1).sqrt(0) - 1) / 2).ceil
if n * (n + 1) / 2 == prod
printf "%d\t%d\n", m, n
end
m += 1
printf "."if m % 10000 == 0
end
Здравствуйте, Nuseraro, Вы писали:
N>Здравствуйте, Nuseraro, Вы писали:
N>>Здравствуйте, nikov, Вы писали:
N>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>
N>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>
N>>Эта задача равнозначна задаче "Найти, когда Math.Sqrt(1+8n!) — целое". Осталось малое
N>Также возможно важен этот факт — "Если Math.Sqrt(1+8n!) — целое, обозначим его L, L mod i=1, где i-любое натуральное <= N. N>Наименьшее же число, обладающее таким свойством — НОД(1,2,3..N)+1
Формулу корней забыли?
Целым должно быть (1+Math.Sqrt(1+8n!)) / 2 <=> (после долгих замен) n! = (8s+1)/8 s-натуральное.
Вопрос сколько таких s, что (8s+1)/8 — натуральное число?
Если мне не изменяют мозги — нисколько.
Здравствуйте, venicum, Вы писали:
V>Здравствуйте, Nuseraro, Вы писали:
N>>Здравствуйте, Nuseraro, Вы писали:
N>>>Здравствуйте, nikov, Вы писали:
N>>>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>>>
N>>>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>>>
N>>>Эта задача равнозначна задаче "Найти, когда Math.Sqrt(1+8n!) — целое". Осталось малое
N>>Также возможно важен этот факт — "Если Math.Sqrt(1+8n!) — целое, обозначим его L, L mod i=1, где i-любое натуральное <= N. N>>Наименьшее же число, обладающее таким свойством — НОД(1,2,3..N)+1
V>Формулу корней забыли?
################################### V>Целым должно быть (1+Math.Sqrt(1+8n!)) / 2 <=> (после долгих замен) n! = (8s+1)/8 s-натуральное. V>Вопрос сколько таких s, что (8s+1)/8 — натуральное число? V>Если мне не изменяют мозги — нисколько.
Здравствуйте, nikov, Вы писали:
N>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>
N>1 + 2 + ... + m = 1 * 2 * ... * n
N>
Есть такая гипотеза, что у уравнения n!+1=m^2 есть только три решения. Она не доказанная, но n перебрали до 10^9, что ли, а может и больше уже. Она никак к сабжу не относится? Или для 8n!+1=(2m+1)^2 проще показать, что есть три решения только?
Здравствуйте, nikov, Вы писали:
N>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>
N>1 + 2 + ... + m = 1 * 2 * ... * n
N>
В общем, если у кого-то из присутвующих получится доказать, что скорость роста ((p + 1) / 2)-го решения x^2 — 2*n#*y^2 = 1 меньше скорости роста n!, где p -- наибольшее простое меньшее или равное n, а n# -- произведение всех простых чисел меньших или равных n, то можно будет смело заявить что после некоторого значения n решений быть не может.
На самом деле там всё несколько тоньше, но без идеи о подобном доказательстве вдаваться в детали нет смысла.
Здравствуйте, stab, Вы писали:
S>Здравствуйте, nikov, Вы писали:
N>>Найти все пары натуральных чисел (m, n), для которых выполняется условие:
N>>
N>>1 + 2 + ... + m = 1 * 2 * ... * n
N>>
S>В общем, если у кого-то из присутвующих получится доказать, что скорость роста ((p + 1) / 2)-го решения x^2 — 2*n#*y^2 = 1 меньше скорости роста n!, где p -- наибольшее простое меньшее или равное n, а n# -- произведение всех простых чисел меньших или равных n, то можно будет смело заявить что после некоторого значения n решений быть не может.
S>На самом деле там всё несколько тоньше, но без идеи о подобном доказательстве вдаваться в детали нет смысла.
На х и у дополнительные условия налагаются?
Не получается без этого определить какое из решение ((p + 1) / 2)-е, а какое ((p + 1) / 2 — 1) -е или ((p + 1) / 2 + 1)-е.
Здравствуйте, VEAPUK, Вы писали:
VEA>На х и у дополнительные условия налагаются? VEA>Не получается без этого определить какое из решение ((p + 1) / 2)-е, а какое ((p + 1) / 2 — 1) -е или ((p + 1) / 2 + 1)-е.
X, y -- целые. Для каждого n# существует бесконечное кол-во решений, одно фундаментальное -- 1-ое -- самое маленькое, из него можно построить все остальные, каждое из которых больше 1-го, растут они экспоненциально. Из них нас интересуют первые ((p + 1) / 2) решения для каждого n#, т.к. только среди них могут быть решения из которых можно получить такие x, y, что из них можно получить такое m, что оно будет решением главной задачи.
Оценки для роста есть, но они не эксплуатируют идею о том, что коэффициент при y^2, в нашем случае, очень гладкий (делится на все простые меньшие или равные n) и к тому же не содержит степеней в разложении на простые. По видимому из-за этого факта непреревные дроби возникающие при решении имеют очень короткий период, поэтому решения x, y растут намного медленее n!, но доказать это незнаю как.
Вообще идея основывается на том, что m * (m + 1) = 2 * n!, из левой части видно, что нам нужны два числа идущих подряд, из правой части видно, что они должны быть n-гладкими. Тогда по теореме Стормера можно найти решения для левой части в терминах правой (n-гладкость). Это конечно очень сильно сужает множество возможных m, но всё же оно остаётся бесконечным. Если просто порешать первые штук 15 уравнений, видно что значения растут сильно медленне n!.
Упс, просмотрел.
V>Теперь этюд -- показать, как она сводится...
Там есть более общее утверждение, что для всех многочленов второй и более степеней существует только конечное кол-во решений. Хотя, может быть конкретно эта задача решается как-то очень красиво и просто.
Здравствуйте, stab, Вы писали:
S>Задача, оказывается, сводится к одной из неразрешённых проблем в теории чисел -- Brocard's problem
Не совсем к этой. Вставлю свои 5 копеек
1+2…m=1*2*…n=m(m+1)/2=A
Т.е. m^2+m=2n! или m^2=2n!-m
Допустим m и n удовлетворяет условиям. Тогда следующая пара удовлетворяющая условиям будет выглядеть так (m+x) и (n+y) где x>1 и получаться из предыдущей пары вот так.
A+(m+1)(x*(x-1)/2)=A*(n+1)*(n+2)..(n+y)
Упроститть уравнение можно, но решение вряд ли можно назвать этюдом.
Дальше факториал обгоняет прогрессию и становится верным мое утверждение
Перекуём баги на фичи!
