🧮 Математика · 30 вопросов · ~60 мин · ⏱ Таймер 15:00 · Сложный ·

Доказательства: сможете ли вы понять, почему это правда

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

Отвечено: 0 из 30

⏱ --:--

💡 Инструкция: Выберите один вариант ответа. Тест проверяет не способность самостоятельно доказывать теоремы, а понимание того, как работает математическое обоснование. Некоторые вопросы требуют внимательного чтения — формулировка важна.

Вопрос 1 из 30

Что такое аксиома в математике?

Очевидный факт, который не требует проверки, потому что его все понимают Определение математического понятия Утверждение, принимаемое без доказательства как основа системы Доказанная теорема, от которой зависят другие

Вопрос 2 из 30

Что такое теорема в математике?

Гипотеза, которая ещё не опровергнута Правило, принятое математическим сообществом Утверждение, которое было доказано из аксиом и ранее доказанных теорем Важный факт, который принято знать в математике

Вопрос 3 из 30

Достаточно ли одного примера, чтобы доказать утверждение «существует число с таким-то свойством»?

Нет — нужно строгое теоретическое обоснование без примеров Зависит от того, насколько сложно свойство Да — один конкретный пример является доказательством существования Нет — нужно проверить много примеров

Вопрос 4 из 30

Чем гипотеза отличается от теоремы?

Гипотеза — это ложное утверждение, теорема — истинное Гипотезой называют простые утверждения, теоремой — сложные Гипотеза ещё не доказана и не опровергнута; теорема — доказана Гипотеза — в физике, теорема — в математике

Вопрос 5 из 30

Что такое контрпример в математике?

Альтернативное доказательство той же теоремы Один пример, который опровергает утверждение о «всех» Пример, который усиливает доказательство Пример в защиту утверждения

Вопрос 6 из 30

Что такое лемма в математике?

Синоним теоремы в европейской традиции при формальном применении знакомого правила Частный случай теоремы для конкретных чисел Вспомогательная теорема, доказанная отдельно для использования в главном доказательстве Предположение, принимаемое без доказательства

Вопрос 7 из 30

В чём суть метода «доказательство от противного»?

Показываем нелепость утверждения без дополнительных предположений Предполагаем отрицание утверждения, выводим противоречие — значит, исходное верно Показываем, что все альтернативы противоречат условиям задачи Используем абсурдный пример для иллюстрации

Вопрос 8 из 30

Как строится доказательство методом математической индукции?

Находим формулу и подставляем несколько значений для проверки Проверяем для нескольких значений n и обобщаем Доказываем для n=1 (база), затем показываем: если верно для n, то верно для n+1 (шаг) Применяем квантор всеобщности к бесконечной последовательности примеров

Вопрос 9 из 30

Что не является математическим доказательством?

Конструктивное предъявление объекта с нужным свойством Проверка утверждения для миллиарда конкретных случаев Цепочка логических рассуждений от аксиом к заключению Доказательство от противного с выводом противоречия

Вопрос 10 из 30

Как классически доказывается, что простых чисел бесконечно много?

Через анализ бесконечного ряда, связанного с простыми числами Через нахождение бесконечно большого простого числа Предположение о конечном числе простых: их произведение плюс 1 не делится ни на одно из них — противоречие Через теорему Гёделя о полноте арифметики если смотреть только на запись, а не на смысл операции

Вопрос 11 из 30

Почему √2 иррационально? Как это классически доказывается?

Потому что квадрат числа является целым, главным образом если число иррационально Потому что его десятичное разложение бесконечно Потому что оно не записывается в виде конечной десятичной дроби Предположение о рациональности (√2 = p/q несократимо) приводит к тому, что p и q оба чётные — противоречие

Вопрос 12 из 30

Что такое доказательство контрапозицией?

Доказываем от противного, предполагая A ложным Доказываем A→B, предполагая ¬A и выводя ¬B Доказательство, опровергающее другое доказательство Доказываем A→B через эквивалентное ¬B→¬A: если нет B, то нет A

Вопрос 13 из 30

Что означает «доказательство исчерпанием случаев»?

Проверка бесконечно большого числа случаев компьютером Разбиение на конечное число непересекающихся ситуаций и доказательство для каждой Перебор всех примеров до нахождения противоречия Доказательство через одну очень подробную частную проверку

Вопрос 14 из 30

Что означает «утверждение не доказано»?

Утверждение истинно, но математики ещё не придумали способ это показать Его статус неизвестен — не опровергнуто, но и не доказано Утверждение ложно Утверждение принципиально недоказуемо

Вопрос 15 из 30

Что является контрпримером к утверждению «все простые числа нечётны»?

