Предмет: Математика, автор: albina1795

Доказать, что существует бесконечно много положительных рациональных пар (х,у) таких, что x^y=(2y)^x и найти все такие пары


Amigo3: Их же бесконечно много, сколько найти то? Десяток, сотню, тысячу?
igorShap: Чисел вида 1/n, n€N тоже бесконечно много - и, тем не менее, всех их можно описать этой формулой. Если множество счетно, проблем с записью решений не возникнет
albina1795: Осталось только решить уравнение...
vovamorozovfool: Я доработал решения для рациональных, но можно вам его отправить в какой-нибудь мессенджер(или новый вопрос)?
vovamorozovfool: А то второй ответ нельзя

Ответы

Автор ответа: vovamorozovfool
0

Пришлось криво обрезать, но тут вроде как все правильно

Приложения:

mathgenius: А с чего это вы взяли, что ((n+m)/2n)^(n/m) - рационально только если m=1 или m = 2?
mathgenius: Как вы к этому пришли?
mathgenius: Вы это с потолка взяли что ли?
vovamorozovfool: Нам же нужно, чтобы и n + m, и 2n было степенями m, а при m > 2, минимальная разность между a^m и (b^m / 2) уже больше m
vovamorozovfool: к примеру 8 - 4 = 4 > 3
mathgenius: Вот этот факт не так уж и очевиден, его надо доказывать. Я тоже пришел к уравнению 2N = n^N -2m^N, но как строго доказать не знаю
mathgenius: Ну хотя ладно, в принципе согласен. Интуитивно это видно, но можно это доказать.
vovamorozovfool: хм, я тут немного плпрограммировал, и есть подозрение, что для m=2, на самом деле есть бесконечно много (ну или по крайней мере 5) решений, 14 и 10 например
vovamorozovfool: хотя до 100 миллионов их все ещё не больше 10
vovamorozovfool: А разве мы не придем к противоречит в случае m = 2, ведь тогда если gcd(n + m, 2n) = 2, то и n, и m четные, чего быть не может, а если их нод равер 1, то тогда n должно быть нечетным, но с другой стороны n = a^2 / 2 точно четное. И все решения будут описаны той формулой в конце, но поводу m >= согласен, ничего не смог придумать
Похожие вопросы
Предмет: Английский язык, автор: Аноним