Предмет статьи
Задача о трёх кувшинах кажется школьной головоломкой: есть сосуды на 3, 5 и 8 литров, нужно разделить воду на две равные части по 4 литра. Но в проектной логике эта задача читается глубже: она показывает, как правильный алгоритм может быть одновременно геометрическим построением.
В обычном решении мы следим за количеством воды. В проективном чтении мы следим за состояниями системы. Каждое переливание меняет не только числовое распределение воды, но и положение задачи в пространстве допустимых переходов. Поэтому бытовое действие превращается в маленькую модель рассуждения: есть исходное состояние, есть допустимые операции, есть цель и есть последовательность промежуточных конфигураций.
Главная идея статьи состоит в том, что семь шагов переливания изоморфны геометрическому построению середины отрезка методом Дезарга. Там, где ученик видит «перелить из одного кувшина в другой», проектная логика видит переход между Reперными состояниями, а геометрия видит центральную проекцию, вспомогательные точки и замыкание на середину.
Бытовая задача как геометрический опыт
Если поставить перед человеком три кувшина, он сначала воспринимает задачу как практическую: что куда перелить, чтобы не потерять воду и не ошибиться. Но за этой практикой скрыт строгий язык состояний. Состояние можно записывать тройкой (a,b,c), где a - количество воды в 3-литровом кувшине, b - в 5-литровом, c - в 8-литровом.
Начальное состояние имеет вид (0,0,8). Целевое состояние - (0,4,4). Все допустимые ходы ограничены ёмкостями сосудов. Нельзя налить в 3-литровый кувшин 4 литра. Нельзя получить половину литра, если операции разрешают только переливание до заполнения одного сосуда или опустошения другого. Значит, задача имеет не только арифметический, но и геометрический характер: движение идёт по графу допустимых состояний.
В феноменологическом смысле каждый кувшин - это не просто ёмкость, а локальный предел. Его объём задаёт границу действия. Мы не можем действовать произвольно: любое переливание начинается от предела одного сосуда и заканчивается пределом другого. Именно поэтому задача является хорошей моделью пакетной доктрины: действие не выходит из пустоты, оно всегда встречает границу, ёмкость, состояние, допустимость.
Проективный смысл: почему здесь появляется Дезарг
В классической геометрии задача построения середины отрезка может быть решена различными способами. Метод Дезарга особенно важен тем, что использует проективную логику: внешнюю точку, вспомогательные линии, пересечения и возвращение к исходному отрезку. Середина возникает не как результат прямого измерения линейкой, а как итог согласованной конфигурации.
Именно это делает задачу о кувшинах особенно ценной для проекта. Мы не измеряем напрямую четыре литра. Мы вообще не имеем кувшина на 4 литра. Но правильная последовательность действий создаёт такое состояние, в котором четыре литра появляются как неизбежный результат всей конфигурации. Это и есть проективный характер решения: нужная точка получается не прямым измерением, а через систему вспомогательных переходов.
В геометрической интерпретации исходный полный сосуд на 8 литров задаёт отрезок AB от 0 до 8. Цель - найти точку C, равную 4, то есть середину. Вспомогательные переливания играют роль выбора точки O, построения точек P, Q, R и возвращения к исходной прямой. Внешне это выглядит как цепочка хозяйственных операций, но по структуре это проективная конструкция.
Семь переливаний и семь геометрических действий
Ниже дана основная таблица соответствия. Она сохраняет монографическую схему, но разворачивает её для читателя сайта: каждое числовое состояние получает геометрический смысл и объяснение.
| Шаг | Состояние (3л, 5л, 8л) | Геометрическое действие и смысл |
|---|---|---|
| 0 | (0, 0, 8) | Заданы точки A = 0 и B = 8 на прямой l. Вся вода находится в большом кувшине: исходный отрезок ещё не разделён. |
| 1 | (0, 5, 3) | Выбрана внешняя точка O - центр проективности. Действие выводит задачу из одной линии в проективную плоскость. |
| 2 | (3, 2, 3) | На луче OA выбирается точка P. Это произвольный вспомогательный выбор, который не меняет конечной истины построения. |
| 3 | (0, 2, 6) | Проводится прямая PQ || AB, находится Q = OB ∩ l. Параллельный перенос создаёт второй опорный слой. |
| 4 | (2, 0, 6) | Проводится прямая AQ. Задача начинает замыкаться через диагональную связь. |
| 5 | (2, 5, 1) | Проводится прямая BP и получается R = AQ ∩ BP. В точке R встречаются два независимых пути построения. |
| 6 | (3, 4, 1) | Проводится прямая OR. Центральная проекция возвращает построение к исходному отрезку. |
| 7 | (0, 4, 4) | Точка C = OR ∩ AB становится серединой AB. Практический результат: вода разделена на 4 и 4 литра. |
Практически это решение можно выполнить так: наполнить 5-литровый сосуд из 8-литрового; перелить из 5-литрового в 3-литровый; освободить 3-литровый обратно в большой; перелить оставшиеся 2 литра из 5-литрового в 3-литровый; снова наполнить 5-литровый из 8-литрового; долить из 5-литрового в 3-литровый до полного объёма; в 5-литровом останется ровно 4 литра, а в 8-литровом также окажется 4 литра.
То, что в бытовом описании является «удачным способом переливания», в проектном чтении становится траекторией: исходное состояние проходит через допустимые узлы и приходит к гармоническому разделению. Не каждый путь ведёт к цели. Нужен такой путь, где действия не разрушают задачу, а постепенно создают нужную конфигурацию.
Критерий λ-истинности в простом примере
В монографической логике истинность выражается через гармоническую четвёрку и проективное кросс-соотношение. В общем виде:
Для читателя сайта это можно объяснить так: правильный вывод появляется тогда, когда исходные элементы, результат и достаточное основание занимают правильные места в одной конфигурации. В задаче о кувшинах исходные данные - ёмкости 3, 5 и 8 литров; цель - получить 4 и 4; достаточное основание - допустимость каждого переливания; вывод - найденная последовательность состояний.
Если последовательность ходов случайна, она может бесконечно ходить по графу состояний и не прийти к цели. Если она структурно верна, она действует как проективное построение: каждый шаг не просто меняет воду, а уточняет положение будущего результата. В конце возникает состояние (0,4,4), которое можно рассматривать как бытовую форму гармонического замыкания.
Здесь R - реальное распределение воды, I - идея равного деления, U - поле возможных переливаний, D - достаточное основание: правила сосудов, объёмы и допустимые действия. Чем лучше согласованы эти четыре компонента, тем ближе решение к истинному Reперу.
Пакетная интерпретация состояния
В пакетной геометрии базовый объект - не голая точка, а пакетная точка (e,s): событие в состоянии. Для задачи о кувшинах это особенно наглядно. Само событие «перелить воду» ничего не значит без состояния системы. Переливание из 5-литрового сосуда в 3-литровый имеет один смысл, если 3-литровый пуст, и другой смысл, если в нём уже 2 литра.
Каждый шаг является пакетной точкой процесса. Он включает событие действия и состояние, в котором это действие возможно. Поэтому задача демонстрирует фундаментальную мысль проекта: действие нельзя анализировать вне состояния. Правильный ход существует только потому, что предыдущее состояние подготовило его возможность.
В этом смысле задача о трёх кувшинах является не только геометрической, но и причинной. Каждый шаг является причиной следующего, но эта причинность не сводится к линейной цепочке. Она зависит от ограничений, пределов, ёмкостей и промежуточных конфигураций. Именно поэтому задача хорошо подходит для введения в Reперную логику.
Алгоритм как Reперная траектория
Алгоритм в этой статье понимается не как сухой список команд, а как траектория по пространству состояний. В обычной информатике алгоритм задаёт последовательность операций. В KLT/RBD-подходе каждая операция получает Reпер: что реально дано, какая идея ведёт действие, какие варианты допустимы и какое основание разрешает следующий шаг.
Для шага (3,2,3), например, реальное содержание R - конкретное распределение воды. Идея I - приблизиться к разделению 8 на 4 и 4. Универсум U - все следующие допустимые переливания. Достаточное основание D - ёмкости сосудов и правило переливания до границы. Если один из компонентов выпадает, шаг становится неосмысленным или недопустимым.
Так появляется практический смысл Reперной базы данных. В ней можно хранить не только ответ, но и траекторию получения ответа: состояния, переходы, допустимости, ошибки, альтернативные ветви и ближайшие точки пересборки. Это делает задачу о кувшинах простым учебным прототипом для более сложных KLT-задач.
Почему это важно для преподавания
Статья имеет образовательный смысл. Она показывает ученику, что математика начинается не с абстрактного страха перед формулами, а с ясного действия: перелить, увидеть предел, запомнить состояние, выбрать следующий ход. После этого можно показать, что за действием скрывается геометрия, за геометрией - логика, а за логикой - критерий истинности.
Такой подход особенно полезен для школьников и студентов, которым трудно перейти от бытового мышления к строгой математике. Задача о трёх кувшинах является мостом: она сохраняет простую материальную интуицию, но одновременно открывает путь к Дезаргу, проективной геометрии, алгоритмам, графам состояний и Reперным структурам.
В результате математическое понятие середины перестаёт быть только точкой на линейке. Оно становится результатом согласованного построения. Ученик видит, что середина может быть найдена не только измерением, но и действием, если действие правильно организовано.
Значение для KLT и Reперных баз данных
Для программного комплекса KLT эта статья задаёт маленький, но очень важный демонстрационный кейс. Здесь есть все элементы будущего программного анализа: входные данные, ограничения, множество состояний, допустимые действия, целевая конфигурация, проверка результата и объяснимая траектория.
В Reперной базе данных такая задача может быть представлена как граф:
Если перенести этот принцип на научные, юридические, технические или строительные документы, KLT получает не просто текстовый анализатор, а механизм поиска правильной траектории: от исходного документа через ограничения и основания к проверяемому выводу. В малой задаче это вода и сосуды. В большой задаче это факты, нормы, сметы, формулы, доказательства, проектные решения и документы.
Поэтому «три кувшина» - не игрушечный пример, а миниатюра всей доктрины. Она показывает, что истина решения возникает из совместимости действия, состояния, предела и основания.
Место статьи в архиве WPC-WPO
На сайте WPC-WPO эта статья должна работать как популярный вход в геометрический и логический разделы одновременно. С одной стороны, она относится к геометрии, потому что раскрывает метод Дезарга и построение середины. С другой стороны, она относится к логике, потому что показывает работу критерия истины через гармоническое замыкание.
Для читателя сайта статья должна открываться как самостоятельная страница, но сохранять связи с соседними текстами: «Проективная логика», «Критерий истины», «Аксиоматическая пакетная геометрия», «Неассоциативная пакетная геометрия», «Квадратическое препятствие». Именно в такой сетке она выполняет роль простого демонстратора: сложная теория становится видимой через ясную задачу.