Пифагор VS домашка по математике 📐

В науке редко случаются истории, похожие на открытие Ханны, о котором мы недавно писали. Но в последнее время такие сюжеты всё чаще мелькают в новостях.

🟢 В 2023 году две ученицы Академии Святой Марии в Новом Орлеане — Кальсия Джонсон и Неки’Я Джексон — нашли новый способ доказать теорему Пифагора.

Всё началось банально: учитель дал классу задание на рождественские каникулы — придумать собственное доказательство. Старшеклассницы приняли вызов. Они обратились к тригонометрии. И именно это стало сенсацией — считалось, что это невозможно сделать через тригонометрические тождества.

Так, например, думал американский математик Элиша Скотт Лумис. В 1927 году он выпустил книгу «The Pythagorean Proposition», в которой привёл 344 доказательства теоремы Пифагора. Его приёмы и техники можно найти буквально везде — мы рекомендуем этот ресурс.

Тригонометрию исключали потому, что привычные школьные формулы вроде sin²x + cos²x = 1 сами выводятся из теоремы Пифагора. Любая попытка доказательства через них превращается в круговую аргументацию. Однако наши героини нашли другой путь.

Девушки использовали закон синусов, который не опирается на теорему Пифагора. Они построили доказательство на особых конфигурациях подобных треугольников и их бесконечном ряде.

Будучи единственными школьницами среди докладчиков, они выступили на конференции Американского математического общества и представили доказательство в рецензируемый журнал. История получила широкий резонанс: о них писали от The Guardian до ABC News.

Но самое интересное было впереди. После первого успеха Кальсия и Неки’Я нашли метод, который позволяет строить целое семейство подобных решений. Так, они выпустили статью ещё с десятью новыми доказательствами в American Mathematical Monthly.

Открытие новоорлеанских школьниц стало громким инфоповодом в математическом сообществе. Но всё же тригонометрическое доказательство теоремы существовало и до них. Оно было сделано в 2009 году английским математиком Эдвардом Зимбой.

Метод, придуманный школьницами, отличается от его идей. К примеру, профессор Альваро Лозейо-Робледо назвал рассуждения девушек «по-настоящему красивыми». Подробный разбор их метода с иллюстрациями можно посмотреть тут или прочитать здесь.

Мораль: даже в такой древней области математики ещё есть место открытиям. И главное, что они могут прийти откуда угодно — даже из школьных уроков. Главное — любопытство и желание проверить себя.

А вы помните, как впервые узнали о теореме Пифагора? Делитесь историями и своими доказательствами в комментариях!

#это_база

Дебет с кредитом не сходится

В ресторанах нам явно везёт на математику. После задачек про шатающийся стол и странный счёт — новая история про деньги.

✅Условие: трое коллег тяжело работали над общим проектом всю рабочую неделю и в пятницу вечером, вместо того чтобы идти домой, решили наградить себя за труды совместным походом в ресторан.

После плотного ужина официант принёс чек. В нём была сумма 15 тысяч рублей. Поскольку каждый из друзей заказывал одно и то же, они, недолго думая, поделили счёт поровну — по 5 тысяч с каждого.

Гарсон уже успел их рассчитать, как вдруг чек увидел старший менеджер и упрекнул официанта: «Ты что, забыл, что у нас сегодня акция „Три по цене двух“? Срочно верни им 5 тысяч наличными!»

Официант не знал, как делить 5 тысяч на троих, но не растерялся. Он отдал каждому из гостей ресторана по тысяче рублей, а две — просто оставил себе в качестве «заслуженных» чаевых.

Каждый из друзей в итоге заплатил по 4 тысячи рублей. Посчитаем: 3 × 4 = 12. Плюс ещё 2 тысячи лежат у официанта в кармане. Итого — 14 тысяч рублей.

✅Вопрос: куда делась ещё тысяча рублей?

#задача

Должен был косарь отдать…

Вчерашняя задача — ловушка на основе интерпретации арифметики и причинно-следственных связей.

Ошибкой здесь является неуместное сложение: когда мы считаем 3 × 4 = 12, то эти 12 уже включают в себя 2 тысячи рублей, которые забрал официант.

