Данная статья относится к Категории: Приёмы, инварианты, эвристики Фалес, вероятно, был одним из первых, кто начал давать принцип решения серии задач в общем виде. «Сформулировать проблему и решить её - это одно, сформулировать проблему, решить её и доказать, что проблема действительно решена, причем решена в общем виде, - это нечто совсем другое. Первое было доступно в течение длительного времени математикам Египта, Вавилона, Индии и Китая. Как правило, при этом получалось решение, справедливое только для данных конкретных условий. Во втором случае ставится вопрос о нахождении принципа решения целого класса проблем определенного типа. Можно говорить в этом контексте о глубинной структуре проблемы, которая скрыта за внешне весьма различными проблемными ситуациями. Способ решения должен быть универсален, пригоден для целого класса проблем, сколь бы различными они ни казались. С этим представлением о глубинной структуре проблемы связана идея математического доказательства. Нет никаких да