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

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


Докажите, что при любых целых n>m>0 число 2n1 имеет простой делитель, не делящий 2m1.
посмотреть в олимпиаде

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

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

Воспользуемся леммой что d=(2n1,2m1)=(2(n,m)1)2m1 (следствие теоремы Евклида которая выполняется одновременно и для степеней).

Если d=1 то очевидно что такое число существует, рассмотрим случай d=(a,b)1 учитывая n>m, докажем что если 2n1=da то a>d (что и докажет существование такого делителя) или (2(n,m)1)2(2m1)2<2n1 пусть n=dm и 2m=t тогда (t1)2<td1 откуда t>1 или 2m>1 что верно, значит такой простой делитель есть.