МФА писал(а):
5fingers писал(а):
Доказательство элементарно. Формула чётного числа 2n. Раз там есть 2, значит оно делится на 2. Доказано. Но вот проверка доказательства... Что точно-точно не существует? Точно ли каждое из них составное?
Точно, и проверка до бесконечности не нужна, ибо легко доказывается методом математической индукции.
Цитата:
Придётся рисовать все окружности, какие только могут быть.
Во-первых, опять же ничего проверять не надо, если речь идёт о чистой, абстрактной геометрии Евклида, где фундаментальные свойства пространства определяются, а не предполагаются, как в реальном мире, в котором индукция всегда конечна.
Господа, ну пожалуйста без подмены понятий.
Мы же говорим о ПРОВЕРКЕ!
Да, доказательство подтвердило что это так.
И?
А проверка доказательства для всех окружностей НЕВОЗМОЖНА.
Цитата:
Доказательство постоянства отношения длины окружности к диаметру выполняется для произвольной окружности.
А проверка?
В лучшем случае я могу её выполнить для некоторых окружностей. Да и то всего лишь с заданной точностью.
Цитата:
А во-вторых, проверка в реальном мире не подтвердит постоянства числа пи из-за присутствия тяготеющих масс.
И о какой проверке после этого можно говорить в реальных условиях?
Скажите, МФА, когда Вы в последний раз ПРОВЕРЯЛИ формулу S=пи R
2 для круга?
Ну то есть когда Вы рисовали на бумаге круг радиуса R и пытались измерить (именно измерить - не вычислить по формуле, не доказать что равна чему-то - а именно измерить!) очерченную площадь?
Если никогда - то, выходит, Вы формулу-то и не проверяли.

Выводить - выводили. Но в действии не проверяли.
