Областная олимпиада по математике, 2024 год, 11 класс
Комментарий/решение:
Кстати, в этой задаче можно было доказать, что если $t \notin \mathbb{P}$, то $2;3;5;7 \mid t$ без идеи, которую использовал автор задачи(да, там не было $7$, но он тут улетает сразу вместо с тройкой при использовании жирара). Это просто написать все не простые числа от $2$ до $48$, и посмотреть на их делители. Дальше получаем требуемое. Дальше у меня не получилось решить не сделав одно и тоже с автором
Ну тут необязательно понимать, что если $t \notin \mathbb{P} \Rightarrow \exists k : k \leq \sqrt{t}; k \mid t$
Ну а так да, по идее вещи похожие(т.е. одно следствие другого можно сказать наверное). Просто казалось, что до перебора легче догадаться
Допустим t- составное =>
$2,3,5 | t$
1) $t=2k$
$257=y^{2k}-x^2$
$257=(y^k-x)(y^k+x)$
$x=y^k-1 =>y^{2k}-2y^k+258=y^{2k} => 2y^k=258 => 129=y^k$ что не возможно.
2) $t=3k$
По мод 4 понимаем что x-четный отсюда $y^{3k}$ по моду 4 дает 1 и значит $y^k$ дает тоже 1 => $x^2+256=(y^k-1)(y^2k+y^k+1)$
Так как $(y^2k+y^k+1)$ вида 4к+3 отсюда по лемме у него есть делитель вида 4к+3 назовем его p значит по теореме жирара 16 делится на p что не возможно.
3) $t=5k$
По моду 11 это не возможно.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.