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

Доведення.

Розглянемо три невід’ємних раціональних числа а, b≠0, с такі, що а= , b= , с= , де p,n,q,m,k,sєN. Тоді згідно означення частки із а:b маємо а=bc, тобто = . За означенням добутку маємо . Добутки qk і ms існують і єдині, бо p,n,q,m,k,sєN. Згідно означення рівності дробів маємо p(ms)=n(qk). Звідси = = : . Це означає, що частка існує і єдина. Теорему доведено.

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