Где там доказывается "Доказали, что за верным утверждением может стоять только верное утверждение"?
Вот где
Цитата:
Далее, опираясь на сделанное допущение, пытаются доказать правильность формулы (1) для числа на единицу большего, то есть для
. В данном случае достаточно присоединить к сумме в левой части равенства (2) ещё одно слагаемое:
; тогда и правая часть равенства должна увеличиться на
и, следовательно,
.
Но тот же результат получится, если в формуле (1) заменить
на
.
Итак, из
справедливости формулы (1) при
вытекает (каково бы ни было
) её правильность и при
.
Хотя доказательство подобного вида пока вызывает у меня сомнение, я надеюсь, что если разберусь с нижеследующим, то приму данное доказательство. Мне совершенно не понятно почему формула (1) стала справедливой для данного ряда суммы, если мы сами значения ряда туда не подставляли.
Внесём несколько намеренных ошибок в эту цитату:
Цитата:
Пусть, например, требуется доказать для любого натурального (целого положительного) числа
формулу:
(1)
При
эта формула даёт
. Чтобы доказать правильность формулы при любом
,
допускают, что её уже удалось доказать для некоторого определённого числа
, то есть предполагают, что
(2)
Далее, опираясь на сделанное допущение, пытаются доказать правильность формулы (1) для числа на единицу большего, то есть для
. В данном случае достаточно присоединить к сумме в левой части равенства (2) ещё одно слагаемое:
; тогда и правая часть равенства должна увеличиться на
и, следовательно,
.
Но тот же результат получится, если в формуле (1) заменить
на
.
Итак, из
справедливости формулы (1) при
вытекает (каково бы ни было
) её правильность и при
. Но при
формула (1) верна, следовательно, она верна также и при
и так далее. Так как последовательным прибавлением единицы можно получить (начиная с единицы) любое натуральное число, то формула (1) действительно верна при любом натуральном числе
.
Как для меня выглядит эта цитата теперь? Я вижу следующее:
Цитата:
1) Первое утверждение верно (т.к. просто проверили)
2) Доказали, что за верным утверждением может стоять только верное утверждение
В чём я не прав?
Товарищи, видя моё непонимание данного вопроса, может быть посоветуете что-то к книге Куранта и Роббинса почитать? Что-то типа букваря по логике...