logo
Лекції з матем - заоч

Доведення.

Для спрощення викладок розглядатимемо дроби з однаковими знаменниками. Оскільки у формулюванні теореми є словосполучення «тоді і тільки тоді», то доведення складатиметься з двох частин: 1) якщо різниця - існує, то  ; 2) якщо  , то різниця - існує.

Доведемо першу частину. Оскільки різниця - існує, то маємо - = , де mp, а тому  (Чому?!). Першу частину доведено. Для доведення другої частини використаємо те, що  . Оскільки  , то різниця - - додатна, а тоді - = - також додатна. Це означає, що m-p0. Отже, число m-p належить множині Z0. Таким чином, різниця - існує. Теорему доведено повністю.

Теорема: якщо різниця невід’ємних раціональних чисел існує, то вона єдина.

Доведення цієї теореми пропонуємо провести методом від супротивного самостійно.