Заметим, что . Рациональность этого числа равносильна тому, что . Исходную дробь можно сократить, тогда получим, что взаимно просты, но для строгости будем считать, что . Тогда , откуда в силу взаимной простоты следует, что . Имеем: . Поскольку целое, то достаточно показать, что целое число. В самом деле: .
Answers & Comments
Заметим, что . Рациональность этого числа равносильна тому, что . Исходную дробь можно сократить, тогда получим, что взаимно просты, но для строгости будем считать, что . Тогда , откуда в силу взаимной простоты следует, что . Имеем: . Поскольку целое, то достаточно показать, что целое число. В самом деле: .