Loading [MathJax]/jax/output/SVG/jax.js

24-я Балканская математическая олимпиада среди юниоров. Греция, 2020 год


Найдите все пары простых чисел (p,q) для которых число 1+pqqpp+q также простое число. ( Albania )
посмотреть в олимпиаде

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

  5
4 года 4 месяца назад #

Ответ: (p,q)=(2,5).

Допустим, что 1+pqqpp+q=r, тогда

pqqp=(r1)(p+q).

Из Малой Теоремы Ферма получаем, что qpqqp(r1)(p+q)(r1)q(modp)qr0(modp). Очевидно, что qp, откуда r=p.

Также из Малой Теоремы Ферма ppqqp(p1)(p+q)(p1)p(modq)(p2)p0(modq),

значит qp2. Если p=2, то 2q=q2+q+2,

но для любого натурального q7, верно неравенство 2q>q2+q+2.(легко доказать индукцией по q) Поэтому q=2,3,5 из которых подходит лишь q=5.

Если p>2, то qp2, откуда i)q3 ii)p>p2q,

но тогда pqqp<0, (поскольку для любых действительных x>y>e, верно неравенство xy<yx) что конечно невозможно, так как (p1)(p+q)>0.

  1
3 года 10 месяца назад #

В конце можно так: pqqp делится на p1, pqqp1qp=0(modp1),qp1(modp1), если α - показатель числа q по mod(p1), то либо α=1, но тогда qp, противоречие, либо α=p. Pассмотрим число φ(p1), очевидно, что φ(p1)<p, но, по теореме Эйлера, qφ(p1)1(modp1) противоречие

пред. Правка 5   7
2 года 3 месяца назад #

p=q бесиыслено разбирать тогда разберем вариант где все нечетные тогда заметим одну вещь что если мы обе стороны умножим на p+q тогда p+q+pqqp=a(p+q) заметим что это можно записать так p(pq1+1)q(qp11) по малой теореме ферма заметим что qp110(modp) но тогда a должно делиться на p но тогда a=p что невозможно при нечетных тогда одно из них обязательно =2 заметим что тогда p=2 при q5 проверяем где p=2,q=3 нету вариантов и p=3,q=2 нету вариантов тогда единственный вариант p=2,q=q разбираем его 2(2q1+1)q(q1)=a(2+q) тогда a четный и т.к. a это простое a=2 то q=5 тогда 2qq2=2+q заметим что q=5 единственное решение т.к. если q>7 то 2qq2=2+q это легко замечается если q=7 то 2772>2+7 на 70 если q=11 то на 1914 q=13то на8008 и так далее будет расти так что единственный ответ 2552=5+2

пред. Правка 2   3
2 года 3 месяца назад #

2q>2q2=q2+q2>q2+q+2,Это работает когда q7