2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 11:41 
Задача:
Цитата:
Докажите, что для каждого нечётного k>1 существуют три взаимно простых в совокупности натуральных числа $A$, $B$, $C$ таких, что $A^2+2B^2+4C^2=3^k$.

Пожалуйста, подскажите идею решения - никак не могу сдвинуться.

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 12:52 
Аватара пользователя
Попробуйте подобрать для $k=3$.

-- Вс янв 10, 2016 13:10:43 --

Хотя нет, не поможет, наверное.

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 15:57 
Ищите рекуррентное решение $(A,B,C)_{k+2}$ в виде линейной функции от $(A,B,C)_k$. Оно даже довольно несложное.
У меня все получилось - я его нашел - оно точно есть. Причем оно одно.
Условие простоты в совокупности большой роли не играет: решения априори не могут иметь общий НОД, отличный от степени $3$, значит достаточно лишь доказать, что хотя бы одно из $\{A,B,C\}_{k+1}$ не делится на $3$. Это несложно: надо только подобрать знак.
Ну и базис докажите.

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 16:48 
Аватара пользователя
Даже можно ещё упростить задачу, если сразу взять $A=3^n$, где $n=\frac{k-1}2$. А решение для $k=3$ подобрать.

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 17:16 

(Оффтоп)

Someone в сообщении #1089592 писал(а):
Даже можно ещё упростить задачу, если сразу взять $A=3^n$, где $n=\frac{k-1}2$. А решение для $k=3$ подобрать.
Наверное, я одно решение все же пропустил: у меня вышло $C=3^{\ell(k)}$

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение10.01.2016, 19:20 
Аватара пользователя

(Sonic86)

Хм. Я делал полный перебор для $k\in\{3,5,7,9,11,13\}$. Решений там тьма (соответственно, $\{1,4,13,40,121,364\}$; явно прослеживается закономерность: число решений с $GCD(A,B,C)=1$ равно $\frac 12\left(3^{(k-1)/2}-1\right)$; но я это не доказывал). Во всех решениях число $C$ чётное.

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение12.01.2016, 08:14 
Sonic86, поняла Вас, спасибо за помощь!

 
 
 
 Re: Доказательство тождества, три взаимно простых числа
Сообщение15.01.2016, 08:25 
Someone в сообщении #1089627 писал(а):
явно прослеживается закономерность: число решений с $GCD(A,B,C)=1$ равно $\frac 12\left(3^{(k-1)/2}-1\right)$; но я это не доказывал)

А кто-нибудь знает, как это доказывать? (я пока, честно, не смотрел - не нашел времени).

 
 
 [ Сообщений: 8 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group