
Лига математиков
Синтаксическая математика
Простите меня за прошлую простыню, я хотела не этого.
Синтаксический подход в математическом образовании России устарел и вреден в эпоху искусственного интеллекта. Синтаксическая математика — это подход к изучению математики, основанный на механическом применении алгоритмов и формул без понимания их содержательного смысла. Это формальная манипуляция символами по заранее установленным правилам, подобно тому, как компьютерная программа выполняет последовательность инструкций. При таком подходе ученики рассматривают математику как набор процедур, которые нужно запомнить и применять в типовых ситуациях, а не как систему содержательных понятий и идей.
Именно такой подход доминирует в школьном математическом образовании, где всё сводится к механическим процедурам без понимания. Ученики выполняют деление в столбик, не осознавая принципов работы этой операции. Решение текстовых задач превращается в применение заученных шаблонов. Старшеклассники тратят часы на тригонометрические преобразования и вычисление интегралов, не имея представления о практическом значении этих действий.
Этот поверхностный подход приводит к фундаментальным когнитивным ошибкам, например, к смешению различных математических понятий. Счёт, упорядочение и нумерация воспринимаются как одно и то же, хотя это совершенно разные концепции. Когда ребенок не различает эти понятия, он не может понять, что количество элементов в множестве не зависит от их порядка, что возможно различное упорядочение одного и того же множества, и что нумерация — это лишь один из способов установления соответствия между элементами множества и натуральными числами. Методисты, составляющие учебные программы, порой сами не понимают базовых свойств, таких как коммутативность умножения и сложения! Такое смешение препятствует формированию абстрактного мышления и пониманию, что сложение — это операция над количествами, а не над упорядоченными парами цифр.
В результате, вместо понимания сути математики учащиеся приобретают навыки, которые в эпоху цифровых технологий становятся бессмысленными. Компьютеры давно превзошли людей в скорости и точности вычислений, а искусственный интеллект способен решать даже сложные алгоритмические задачи. Даже профессиональные математики используют программы для выполнения рутинных операций. В этих условиях трата времени на обучение механическим алгоритмам вычислений представляется нерациональной.
Вместо этого, образование должно фокусироваться на развитии концептуального понимания математики. Например, доказательства в математике следует преподавать не как формальные процедуры, а как способ убедить себя и других в истинности утверждения, опираясь на логику и ранее установленные факты. Уже в первом классе дети могут исследовать свойства целых чисел, открывая для себя, что числа образуют систему с операциями сложения и умножения, обладающими свойствами ассоциативности, коммутативности и дистрибутивности. Через конкретные модели — объединение групп предметов и формирование прямоугольных массивов — они могут самостоятельно открывать и обосновывать базовые арифметические законы.
В принципе, весь курс школьной геометрии можно заменить линейной алгеброй. Евклид умер (очень давно), пора положить конец и бесконечному перебору равнобедренных треугольников! Арифметику похоронил Ван дер Варден. Школьная геометрия создаёт иллюзию строгости — учебники создают впечатление, что все теоремы логически выводятся из аксиом, но школьные системы аксиом неполны и недостаточны для строгого обоснования всех изучаемых теорем. Даже великие математики Гильберт и Пуанкаре столкнулись с трудностями при создании полной системы аксиом. В результате школьники получают искаженное представление о математической строгости, что впоследствии затрудняет переход к серьезному изучению математики.
Преодолеть эти недостатки можно через построение альтернативной системы обучения, основанной на понимании и двусторонней коммуникации. Важную роль в этом должны играть учебники, написанные профессиональными математиками, а не методистами. Примером такого подхода служит учебник «Алгебра» Гельфанда и Шеня. Всего на 100 с небольшим страницах авторы умудрились изложить основы алгебры с удивительной глубиной и строгостью! Современные образовательные платформы, подобные MathAcademy, могли бы интегрировать такие высококачественные учебные материалы с возможностью задавать вопросы искусственному интеллекту и получать разъяснения. Такой подход не только способствует лучшему усвоению материала, но и развивает критическое мышление и умение формулировать вопросы.
Между современной математикой и школьным образованием XIX века образовалась пропасть космических масштабов! В то время как математическая наука совершила квантовый скачок вперед, школьные программы застряли в эпохе паровых машин и фаэтонов. Революционные открытия в теории категорий, алгебраической геометрии, теории гомотопий, функциональном анализе и других областях остаются невидимыми для учащихся. Вместо этого их продолжают мучить дифференцированием элементарных функций и решением тригонометрических уравнений — навыками, которые компьютер выполняет за миллисекунды. Мы учим детей быть медленными и неэффективными калькуляторами в эпоху квантовых компьютеров! Школьники и студенты изучают математические дисциплины, разработанные в XIX веке, в то время как современная математика использует совершенно другие концепции и инструменты. Математика пережила несколько революций в ХХ веке. Образовательные программы при этом остались практически неизменными! Это делает выпускников неподготовленными к применению математики в современных областях, таких как машинное обучение, квантовые вычисления или криптография.
В России ситуация усугубляется сложившимся порочным кругом устаревшего образования. ЕГЭ ориентирован на проверку владения механическими алгоритмами, что заставляет учителей натаскивать учеников на решение типовых задач. Университеты, принимая абитуриентов по результатам ЕГЭ, продолжают преподавать устаревшие курсы. Выпускники университетов становятся школьными учителями и воспроизводят все ту же практику синтаксического подхода. Этот замкнутый цикл блокирует любые попытки модернизации математического образования. Это не укол в сторону ЕГЭ, ЕГЭ надо оставить, просто убрать из него «вступительную математику» с тригонометрическими уравнениями и логарифмическими неравенствами.
Необходима радикальная трансформация математического образования.
Создание новых педагогических факультетов с современной программой.
Замена устаревших курсов на современные:
Линейная алгебра вместо аналитической геометрии
Общая топология вместо классического анализа
Гладкие многообразия вместо дифференциальных уравнений
Разорвать этот порочный круг может только радикальная трансформация всей системы математического образования. Необходимо не просто обновить учебники или методики преподавания, а полностью пересмотреть подход к обучению математике. Это включает создание новых факультетов для подготовки учителей, замену устаревших курсов на современные, реформирование системы оценивания и переориентацию всего образовательного процесса на развитие понимания, а не механического запоминания. Только такие кардинальные изменения могут сделать математическое образование актуальным и полезным в XXI веке.
В конечном счете, нужно осознать, что суть математики — это не механическое запоминание формул, а способ понимания мира. Математика — это язык, на котором написана книга природы. Это инструмент для развития абстрактного мышления. Это важная часть человеческой культуры! В эпоху, когда искусственный интеллект может выполнять все механические операции, особенно важно сосредоточиться на тех аспектах математики, которые развивают уникальные человеческие способности: интуицию, творческое мышление и глубокое понимание абстрактных концепций.
205 из девяти девяток
Применяя знаки арифметических действий и скобки, Дождливая Аня записала девятью девятками число 205. Как она это сделала?
Задача о кроликах в шляпах
Шесть шляп расставлены вдоль окружности, причём в любых двух из них сидит разное ненулевое количество кроликов. Назовём двух различных кроликов соседями, если они сидят либо в одной и той же шляпе, либо в соседних. Оказалось, что у каждого кролика есть либо ровно 17, либо ровно 27 соседей. Приведите пример, как такое может быть возможно.
41 — единственное простое число p, такое, что p^6+6 имеет ровно шесть различных делителей (включая единицу и само число)
41 — единственное простое число p, такое, что p^6+6 имеет ровно шесть различных делителей (включая единицу и само число).
Как это доказать?
А теперь о вещественных числах
В посте было написано про десятичные бесконечные дроби. А теперь давайте разберемся как устроены вещественные числа. Мой опыт показывает, что хотя школьники и умеют с ними работать, но мало кто знает конструкцию. Иногда в рамках курса математического анализа дают некоторое представление в ВУЗе, но часто пробегают по верхам. Этот пост может быть интересен тем, кто понимает что такое предел, знает что такое рациональные числа, но упустил в свое время конструкцию чисел вещественных.
Я знаю три разный конструкции построения вещественных чисел. Первый это через работу изначально с десятичными дробями, но при всей наглядности он мне кажется наиболее тяжелым. Второй через сечения Дедекинда. Это довольно интересная конструкция, но говорить я буду про третий путь. А именно через фундаментальные последовательности.
Вот вам ссылочка на википедию. Там более или менее неплохо написано и есть ссылки на литературу для глубокого погружения.
Давайте для начала оговоримся, что начинаем мы с рациональных чисел. Рациональные числа обладают следующими свойствами: их можно складывать, вычитать, умножать, делить на ненулевое рациональное число. Относительно операции сложения и умножения они образуют поле. Также это поле имеет отношение линейного порядка, согласованное с умножением, и норму (функция модуль). Надеюсь, что и определение предела последовательности для вас знакомо. Далее немножко картинок, ибо пикабу не умеет в латех
Указанные на картинке проверки не очень сложные, но их крайне полезно сделать для понимания, если хотите разобраться. Например, вообще говоря, сразу может быть не очевидно, почему есть деление на ненулевой элемент.
В вики плюс-минус эта схема описана.
Дальше, можно вводить и бесконечные десятичные дроби как представитель конкретного класса. Или сечения Дедекинда. Потом можно показать, что для вещественных чисел критерий Коши работает, то есть любая фундаментальная вещественная последовательность имеет вещественный предел, и в целом развивать классический матан как мы его знаем.
Немного десятичных дробях
Некоторое время назад появилось два поста.
В них шел разговор о том, что 0,999... = 0,(9) = 1. Приведенные там рассуждения по большей части хорошие.
Второй пост довольно неплохо поясняет почему все действительно работает как нужно. В первом посте указан алгоритм, который можно использовать для любой периодической дроби по любому основанию (не обязательно десятичной) получить обыкновенную дробь. Чтобы не перегружать вас обозначениями я приведу конкретный пример, но должно быть понятно, что такая процедура и в общем случае сработает.
Рассмотрим число 12,345(6789). Обозначим его так же за х и умножим на основание системы счисления в степени длина периода. В нашем случает на 10000. Потом вычтем из результата х. Получим
10000x-x = 123456,789(6789)-12,345(6789)= 123444,444.
Откуда x = (123444,444)/9999 = 123444444/9999000.
Как и в первом посте, здесь есть тот же самый вопрос почему можно вычитать разные бесконечные десятичные дроби друг из друга. Но на самом деле здесь можно. Во втором посте есть нормальное обоснование через пределы.
Наличие этого алгоритма в свою очередь показывает довольно важный свойства позиционной системы счислени:
Каждая периодическая дробь является рациональным числом. Замечу отдельно, что мощность множества периодических дробей счетная.
Каждое рациональное число может быть представлено бесконечной периодической дробью (придумайте как это сделать, это не сложно).
Однако есть и неприятный момент, он же в-третьих, на него указывает первый пост. А именно, что нет однозначности в выборе этой самой бесконечной периодической дроби. И, насколько я знаю, это не возможно исправить каким-то разумным способом.
Ответ на пост «200 рублей 13-ю монетами? Серьёзно?»1
Отвечу как составитель олимпиадных задач. В данном примере проёб составителя, притом проёб идейный, так как для младших классов есть ограниченное количество тем и для каждой темы есть определенные идеи и методы решения. Составитель зациклился на решении через систему линейных уравнений и чётность, но проёбался с поиском альтернативных решений. Такое бывает, не часто но бывает, сам не безгрешен.
На самой олимпиаде пока дети решают, среди проверяющих учителей проводят разбор задач и составитель должен всем рассказать как по его идее задумывались решения. Уверен что при разборе задачи увидели этот косяк и проверяли уже нормально (за 5х13<200 давали полные 7 баллов). И еще так как олимпиада все лишь муниципальная, то и составитель был локальный чел. На региональных и выше уже посерьезней люди идут как составители и соответственно таких косяков меньше.