Республиканская олимпиада по математике, 2015 год, 9 класс

Найдите все тройки попарно взаимно простых натуральных чисел $(a,b,c)$ такие, что для каждого натурального $n$ число ${{\left( {{a}^{n}}+{{b}^{n}}+{{c}^{n}} \right)}^{2}}$ делится на $ab+bc+ca$. ( Сатылханов К. )

Комментарий/решение

Так как $a,b,c$ попарно взаимно просты, то $(a,ab+bc+ca)=(b,ab+bc+ca)=(c,ab+bc+ca)=1$ тогда по теореме Эйлера:

$(a^{\phi(ab+bc+ca)}+b^{\phi(ab+bc+ca)}+c^{\phi(ab+bc+ca)})^2 \equiv (1+1+1)^2=9 \equiv 0 (mod (ab+bc+ca))$

откуда $ab+bc+ca|9$

Спасибо. Решение красивое.

Ответ: $(4,1,1),(1,1,1)$ и перестановки.

Решение. $a^2+b^2+c^2=(a^1+b^1+c^1 )^2-2(ab+bc+ac)$ делится на $ab+bc+ac$. Пусть $a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ac)=k(ab+bc+ac)$. Тогда $(a^3+b^3+c^3 )^2=(k(ab+bc+ac)+3abc)^2≡9a^2 b^2 c^2 \ (mod\ ab+bc+ac)$. Т.к. числа попарно взаимно просты, $9$ делится на $ab+bc+ac=9$ или $3$.

Пусть $a≥b≥c$, тогда $3c^2≤ab+bc+ac≤9=>c=1. \ (a+1)(b+1)=10$ или $4$. Возможные варианты $(1,1,1),(4,1,1)$. Оба подходят.

$(a+b+c)^2$ делиться на $ab+bc+ac$ откуда следует что $a^2+b^2+c^2$ делиться на $ab+bc+ac$ следовательно $(a^{n-2}+b^{n-2}+c^{n-2})(a^2+b^2+c^2)$ делиться на $ab+bc+ac$ при раскрытии получаем что $a^n+b^n+c^n+S$ делиться на $ab+bc+ac$ возводим в квадрат и тогда $S(2(a^n+b^n+c^n)+S)$ делиться на $ab+bc+ac$ опять возводим и подставим n=3, $(ab^2+ac^2+ba^2+bc^2+ca^2+cb^2)^4$ делитсья на $ab+bc+ac$ откуда $-(3abc)^4$ делиться на $ab+bc+ac$ пусть $81a^4b^4c^4=(ab+bc+ac)X$ числа попарно взаимно просты значит $ab+bc+ac$ делит 81, очевидно 1 неподходит, для 3 только один ответ (1,1,1), для 9 также можно подобрать только один ответ (4,1,1), для 27, нет, так как числа попарно взаимно просты, и также для 81 таких чисел не существует.

я не могу не писать этого решение

решение:

(а,b)=(b;c)=(c;a)=1; тогда докажем что (a,ab+bc+ac)=1

Пусть у a есть простой делитель p тогда по нашу утверждение выйдет что p является делителем bc.Т.к у нас p простое значит либо b либо c делится на p.Б.О.О b делится на p но по условию (a,b)=1

значит противоречие.

Используемся теоремам Эйлера. If (a,m)=1 => a^ф(m)=1 (mod m).

Пусть ab+bc+ac=x и ф(x)=n => по теорему Эйлера выйдет что (a^x+b^x+c^x)^2 / x т.к у нас a^x сравнимо с 1 по модулю х.

Значит (1+1+1)^2 / x. => 9 / x = ab+bc+ac.

Теперь здесь можем взять Б.О.О a>=b>=c. Если а>4 то ab+bc+ac>9 противоречие.Значит если a=4 => b=1=c

где ab+bc+ac=9

Если ab+bc+ac=3 тогда очевидно верно ответ a=b=c=1

Если ab+bc+ac=1 то числы b,c не будет натуральными

Значит ответы (a,b,c)=(4,1,1)=(1,1,1) and their permutations.

Я конечно прошу прощени за плохое написание без LAtex