Решение Мурата (Альбеги) с попыткой обоснования «очевидностей», возможно с излишним занудством,

не без ошибок, замечания приветствуются :). Комментарии к авторскому решению выделены скобками
с2.h5.oh{ и }с2.h5.oh.

http://forum.albega.ru/viewtopic.php?p=4213

1. Преобразуем задачу к следующему виду:

m x2 m x 21
Найти дробь с минимальным знаменателем, такую, что   , где
n  x12 n  x12−1
x , x2 - простые числа.
x
2. Проверим, что дробь удовлетворяет условию.
x2
x2 x2 x2 x x2 x 21 x
Добавил: =  = =  , также, дробь
 x12 x 22x1 x 22x x2 x 22x  x12−1 x2
- несократима, т.к. x и x2 - простые числа.
3. Предположим, что есть дробь с меньшим знаменателем, т.е. nx2 .
4. Тогда n ≤ x1 . Очевидно, что разность n−m ≤ 2 .
m x −2 x2 x−2
Добавил: Если разность n−m ≥ 3 ⇒ ≤ , но  т.к.
n x1 2
 x1 x1
x 2 x1⋅ x−2=x 2− x−2 .

с2.h5.oh{
n ≤ x1 ; n−m ≥ 3 , m≤n−3≤x −2, m≤ x−2 ; ,
m x −2 a c
n ≤ x1 и m≤ x−2 → ≤ выглядит как вывод ac , bd , 
n x1 b d
n⋅ x−2  x 1⋅ x−2 x−2 3
С другой стороны: m≤ ≤ = =1− не выполняется для
x1  x1 x1 x1
натуральных m

}c2.h5.oh

Рассмотрим случай n−m=2 .

x−2
Достаточно найти противоречие для первой такой дроби . (добавил: следующие
x
x−4
дроби только уменьшаются.
x−2
c2.h5.oh{
a c
Приведенное автором обоснование аналогично выводу ac , bd →  .
b d
x–2–k
Рассматриваемые дроби скорее всего имеют вид , k 0 , тогда докажем
x–k
x–2–k x–2
 ; .  x−2⋅x−k⋅x x−2⋅x −k⋅ x−2 ;−k⋅x−k⋅x2⋅k ; 02⋅k ; 0k ;
x–k x

}c2.h5.oh

x−1
Дробь не рассматриваем, т.к. она сократима на 2. (добавил: x1, x−1 - четные)
x1

c2.h5.oh{
Влияет неявное предположение о верности гипотезы, исключается возможность нахождения
 x−1 x2
дроби с меньшим знаменателем. С другой стороны проверяем, что 
x1  x 12
3 2 3 2
x  x −x−1x  x ;− x−10 , т.е. эта дробь меньше левой границы интервала.
}c2.h5.oh

x−2 x2
Для этого доказываем, что  .
x  x12
Добавил: т.е.  x−2⋅ x12 x 3 т.е. x 3−3⋅x−2x 3
- а это уже всегда верно.
c2.h5.oh{
т.е. «Достаточно найти противоречие для первой такой дроби». Нашли противоречие —
дробь не принадлежит интервалу.
}c2.h5.oh
x2 m x 2 1
5. Значит n−m=1 ⇒ n=m1 ,   ,
 x12 m1  x12 −1
Добавил: упрощаем оба неравенства:
x2 m
2
 ⇒ x 2⋅m1m⋅ x 12 ⇒ x 2⋅mx 2m⋅x 22⋅x⋅mm ⇒
 x1 m1
2
⇒
x2
x m⋅2⋅x1 m ,
2⋅x1
Аналогично второе неравенство,

c2.h5.oh {
m x 21
 ; m⋅ x 22⋅xm1⋅ x 21 ;
m1  x12−1
x 2 1
m⋅x 22⋅m⋅xm⋅x 2 m x 21 ; m⋅2⋅x−1x 21 ; m
2⋅x−1
}c2.h5.oh

2 2
x x 1
итого: m .
2⋅x1 2⋅x−1
Используя нечетность x и округляя до целых частей, для x ≥ 5 получим
x x 1 1
x2  − − 
Добавил: x2 2 2 4 4 x 1 1 x−1 1 x−1 -
m = = −  =  
2⋅x1 2⋅x1 2 4 4⋅2⋅x1 2 4⋅ 2⋅x 1 2
целое число,
c2.h5.oh{
x−1 x2 2 2 x−1 x2 x −1
 ; 2⋅x −x−1x ;−x−10 ;  m ; m
2 2⋅x1 2 2⋅x1 2
}c2.h5.oh.
аналогично

c2.h5.oh{
x x 1 1
2 x 2 −  −  1
x 1 2 2 4 4 x 1 5 x 1 3 1
m = =   =  
2⋅x−1 2⋅x−1 2 4 4⋅2⋅x1 2 4 4⋅ 2⋅x1
Я заплутал на этом месте …. какова мера аналогичности
}c2.h5.oh

c2.h5.oh{
 x 21 x1
 ; 2⋅x 222⋅x 2x −1 ; 3 x ;
2⋅x −1 2
x 21 x1 x1
m  ; m при x≥5, x−нечетное
2⋅x−1 2 2
т.е. приведенное автором решение верно не для всех значений x .
Случай x=3 нужно рассмотреть отдельно
}c2.h5.oh

x 1
m - целое число.
2
x1 x−1
m ⇒ m лежит между двумя целыми числами, противоречие.
2 2
(поправка, m лежит между двумя последовательными целыми числами)

c2.h5.oh{ поправка с http://dxdy.ru/topic26219.html}c2.h5.oh

x
Ответ: .
x2