Республиканская олимпиада по математике, 2002 год, 11 класс
Докажите, что при любых целых n>m>0 число 2n−1 имеет простой делитель, не делящий 2m−1.
посмотреть в олимпиаде
Комментарий/решение:
Воспользуемся леммой что d=(2n−1,2m−1)=(2(n,m)−1)≤2m−1 (следствие теоремы Евклида которая выполняется одновременно и для степеней).
Если d=1 то очевидно что такое число существует, рассмотрим случай d=(a,b)≠1 учитывая n>m, докажем что если 2n−1=d⋅a то a>d (что и докажет существование такого делителя) или (2(n,m)−1)2≤(2m−1)2<2n−1 пусть n=dm и 2m=t тогда (t−1)2<td−1 откуда t>1 или 2m>1 что верно, значит такой простой делитель есть.
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.