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