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

Доведення.

Пропонуємо студентам комутативний закон множення довести самостійно. Для доведення асоціативності множення розглянемо три невід’ємних раціональних числа а, b і с таких, що а= , b= , с= . Тоді згідно означення операції множення маємо: b)с=( ) =( ) = .

Аналогічно доводимо дистрибутивність операції множення відносно додавання, а саме: якщо а, b, с – невід’ємні раціональні числа такі, що а= , b= і с= , то маємо: (а+b)с=( + ) = = ас+bс. Теорему доведено повністю.

Означення: часткою від ділення невід’ємного раціонального числа а на додатне раціональне число b називається невід’ємне раціональне число с=а:b таке, що а=bс.

В означенні нічого не говориться про існування та єдиність такої операції. Саме тому слід сформулювати та довести відповідну теорему.

Теорема: операція ділення в множині невід’ємних раціональних чисел існує і єдина.