Home

Все о медведях

поваренная книга Феди П.

01 May 2006, 22:32

сумма натуральных чисел

Вычислим сумму 1+2+3+...


1 способ. Пусть 1-1+1-1+...=a. Тогда
1-1+1-...=a. Складывая в столбик, получаем, что 2a=1+0+0+...=1, a=1/2.

Пусть теперь 1-2+3-4+...=b. Тогда
1-2+3-...=b. Складывая, получаем, что
2b=1-1+1-1+...=1/2, b=1/4.
Пусть теперь 1+ 2+3+ 4+5+...=с.
Тогда 0+4*1+0+4*2+0+...=4с.
Вычитая в столбик, получаем, что -3с=1-2+3-4+5+...=1/4, стало быть

1+2+3+...=-1/12.

2 способ. Пусть 1+2+3+...=S.
Тогда 2+4+6+...=2*(1+2+3+...)=2S. Стало быть
1+3+5+...=(1+2+3+4+5+6+...)-
(0+2+0+4+0+6+...)=-S.

Теперь сложим равенства
1+2+3+4+...=S
0+1+3+5+...=-S.
Получим 0=1+3+6+9+...=1+3*(1+2+3+...)=1+3S, S=-1/3.

Поэтому

1+2+3+...=-1/3.



Вопрос: почему в первом случае получается правильный ответ, а во втором неправильный?

Оставить комментарий Add to Memories Tell a Friend

[info]vse_budet

2006-05-01 07:27 pm (UTC) (Link)

Ага.

Из первого результата получаеться прикольное неравенство.
Надо \pi^2/6=(1/1^2+1/2^2+1/3^2+...) пару раз домножить на (1+2+3+..) и отКБШировать.

Яужезабыл что получаеться, надо вспомнить:)
Reply (Thread)
[info]a_konst

2006-05-01 07:44 pm (UTC) (Link)

сильно.
я пас.
Reply (Thread)
[info]nikaan

2006-05-01 07:50 pm (UTC) (Link)

Мы не доказали, что а - число. :)
В том смысле, что, может Вы рассматриваете гораздо более прикольное мн-во, чем R, так исследуйтее его глубже... возможно в нём просто другие законы умножения и противоречия не возникает.
Типа это какой-то совсем глобальный делитель 0 или б.м. окрестность в каких-то схемах :)))
Reply (Thread)
[info]rus4

2006-05-02 06:38 am (UTC) (Link)

Да, но разве эти претензии нельзя предъявить к обоим способам? А в первом получается правильный ответ.
Reply (Parent) (Thread) (Expand)
[info]rus4

2006-05-02 08:24 am (UTC) (Link)

Re: С каких это пор

Почему это решение правильно, я вкратце объяснил тут:
http://rus4.livejournal.com/12191.html?thread=109983#t109983

А если пользоваться формулой Антона (0+2+0+4+0+6+...)=(1+2+3+...)/2, то получится 1/4=0.
Reply (Parent) (Thread)
[info]french_man

2006-05-01 07:51 pm (UTC) (Link)

Превед.
Reply (Thread)
[info]akopyan

2006-05-01 07:59 pm (UTC) (Link)

По-видимому, первое это случайность
Reply (Thread) (Expand)
[info]rus4

2006-05-02 07:36 am (UTC) (Link)

Это не случайность.

Это формула zeta(s)*(2^{1-s}-1)=\sum (-1)^n*n^{-s}
(для s=-1). А формула верна, потому что она верна для Re(s)>1 (тогда ряды сходятся, и можно выделять четные слагаемые).
Reply (Parent) (Thread)
[info]septembreange

2006-05-01 08:47 pm (UTC) (Link)

:)

Федя! Ты гонишь! 0+1+0+2+0+...=1/4(1+2+3+4+...), а совсем не целому. Это видно из предела отношения частичных сумм. Еще Больцано,кажется, понимал, что эти ряды разные.
Reply (Thread)
[info]mahalex

