Loading AI tools
Из Википедии, свободной энциклопедии
Квадри́рование квадра́та — задача о разбиении квадрата на конечное число меньших квадратов. В более узком смысле — задача о разбиении квадрата на конечное число попарно неравных между собой квадратов.
В 1936—1938 годах её решили четверо студентов Тринити-колледжа Кембриджского университета[1].
Все квадраты в любом решении данной задачи имеют соизмеримые по длине стороны.[2]
Ключевую роль в решении задачи квадрирования сыграло предложение, сделанное Бруксом, Смитом, Стоуном и Татом в 1936—1938 годах[1] для анализа диаграммы, названной диаграммой Смита, которая любому разбиению квадрата (или прямоугольника) ставит в соответствие электрическую цепь. Это позволило применять для решения задачи квадрирования хорошо разработанную теорию электрических цепей.
Можно считать, что прямоугольник это проводник сделанный из фольги с постоянным удельным сопротивлением. Если вдоль оснований подключён ток, то сопротивление прямоугольника прямопропоционально высоте и обратно пропорционально ширине прямоугольника. Поэтому можно считать что сопротивление любого квадрата единица.
Каждому горизонтальному отрезку на схеме разбиения квадрата соответствует «клемма» этой цепи, а каждому квадрату разбиения — проводник, соединяющий две «клеммы». Сила тока, текущего по проводнику, равна длине стороны соответствующего квадрата. Поскольку можно считать, что сопротивление каждого квадрата равно единице, такая электрическая цепь ведёт себя как «настоящая»; в частности, подчиняется правилам Кирхгофа для токов в цепи.
, квадратов порядка ...Число простых совершенных квадрированных квадратов порядка n с точностью до[англ.] симметрий указано в последовательности A006983 в OEIS[6].
В 2013 году было найдено число квадратов порядка 32 (144 161)[6][5].
В июне 2014 года Джим Уильямс (Jim Williams) получил все 378 197 простых совершенных квадрированных квадратов порядка 33[5].
«Кубирование куба», то есть разбиение куба на конечное число попарно неравных между собой кубов, невозможно. Доказательство этого факта было дано Бруксом, Смитом, Стоуном и Таттом.
Допустим, что искомое разбиение куба существует.
Рассмотрим одну из граней куба, очевидно, не уменьшая общность, можно выбрать нижнюю грань.
На нижней грани стоят неравновеликие кубы, своими нижними рёбрами разбивающие грань на неравновеликие квадраты.
Найдём самый маленький квадрат разбиения нижней грани. Очевидно, что этот квадрат не может примыкать к ребру куба, будучи ограничен сторонами бо́льших квадратов, следовательно, он должен располагаться где-то внутри грани.
Теперь рассмотрим верхнюю грань этого малого кубика. Поскольку по предположению это самый маленький кубик на нижней грани куба, он окружен более высокими кубами. Поэтому на его верхнюю грань не заступает ни один соседний куб. Следовательно, стоящие на этой грани кубики меньшего размера снова разбивают верхнюю грань этого кубика на неравновеликие квадраты, причём самый малый квадрат разбиения верхней грани рассматриваемого кубика снова не может принадлежать ребру кубика и находится внутри грани.
Продолжая этот процесс рассуждения, получаем бесконечную последовательность кубов, каждый из которых меньше предыдущего и примыкает к его верхней грани. Это противоречит начальному предположению.[1].
Также легко доказывается теорема о невозможности «гиперкубирования гиперкуба» для гиперкубов любой размерности, большей 3-х. Действительно, для любой размерности n гиперкубы разбиения, прилегающие к какой-либо (n − 1)-мерной гиперграни исходного гиперкуба, должны разбивать эту гипергрань на конечное число попарно неравных (n − 1)-мерных гиперкубов. При n = 4 «гиперкубирование» невозможно, так как должно порождать «кубирование» 3-мерных гиперграней исходного 4-мерного гиперкуба. Индукцией по n можно сделать заключение о невозможности «гиперкубирования» для всех n > 3.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
