иду на голос
посылка 1: nod(x,y)=1 где x,y натуральные (1,2,3,.... n,n+1,... .)
бандеролька 2: пусть N такое что y^3=(N^2) *x
контейнер с пожитками 3:из едиствености представления
числа из натурального ряда в виде упорядоченого произведение ненулевых степеней простых чисел(respect PAV) следует N^2 не целое
вывод по дискусии
у PAV'а есть умение не толко утверждать что опонент не прав но и помоч опоненту повысить уровень понимания обсуждаемого вопроса
PAV'у: если не срастётся нынешная карьера спокойно идите в педагоги , обучаемым будет польза.
Остальные опоненты голоса лиш показали насколко по сравнению
с той куклой для битья которую изобразил голос,
у них в математике длинее .....
PS. (далее офтоп показывающий до какой степени
дествительно возможно сущестнование доказательста
x^n+y^n<>z^n для всяких натуральных x,y,z,n-2
инстументами которыми мог обладать Ферма(сам не ПРОФЕССИОНАЛЬНЫЙ МАТЕМАТИК и лиш
юрист при солидной должности ) на примере другого математического курьёза)
реальный случай: при поверхностном ознакомлении с Конкретной математикой Кнута заинтересовался формулой
суммы k-степеней первых n натуральных чисел в замкнутом виде
и у кнута и у двайта приведён без вывода соответствующий полином
стенени k+1 и использованием коэф Бернулли.
а так как я НЕ ПРОФФЕССИОНАЛЬНЫЙ МАТЕМАТИК
а лиш прикладной(то биш программист по современному) то мне показалось
чтo меня обманули в лучших чувствах и вместо простого полинома с коэф непосредственно зависящими от n и k "преумножили" до тех пор мне неизвестную (а стех пор мало применяемую мною, но не отрицаю фундаментальной полезности) сущьность: числа Бернули
Обратите внимание в различных учебниках при обьяснение мат индукции часто просят показать что
сумма(i=1..n,i^1)=n(n+1)/2
часто также приводится байка про Гауса(как правило в вульгаризированной форме низводящей его учителя до уровня дауна)
с иным доказательстом(сумма(i=1..n,i)+сумма(i=1..n,n+1-i)=n*(n+1))
также при обьяснении мат индукции просят по индукции доказать что
сумма(i=1..n,i^2)=n*(n+1)*(2*n+1)/6
Примечательно что не указывается с помощью какого ГОЛОСА божьего была получена для квадратов замкнутаю форма(т.е считается что обучаемых интересовать должны лиш те направления урока которые заявлены в теме)
изредко(следует читать как правило
) для самостоятельного доказательста читателю оставляют доказательсто
сумма(i=1..n,i^3)=[n*(n+1)/2]^2, и в очередной раз оставляют источник формульного всеведенья неназваным.
А ведь всё казалось бы очевидно(==красная тряпка, ремарка для людей с особо длиными...., здесь пора крутым опонентам включать режим FLAME в положение ON), теперь пора выключать
ибо смотреть всем на
http://mathworld.wolfram.com/PowerSum.html
А вот дальше загадка: дальнейшее настолько элементарно что удивительно почуму этого нет и на верно не будет в школьном курсе математики :
(n+1)^k=(n+1)^k
применая бином(единственый кто мне известен Ньютон ,а если полонез то Огинский) к правой части везде где встретим (n+1)^i
а затем ко всём остальным степеням последовательно n^j,(n-1)^l и в плоть до (1+1)^...
получим
(n+1)^k= ... получим... ещё чуть индексы подвиним и вот без всяких
Бернулли :
(1+n)^(k+1)==1+sum_(i==0)^k(k+1; i)S_i(n)
У тех у кого есть доступ к буржуйским интернет мат архивом(для простых крестьян он ого ого платный) просьба выложить статью
приведёную на PowerSum.html в библиографии:
Guo, S.-L. and Qi, F. "Recursion Formulae for (здесь картинка)." J. Anal. Appl. 18, 1123-1130, 1999
в открытый доступ очень интересно сравнить (просто любопытно).
удивительно что почти 300 лет ни кому нафиг не нужно было знать
такую форму (решенние через числа Бернулли устаривало всех на все 100%) а в конце90 (судя по библиографии (те кто прочитал всего Эйлера может быть поправят)(публикуй а то проиграеш)
первыми кто опубликовал subj были Guo и Qi ) почти одновременно и китайцам и Не ломоносову из уральской глуши
понадобилось ...
или конкурс : показать хронологически первое упоминание(а ещё лучше вывод)
(1+n)^(k+1)==1+sum_(i==0)^k(k+1; i)S_i(n)
т.е Сумму k степеней от 1 до n как некоторое выражение от сумм от 1 до n чисел cтепеней от k-1 до 0
END КУРЬЁЗУ КОНЕЦ