2006-05-01 10:42 pm (UTC) (Link)

Так в первый-то раз получилось правильно! :) Видимо, совпадение, я так сразу не вижу, где за всем этим сидит дзета-функция.
Reply (Parent) (Thread)
[info]rus4

2006-05-02 06:41 am (UTC) (Link)

Если мы будем считать частичные суммы, то увидим, что они стремятся к бесконечности, а вовсе не к -1/12. К тому же в первом способе применяется ровно тот же аргумент, и он приводит к правильному результату.
Reply (Parent) (Thread)
[info]zhecka

2006-05-01 09:58 pm (UTC) (Link)

А почему -(1/12) -- правильный ответ? И в каком кольце/поле происходят все эти вычисления?
Reply (Thread)
[info]ygam

2006-05-01 10:35 pm (UTC) (Link)

p-адики.
Reply (Parent) (Thread)
[info]xgrbml

2006-05-02 06:19 am (UTC) (Link)

В кольце p-адических чисел ряд 1+2+3+4+... благополучно расходится.
Reply (Parent) (Thread)
[info]rus4

2006-05-02 06:35 am (UTC) (Link)

-1/12=zeta(-1). Так как при s>1 имеем zeta(s)=1^{-s}+2^{-s}+..., то получаем -1/12=1+2+3+...
Reply (Parent) (Thread)
[info]vadim_i_z

2006-05-01 10:05 pm (UTC) (Link)

Первый пример хорошо разобран у Гарднера (с тремя ответами, а можно и больше).
Reply (Thread)
[info]rus4

2006-05-02 06:37 am (UTC) (Link)

Первый это какой? Про 1-1+1-1+...? С ним-то все в порядке, он сходится например по Чезаро, и сумма равна 1/2.
Reply (Parent) (Thread)
[info]vadim_i_z

2006-05-02 07:20 am (UTC) (Link)

Да, этот вариант там тоже указан.
Reply (Parent) (Thread)
[info]syarzhuk

2006-05-01 10:18 pm (UTC) (Link)

1-1+1-1+...=a=(1-1)+(1-1)+(1-1)+...=0
Reply (Thread)
[info]rus4

2006-05-02 06:43 am (UTC) (Link)

Скобки ставить нельзя. Ряды 1-1+1-1+... и 1-2+3-4+5-6+... сходятся по стандартным методам суммирования расходящихся рядов (например, Абеля-Пуассона, или два раза по Чезаро). Но расставлять скобки эти способы запрещают.

Reply (Parent) (Thread)
[info]vadim_i_z

2006-05-02 07:23 am (UTC) (Link)

О том и речь, что, применяя другой метод, получаешь другой результат. Как в том анекдоте про молодого бухгалтера.
Reply (Parent) (Thread)
[info]rus4

2006-05-02 07:29 am (UTC) (Link)

Те методы суммирования расходящихся рядов, о которых я говорю, вполне математически понятны и обладают следующими свойствами:

1) обобщенная сумма сходящегося ряда равна его обычной сумме

2) sum(a_n+b_n)=sum(a_n)+sum(b_n), если обе суммы справа существуют

3) sum(a_n)=a_1+sum(a_{n+1}).

Про скобки ничего не говорится.

А идея применять методы суммирования расходящихся рядов в бухгалтерии представляется перспективной.


Reply (Parent) (Thread) (Expand)
[info]septembreange

2006-05-02 11:24 am (UTC) (Link)

А про то, что нули расставять можно, кто сказал? Это читерство.
От прореживания нулями и сумма по Чезаре иногда меняется, например, если мы в ряду 1-1+1-1... после каждой +единички поставим по нолику, то она будет уже 2/3, если я правильно помню, что это такое.

Правда, от прореживания каждым вторым нулем она не меняется, да.
Но точно ни у каких других признаков с ней проблем не воозникает?
Reply (Parent) (Thread)
[info]rus4

