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

Доведення:

Доведення теореми буде складатися із двох частин: у першій слід довести достатню умову, а у другій – необхідну умову існування частки. Доведемо достатню умову, яка формулюється так: “якщо ціле невід’ємне число а ділиться націло на натуральне число b, то частка а:b існує”.

За умовою а ділиться націло на b. Це означає: існує таке число с, що bс=а. Отже, с=а:b. Достатню умову доведено.

Доведемо необхідну умову, яка формулюється так: “якщо частка а:b існує, то число а ділиться націло на b”. За умовою частка а:b існує. Це означає, що b(а:b)=а, тобто число а ділиться націло на число b. Необхідну умову доведено. Таким чином, теорему доведено повністю.

Теорема 11 (про єдиність частки): якщо частка від ділення цілого невід’ємного числа а на натуральне число b існує, то вона єдина.