Так как дальше буду рассказывать о применении общей формулы совершенного куба 5-го порядка в целых числах, приведу эту формулу здесь.
Сначала схема куба:
(если есть вопросы по схеме, пожалуйста, задавайте; скажу только, что здесь используются переменные двух уровней - Xi, Yi).
Это общая формула в целых числах, полученная по представленной схеме:
(Оффтоп)
Код:
X(1) = 3*Z(2)-5*Z(3)-3*Z(1)+6*Z(14)+3*Z(15)+3*Z(16)+3*Z(17)-23*Z(18)+11*Z(19)-6*Z(20)-6*Z(21)+10*Z(22)+4*Z(23)+4*Z(24)-30*Z(25)+3*Z(26)+3*Z(27)+21*Z(28)+2*Z(29)+3*Z(31)-9*Z(33)+14*Z(34)+65*Z(35)-3*Z(36)+18*Z(37)-3*Z(10)+2*Z(11)-Z(12)-3*Z(13)+20*Z(4)+20*Z(5)+4*Z(6)-3*Z(7)+21*Z(8)-3*Z(9),
X(10) = Z(3)+2*Z(4)+2*Z(5)+Z(7)+3*Z(8)+Z(10)-Z(18)+2*Z(19)+Z(20)+Z(21)+2*Z(22)+2*Z(23)+2*Z(24)-2*Z(25)+2*Z(28)+Z(33)+2*Z(34)+6*Z(35)+Z(36)+4*Z(37),
X(100) = -Z(1)-Z(8)-Z(10)-Z(26)+5*Z(35),
X(102) = -6*Z(2)+9*Z(3)+5*Z(1)-10*Z(14)-5*Z(15)-5*Z(16)-5*Z(17)+40*Z(18)-19*Z(19)+10*Z(20)+10*Z(21)-18*Z(22)-7*Z(23)-7*Z(24)+52*Z(25)-5*Z(26)-5*Z(27)-36*Z(28)-4*Z(29)-6*Z(31)+16*Z(33)-24*Z(34)-105*Z(35)+5*Z(36)-31*Z(37)+5*Z(10)-4*Z(11)+Z(12)+5*Z(13)-35*Z(4)-35*Z(5)-7*Z(6)+5*Z(7)-36*Z(8)+5*Z(9),
X(11) = -2*Z(2)+3*Z(3)+3*Z(1)-6*Z(14)-3*Z(15)-3*Z(16)-3*Z(17)+18*Z(18)-9*Z(19)+4*Z(20)+4*Z(21)-10*Z(22)-5*Z(23)-5*Z(24)+24*Z(25)-3*Z(26)-3*Z(27)-18*Z(28)-2*Z(29)-3*Z(31)+6*Z(33)-12*Z(34)-46*Z(35)+Z(36)-17*Z(37)+Z(10)-2*Z(11)+Z(12)+3*Z(13)-17*Z(4)-17*Z(5)-3*Z(6)+Z(7)-18*Z(8)+3*Z(9),
X(121) = -4*Z(2)+5*Z(3)+3*Z(1)-7*Z(14)-3*Z(15)-3*Z(16)-3*Z(17)+23*Z(18)-11*Z(19)+6*Z(20)+6*Z(21)-10*Z(22)-4*Z(23)-4*Z(24)+30*Z(25)-3*Z(26)-3*Z(27)-21*Z(28)-3*Z(29)-3*Z(31)+9*Z(33)-14*Z(34)-60*Z(35)+3*Z(36)-18*Z(37)+3*Z(10)-2*Z(11)+Z(12)+3*Z(13)-20*Z(4)-20*Z(5)-4*Z(6)+3*Z(7)-21*Z(8)+3*Z(9),
X(122) = 2*Z(2)-5*Z(3)-3*Z(1)+6*Z(14)+3*Z(15)+3*Z(16)+2*Z(17)-23*Z(18)+11*Z(19)-6*Z(20)-6*Z(21)+10*Z(22)+4*Z(23)+4*Z(24)-30*Z(25)+3*Z(26)+3*Z(27)+21*Z(28)+2*Z(29)+2*Z(31)-9*Z(33)+14*Z(34)+65*Z(35)-3*Z(36)+18*Z(37)-3*Z(10)+2*Z(11)-2*Z(13)+20*Z(4)+20*Z(5)+4*Z(6)-3*Z(7)+21*Z(8)-2*Z(9),
X(123) = -8*Z(2)+20*Z(3)+12*Z(1)-24*Z(14)-12*Z(15)-13*Z(16)-12*Z(17)+86*Z(18)-42*Z(19)+26*Z(20)+24*Z(21)-36*Z(22)-14*Z(23)-14*Z(24)+112*Z(25)-12*Z(26)-12*Z(27)-80*Z(28)-8*Z(29)-Z(30)-11*Z(31)-Z(32)+34*Z(33)-54*Z(34)-219*Z(35)+12*Z(36)-66*Z(37)+12*Z(10)-8*Z(11)+8*Z(13)-78*Z(4)-76*Z(5)-14*Z(6)+12*Z(7)-78*Z(8)+8*Z(9),
X(124) = 2*Z(2)-5*Z(3)-3*Z(1)+6*Z(14)+2*Z(15)+3*Z(16)+3*Z(17)-20*Z(18)+10*Z(19)-7*Z(20)-6*Z(21)+8*Z(22)+3*Z(23)+3*Z(24)-26*Z(25)+3*Z(26)+3*Z(27)+19*Z(28)+2*Z(29)+2*Z(31)-8*Z(33)+13*Z(34)+52*Z(35)-3*Z(36)+15*Z(37)-3*Z(10)+2*Z(11)-2*Z(13)+19*Z(4)+18*Z(5)+3*Z(6)-3*Z(7)+18*Z(8)-2*Z(9),
X(126) = -Z(3)-Z(18)-Z(25)-Z(33)+5*Z(35),
X(127) = 2*Z(4)-2*Z(7)-2*Z(10)+2*Z(19)-4*Z(20)-2*Z(21)-4*Z(22)-3*Z(23)-2*Z(24)+2*Z(28)+2*Z(34)-2*Z(36)-2*Z(37),
X(128) = -Z(4)-Z(19)-Z(28)-Z(34)+5*Z(35),
X(13) = Z(3)-3*Z(4)-3*Z(5)-Z(6)+2*Z(7)-3*Z(8)+2*Z(10)+4*Z(18)-2*Z(19)+2*Z(20)+2*Z(21)+Z(22)+Z(23)+Z(24)+4*Z(25)-3*Z(28)+2*Z(33)-2*Z(34)-13*Z(35)+2*Z(36)-Z(37),
X(130)= -Z(3)+4*Z(4)+3*Z(5)-Z(7)+3*Z(8)-Z(10)-3*Z(18)+2*Z(19)-2*Z(20)-Z(21)-4*Z(25)+4*Z(28)-Z(33)+3*Z(34)+11*Z(35)-Z(36)+2*Z(37),
X(131) = 2*Z(3)+2*Z(7)+2*Z(10)+2*Z(18)+2*Z(20)+Z(21)+2*Z(22)+2*Z(23)+2*Z(24)+2*Z(25)+2*Z(33)-8*Z(35)+2*Z(36)+2*Z(37),
X(133) = Z(3)-3*Z(4)-3*Z(5)-3*Z(8)+2*Z(18)-2*Z(19)-2*Z(22)-Z(23)-Z(24)+4*Z(25)-3*Z(28)+Z(33)-2*Z(34)-8*Z(35)-3*Z(37),
X(135) = 2*Z(3)-2*Z(4)+4*Z(7)+4*Z(10)+4*Z(18)+4*Z(20)+4*Z(21)+4*Z(22)+3*Z(23)+4*Z(24)+2*Z(25)-2*Z(28)+3*Z(33)-Z(34)-5*Z(35)+Z(36)+4*Z(37),
X(138) = -2*Z(3)-8*Z(4)-6*Z(5)-4*Z(7)-6*Z(8)-4*Z(10)+2*Z(18)-6*Z(19)+2*Z(20)-Z(21)-4*Z(22)-4*Z(23)-5*Z(24)+4*Z(25)-8*Z(28)-3*Z(33)-7*Z(34)-8*Z(35)-Z(36)-10*Z(37),
X(140) = Z(1),
X(142) = 12*Z(2)-20*Z(3)-14*Z(1)+28*Z(14)+14*Z(15)+14*Z(16)+14*Z(17)-96*Z(18)+48*Z(19)-28*Z(20)-26*Z(21)+42*Z(22)+18*Z(23)+18*Z(24)-126*Z(25)+14*Z(26)+13*Z(27)+92*Z(28)+10*Z(29)+Z(30)+13*Z(31)+Z(32)-36*Z(33)+62*Z(34)+249*Z(35)-12*Z(36)+78*Z(37)-12*Z(10)+8*Z(11)-2*Z(12)-10*Z(13)+88*Z(4)+86*Z(5)+16*Z(6)-12*Z(7)+90*Z(8)-10*Z(9),
X(15) = -2*Z(2)+2*Z(3)+3*Z(1)-6*Z(14)-2*Z(15)-3*Z(16)-4*Z(17)+14*Z(18)-8*Z(19)+2*Z(20)+2*Z(21)-10*Z(22)-6*Z(23)-6*Z(24)+20*Z(25)-3*Z(26)-3*Z(27)-14*Z(28)-2*Z(29)-2*Z(31)-Z(32)+4*Z(33)-10*Z(34)-29*Z(35)-16*Z(37)-Z(10)-2*Z(11)-14*Z(4)-14*Z(5)-2*Z(6)-Z(7)-15*Z(8)+2*Z(9),
X(161) = Z(2),
X(162) = -2*Z(2)+5*Z(3)+3*Z(1)-6*Z(14)-4*Z(15)-3*Z(16)-2*Z(17)+23*Z(18)-11*Z(19)+6*Z(20)+6*Z(21)-10*Z(22)-4*Z(23)-4*Z(24)+30*Z(25)-3*Z(26)-3*Z(27)-21*Z(28)-2*Z(29)-Z(30)-2*Z(31)+9*Z(33)-14*Z(34)-60*Z(35)+3*Z(36)-18*Z(37)+3*Z(10)-2*Z(11)+2*Z(13)-20*Z(4)-20*Z(5)-4*Z(6)+3*Z(7)-21*Z(8)+Z(9),
X(163) = 8*Z(2)-20*Z(3)-12*Z(1)+24*Z(14)+12*Z(15)+12*Z(16)+12*Z(17)-86*Z(18)+42*Z(19)-26*Z(20)-24*Z(21)+36*Z(22)+14*Z(23)+14*Z(24)-112*Z(25)+12*Z(26)+12*Z(27)+80*Z(28)+8*Z(29)+Z(30)+10*Z(31)+Z(32)-34*Z(33)+54*Z(34)+224*Z(35)-12*Z(36)+66*Z(37)-12*Z(10)+8*Z(11)-Z(12)-8*Z(13)+78*Z(4)+76*Z(5)+14*Z(6)-12*Z(7)+78*Z(8)-8*Z(9),
X(164) = -2*Z(2)+5*Z(3)+3*Z(1)-6*Z(14)-2*Z(15)-3*Z(16)-4*Z(17)+20*Z(18)-10*Z(19)+7*Z(20)+6*Z(21)-8*Z(22)-3*Z(23)-3*Z(24)+26*Z(25)-3*Z(26)-3*Z(27)-19*Z(28)-2*Z(29)-2*Z(31)-Z(32)+8*Z(33)-13*Z(34)-47*Z(35)+3*Z(36)-15*Z(37)+3*Z(10)-2*Z(11)+Z(13)-19*Z(4)-18*Z(5)-3*Z(6)+3*Z(7)-18*Z(8)+2*Z(9),
X(166) = Z(3),
X(167) = 2*Z(2)-4*Z(3)-3*Z(1)+6*Z(14)+4*Z(15)+3*Z(16)+2*Z(17)-20*Z(18)+10*Z(19)-4*Z(20)-4*Z(21)+12*Z(22)+6*Z(23)+6*Z(24)-28*Z(25)+3*Z(26)+3*Z(27)+20*Z(28)+2*Z(29)+Z(30)+2*Z(31)-7*Z(33)+13*Z(34)+57*Z(35)-2*Z(36)+20*Z(37)-Z(10)+2*Z(11)-2*Z(13)+18*Z(4)+20*Z(5)+4*Z(6)-Z(7)+21*Z(8),
X(168) = Z(4),
X(170) = Z(5),
X(171) = 2*Z(2)-5*Z(3)-3*Z(1)+6*Z(14)+3*Z(15)+3*Z(16)+3*Z(17)-20*Z(18)+9*Z(19)-6*Z(20)-6*Z(21)+8*Z(22)+3*Z(23)+3*Z(24)-26*Z(25)+3*Z(26)+3*Z(27)+18*Z(28)+2*Z(29)+3*Z(31)-8*Z(33)+12*Z(34)+58*Z(35)-3*Z(36)+15*Z(37)-3*Z(10)+2*Z(11)-Z(12)-3*Z(13)+17*Z(4)+17*Z(5)+3*Z(6)-3*Z(7)+18*Z(8)-3*Z(9),
X(173) = Z(6),
X(175) = 2*Z(2)-4*Z(3)-3*Z(1)+6*Z(14)+2*Z(15)+3*Z(16)+4*Z(17)-18*Z(18)+8*Z(19)-6*Z(20)-6*Z(21)+6*Z(22)+2*Z(23)+2*Z(24)-22*Z(25)+3*Z(26)+3*Z(27)+16*Z(28)+2*Z(29)+2*Z(31)+Z(32)-7*Z(33)+11*Z(34)+39*Z(35)-2*Z(36)+12*Z(37)-3*Z(10)+2*Z(11)+16*Z(4)+14*Z(5)+2*Z(6)-3*Z(7)+15*Z(8)-2*Z(9),
X(178) = 6*Z(4)+4*Z(5)+Z(7)+4*Z(8)+2*Z(10)-2*Z(18)+4*Z(19)-2*Z(20)+2*Z(22)+2*Z(23)+2*Z(24)-4*Z(25)+6*Z(28)+Z(33)+5*Z(34)+12*Z(35)+6*Z(37),
X(18) = Z(7),
X(180) = Z(8),
X(182) = -6*Z(2)+11*Z(3)+9*Z(1)-18*Z(14)-9*Z(15)-9*Z(16)-9*Z(17)+56*Z(18)-29*Z(19)+18*Z(20)+16*Z(21)-24*Z(22)-11*Z(23)-11*Z(24)+74*Z(25)-9*Z(26)-9*Z(27)-56*Z(28)-6*Z(29)-Z(30)-7*Z(31)-Z(32)+20*Z(33)-38*Z(34)-139*Z(35)+7*Z(36)-47*Z(37)+7*Z(10)-5*Z(11)+Z(12)+5*Z(13)-53*Z(4)-51*Z(5)-9*Z(6)+7*Z(7)-54*Z(8)+5*Z(9),
X(2) = Z(9),
X(20) = Z(10),
X(22) = Z(11),
X(3) = Z(12),
X(4) = Z(13),
X(41) = Z(14),
X(42) = Z(15),
X(43) = Z(16),
X(44) = Z(17),
X(46) = Z(18),
X(47) = -4*Z(3)-4*Z(7)-4*Z(10)-6*Z(18)-2*Z(19)-2*Z(20)-4*Z(21)-2*Z(22)-3*Z(23)-4*Z(24)-4*Z(25)-5*Z(33)-Z(34)+19*Z(35)-Z(36)-4*Z(37),
X(48) = Z(19),
X(50) = Z(20),
X(51) = Z(21),
X(53) = Z(22),
X(55) = Z(23),
X(58) = Z(24),
X(6) = Z(25),
X(60) = Z(26),
X(62) = Z(27),
X(7) = -2*Z(2)+6*Z(3)+3*Z(1)-6*Z(14)-4*Z(15)-3*Z(16)-2*Z(17)+24*Z(18)-10*Z(19)+8*Z(20)+8*Z(21)-8*Z(22)-2*Z(23)-2*Z(24)+30*Z(25)-3*Z(26)-3*Z(27)-22*Z(28)-2*Z(29)-Z(30)-2*Z(31)+10*Z(33)-14*Z(34)-63*Z(35)+4*Z(36)-16*Z(37)+5*Z(10)-2*Z(11)+2*Z(13)-20*Z(4)-20*Z(5)-4*Z(6)+5*Z(7)-21*Z(8),
X(8) = Z(28),
X(81) = Z(29),
X(82) = Z(30),
X(83) = Z(31),
X(84) = Z(32),
X(86) = Z(33),
X(87) = 2*Z(3)+2*Z(7)+2*Z(10)+2*Z(18)+2*Z(20)+2*Z(21)+2*Z(22)+2*Z(23)+2*Z(24)+2*Z(25)+2*Z(33)-8*Z(35)+Z(36)+2*Z(37),
X(88) = Z(34),
X(90) = -6*Z(4)-6*Z(5)-6*Z(8)+4*Z(18)-4*Z(19)-2*Z(22)-2*Z(23)-2*Z(24)+6*Z(25)-6*Z(28)-5*Z(34)-12*Z(35)-6*Z(37),
X(91) = Z(35),
X(93) = -2*Z(3)+6*Z(4)+6*Z(5)-2*Z(7)+6*Z(8)-2*Z(10)-6*Z(18)+4*Z(19)-2*Z(20)-2*Z(21)-8*Z(25)+6*Z(28)-3*Z(33)+4*Z(34)+26*Z(35)-2*Z(36)+4*Z(37),
X(95) = Z(36),
X(98) = 2*Z(3)+2*Z(4)+2*Z(5)+2*Z(7)+2*Z(8)+2*Z(10)+2*Z(19)+Z(21)+2*Z(22)+2*Z(23)+2*Z(24)+2*Z(28)+2*Z(33)+2*Z(34)+Z(35)+Z(36)+4*Z(37),
S = 5*Z(35)
Как я уже отмечала, формула получилась громоздкая. Однако использование переменных двух уровней позволило мне резко сократить количество свободных переменных, их всего 37, это параметры
.
Здесь есть один осбенный параметр -
; особенность его в том, что он не задаётся ни через какой элемент куба в явном виде. Я вычисляю его по значению элемента куба
.
[В теме "Магические квадраты" обсуждали с
svb подобный параметр в общей формуле для идеального квадрата 8-го порядка.]
Итак, теперь я задаю значения свободных переменных на основе приведённого выше образца, составленного из различных натуральных чисел. Но значения я задаю являющиеся простыми числами (близкие по значению к элементам образца).
Вот выбранные мной значения для свободных переменных:
Код:
Z(1) = 10853
Z(10) = 10957
Z(11) = 10883
Z(12) = 10909
Z(13) = 10949
Z(14) = 10937
Z(15) = 10711
Z(16) = 10891
Z(17) = 10847
Z(18) = 10889
Z(19) = 10867
Z(2) = 10973
Z(20) = 10861
Z(21) = 10859
Z(22) = 10853
Z(23) = 10979
Z(24) = 10939
Z(25) = 10837
Z(26) = 10831
Z(27) = 10799
Z(28) = 10789
Z(29) = 10781
Z(3) = 10771
Z(30) = 10753
Z(31) = 10739
Z(32) = 10733
Z(33) = 10729
Z(34) = 10723
Z(35) = 10903
Z(36) = 10709
Z(4) = 10691
Z(5) = 10687
Z(6) = 10667
Z(7) = 10663
Z(8) = 10657
Z(9) = 10651
Ещё осталось задать параметр
, его вычислила по заданному элементу куба
:
,
[Не уследила, две свободные переменные задала одинаковые:
и
. Но это пока неважно, сейчас я просто ищу новый образец куба.]
Всё готово, чтобы применить формулу, то есть по заданным свободным переменным найти решение.
Вот это решение:
Код:
11519* 10651* 10909* 10949* 10487
10957* 10837* 10663* 11563 10495
10883* 12035 10251 9399 11947
9731 10789* 11495 11411 11089
11425 10203 11197 11193 10497
10937* 10711* 10891* 10847* 11129
10831* 10889* 10939* 10861* 10995
10799* 10411 10859* 10979* 11467
11149 10867* 11699 10853* 9947
10799 11637 10127 10975 10977
10781* 10753* 10739* 10733* 11509
11217 10729* 11213 10975 10381
10115 11225 10903* 10709* 11563
11997 10723* 10721 11057 10017
10405 11085 10939 11041 11045
10305 11469 11587 10655 10499
10853* 11289 10327 10429 11617
11059 9027 11075 13067 10287
11231 11445 10519 10527 10793
11067 11285 11007 9837 11319
10973* 10931 10389 11331 10891
10657* 10771* 11373 10687* 11027
11659 11817 11427 10361 9251
10407 10691* 10081 10667* 12669
10819 10305 11245 11469 10677
Звёздочкой помечены свободные элементы.
[Вы можете проверить получение этого решения по приведённой формуле.]
Образец куба получен.
Что теперь? Теперь надо зафиксировать несколько свободных переменных (по желанию), а для остальных выполнить перебор.
При выборе свободных элементов для фиксирования надо руководствоваться инструкцией:
а)
обязательно зафиксировать элементы и
; первый по той причине, что на него завязан параметр
, а второй по той причине, что это центральный элемент куба и в данном примере мы его изменять не будем;
б) не фиксировать одновременно свободные переменные
и
, потому что они имеют одинаковое значение (это просто моя оплошность; их можно задать разные и получить по формуле другой образец).
Вот такой предлагается алгоритм для поиска совершенного куба 5-го порядка из различных простых чисел.