Нейросеть для задач по геометрии: проверь доказательство
Как разбирать с нейросетью задачи по геометрии: отделить условие от впечатления о чертеже, проверить шаги и не принять рисунок за доказательство.
Андрей
Преподаватель, научный редактор
8 мин чтения
На рисунке два отрезка выглядят одинаковыми. В решении чата они внезапно становятся равными. Я бы остановился именно здесь: линейка на экране не превращает видимое сходство в условие задачи. Нейросеть для задач по геометрии полезна, когда помогает разобрать чертёж и объяснить переходы. Но проверять нужно не только последнее число. Ошибка часто появляется в первой строке, где наблюдение выдают за доказанный факт.
Разберём учебный пример, составленный для этой статьи. Никакой фотографии я в сервис не отправлял и готовый ответ LibraChat здесь не показываю. Ниже — способ поставить вопрос, собственный разбор и точки проверки. Если работаешь со своим снимком, сначала сверь его с оригиналом: даже правильное рассуждение не спасёт неверно прочитанную отметку.
Сначала перепиши то, что действительно дано
Представь треугольник ABC. В условии написано: AB = AC, угол при вершине B равен 40°. Нужно найти два остальных угла и объяснить ответ. На рисунке верхняя вершина немного сдвинута вправо. Одна боковая сторона кажется длиннее другой. Эта неточность не отменяет записанное равенство. Верно и обратное: если бы равенства в тексте и отметках не было, симметричный рисунок не дал бы права считать стороны равными.
Я делаю рядом с задачей две короткие колонки:
Дано в условии или отмечено по правилам · Лишь кажется по рисунку
AB = AC — Верхняя вершина расположена ровно над основанием
Требуется найти углы A и C — Линии на экране проведены в масштабе
Правая колонка не бесполезна: она подсказывает догадку. Но в доказательстве опираться на неё нельзя. Это особенно важно для снимка из тетради, где ученик мог нарисовать фигуру приблизительно, а подписи — поставить рядом с другой стороной. Начни с текста и условных отметок. Если два источника противоречат друг другу, попроси уточнить задачу до вычислений.
При работе с фото можно прикрепить изображение в LibraChat: справка сервиса разрешает фотографии и разбор их содержимого. Перед отправкой проверь, видны ли вершины, значения и значки равенства. Скрытый пальцем угол или плохо различимый штрих не стоит отдавать на догадку модели. Если условие записано на другом листе, приложи оба фрагмента или перепиши текст. Сам по себе красивый чертёж ещё не полное задание.
Попроси восстановить условие, а не сразу выдать ответ
Вместо короткого «реши геометрию» я предложил бы два шага. Первый запрос касается чтения:
Перепиши условие задачи по моему тексту и рисунку. Отдельно перечисли, что дано словами и отметками, что требуется найти и в чём ты не уверен из-за качества рисунка. Пока не решай. Не выводи равенство сторон или углов только из внешнего вида чертежа.
Здесь нет хитрого слова, которое заставит чат быть точным. Запрос всего лишь делает промежуточный результат видимым. Ты можешь сравнить список с тетрадью и поправить ошибку, пока она не прошла через всё решение. Если помощник пишет «AB = BC», а в условии «AB = AC», исправь эту строку и только потом продолжай. Ошибка в обозначениях гораздо опаснее арифметической: дальнейшее рассуждение может выглядеть гладко и относиться к другому треугольнику.
Для нашего примера верная запись начинается с AB = AC и угла B в 40°. Равными боковыми сторонами здесь служат AB и AC; основание — BC. Я намеренно проговариваю это словами. Ученик может верно запомнить правило о равнобедренном треугольнике и всё же применить его к вершине A вместо углов при B и C. Перед следующим запросом проверь три вещи:
буквы у равных сторон переписаны без перестановки;
значение 40° стоит именно у вершины B;
неизвестными остались углы A и C, а не стороны треугольника.
Если хотя бы одна строка не совпадает с учебником, следующий расчёт будет ответом на другую задачу. Исправление на этом этапе короче, чем поиск ошибки в длинном доказательстве.
Проверь, почему углы равны
После сверки условия можно попросить объяснение: «Реши задачу, указывая основание для каждого перехода. Сначала назови равные стороны и углы напротив них, затем найди третий угол. Если используешь свойство равнобедренного треугольника, поясни, почему оно подходит». Ответ удобно проверять по маленькой цепочке.
Если AB = AC, то напротив этих сторон лежат углы C и B. Углы при основании равны, значит угол C тоже 40°. Сумма внутренних углов треугольника равна 180°, поэтому угол A равен 180° − 40° − 40° = 100°. Получились 40°, 40° и 100°; вместе они дают 180°. Это мой расчёт для составленного примера, а не скопированный результат сервиса.
Заметь, что проверка суммы поймает не каждую ошибку. Можно получить три числа с суммой 180° и неверно подписать их у вершин. Поэтому после арифметики вернись к соответствию: равные стороны AB и AC должны смотреть на равные углы именно у C и B. Для объяснения на уроке эта строка важнее скорости вычисления.
В другой задаче точка может лежать на продолжении стороны, а данное число относиться к внешнему углу. Тогда привычная сумма тоже применима, но только после уточнения, какой угол ищешь. Не переноси автоматически решение нашего треугольника на любую картинку со знаком 40°. Сначала восстанови отношения между точками и прямыми.
Если ответ выглядит убедительно, проверь первый переход
Когда чат показывает пять аккуратных строк, возникает соблазн переписать их целиком. Я читаю первую строку, которая ещё не повторяет условие. Из чего она следует? Если написано «так как рисунок симметричен», я вернусь к колонке «дано». Если равенство углов объявлено без названия сторон, попрошу показать пары «сторона — противоположный угол». Если появилась новая точка, проверю, где она введена и какую роль играет.
Удобная просьба для такого разбора: «Укажи в каждой строке, что взято из условия, что следует из теоремы и что вычислено. Найди самый ранний шаг, который нельзя обосновать данными задачи». Это не волшебная автоматическая проверка доказательства. Но она заставляет вынести скрытую предпосылку на поверхность, где её уже можно сравнить с задачником или объяснением преподавателя. Я отмечаю происхождение шага на полях:
«дано» — запись буквально есть в условии или обозначена на рисунке;
«теорема» — можно назвать свойство и проверить его условия;
«расчёт» — предыдущие величины подставлены в понятную формулу;
«догадка» — на рисунке похоже, но основание пока не названо.
Последнюю метку нельзя незаметно оставить в чистовом решении. Она показывает точное место, о котором стоит спросить учителя или помощника.
Иногда лучше спросить не полное решение, а одну трудную связь: «Почему из AB = AC следует равенство углов B и C, а не A и B?» Такой вопрос сохраняет работу за учеником. Если после ответа ты можешь сам показать противоположные стороны на чертеже, помощь сработала. Если можешь только повторить готовую фразу, стоит снова нарисовать треугольник и подписать вершины.
Для задачи с дополнительным построением проверь и его: можно ли провести предложенный отрезок, действительно ли он лежит внутри фигуры, не использует ли чат свойство, которое только предстоит доказать. Поворот фигуры или изменение пропорций на собственном эскизе часто выявляет рассуждение, которое держалось на внешнем виде. Эскиз не доказывает теорему, зато помогает заметить странный шаг.
Фото, текст и собственное решение дают разные проверки
Снимок нужен, когда важны значки на рисунке. Переписанный текст удобнее, когда значки размыты. Собственное решение позволяет задать самый точный вопрос: «Проверь переход из третьей строки в четвёртую, не решая всё за меня». Я выбирал бы вход по тому, где сейчас риск ошибки. Если вершины плохо видны, сначала улучшить снимок. Если условие читается, но теорема забыта, спросить объяснение теоремы. Если решение уже написано, проверить конкретный переход.
Сервис не заменяет учебник или преподавателя в спорном доказательстве. Однако его диалог полезен для проверки собственного понимания: ты можешь остановиться на любой строчке и попросить объяснить обозначение простыми словами. Для подробностей подготовки снимка есть отдельный материал о задачах по фото. Здесь задача конкретнее: отличить данные геометрии от формы нарисованной фигуры.
Если рассматриваешь платный тариф только ради одной задачи, сначала проверь на небольшом примере, хватает ли тебе доступного текстового объяснения и прикрепления файла. Условия тарифов LibraChat меняются; сама покупка не сделает нечёткий чертёж читаемым. Качество исходника и твоя проверка переходов остаются частью решения.
Прямо сейчас возьми одну геометрическую задачу, выпиши в две колонки «дано» и «кажется на рисунке» и найди первый переход своего решения, который не можешь объяснить. Отправь в LibraChat только этот переход с условием. Когда ответ придёт, сверь каждую названную сторону и угол с чертежом. Так у тебя останется собственное доказательство, а не просто красивый ряд чисел.