Пусть А = 2^(1/2) + 3^(1/3)
(^ — возведение в степень)
Составить такой многочлен F(x) с целыми коэфицентами, что А — его корень, или доказать, что такого многочлена не существует
сайт для тех, кто умеет читать и думать. Логические задачи.
Пусть А = 2^(1/2) + 3^(1/3)
(^ — возведение в степень)
Составить такой многочлен F(x) с целыми коэфицентами, что А — его корень, или доказать, что такого многочлена не существует
(1, 0, -6, -6, 6, -36, 1)
корень не подходит, ВольфрамАльфа говорит, что если подставить корень в этот полином, получится -6*(2 + 2*(2^(1/2))*(3^(1/3)) + 3^(2/3))
http://www.wolframalpha.com — чудо-ресурс
итак, хорошо бы конечно приводить ход решения, чтобы я мог проверять его, а не ответ )
или есть желающие решить методом грубой силы (подбором) ? оО
(1, 0, -6, -6, 12, -36, 1)
Ошибся в приведении коэффициентов.
Если не очевидно, то хотя бы логично, что стоит попробовать искать многочлен 6 степени.
Для этого я возвел A^6, A^4, A^3, A^2. Почему не беру 5 степень очевидно — ибо будет много лишних радикалов.
Взял 6-ую степень с коэффициентом 1, остальные подгоняются для уничтожения радикалов. Успешно получаем данный полином.
ответ правильный, но решать задачи подбором это не серьёзно: я ведь мог дать число и посложнее, прешлось бы брать многочлен не шестой а 10, 15 степени…
хочется увидеть более простое решение. и хорошо бы более универсальное
Скорее всего, я объясню решение nogard-а. Это и будет «универсальным» методом.
Обозначим: a=2^(1/2), b=3^(1/3)
Надо найти такие x, y, z, i, j, k, что полином
x*(a+b)^6+ y*(a+b)^5+z*(a+b)^4+i*(a+b)^3+j*(a+b)^2+k*(a+b) (1)
принимает целые значения.
Вроде бы есть теоремы о несоизмеримости иррациональных радикалов (2). Этим и воспользуемся.
Раскрываем полином (1). Попутно вспоминаем, что a^2=2 и b^3=3. Получаем некоторые выражения при комбинациях радикалов b^2, a*b^2, a*b, a, b. Все они должны быть равны нулю по (2):
при b^2: 60*x+3*y+12*z+j=0
при a*b^2: 18*x+20*y+3*i=0
при a*b: 24*x+14*y+8*z+2*j=0 (3)
при a: 120*x+4*y+12*z+2*i+k=0
при b: 90*x+20*y+3*z+6*i+k=0
Решаем систему, получаем
z=-6*x, y=(96*x+16*z)/9, k=-54*x+20*y-3*z, j=-60*x-3*y-12*z, i=-(18*x+20*y)/3
Видно, что набор nogard-а является простейшим и единственным среди взаимно простых.
Универсально, но ооооооочень сложно )
Это так сказать решение «в лоб». Нет, оно конечно правильное, но есть на порядок более эффективные подходы к решению этой задачи.
Вот, в “Вездесущем числе п» вычитал. Действительно, проще.
Искомый многочлен разлагается на множители. Один из них:
(x – 2^(1/2) – 3^(1/3))
Приравниваем его нулю и начинаем сокращать радикалы:
x — 2^(1/2) = 3^(1/3) — возводим в куб. Затем члены с 2^(1/2) переносим в одну часть уравнения и возводим всё в квадрат. В конце концов получаем искомый многочлен.
Действительно чудо ресурс, спасибо за ссылочку!