Простоту

Вы неявно используете в переходе
сахар писал(а):
То есть в числителе получаете многочлен от

, но при этом считаете, что

взаимно просто с

сахар писал(а):
во-вторых, почему мы можем заменять числитель дроби на сравнимый?
Вот это как раз оно!

Разбиваете числитель на 2 слагаемых, в первом выносите

, и тогда уже заменяете его на 0 именно потому, что

взаимно просто с

.
-- Сб июн 04, 2011 15:13:07 --Доказать обратное можно по контрапозиции: для

взять

и

и показать, что соотношение неверно.
сахар писал(а):
(Для непростых

сравнение может верно для некоторых

; например, для

сравнение нарушается только при

.)
Контрпример как бы намекает:

делит

.