Азиатско-Тихоокеанская математическая олимпиада, 2023 год
Комментарий/решение:
n=pa11pa22...pakk
Тогда, пусть pk>pk−1>...>p1
σ(n)p(n)−1=(1+p1+p21+...+pa11)(1+p2+p22+...+pa22)...(1+pk+p2k+...+pakk)pk−1=(pa1+11−1)(pa2+12−1)...(pak+1k−1)(p1−1)(p2−1)...(pk−1)(pk−1)=n<pa1+11pa2+12...pak+1k(p1−1)(p2−1)...(pk−1)(pk−1)
Значит тк n=pa11pa22...pakk и n=pa11pa22...pakk<pa1+11pa2+12...pak+1k(p1−1)(p2−1)...(pk−1)(pk−1)
p1p2...pk(p1−1)(p2−1)...(pk−1)(pk−1)>1
p1p2−1∗p2p3−1∗...∗pk−1pk−1∗pk(pk−1)(p1−1)>1
Теперь заметим следующее:
p1p2−1≤1, тк p1<p2=>p1≤p2−1
p2p3−1<1, тк p2<p3=>p2≤p3−1, а также p2>p1≥2=>p2≥3 Поэтому между p2 и p3 минимум разница = 2.
и так далее делаем.
Рассмотрим pk(pk−1)(p1−1). Оно больше 1 иначе вся дробь ≤1, тогда противоречие. Значит pkpk−1>p1−1. При p1≥3, pkpk−1>p1−1≥2. Но тогда pk>2pk−2, ну а отсюда, pk<2, противоречие. Значит p1=2
2p2...pk(2−1)(p2−1)...(pk−1)(pk−1)>1
Делаем тоже самое - начиная с p2, все дроби вида pipi+1−1<1
Точно также, 2pk(p2−1)(pk−1)>1
Значит, 2pk>(p2−1)(pk−1)
Если p2≥5, то p2−1≥4
2pk>(p2−1)(pk−1)≥4(pk−1)
Тогда 2pk≤1, очевидно противоречие.
Значит p2=3
Если p3 и тд существуют, тогда
2∗3p3...pk(2−1)(3−1)(p3−1)...(pk−1)(pk−1)>1
3p3...pk((p3−1)...(pk−1)(pk−1)>1
Делаем тоже самое - начиная с p3, все дроби вида pipi+1−1<1
Смотрим на 3pk2(p3−1)(pk−1)>1
Очевидно что p3≥5
3pk>2(p3−1)(pk−1)≥8(pk−1)
8>5pk
противоречие, тогда чисел p3,p4,... просто не могло быть
Значит n=2a3b, ведь все утверждения при получении p1=2;p2=3, работают всегда.
(2a+1−1)(3b+1−1)(2−1)(2−1)(2−1)=(2a+1−1)(3b+1−1)4=σ(n)p(n)−1=n=2a∗3b
2a+2∗3b=2a+1∗3b+1−3b+1−2a+1+1
1+(3−2)3b∗2a+1=2a+1+3b+1
2a+13b+1=2a+1+3b+1
3b∗2a+1+1−3b−2a+1=2∗3b
(2a+1−1)(3b−1)=2∗3b
(3b−1,3b)=1; (2,2a+1−1)=1 Поэтому, 2=3b−1, b=1.
2a+1−1=3, a = 1
n = 6.
Пусть n=pα11….pαkk и p1<p2….<pk
p(n)−1=σ(n)n=pk−1=∏ki=1(pαii+pαi−1i+⋯+1)pα11….pαkk=∏ki=1pα+1i−1pi−1∗1pαi<∏ki=1pipi−1=∏ki=1(1+1pi−1)≤2∗32∗…∗m+1m=m+1 отсюда если m≥3 тогда pk≥5 что противоречит m+1>pk−1. Значит m≤2:
1)m=1 тогда pk=2 =>> n=2α =>> 1=2α+1−12α что не возможно.
2)m=2 тогда n=2α∗3β подставлем под условие и выходит что (2α+1−1)(3β+1−1)=2α+2∗3β отсюда очевидно α=β=1 и n=6.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.