Из этих 12:
✅ 10 ушли на оплату счёта,
✅ 2 остались у официанта.

Нельзя добавлять 2 тысячи к этим 12 — тогда мы как бы дважды учитываем «чаевые».

Прелесть задачи в том, что арифметика начинает казаться невозможной, когда мы неправильно «ставим скобки» в логике повествования. Это отличный пример того, как ошибка в интерпретации создаёт иллюзию математического парадокса.

Накидайте подобные головоломки в комменты, если встречали.

Решить рандомную задачу из канала ➡️ тык.

#задача

Сюрреальные числа: мир, который придумали Кнут и Конвей🌀

Возможно, вы слышали об авторе системы компьютерной вёрстки и типографии TeX. Её разработал Дональд Кнут. Он же является автором фундаментального труда The Art of Computer Programming — одной из самых влиятельных работ в истории информатики.

Ещё один человек, о котором сегодня пойдёт речь, — Джон Конвей. Он известен в первую очередь как создатель игры «Жизнь». Однако его вклад в математику весьма многообразен. В частности, Конвей придумал особый вид чисел — сюрреальные. Они включают:

✅привычные нам целые и действительные числа;
✅бесконечно большие (больше любого целого);
✅бесконечно малые (меньше любого положительного действительного).

Об этих числах мало кто слышал до тех пор, пока Дональд Кнут не написал целую книгу Surreal Numbers (1974). Это художественно-математическая повесть, герои которой начинают диалог с простых рассуждений о пустоте. Шаг за шагом в ней возникает ноль, единицы, дроби, действительные числа и Вселенная сюрреальных чисел.

Почему стоит прочитать?

✅Математическая идея преподносится как красивое литературное произведение.
✅Будет интересно и математикам, и человеку, далёкому от формул.
✅Поможет иначе взглянуть на привычные числа 1, 2, 3.

Повесть хороша тем, что её можно читать на разных уровнях: как притчу, как учебник или как введение в совершенно новую числовую систему. А после неё вам, возможно, захочется углубиться в работы Конвея.

Ставьте 👀, если интересно узнать больше о его теориях и, конечно, об игре «Жизнь».

Пост с предыдущей рекомендацией➡️здесь

#рекомендуем

Мини-QR-викторина✅

Билет на киносеанс, афиша, меню в ресторане, а некогда даже пропуск на улицу, — QR-коды давно стали частью нашей реальности. И развитие этой технологии тоже не обошлось без математики.

Внутри простых «узоров из квадратиков» скрыт целый мир чисел. Предлагаем проверить, насколько хорошо вы в нём разбираетесь.

Проходите мини-опрос, а завтра мы расскажем, какая математика прячется в чёрно-белых узорах ⤵️

Как устроены QR-коды❓

Спасибо всем, кто вчера прошёл нашу мини-викторину! Было приятно видеть много правильных ответов. Теперь рассказываем подробнее, какая математика скрывается в чёрно-белых квадратиках.

🟢Двумерное кодирование

QR-код устроен как матрица из чёрных и белых модулей. Чтобы сканер не запутался, где верх и низ, в углах есть большие маркеры, а внутри — синхронизирующие линии. Каждый квадрат модуля кодирует 0 или 1. Такая система координат позволяет «поставить сетку» и правильно считать биты информации.

🟢От битов к многочленам

Чтобы хранить текст или ссылку, одних нулей и единиц мало — нужны способы защитить данные от ошибок. И здесь в дело вступает высшая математика. Информация в QR-коде представляется как последовательность чисел, а они, в свою очередь, — как коэффициенты многочлена. Приведём пример:

Сообщение «HELLO» можно легко превратить в многочлен: M(x) = 72x⁴ + 69x³ + 76x² + 76x + 79. Коэффициенты здесь — это ASCII-коды букв.

Текст «ABC» тоже может стать многочленом: 65 + 66x + 67x², в котором ASCII-коды A, B, C — 65, 66 и 67, соответственно.

В реальных QR-кодах преобразование текста выполняется не так прямолинейно. Но идея кодирования именно та. И появилась она, потому что с многочленами удобно работать в рамках конечных полей.

🟢Конечное поле

