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

10. Операція ділення з остачею на множині цілих невід’ємних чисел.

10. У процесі практичної діяльності людині чи не частіше доводиться зустрічатися з операцією ділення з остачею, ніж з операцією ділення націло. Саме тому, введемо означення такої операції та покажемо, що вона існує і єдина.

Означення: ціле невід’ємне число а ділиться на натуральне число b з остачею, якщо існують такі цілі невід’ємні числа q і r, що виконуються умови: 1) а=bq+r; 2) 0rb.

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

Теорема 12: для будь-якого цілого невід’ємного числа а і натурального числа b існує і причому єдина пара цілих невід’ємних чисел q і r таких, що а=bq+r, де 0rb.