2006-05-02 12:31 pm (UTC) (Link)

Проблема в том, что эти претензии применимы к обоим способам, в то время как в первом способе получается правильный ответ (и рассуждение можно сделать строгим), а второй способ дает неверный ответ.

Хотелось бы увидеть априорную разницу между рассуждениями.
Reply (Parent) (Thread)
[info]septembreange

2006-05-02 01:40 pm (UTC) (Link)

Да, ты понимаешь,что прореживание нулями и расстановка скобок - это одно и то же?

((a_1+b1)+(a_2+b_2)+(a_3+b_3)+...)=
=(a_1+a_2+a_3+...)+(b_1+b_2+b_3+...)=
=(a_1+0+a_2+0+a_3+...)+(0+b_1+0+b_2+0+b_3+...)=
=(a_1+b_1+a_2+b_2+a_3+b_3+...)
Reply (Parent) (Thread)
[info]septembreange

2006-05-02 01:18 pm (UTC) (Link)

Может, дело в том, что ты равенство нулю используешь во втором способе?
Reply (Thread)
[info]septembreange

2006-05-02 01:24 pm (UTC) (Link)

Ты бы еще вот над чем подумал:

0=(1+2+3+4+5+....)-(0+1+2+3+4+...)=1+1+1+1+1+...

с другой стороны,

(1+1+1+1+1+...)+(1-1+1-1+1-...)=2+0+2+0+2+0+...=2+2+2+2+2+...=2(1+1+1+1+1+...), откуда 1+1+1+1+1+...=1-1+1-1+1-...=1/2
Reply (Thread)
[info]rus4

2006-05-02 02:20 pm (UTC) (Link)

В том-то и дело, что это все совершенно противозаконные вещи. Но в первом случае их можно сделать законными, а во втором нельзя.
Reply (Parent) (Thread)
[info]menato

2006-05-04 08:24 am (UTC) (Link)

А что произойдёт при узаконивании с признкаком расходимости Коши?
Reply (Parent) (Thread)
[info]dashhh

2006-08-06 09:25 pm (UTC) (Link)

Ну первый способ можно сделать абсолютно законным, если правильно определить сходимость...

А во втором (интуитивно) кажется, что мы вычитаем из бесконечности 2 бесконечности и получаем минус бесконечность...

Очень интересно, какой ответ подразумевает автор.
Reply (Thread)
[info]rus4

2006-08-19 05:27 pm (UTC) (Link)

см. комментарии. Удовлетворительного оъяснения у меня нет.
Reply (Parent) (Thread)
[info]allocco

2008-11-10 08:47 pm (UTC) (Link)

Ух, какой древний пост я откопал.

Ты знаешь, что эту сумму можно _измерить_ руками?
Reply (Thread)
[info]rus4

2008-11-10 08:54 pm (UTC) (Link)

Нет. Как это?
Reply (Parent) (Thread)
[info]allocco

2008-11-10 08:59 pm (UTC) (Link)

Есть такая штука --- эффект Казимира. Грубо говоря, из-за поляризации вакуума, две незаряженные пластины, помещённые на некотором расстоянии друг от друга, начинают притягиваться. Это чисто квантовый эффект, но его довольно точно меряют уже давно (лет десять точно).

С другой стороны, эту силу можно подсчитать (довольно несложное вычисление, проделанное Казимиром в 1948 году). В ответ войдёт zeta(-1). Сравниваем теоретический ответ с экспериментальным числом; оказывается, что zeta(-1) = -1/12 с точностью до пятого, что ли, знака.
Reply (Parent) (Thread)
[info]rus4

2008-11-10 09:09 pm (UTC) (Link)

Прикольно.
Reply (Parent) (Thread)

[info]rus4

November 2009

S M T W T F S
1234567
891011121314
15161718192021
22232425262728
2930