Бесконечно много чётных составных чисел Число 2 — простое и чётное Число 9 — нечётное, но не простое Число 15 — нечётное и составное

Вопрос 16 из 30

Что говорит первая теорема Гёделя о неполноте?

Никакая теорема не может быть доказана без аксиом Математика не может почти полностью описать физическую реальность Любая математическая система содержит ошибки после обычного преобразования исходного выражения В любой достаточно богатой непротиворечивой формальной системе есть истинные, но недоказуемые в ней утверждения

Вопрос 17 из 30

Где ошибка в «доказательстве» того, что все лошади одного цвета (через индукцию)?

Индукцию нельзя применять к непрерывным множествам Нельзя применять индукцию к нематематическим объектам База неверна: одна лошадь может быть любого цвета — это не фиксированный цвет Шаг ломается при переходе от n=1 к n=2: два одноэлементных множества не пересекаются

Вопрос 18 из 30

Что такое «конструктивное» доказательство существования?

Доказательство, которое явно строит объект с нужным свойством Короткое понятное доказательство без абстрактных символов Доказательство через геометрический чертёж или рисунок Доказательство, основанное на конструктивных аксиомах Пеано

Вопрос 19 из 30

Какой из этих результатов связан с именем Тьюринга?

Доказательство иррациональности числа π если смотреть только на запись, а не на смысл операции Доказательство того, что простых чисел бесконечно много Теорема о неполноте формальных систем после обычного преобразования исходного выражения Неразрешимость «проблемы остановки» — невозможно создать алгоритм, всегда определяющий, завершится ли программа

Вопрос 20 из 30

Теорема четырёх красок (1976) была доказана через компьютерную проверку ~1936 случаев. Как математическое сообщество оценило это доказательство?

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

Вопрос 21 из 30

Какой шаг индукции нужен, чтобы доказать утверждение для всех натуральных чисел начиная с n=3?

главным образом шаг n→n+1, без базы База n=3, затем шаг n→n+1 при условии n≥3 База n=1, затем шаг n→n+1 База n=1, n=2 и n=3, затем шаг n→n+1

Вопрос 22 из 30

Что означает «непротиворечивость» математической системы?

В ней нельзя одновременно доказать утверждение и его отрицание Все теоремы в ней могут быть доказаны Все аксиомы согласованы между собой по смыслу Система полна: любое истинное утверждение в ней доказуемо

Вопрос 23 из 30

Можно ли доказать теорему, используя её саму в доказательстве?

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

Вопрос 24 из 30

Великая теорема Ферма: xⁿ + yⁿ = zⁿ не имеет целочисленных решений при n > 2. Когда она была доказана?

В 1970-х годах через теорию групп Самим Ферма в XVII веке — он написал об этом на полях книги В 1900 году, в рамках программы Гильберта В 1995 году Эндрю Уайлсом — спустя 358 лет после формулировки

Вопрос 25 из 30

Утверждение «P(1), P(2), P(3), … верно для бесконечно многих n, значит P(n) верно для всех n». Это корректный вывод?

Да, при условии что P — числовое свойство Да, если проверено для каждого конкретного n Нет — «для бесконечно многих» не значит «для всех»: могут быть n, где P ложно Да, если таких n бесконечно много — этого достаточно

Вопрос 26 из 30

Что такое «теорема о четырёх красках»?

Любую плоскую карту можно нарисовать не более чем четырьмя линиями Любую карту мира можно раскрасить четырьмя красками так, чтобы смежные страны были разного цвета Любое натуральное число — сумма не более четырёх квадратов Четыре цвета — минимум, необходимый для раскраски любого графа

Вопрос 27 из 30

Что такое «прямое доказательство» и чем оно отличается от доказательства от противного?

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

Вопрос 28 из 30

Ферма написал, что нашёл «замечательное доказательство» своей теоремы, но поле слишком мало. Что думают об этом современные математики?

Его доказательство было верным, просто записано кратко Ферма скорее всего имел в виду случай n=3, а не общую теорему Скорее всего, Ферма ошибался: современное доказательство использует математику, недоступную в XVII веке Его доказательство потеряно — мы почти не узнаем при стандартной проверке условий задачи

Вопрос 29 из 30

Сильная индукция отличается от обычной тем, что...

В шаге предполагается истинность для всех k < n, а не только для n−1 Доказывает более сильное утверждение, чем обычная Требует нескольких баз вместо одной База начинается с n=0 вместо n=1

Вопрос 30 из 30

Что означает, что утверждение «независимо» от данной системы аксиом?

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

Ответьте на все 30 вопросов, чтобы получить результат

🔗 Встроить тест на свой сайт (iframe) ▼

Скопируйте код и вставьте в любое место на вашем сайте:

Также доступна прямая ссылка на embed-страницу