Его ещё называют полем Галуа, по имени Эвариста Галуа. Это система чисел, в которой сложение, умножение и деление замкнуты внутри ограниченного набора элементов. Например, поле из 256 элементов — GF(256) — выбирают
для работы с байтами.

В QR-кодах вычисления тоже происходят в GF(256). Из этого поля берут коэффициенты многочленов, и арифметика становится очень эффективной. Числа складываются и умножаются «по модулю», так что даже при ошибках восстанавливается строгая структура.

🟢«Страховочные» коэффициенты

Или, по-другому, контрольные символы. Их добавляют к исходному многочлену M(x), чтобы QR-код был устойчив к повреждениям. Это делают с помощью кодов Рида–Соломона:

Если у вас есть многочлен степени k–1, то для его однозначного восстановления достаточно знать его значения в k точках. А если вы знаете его значения в большем числе точек, то даже при потере части из них многочлен можно восстановить.

В QR-коде данные «записываются» в виде значений многочлена в разных точках конечного поля. А дальше сканер решает обратную задачу: восстанавливает многочлен по частично повреждённым данным.

Этот процесс напоминает интерполяцию: как если бы вы знали несколько точек на параболе и могли восстановить всю кривую. Современные QR-коды можно восстановить при повреждении до 30% площади!

🟢Комбинаторика масштабов

Даже небольшой QR-код на 21×21 модуль содержит миллиарды комбинаций. А более крупные версии уходят в масштабы чисел, сопоставимых с количеством атомов во Вселенной.

Так что каждый раз, когда ваш телефон безошибочно считывает QR-код с потрёпанной временем и погодой афиши, он фактически решает задачу алгебраической интерполяции в конечном поле.

Правда, иногда технология может оказаться избыточной. Яркий пример — QR-часы: вместо времени они показывают код, который нужно отсканировать, чтобы узнать, который час. Полезно разве что в мире без смартфонов.

По ссылке вы найдёте крутую англоязычную настолку. В ней нужно восстановить QR-коды и решить головоломку. Правила можно прочитать здесь, а скачать листы с заданиями тут.

#как_устроено

Где прячется центр круга❓

Задача сегодня будет простая, но интересная: у вас есть лист бумаги. На нём нарисована окружность. Нужно найти её центр, используя только сгибы бумаги.

❎Линейку и циркуль использовать нельзя — в вашем распоряжении только бумага, руки и смекалка.

Пробуйте и показывайте результаты в комментариях под спойлером.

🟢А если справились, здесь лежит ещё одна задача с бумагой. Решайте!

#задача

Бумага сама знает ответ…

Во вчерашнем условии мы обещали, что линейка и циркуль не понадобятся. А вы предложили много решений✅

Сформулируем нашу версию:

1️⃣ Выберите угол листа и точку на окружности, находящуюся вдали от этого угла. Согните бумагу так, чтобы выбранный угол оказался точно на выбранной точке (на рисунке это точки C’ и C).

2️⃣ Пусть стороны листа, исходящие из угла C’, пересекут окружность в точках J и K. Так как угол JC’K = 90°, отрезок JK является диаметром окружности и проходит через её центр. Сделайте сгиб вдоль линии JK.

3️⃣ Затем выберите другую точку на окружности или другой угол листа, и повторите процедуру. Две построенные таким образом линии сгиба пройдут через центр окружности, а значит, пересекутся именно в нём.

Ставьте 🤓, если разобрались без наших подсказок. И делитесь с друзьями — задачу можно решить вместе на сайте GeoGebra. Вот здесь оставили готовое решение и обоснование.

#задача

Сколько математики скрыто вокруг🌀

В рисунках облаков, траекториях насекомых, движении стаи птиц. Всё это кажется хаотичным, пока числа не наводят порядок.

Выше фрагмент видео «r = θ» от японского мультимедийного художника Ёси Содэока. Через него автор исследует человеческую склонность находить пропорции и узоры в природе.

✅Помните, мы писали про золотое сечение и эшеровские находки? Ещё о математическом подходе к искусству недавно рассказывали коллеги на канале Яндекс Образования. Так вот, работы Содэока — тоже попытка гармонизировать хаос окружающего мира.

