Итак, для ограничения по целым степеням не более 27 по модулю, вычислимыми оказались результаты ~957 млн выводов и среди них 356 являются выводами числа 5479 и ни один вывод (а соответственно ни один вывод с операциями сложения, вычитания, конкатенации, умножения и деления, а также некоторые выводы с этими же операциями и некоторыми целыми степенями) не является выводом числа 10958. В чем его особенность?
Призраки и тени
Для задачи, аналогичной задаче Танежи в восходящем порядке, но с начальными векторами длины 8, такими как $(1, 2, ... , 8)$ и $(2, 3, ... , 9)$ количество вариантов меньше, а с иррациональными, комплексными и длинными целыми значениями элементов векторов (1) — (7) справляются оптимизированные алгоритмы Вольфрам Математики. Так, достоверно известно, что ни один вывод в $(1, 2, ... , 9)$, имеющий на 8-ой итерации оператор конкатенации, сложения или вычитания не может привести к значению 10958. Какие возможности для дальнейшего решения это даёт?
Число 10958 является полупростым. И если последняя итерация вывода не содержит сложение, вычитание и конкатенацию, то один из операндов на 8-ой итерации будет гарантировано включать 5479 в некоторой степени, за исключением двух случаев:
когда операнды кратны некоторым комплексно-сопряжённым
когда один из операндов содержит логарифм, основание или показатель которого кратны 5479
Вычислим производные функций:
а) у = 4 * х^5 + x^3/3 - 2 = 4 * x^5 + 1/3 * x^3 - 2;
y ' = (4 * x^5 + 1/3 * x^3 - 2) ' = 4 * 5 * x^(5 - 1) + 1/3 * 3 * x^(3 - 1) - 0 = 20 * x^4 + 3/3 * x^2 = 20 * x^4 + x^2;
б) y = 4 * sin x - 5 * ctg x;
y ' = (4 * sin x - 5 * ctg x) ' = 4 * sin ' x - 5 * ctg ' x = 4 * cos x - 5 * (-1/sin² x) = 4 * cos x + 5/sin² x;
в) y = (x - 2)/(x + 3);
y ' = ((x - 2)/(x + 3)) ' = ((x - 2) ' * (x + 3) - (x + 3) ' * (x - 2))/(x + 3)² = (1 * (x + 3) - 1 * (x - 2))/(x + 3)² = (x + 3 - x + 2)/(x + 3)² = 5/(x + 3)².
Пошаговое объяснение:
