Из правильной несократимой дроби где и — натуральные числа, за один ход получают дробь
a) Можно ли за несколько таких ходов из дроби получить дробь
б) Можно ли за два таких хода из некоторой дроби получить дробь
в) Несократимая дробь больше 0,69. Найдите наименьшую дробь которую нельзя получить ни из какой правильной несократимой дроби за два таких хода?
Развёрнутое задание второй части — реши на бумаге и сверься с разбором
Сначала проверим, что после хода снова получается правильная несократимая дробь. Так как , то — дробь правильная. Несократимость следует из алгоритма Евклида (наибольший общий делитель не меняется, если из одного числа вычесть другое):
а) Сделаем три хода:
Значит, получить дробь можно.
б) Предположим, что это возможно. Пусть перед вторым ходом была дробь . Это результат первого хода, поэтому, по доказанному, она правильная и несократимая. После второго хода получилась несократимая дробь . Несократимые дроби равны, только если у них совпадают числители и знаменатели, поэтому
Вычтем из второго уравнения первое: , тогда . Получилась дробь — неправильная. Противоречие, значит, получить за два хода нельзя.
в) Найдём, что получается из за два хода:
Пусть так получена несократимая дробь . Дробь тоже несократима, поэтому , . Выразим и :
Запишем условия на исходную дробь.
Из получаем , то есть .
Из получаем , то есть .
Из (дробь правильная) получаем , то есть и .
Так как , любая дробь, полученная за два хода, лежит в промежутке .
Обратно, пусть несократимая дробь лежит в этом промежутке. Положим , . По неравенствам выше это натуральные числа и . Подставим: и . Проверим несократимость алгоритмом Евклида:
Значит, — правильная несократимая дробь, и за два хода из неё получается . Итак, за два хода получаются ровно несократимые дроби из промежутка .
Сравним концы промежутка с числом :
Оценка. Любая несократимая дробь , для которой , лежит в промежутке и поэтому получается за два хода. Значит, искомая дробь не меньше .
Пример. Дробь несократима и больше , но получить её нельзя: из системы , находим и , а дробь неправильная. Значит, — наименьшая такая дробь.
Ответ: а) да; б) нет; в) .