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