Смотрите видео и делитесь в комментариях: что показалось вам самым «математическим». Мы разглядели полярные координаты или, точнее, спирали Архимеда. А вам что удалось увидеть❓

#рекомендуем

Математика в действии✅

Когда мы ищем для вас новые темы, часто попадаем в каналы, где математика перестаёт быть абстрактной наукой и начинает работать как инструмент для решения профессиональных задач.

Отличный пример — «Мир аналитика данных». Канал ведёт Валерия Шуваева, специалист с более чем пятилетним опытом в аналитике. Она рассказывает о рабочих буднях, делится разборами реальных кейсов и пишет о том, как попасть в профессию.

Вот посты, которые мы выделили:
✅Регулярки на практике: ищем посты про ИИ в датасете
✅Pandas: объединяем значения в группах с groupby + join
✅Умный LIKE: как искать по множеству URL в SQL без боли
✅Разбор задачи с собеседования: сравнение выручки по регионам

Читайте, если интересно, как математика действует «в полях» аналитики, и подписывайтесь — у Валерии выходит много материалов, которые помогут прокачать навыки и понять профессию DA изнутри❗️

#рекомендуем

Когда ИИ сам изобретает формулы…

Имя Сринивасы Рамануджана окружено ореолом мистического дара. Сам математик говорил, что формулы ему «подсказывают небеса».

Теперь представьте ML-алгоритм, работающий по тому же принципу. Разработка такого проекта ведётся уже с 2019 года. Называется он Ramanujan Machine.

🟢Машина не доказывает теоремы и не решает задачи за человека — она перебирает возможные соотношения между числами, связанными с фундаментальными константами: π, e и другими.

🟢Программа ищет закономерности, выдвигает гипотезы и предлагает «угадывания». Например, цепные дроби или бесконечные ряды, которые приближают числа с невероятной точностью.

🟢Алгоритм показывает возможный путь, но не объясняет, почему это верно. В каком-то смысле он копирует стиль Рамануджана: гениальные догадки без обоснований. Доказательства и опровержения остаются уделом математиков.

Вот что ещё можно посмотреть по теме:
✅раздел на сайте машины с новыми открытиями
✅одна из последних статей авторов проекта — экскурс в историю доказательств формул для математических констант от Эйлера до ИИ
✅X-аккаунт The Daily Ramanujan, не менее загадочный, чем сам Рамануджан
✅наша рекомендация фильма про математика

К чему это мы?

Интуиция Рамануджана была почти сверхъестественным талантом. Подход машин — это вычислительная мощность и бесконечный перебор. Тогда может быть, будущее математики — в их сочетании, где наша догадка соединяется с силой алгоритмов?

Или вы всё же доверяете строгости и независимой доказательной силе лишь непосредственно человеческого разума❓

#как_устроено

Четыре загадки Ландау

Многим знакомо имя Льва Ландау, знаменитого советского физика-теоретика. Но сегодня нас интересует его тёзка по фамилии — Эдмунд Ландау. Он менее известен широкой публике.

Студенты математических факультетов прошлого века знали его как автора учебников по математическому анализу и теории чисел. Эти книги снискали репутацию эталонных — спустя почти век они выглядят современно и свежо.

🟢Ландау был мастером математического изложения. Его стиль отличается аскетической ясностью. Студенты шутили: читать Ландау всё равно что изучать юридический документ — ни одного лишнего слова. Вот характерная цитата из его введения к «Анализу»:

Я предполагаю лишь владение логическим мышлением и языком. Ничего — из школьной или, тем более, высшей математики.

Едва ли какой-то другой учебник высшей математики мог бы похвастаться столь радикальной установкой. Этот способ преподавания повлиял на целое поколение математиков, воспитав привычку к строгой дисциплине в доказательствах.

🟢С именем Ландау связана и знаменитая нотация «O-большое» — язык для описания роста функций. Сегодня её используют повсюду: от числовых рядов и интегралов до алгоритмов и оценки времени их работы.

🟢А ещё, выступая на Международном конгрессе математиков в Кембридже в 1912 году, Ландау сформулировал задачи о простых числах, которые были легкие на вид, но оказались поразительно трудные. Они вошли в историю как четыре проблемы Ландау — и все до сих пор остаются нерешёнными:

