LINUX.ORG.RU

История изменений

Исправление alpha, (текущая версия) :

Это давно доказано - ассоциативность.

Не важно, давно или недавно. Про ряды тоже все давно доказано, тебе же это не мешает. Главное что это необходимо доказывать, и необходимо определять.

И нельзя просто так говорить «ну для двух элементов верно, значит и для трех должно быть». Нет, не «значит». Вот если ты докажешь для трех - то будет верно и для трех. При том заметь, даже не просто докажешь:

Сначала определишь что такое сумма трех чисел. Причем определишь двумя способами, начиная слева и начиная справа. Получишь два понятия «сумма трех чисел начиная слева» и «сумма трех чисел начиная справа». Потом докажешь используя ассоциативность суммы двух чисел, что эти два понятия эквивалентны, и можно определить одно понятие «сумма трех чисел», не зависящее от выбора конкретного способа. И для него, этого последнего понятия докажешь что оно не зависит от порядка слагаемых.

И вот когда ты все это проделаешь, только тогда ты можешь утверждать что переставлять слагаемые в сумме трех чисел можно.

Заметь сколько _разных_ понятий суммы ты при этом должен использовать.

Исходная версия alpha, :

Это давно доказано - ассоциативность.

Не важно, давно или недавно. Про ряды тоже все давно доказано, тебе же это не мешает. Главное что это необходимо доказывать, и необходимо определять.

И нельзя просто так говорить «ну для двух элементов верно, значит и для трех должно быть». Нет, не «значит». Вот если ты докажешь для трех - то будет верно и для трех. При том заметь, даже не просто докажешь:

Сначала определишь что такое сумма трех чисел. Причем определишь двумя способами, начиная слева и начиная справа. Получишь два понятия «сумма трех чисел начиная слева» и «сумма трех чисел начиная справа». Потом докажешь используя ассоциативность суммы двух чисел, что эти два понятия эквивалентны, и можно определить одно понятие «сумма трех чисел», не зависящее от выбора конкретного способа. И для него, этого последнего понятия докажешь что оно не зависит от порядка слагаемых.

И вот когда ты все это проделаешь, только тогда ты можешь тверждать что переставлять слагаемые в сумме трех чисел можно.

Заметь сколько _разных_ понятий суммы ты при этом должен использовать.