Решение задачи о трёх кувшинах методом Дезарга
Эта статья восстанавливает ранее опубликованный материал сайта: бытовая задача о трёх кувшинах читается как проективная схема построения середины отрезка, а правильность алгоритма выражается через гармоническое соотношение четырёх точек.
1. Исходная задача
Даны кувшины объёмом 3, 5 и 8 литров. В начале вся вода находится в восьмилитровом кувшине:
(0, 0, 8). Нужно получить две равные части по 4 литра, то есть состояние
(0, 4, 4).
2. Семь шагов переливания
| № | Состояние (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. |
| 4 | (2, 0, 6) | Проведена прямая AQ. |
| 5 | (2, 5, 1) | Проведена прямая BP, получена точка R = AQ ∩ BP. |
| 6 | (3, 4, 1) | Проведена прямая OR. |
| 7 | (0, 4, 4) | C = OR ∩ AB является серединой AB, то есть C = 4. |
3. Почему здесь возникает Дезарг
Переливания можно рассматривать не только как последовательность операций, но и как геометрическое
построение. Внешняя точка O, вспомогательные точки P, Q и пересечение
R задают проективную конфигурацию. Итоговая точка C получается как проекция
пересечения на исходную прямую AB и фиксирует середину отрезка.
Поэтому алгоритм не просто «подбирает» переливания. Он реализует структуру, в которой правильный результат возникает как проективный инвариант.
4. Связь с критерием λ-истинности
В логике Курпишева валидность умозаключения связывается с гармоническим пределом. В данном примере
правильное состояние (0, 4, 4) соответствует не случайной удаче, а замыканию конфигурации,
где вывод C оказывается структурно согласован с исходными основаниями A, B
и контекстом D.