1️⃣ Гипотеза Гольдбаха (сильная форма): можно ли любое чётное число больше 2 представить как сумму двух простых?

2️⃣ Близнецы-простые: бесконечно ли много простых-близнецов, например 11 и 13, 17 и 19?

3️⃣ Простые вида n²+1: существует ли бесконечно много простых такого вида?

4️⃣ Простые между квадратами: всегда ли между n² и (n+1)² есть хотя бы одно простое?

Формулировки доступны школьнику. Собраны численные проверки и даже частичные результаты. Например, доказано, что простое почти всегда есть между квадратами, или что существует бесконечно много пар простых, отличающихся не больше чем на 246.
Но ни одна из четырёх проблем Ландау не решена полностью.

Цитируя вчерашний мем: доказательства этих упражнений остаются читателю в качестве упражнения…

✅Читать рандомный пост из канала — тык.

#это_база

Как не промахнуться с оффером❓

Соглашаться на первое предложение или ждать чего-то получше? Вы не поверите, но даже на этот жизненно важный вопрос у математики есть ответ.

❗️Сделать выбор поможет «правило 37%».

Работает примерно так: сначала вы пропускаете примерно треть всех вариантов, а потом берёте первого, который кажется лучше предыдущих. Так вероятность «поймать» достойный оффер оказывается максимальной.

✅ Об этом мы прочитали в статье Вани Яковлева, автора канала «Кроссворд Тьюринга». Он объясняет правило на нескольких житейских примерах и раскладывает все по формулам и теоремам. В этом посте лежит презентация с его офлайн-лекции.

Подписывайтесь на Ваню, чтобы не пропустить крутые разборы. В канале действительно много понятной и применимой в жизни математики!

#рекомендуем

Подборка математических сервисов

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

🟢Desmos
Самый известный графический онлайн-калькулятор, выручивший ни одного школьника во время контрольных подготовки к контрольным. В нём удобно строить функции и их анимации. Несмотря на минимализм, возможности удивляют.

🟢GeoGebra
Идеальная интерактивная среда для построений. Отлично подходит для обучения. Особенно удобна для визуализации геометрических идей и демонстрации решений.

🟢WolframAlpha
Математическая поисковая система для работы с уравнениями, графиками и понятиями из высшей математики. Автор среды — знаменитый учёный Стивен Вольфрам. Пользователи со всего мира собрали там базу проектов Wolfram Demonstrations Project. В ней, к примеру, можно найти модель геометрии таксиста, о которой мы писали тут.

🟢Overleaf
Если математики пишут тексты, то делают это через систему компьютерной вёрстки TeX, придуманную Дональдом Кнутом. Overleaf — самый удобный онлайн-редактор LaTeX. Позволяет писать статьи, дипломы и книги с формулами, хранить проекты в облаке и работать совместно.

🟢Mathpix
Если Overleaf помогает создавать тексты в TeX, то Mathpix решает обратную задачу: берёт готовый текст и переводит его в LaTeX. Работает мгновенно и очень удобно — можно закинуть PDF-файл или просто сделать скрин формулы.

🟢Photomath
К слову о скриншотах: Photomath умеет решать примеры прямо со снимка, а ещё — наведя камеру на задачу. Да, многие учителя пострадали от этого лайфхака, но отрицать удобство трудно.

🟢Manim
Библиотека Python для создания математических анимаций. Её использует 3Blue1Brown для своих знаменитых видео. Мощный инструмент для визуализаций, но без навыков программирования не обойтись.

🟢OEIS
Online Encyclopedia of Integer Sequences — огромная база целочисленных последовательностей. Полезна исследователям и просто любопытным читателям. Здесь даже есть последовательность, ставшая известной благодаря фанатам аниме.

🔵Бонус: Project Euler
Сайт с сотнями задач по математике и программированию. Своего рода LeetCode с упором на логику и алгоритмическое мышление. Но предупреждаем: многие задачи очень сложные!

Накидайте 🤓, если было полезно и дайте знать в комментариях, если нужно рассказать подробнее про эти инструменты — на самом деле почти каждый из них достоин отдельного разбора.

Пост с рандомной подборкой ➡️ тык

#рекомендуем